runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.2.9a (svn: 651)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: runsolver -s SIGUSR1 -M 1124 -C 150 -d 10 -w /tmp/misc2012/2012-09-02-17:21/basic/p2cudf-basic-1.15/embedded/install/rand446.cudf.log.runsolver /home/competition/p2cudf-basic-1.15/p2cudf-basic-1.15 /home/competition/data/install/rand446.cudf /tmp/misc2012/2012-09-02-17:21/basic/p2cudf-basic-1.15/embedded/install/rand446.cudf.result -sum(solution,installedsize),-count(removed) 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 150 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 180 seconds
Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB

[startup+0 s]
/proc/loadavg: 1.42 1.10 0.96 2/59 24061
/proc/meminfo: memFree=593716/1022884 swapFree=0/0
[pid=24061] ppid=24060 vsize=3152 CPUtime=0
/proc/24061/stat : 24061 (runsolver) R 24060 1733 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 1 0 115978021 3227648 33 18446744073709551615 134512640 134586868 4288729712 4288727760 4151866416 0 0 16781316 24578 0 0 0 17 0 0 0 0 0 0
/proc/24061/statm: 788 33 0 19 0 73 0
Current StackSize limit: 8192 KiB


[startup+0.190203 s]
/proc/loadavg: 1.42 1.10 0.96 2/59 24061
/proc/meminfo: memFree=593716/1022884 swapFree=0/0
[pid=24061] ppid=24060 vsize=9168 CPUtime=0
/proc/24061/stat : 24061 (p2cudf-basic-1.) S 24060 24061 1733 0 -1 4202496 455 291 0 0 0 0 0 0 20 0 1 0 115978021 9388032 330 18446744073709551615 4194304 5129932 140737451556176 140737451554320 140124421776478 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/24061/statm: 2292 330 280 229 0 52 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9168

[startup+0.200338 s]
/proc/loadavg: 1.42 1.10 0.96 2/59 24061
/proc/meminfo: memFree=593716/1022884 swapFree=0/0
[pid=24061] ppid=24060 vsize=9168 CPUtime=0
/proc/24061/stat : 24061 (p2cudf-basic-1.) S 24060 24061 1733 0 -1 4202496 455 291 0 0 0 0 0 0 20 0 1 0 115978021 9388032 330 18446744073709551615 4194304 5129932 140737451556176 140737451554320 140124421776478 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/24061/statm: 2292 330 280 229 0 52 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9168

[startup+0.300314 s]
/proc/loadavg: 1.42 1.10 0.96 2/59 24061
/proc/meminfo: memFree=593716/1022884 swapFree=0/0
[pid=24061] ppid=24060 vsize=9168 CPUtime=0
/proc/24061/stat : 24061 (p2cudf-basic-1.) S 24060 24061 1733 0 -1 4202496 455 291 0 0 0 0 0 0 20 0 1 0 115978021 9388032 330 18446744073709551615 4194304 5129932 140737451556176 140737451554320 140124421776478 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/24061/statm: 2292 330 280 229 0 52 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9168

[startup+0.700224 s]
/proc/loadavg: 1.42 1.10 0.96 2/59 24061
/proc/meminfo: memFree=593716/1022884 swapFree=0/0
[pid=24061] ppid=24060 vsize=9168 CPUtime=0
/proc/24061/stat : 24061 (p2cudf-basic-1.) S 24060 24061 1733 0 -1 4202496 455 291 0 0 0 0 0 0 20 0 1 0 115978021 9388032 330 18446744073709551615 4194304 5129932 140737451556176 140737451554320 140124421776478 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/24061/statm: 2292 330 280 229 0 52 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9168

[startup+1.50078 s]
/proc/loadavg: 1.42 1.10 0.96 4/70 24073
/proc/meminfo: memFree=542284/1022884 swapFree=0/0
[pid=24061] ppid=24060 vsize=9168 CPUtime=0
/proc/24061/stat : 24061 (p2cudf-basic-1.) S 24060 24061 1733 0 -1 4202496 455 291 0 0 0 0 0 0 20 0 1 0 115978021 9388032 330 18446744073709551615 4194304 5129932 140737451556176 140737451554320 140124421776478 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/24061/statm: 2292 330 280 229 0 52 0
[pid=24064] ppid=24061 vsize=1050796 CPUtime=1.45
/proc/24064/stat : 24064 (java) S 24061 24061 1733 0 -1 4202496 34549 0 0 0 130 15 0 0 20 0 10 0 115978021 1076015104 30683 18446744073709551615 4194304 4228012 140733826066512 140733826057536 140180104543861 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24064/statm: 262699 30683 2348 9 0 250049 0
[pid=24064/tid=24065] ppid=24061 vsize=1050796 CPUtime=0.65
/proc/24064/task/24065/stat : 24065 (java) R 24061 24061 1733 0 -1 4202560 14955 0 0 0 56 9 0 0 20 0 10 0 115978022 1076015104 30683 18446744073709551615 4194304 4228012 140733826066512 140180111069856 140180008550048 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0
[pid=24064/tid=24066] ppid=24061 vsize=1050796 CPUtime=0
/proc/24064/task/24066/stat : 24066 (java) S 24061 24061 1733 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 10 0 115978024 1076015104 30683 18446744073709551615 4194304 4228012 140733826066512 140180003716224 140180104558155 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24064/tid=24067] ppid=24061 vsize=1050796 CPUtime=0
/proc/24064/task/24067/stat : 24067 (java) S 24061 24061 1733 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 10 0 115978024 1076015104 30683 18446744073709551615 4194304 4228012 140733826066512 140180002662416 140180104557268 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24064/tid=24068] ppid=24061 vsize=1050796 CPUtime=0
/proc/24064/task/24068/stat : 24068 (java) S 24061 24061 1733 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 10 0 115978024 1076015104 30683 18446744073709551615 4194304 4228012 140733826066512 140180001609632 140180104557268 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24064/tid=24069] ppid=24061 vsize=1050796 CPUtime=0
/proc/24064/task/24069/stat : 24069 (java) S 24061 24061 1733 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 115978027 1076015104 30683 18446744073709551615 4194304 4228012 140733826066512 140180000558064 140180104565792 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24064/tid=24070] ppid=24061 vsize=1050796 CPUtime=0.41
/proc/24064/task/24070/stat : 24070 (java) R 24061 24061 1733 0 -1 4202560 9790 0 0 0 37 4 0 0 20 0 10 0 115978027 1076015104 30683 18446744073709551615 4194304 4228012 140733826066512 140179999493272 140180090000861 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24064/tid=24071] ppid=24061 vsize=1050796 CPUtime=0.37
/proc/24064/task/24071/stat : 24071 (java) R 24061 24061 1733 0 -1 4202560 8514 0 0 0 35 2 0 0 20 0 10 0 115978027 1076015104 30683 18446744073709551615 4194304 4228012 140733826066512 140179998440552 140180090388584 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24064/tid=24072] ppid=24061 vsize=1050796 CPUtime=0
/proc/24064/task/24072/stat : 24072 (java) S 24061 24061 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 115978027 1076015104 30683 18446744073709551615 4194304 4228012 140733826066512 140179997400272 140180104557268 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24064/tid=24073] ppid=24061 vsize=1050796 CPUtime=0
/proc/24064/task/24073/stat : 24073 (java) S 24061 24061 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 115978027 1076015104 30683 18446744073709551615 4194304 4228012 140733826066512 140179996347776 140180104558155 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 1059964

[startup+3.10075 s]
/proc/loadavg: 1.55 1.13 0.97 3/70 24073
/proc/meminfo: memFree=432048/1022884 swapFree=0/0
[pid=24061] ppid=24060 vsize=9168 CPUtime=0
/proc/24061/stat : 24061 (p2cudf-basic-1.) S 24060 24061 1733 0 -1 4202496 455 291 0 0 0 0 0 0 20 0 1 0 115978021 9388032 330 18446744073709551615 4194304 5129932 140737451556176 140737451554320 140124421776478 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/24061/statm: 2292 330 280 229 0 52 0
[pid=24064] ppid=24061 vsize=1046704 CPUtime=3.02
/proc/24064/stat : 24064 (java) S 24061 24061 1733 0 -1 4202496 89687 0 0 0 273 29 0 0 20 0 10 0 115978021 1071824896 84468 18446744073709551615 4194304 4228012 140733826066512 140733826057536 140180104543861 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24064/statm: 261676 84468 2370 9 0 249026 0
[pid=24064/tid=24065] ppid=24061 vsize=1046704 CPUtime=1.4
/proc/24064/task/24065/stat : 24065 (java) R 24061 24061 1733 0 -1 4202560 47421 0 0 0 123 17 0 0 20 0 10 0 115978022 1071824896 84468 18446744073709551615 4194304 4228012 140733826066512 140180111069888 140180008948248 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0
[pid=24064/tid=24066] ppid=24061 vsize=1046704 CPUtime=0.33
/proc/24064/task/24066/stat : 24066 (java) S 24061 24061 1733 0 -1 4202560 21301 0 0 0 28 5 0 0 20 0 10 0 115978024 1071824896 84468 18446744073709551615 4194304 4228012 140733826066512 140180003716224 140180104558155 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24064/tid=24067] ppid=24061 vsize=1046704 CPUtime=0
/proc/24064/task/24067/stat : 24067 (java) S 24061 24061 1733 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 10 0 115978024 1071824896 84468 18446744073709551615 4194304 4228012 140733826066512 140180002662416 140180104557268 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24064/tid=24068] ppid=24061 vsize=1046704 CPUtime=0
/proc/24064/task/24068/stat : 24068 (java) S 24061 24061 1733 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 10 0 115978024 1071824896 84468 18446744073709551615 4194304 4228012 140733826066512 140180001609632 140180104557268 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24064/tid=24069] ppid=24061 vsize=1046704 CPUtime=0
/proc/24064/task/24069/stat : 24069 (java) S 24061 24061 1733 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 115978027 1071824896 84468 18446744073709551615 4194304 4228012 140733826066512 140180000558064 140180104565792 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24064/tid=24070] ppid=24061 vsize=1046704 CPUtime=0.66
/proc/24064/task/24070/stat : 24070 (java) S 24061 24061 1733 0 -1 4202560 10502 0 0 0 62 4 0 0 20 0 10 0 115978027 1071824896 84468 18446744073709551615 4194304 4228012 140733826066512 140179999505424 140180104557268 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24064/tid=24071] ppid=24061 vsize=1046704 CPUtime=0.6
/proc/24064/task/24071/stat : 24071 (java) S 24061 24061 1733 0 -1 4202560 9173 0 0 0 57 3 0 0 20 0 10 0 115978027 1071824896 84468 18446744073709551615 4194304 4228012 140733826066512 140179998452752 140180104557268 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24064/tid=24072] ppid=24061 vsize=1046704 CPUtime=0
/proc/24064/task/24072/stat : 24072 (java) S 24061 24061 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 115978027 1071824896 84468 18446744073709551615 4194304 4228012 140733826066512 140179997400272 140180104557268 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24064/tid=24073] ppid=24061 vsize=1046704 CPUtime=0
/proc/24064/task/24073/stat : 24073 (java) S 24061 24061 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 115978027 1071824896 84468 18446744073709551615 4194304 4228012 140733826066512 140179996347776 140180104558155 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 1055872

[startup+6.30079 s]
/proc/loadavg: 1.55 1.13 0.97 2/70 24073
/proc/meminfo: memFree=124280/1022884 swapFree=0/0
[pid=24061] ppid=24060 vsize=9168 CPUtime=0
/proc/24061/stat : 24061 (p2cudf-basic-1.) S 24060 24061 1733 0 -1 4202496 455 291 0 0 0 0 0 0 20 0 1 0 115978021 9388032 330 18446744073709551615 4194304 5129932 140737451556176 140737451554320 140124421776478 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/24061/statm: 2292 330 280 229 0 52 0
[pid=24064] ppid=24061 vsize=1046704 CPUtime=6.06
/proc/24064/stat : 24064 (java) S 24061 24061 1733 0 -1 4202496 129681 0 0 0 558 48 0 0 20 0 10 0 115978021 1071824896 124173 18446744073709551615 4194304 4228012 140733826066512 140733826057536 140180104543861 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24064/statm: 261676 124173 2370 9 0 249026 0
[pid=24064/tid=24065] ppid=24061 vsize=1046704 CPUtime=3.28
/proc/24064/task/24065/stat : 24065 (java) R 24061 24061 1733 0 -1 4202560 47424 0 0 0 308 20 0 0 20 0 10 0 115978022 1071824896 124173 18446744073709551615 4194304 4228012 140733826066512 140180111069888 140180008955070 0 4 0 16800975 0 0 0 -1 0 0 0 15 0 0
[pid=24064/tid=24066] ppid=24061 vsize=1046704 CPUtime=1.43
/proc/24064/task/24066/stat : 24066 (java) S 24061 24061 1733 0 -1 4202560 61289 0 0 0 122 21 0 0 20 0 10 0 115978024 1071824896 124173 18446744073709551615 4194304 4228012 140733826066512 140180003716224 140180104558155 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24064/tid=24067] ppid=24061 vsize=1046704 CPUtime=0
/proc/24064/task/24067/stat : 24067 (java) S 24061 24061 1733 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 10 0 115978024 1071824896 124173 18446744073709551615 4194304 4228012 140733826066512 140180002662416 140180104557268 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24064/tid=24068] ppid=24061 vsize=1046704 CPUtime=0
/proc/24064/task/24068/stat : 24068 (java) S 24061 24061 1733 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 10 0 115978024 1071824896 124173 18446744073709551615 4194304 4228012 140733826066512 140180001609632 140180104557268 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24064/tid=24069] ppid=24061 vsize=1046704 CPUtime=0
/proc/24064/task/24069/stat : 24069 (java) S 24061 24061 1733 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 115978027 1071824896 124173 18446744073709551615 4194304 4228012 140733826066512 140180000558064 140180104565792 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24064/tid=24070] ppid=24061 vsize=1046704 CPUtime=0.7
/proc/24064/task/24070/stat : 24070 (java) S 24061 24061 1733 0 -1 4202560 10505 0 0 0 66 4 0 0 20 0 10 0 115978027 1071824896 124173 18446744073709551615 4194304 4228012 140733826066512 140179999505424 140180104557268 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24064/tid=24071] ppid=24061 vsize=1046704 CPUtime=0.63
/proc/24064/task/24071/stat : 24071 (java) S 24061 24061 1733 0 -1 4202560 9173 0 0 0 60 3 0 0 20 0 10 0 115978027 1071824896 124173 18446744073709551615 4194304 4228012 140733826066512 140179998452752 140180104557268 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24064/tid=24072] ppid=24061 vsize=1046704 CPUtime=0
/proc/24064/task/24072/stat : 24072 (java) S 24061 24061 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 115978027 1071824896 124173 18446744073709551615 4194304 4228012 140733826066512 140179997400272 140180104557268 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24064/tid=24073] ppid=24061 vsize=1046704 CPUtime=0
/proc/24064/task/24073/stat : 24073 (java) S 24061 24061 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 115978027 1071824896 124173 18446744073709551615 4194304 4228012 140733826066512 140179996347776 140180104558155 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 1055872

Solver just ended. Dumping a history of the last processes samples

[startup+6.401 s]
/proc/loadavg: 1.55 1.13 0.97 2/70 24073
/proc/meminfo: memFree=124280/1022884 swapFree=0/0
[pid=24061] ppid=24060 vsize=9168 CPUtime=0
/proc/24061/stat : 24061 (p2cudf-basic-1.) S 24060 24061 1733 0 -1 4202496 455 291 0 0 0 0 0 0 20 0 1 0 115978021 9388032 330 18446744073709551615 4194304 5129932 140737451556176 140737451554320 140124421776478 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/24061/statm: 2292 330 280 229 0 52 0
[pid=24064] ppid=24061 vsize=1046704 CPUtime=6.14
/proc/24064/stat : 24064 (java) S 24061 24061 1733 0 -1 4202496 129681 0 0 0 566 48 0 0 20 0 10 0 115978021 1071824896 124173 18446744073709551615 4194304 4228012 140733826066512 140733826057536 140180104543861 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24064/statm: 261676 124173 2370 9 0 249026 0
[pid=24064/tid=24065] ppid=24061 vsize=1046704 CPUtime=3.35
/proc/24064/task/24065/stat : 24065 (java) R 24061 24061 1733 0 -1 4202560 47424 0 0 0 315 20 0 0 20 0 10 0 115978022 1071824896 124173 18446744073709551615 4194304 4228012 140733826066512 140180111069888 140180008863335 0 4 0 16800975 0 0 0 -1 0 0 0 17 0 0
[pid=24064/tid=24066] ppid=24061 vsize=1046704 CPUtime=1.43
/proc/24064/task/24066/stat : 24066 (java) S 24061 24061 1733 0 -1 4202560 61289 0 0 0 122 21 0 0 20 0 10 0 115978024 1071824896 124173 18446744073709551615 4194304 4228012 140733826066512 140180003716224 140180104558155 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24064/tid=24067] ppid=24061 vsize=1046704 CPUtime=0
/proc/24064/task/24067/stat : 24067 (java) S 24061 24061 1733 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 10 0 115978024 1071824896 124173 18446744073709551615 4194304 4228012 140733826066512 140180002662416 140180104557268 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24064/tid=24068] ppid=24061 vsize=1046704 CPUtime=0
/proc/24064/task/24068/stat : 24068 (java) S 24061 24061 1733 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 10 0 115978024 1071824896 124173 18446744073709551615 4194304 4228012 140733826066512 140180001609632 140180104557268 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24064/tid=24069] ppid=24061 vsize=1046704 CPUtime=0
/proc/24064/task/24069/stat : 24069 (java) S 24061 24061 1733 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 115978027 1071824896 124173 18446744073709551615 4194304 4228012 140733826066512 140180000558064 140180104565792 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24064/tid=24070] ppid=24061 vsize=1046704 CPUtime=0.7
/proc/24064/task/24070/stat : 24070 (java) S 24061 24061 1733 0 -1 4202560 10505 0 0 0 66 4 0 0 20 0 10 0 115978027 1071824896 124173 18446744073709551615 4194304 4228012 140733826066512 140179999505424 140180104557268 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24064/tid=24071] ppid=24061 vsize=1046704 CPUtime=0.63
/proc/24064/task/24071/stat : 24071 (java) S 24061 24061 1733 0 -1 4202560 9173 0 0 0 60 3 0 0 20 0 10 0 115978027 1071824896 124173 18446744073709551615 4194304 4228012 140733826066512 140179998452752 140180104557268 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24064/tid=24072] ppid=24061 vsize=1046704 CPUtime=0
/proc/24064/task/24072/stat : 24072 (java) S 24061 24061 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 115978027 1071824896 124173 18446744073709551615 4194304 4228012 140733826066512 140179997400272 140180104557268 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24064/tid=24073] ppid=24061 vsize=1046704 CPUtime=0
/proc/24064/task/24073/stat : 24073 (java) S 24061 24061 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 115978027 1071824896 124173 18446744073709551615 4194304 4228012 140733826066512 140179996347776 140180104558155 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 1055872

[startup+9.60057 s]
/proc/loadavg: 1.50 1.13 0.97 4/70 24073
/proc/meminfo: memFree=9624/1022884 swapFree=0/0
[pid=24061] ppid=24060 vsize=9168 CPUtime=0
/proc/24061/stat : 24061 (p2cudf-basic-1.) S 24060 24061 1733 0 -1 4202496 455 291 0 0 0 0 0 0 20 0 1 0 115978021 9388032 330 18446744073709551615 4194304 5129932 140737451556176 140737451554320 140124421776478 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/24061/statm: 2292 330 280 229 0 52 0
[pid=24064] ppid=24061 vsize=1046704 CPUtime=9.16
/proc/24064/stat : 24064 (java) S 24061 24061 1733 0 -1 4202496 146313 0 0 0 864 52 0 0 20 0 10 0 115978021 1071824896 140805 18446744073709551615 4194304 4228012 140733826066512 140733826057536 140180104543861 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24064/statm: 261676 140805 2376 9 0 249026 0
[pid=24064/tid=24065] ppid=24061 vsize=1046704 CPUtime=4.85
/proc/24064/task/24065/stat : 24065 (java) R 24061 24061 1733 0 -1 4202560 47726 0 0 0 465 20 0 0 20 0 10 0 115978022 1071824896 140805 18446744073709551615 4194304 4228012 140733826066512 140180111078184 140180009550833 0 4 0 16800975 0 0 0 -1 0 0 0 31 0 0
[pid=24064/tid=24066] ppid=24061 vsize=1046704 CPUtime=1.82
/proc/24064/task/24066/stat : 24066 (java) S 24061 24061 1733 0 -1 4202560 77222 0 0 0 158 24 0 0 20 0 10 0 115978024 1071824896 140805 18446744073709551615 4194304 4228012 140733826066512 140180003716224 140180104558155 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24064/tid=24067] ppid=24061 vsize=1046704 CPUtime=0
/proc/24064/task/24067/stat : 24067 (java) S 24061 24061 1733 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 10 0 115978024 1071824896 140805 18446744073709551615 4194304 4228012 140733826066512 140180002662416 140180104557268 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24064/tid=24068] ppid=24061 vsize=1046704 CPUtime=0
/proc/24064/task/24068/stat : 24068 (java) S 24061 24061 1733 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 10 0 115978024 1071824896 140805 18446744073709551615 4194304 4228012 140733826066512 140180001609632 140180104557268 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24064/tid=24069] ppid=24061 vsize=1046704 CPUtime=0
/proc/24064/task/24069/stat : 24069 (java) S 24061 24061 1733 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 115978027 1071824896 140805 18446744073709551615 4194304 4228012 140733826066512 140180000558064 140180104565792 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24064/tid=24070] ppid=24061 vsize=1046704 CPUtime=1.23
/proc/24064/task/24070/stat : 24070 (java) R 24061 24061 1733 0 -1 4202560 10744 0 0 0 119 4 0 0 20 0 10 0 115978027 1071824896 140805 18446744073709551615 4194304 4228012 140733826066512 140179999505168 140180086793893 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24064/tid=24071] ppid=24061 vsize=1046704 CPUtime=1.22
/proc/24064/task/24071/stat : 24071 (java) S 24061 24061 1733 0 -1 4202560 9331 0 0 0 119 3 0 0 20 0 10 0 115978027 1071824896 140805 18446744073709551615 4194304 4228012 140733826066512 140179998452752 140180104557268 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24064/tid=24072] ppid=24061 vsize=1046704 CPUtime=0
/proc/24064/task/24072/stat : 24072 (java) S 24061 24061 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 115978027 1071824896 140805 18446744073709551615 4194304 4228012 140733826066512 140179997400272 140180104557268 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24064/tid=24073] ppid=24061 vsize=1046704 CPUtime=0
/proc/24064/task/24073/stat : 24073 (java) S 24061 24061 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 115978027 1071824896 140805 18446744073709551615 4194304 4228012 140733826066512 140179996347776 140180104558155 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 9.16
Current children cumulated vsize (KiB) 1055872

[startup+10.4006 s]
/proc/loadavg: 1.50 1.13 0.97 2/70 24073
/proc/meminfo: memFree=9768/1022884 swapFree=0/0
[pid=24061] ppid=24060 vsize=9168 CPUtime=0
/proc/24061/stat : 24061 (p2cudf-basic-1.) S 24060 24061 1733 0 -1 4202496 455 291 0 0 0 0 0 0 20 0 1 0 115978021 9388032 330 18446744073709551615 4194304 5129932 140737451556176 140737451554320 140124421776478 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/24061/statm: 2292 330 280 229 0 52 0
[pid=24064] ppid=24061 vsize=1047732 CPUtime=9.9
/proc/24064/stat : 24064 (java) S 24061 24061 1733 0 -1 4202496 153167 0 0 0 936 54 0 0 20 0 11 0 115978021 1072877568 147659 18446744073709551615 4194304 4228012 140733826066512 140733826057536 140180104543861 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24064/statm: 261933 147659 2378 9 0 249283 0
[pid=24064/tid=24065] ppid=24061 vsize=1047732 CPUtime=5.15
/proc/24064/task/24065/stat : 24065 (java) R 24061 24061 1733 0 -1 4202560 47792 0 0 0 495 20 0 0 20 0 11 0 115978022 1072877568 147659 18446744073709551615 4194304 4228012 140733826066512 140180111077816 140180009670660 0 4 0 16800975 0 0 0 -1 0 0 0 31 0 0
[pid=24064/tid=24066] ppid=24061 vsize=1047732 CPUtime=1.99
/proc/24064/task/24066/stat : 24066 (java) S 24061 24061 1733 0 -1 4202560 83993 0 0 0 174 25 0 0 20 0 11 0 115978024 1072877568 147659 18446744073709551615 4194304 4228012 140733826066512 140180003716224 140180104558155 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24064/tid=24067] ppid=24061 vsize=1047732 CPUtime=0
/proc/24064/task/24067/stat : 24067 (java) S 24061 24061 1733 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 115978024 1072877568 147659 18446744073709551615 4194304 4228012 140733826066512 140180002662416 140180104557268 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24064/tid=24068] ppid=24061 vsize=1047732 CPUtime=0
/proc/24064/task/24068/stat : 24068 (java) S 24061 24061 1733 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 115978024 1072877568 147659 18446744073709551615 4194304 4228012 140733826066512 140180001609632 140180104557268 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24064/tid=24069] ppid=24061 vsize=1047732 CPUtime=0
/proc/24064/task/24069/stat : 24069 (java) S 24061 24061 1733 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 115978027 1072877568 147659 18446744073709551615 4194304 4228012 140733826066512 140180000558064 140180104565792 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24064/tid=24070] ppid=24061 vsize=1047732 CPUtime=1.33
/proc/24064/task/24070/stat : 24070 (java) S 24061 24061 1733 0 -1 4202560 10750 0 0 0 129 4 0 0 20 0 11 0 115978027 1072877568 147659 18446744073709551615 4194304 4228012 140733826066512 140179999505424 140180104557268 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24064/tid=24071] ppid=24061 vsize=1047732 CPUtime=1.38
/proc/24064/task/24071/stat : 24071 (java) R 24061 24061 1733 0 -1 4202560 9336 0 0 0 135 3 0 0 20 0 11 0 115978027 1072877568 147659 18446744073709551615 4194304 4228012 140733826066512 140179998452496 140180087654401 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24064/tid=24072] ppid=24061 vsize=1047732 CPUtime=0
/proc/24064/task/24072/stat : 24072 (java) S 24061 24061 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 115978027 1072877568 147659 18446744073709551615 4194304 4228012 140733826066512 140179997400272 140180104557268 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24064/tid=24073] ppid=24061 vsize=1047732 CPUtime=0
/proc/24064/task/24073/stat : 24073 (java) S 24061 24061 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 115978027 1072877568 147659 18446744073709551615 4194304 4228012 140733826066512 140179996347776 140180104558155 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 9.9
Current children cumulated vsize (KiB) 1056900

[startup+11.2009 s]
/proc/loadavg: 1.50 1.13 0.97 1/71 24075
/proc/meminfo: memFree=9256/1022884 swapFree=0/0
[pid=24061] ppid=24060 vsize=9168 CPUtime=0
/proc/24061/stat : 24061 (p2cudf-basic-1.) S 24060 24061 1733 0 -1 4202496 455 291 0 0 0 0 0 0 20 0 1 0 115978021 9388032 330 18446744073709551615 4194304 5129932 140737451556176 140737451554320 140124421776478 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/24061/statm: 2292 330 280 229 0 52 0
[pid=24064] ppid=24061 vsize=1048760 CPUtime=10.35
/proc/24064/stat : 24064 (java) S 24061 24061 1733 0 -1 4202496 153213 0 0 0 980 55 0 0 20 0 11 0 115978021 1073930240 147703 18446744073709551615 4194304 4228012 140733826066512 140733826057536 140180104543861 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24064/statm: 262190 147703 2381 9 0 249540 0
[pid=24064/tid=24065] ppid=24061 vsize=1048760 CPUtime=5.42
/proc/24064/task/24065/stat : 24065 (java) S 24061 24061 1733 0 -1 4202560 47807 0 0 0 522 20 0 0 20 0 11 0 115978022 1073930240 147703 18446744073709551615 4194304 4228012 140733826066512 140180111078320 140180104557268 0 4 0 16800975 0 0 0 -1 0 0 0 31 0 0
[pid=24064/tid=24066] ppid=24061 vsize=1048760 CPUtime=1.99
/proc/24064/task/24066/stat : 24066 (java) S 24061 24061 1733 0 -1 4202560 83993 0 0 0 174 25 0 0 20 0 11 0 115978024 1073930240 147703 18446744073709551615 4194304 4228012 140733826066512 140180003716224 140180104558155 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24064/tid=24067] ppid=24061 vsize=1048760 CPUtime=0
/proc/24064/task/24067/stat : 24067 (java) S 24061 24061 1733 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 115978024 1073930240 147703 18446744073709551615 4194304 4228012 140733826066512 140180002662416 140180104557268 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24064/tid=24068] ppid=24061 vsize=1048760 CPUtime=0
/proc/24064/task/24068/stat : 24068 (java) S 24061 24061 1733 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 115978024 1073930240 147703 18446744073709551615 4194304 4228012 140733826066512 140180001609632 140180104557268 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24064/tid=24069] ppid=24061 vsize=1048760 CPUtime=0
/proc/24064/task/24069/stat : 24069 (java) S 24061 24061 1733 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 115978027 1073930240 147703 18446744073709551615 4194304 4228012 140733826066512 140180000558064 140180104565792 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24064/tid=24070] ppid=24061 vsize=1048760 CPUtime=1.42
/proc/24064/task/24070/stat : 24070 (java) S 24061 24061 1733 0 -1 4202560 10762 0 0 0 137 5 0 0 20 0 11 0 115978027 1073930240 147703 18446744073709551615 4194304 4228012 140733826066512 140179999505424 140180104557268 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24064/tid=24071] ppid=24061 vsize=1048760 CPUtime=1.49
/proc/24064/task/24071/stat : 24071 (java) S 24061 24061 1733 0 -1 4202560 9349 0 0 0 146 3 0 0 20 0 11 0 115978027 1073930240 147703 18446744073709551615 4194304 4228012 140733826066512 140179998452752 140180104557268 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24064/tid=24072] ppid=24061 vsize=1048760 CPUtime=0
/proc/24064/task/24072/stat : 24072 (java) S 24061 24061 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 115978027 1073930240 147703 18446744073709551615 4194304 4228012 140733826066512 140179997400272 140180104557268 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24064/tid=24073] ppid=24061 vsize=1048760 CPUtime=0
/proc/24064/task/24073/stat : 24073 (java) S 24061 24061 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 115978027 1073930240 147703 18446744073709551615 4194304 4228012 140733826066512 140179996347776 140180104558155 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24064/tid=24075] ppid=24061 vsize=1048760 CPUtime=0
/proc/24064/task/24075/stat : 24075 (java) S 24061 24061 1733 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 11 0 115979105 1073930240 147703 18446744073709551615 4194304 4228012 140733826066512 140179994089648 140180104558155 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 10.35
Current children cumulated vsize (KiB) 1057928

[startup+11.6012 s]
/proc/loadavg: 1.50 1.13 0.97 1/71 24075
/proc/meminfo: memFree=9256/1022884 swapFree=0/0
[pid=24061] ppid=24060 vsize=9168 CPUtime=0
/proc/24061/stat : 24061 (p2cudf-basic-1.) S 24060 24061 1733 0 -1 4202496 455 291 0 0 0 0 0 0 20 0 1 0 115978021 9388032 330 18446744073709551615 4194304 5129932 140737451556176 140737451554320 140124421776478 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/24061/statm: 2292 330 280 229 0 52 0
[pid=24064] ppid=24061 vsize=0 CPUtime=10.56
/proc/24064/stat : 24064 (java) Z 24061 24061 1733 0 -1 4203532 153228 0 0 0 995 61 0 0 20 0 2 0 115978021 0 0 18446744073709551615 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24064/statm: 0 0 0 0 0 0 0
[pid=24064/tid=24075] ppid=24061 vsize=0 CPUtime=0.16
/proc/24064/task/24075/stat : 24075 (java) R 24061 24061 1733 0 -1 4203588 8 0 0 0 9 7 0 0 20 0 2 0 115979105 0 0 18446744073709551615 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 1 0 0
Current children cumulated CPU time (s) 10.56
Current children cumulated vsize (KiB) 9168

Child status: 0
Real time (s): 11.6263
CPU time (s): 10.5967
CPU user time (s): 9.95662
CPU system time (s): 0.64004
CPU usage (%): 91.1436
Max. virtual memory (cumulated for all children) (KiB): 1061308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.95662
system time used= 0.64004
maximum resident set size= 590864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 153987
page faults= 0
swaps= 0
block input operations= 68424
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1059
involuntary context switches= 2765

runsolver used 0.040002 second user time and 0.076004 second system time

The end