runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-4255662-1501637995/watcher-4255662-1501637995 -o /tmp/evaluation-result-4255662-1501637995/solver-4255662-1501637995 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node128-1501622883-15277 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-alns.jar --randomseed 1522287783 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4255662-1501637995.xml
pid=25332
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.40 1.45 1.48 3/195 25335
/proc/meminfo: memFree=30444608/32770624 swapFree=0/949532
[pid=25335] ppid=25332 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/25335/stat : 25335 (runsolver) D 25332 25335 5678 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 12424218 24240128 108 18446744073709551615 4194304 4338465 140736192483296 140736192480936 139854033355479 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 8118272 140736192487532 140736192488006 140736192488006 140736192491466 0
/proc/25335/statm: 5918 108 54 36 0 2156 0
[startup+0.109129 s]
/proc/loadavg: 1.40 1.45 1.48 3/195 25335
/proc/meminfo: memFree=30444608/32770624 swapFree=0/949532
[pid=25335] ppid=25332 vsize=13375000 CPUtime=0.01 cores=1,3,5,7
/proc/25335/stat : 25335 (java) S 25332 25335 5678 0 -1 1077944320 3667 0 0 0 1 0 0 0 20 0 7 0 12424218 13696000000 3856 18446744073709551615 4194304 4196468 140732558274048 140732558256592 140518910746359 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 29569024 140732558274967 140732558275147 140732558275147 140732558278607 0
/proc/25335/statm: 3343750 3856 1960 1 0 3333255 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13375000
[startup+0.200316 s]
/proc/loadavg: 1.40 1.45 1.48 3/195 25335
/proc/meminfo: memFree=30444608/32770624 swapFree=0/949532
[pid=25335] ppid=25332 vsize=13906484 CPUtime=0.06 cores=1,3,5,7
/proc/25335/stat : 25335 (java) S 25332 25335 5678 0 -1 1077944320 4873 0 0 0 5 1 0 0 20 0 14 0 12424218 14240239616 5412 18446744073709551615 4194304 4196468 140732558274048 140732558256592 140518910746359 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 29569024 140732558274967 140732558275147 140732558275147 140732558278607 0
/proc/25335/statm: 3476621 5412 2565 1 0 3466126 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13906484
[startup+0.300241 s]
/proc/loadavg: 1.40 1.45 1.48 3/195 25335
/proc/meminfo: memFree=30444608/32770624 swapFree=0/949532
[pid=25335] ppid=25332 vsize=13975920 CPUtime=0.19 cores=1,3,5,7
/proc/25335/stat : 25335 (java) S 25332 25335 5678 0 -1 1077944320 9804 0 0 0 17 2 0 0 20 0 15 0 12424218 14311342080 9132 18446744073709551615 4194304 4196468 140732558274048 140732558256592 140518910746359 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 29569024 140732558274967 140732558275147 140732558275147 140732558278607 0
/proc/25335/statm: 3493980 9132 3505 1 0 3482767 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 13975920
[startup+0.70029 s]
/proc/loadavg: 1.40 1.45 1.48 3/195 25335
/proc/meminfo: memFree=30444608/32770624 swapFree=0/949532
[pid=25335] ppid=25332 vsize=13975940 CPUtime=1.06 cores=1,3,5,7
/proc/25335/stat : 25335 (java) S 25332 25335 5678 0 -1 1077944320 14317 0 0 0 100 6 0 0 20 0 15 0 12424218 14311362560 26803 18446744073709551615 4194304 4196468 140732558274048 140732558256592 140518910746359 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 29569024 140732558274967 140732558275147 140732558275147 140732558278607 0
/proc/25335/statm: 3493985 26803 3715 1 0 3482767 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 13975940
[startup+1.50394 s]
/proc/loadavg: 1.40 1.45 1.48 5/210 25350
/proc/meminfo: memFree=30217300/32770624 swapFree=0/949548
[pid=25335] ppid=25332 vsize=13977988 CPUtime=3.32 cores=1,3,5,7
/proc/25335/stat : 25335 (java) S 25332 25335 5678 0 -1 1077944320 17258 0 0 0 319 13 0 0 20 0 15 0 12424218 14313459712 66251 18446744073709551615 4194304 4196468 140732558274048 140732558256592 140518910746359 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 29569024 140732558274967 140732558275147 140732558275147 140732558278607 0
/proc/25335/statm: 3494497 66251 3762 1 0 3483279 0
[pid=25335/tid=25337] ppid=25332 vsize=13977988 CPUtime=1.25 cores=1,3,5,7
/proc/25335/task/25337/stat : 25337 (java) R 25332 25335 5678 0 -1 4202560 10433 0 0 0 119 6 0 0 20 0 15 0 12424227 14313459712 66251 18446744073709551615 4194304 4196468 140732558274048 140518914981040 140518529051842 0 4 1 16800974 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 29569024 140732558274967 140732558275147 140732558275147 140732558278607 0
[pid=25335/tid=25338] ppid=25332 vsize=13977988 CPUtime=0.06 cores=1,3,5,7
/proc/25335/task/25338/stat : 25338 (java) S 25332 25335 5678 0 -1 1077944384 107 0 0 0 5 1 0 0 20 0 15 0 12424227 14313459712 66251 18446744073709551615 4194304 4196468 140732558274048 140518852692240 140518910756565 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29569024 140732558274967 140732558275147 140732558275147 140732558278607 0
[pid=25335/tid=25339] ppid=25332 vsize=13977988 CPUtime=0.05 cores=1,3,5,7
/proc/25335/task/25339/stat : 25339 (java) S 25332 25335 5678 0 -1 1077944384 122 0 0 0 4 1 0 0 20 0 15 0 12424227 14313459712 66251 18446744073709551615 4194304 4196468 140732558274048 140518851639696 140518910756565 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29569024 140732558274967 140732558275147 140732558275147 140732558278607 0
[pid=25335/tid=25340] ppid=25332 vsize=13977988 CPUtime=0.04 cores=1,3,5,7
/proc/25335/task/25340/stat : 25340 (java) S 25332 25335 5678 0 -1 1077944384 57 0 0 0 3 1 0 0 20 0 15 0 12424227 14313459712 66251 18446744073709551615 4194304 4196468 140732558274048 140518850587152 140518910756565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29569024 140732558274967 140732558275147 140732558275147 140732558278607 0
[pid=25335/tid=25341] ppid=25332 vsize=13977988 CPUtime=0.03 cores=1,3,5,7
/proc/25335/task/25341/stat : 25341 (java) S 25332 25335 5678 0 -1 1077944384 51 0 0 0 3 0 0 0 20 0 15 0 12424227 14313459712 66251 18446744073709551615 4194304 4196468 140732558274048 140518849534608 140518910756565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29569024 140732558274967 140732558275147 140732558275147 140732558278607 0
[pid=25335/tid=25342] ppid=25332 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/25335/task/25342/stat : 25342 (java) S 25332 25335 5678 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 12424229 14313459712 66251 18446744073709551615 4194304 4196468 140732558274048 140518457244144 140518910757506 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29569024 140732558274967 140732558275147 140732558275147 140732558278607 0
[pid=25335/tid=25343] ppid=25332 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/25335/task/25343/stat : 25343 (java) S 25332 25335 5678 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 12424229 14313459712 66251 18446744073709551615 4194304 4196468 140732558274048 140518456190368 140518910756565 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29569024 140732558274967 140732558275147 140732558275147 140732558278607 0
[pid=25335/tid=25344] ppid=25332 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/25335/task/25344/stat : 25344 (java) S 25332 25335 5678 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 12424229 14313459712 66251 18446744073709551615 4194304 4196468 140732558274048 140518455137792 140518910756565 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29569024 140732558274967 140732558275147 140732558275147 140732558278607 0
[pid=25335/tid=25345] ppid=25332 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/25335/task/25345/stat : 25345 (java) S 25332 25335 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12424232 14313459712 66251 18446744073709551615 4194304 4196468 140732558274048 140518454086352 140518910764955 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29569024 140732558274967 140732558275147 140732558275147 140732558278607 0
[pid=25335/tid=25346] ppid=25332 vsize=13977988 CPUtime=0.69 cores=1,3,5,7
/proc/25335/task/25346/stat : 25346 (java) R 25332 25335 5678 0 -1 4202560 2056 0 0 0 69 0 0 0 20 0 15 0 12424232 14313459712 66251 18446744073709551615 4194304 4196468 140732558274048 140518453033072 140518890599965 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29569024 140732558274967 140732558275147 140732558275147 140732558278607 0
[pid=25335/tid=25347] ppid=25332 vsize=13977988 CPUtime=0.79 cores=1,3,5,7
/proc/25335/task/25347/stat : 25347 (java) R 25332 25335 5678 0 -1 4202560 1951 0 0 0 79 0 0 0 20 0 15 0 12424232 14313459712 66251 18446744073709551615 4194304 4196468 140732558274048 140518451973592 140518888341104 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29569024 140732558274967 140732558275147 140732558275147 140732558278607 0
[pid=25335/tid=25348] ppid=25332 vsize=13977988 CPUtime=0.31 cores=1,3,5,7
/proc/25335/task/25348/stat : 25348 (java) S 25332 25335 5678 0 -1 1077944384 1028 0 0 0 31 0 0 0 20 0 15 0 12424232 14313459712 66251 18446744073709551615 4194304 4196468 140732558274048 140518450927856 140518910757506 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29569024 140732558274967 140732558275147 140732558275147 140732558278607 0
[pid=25335/tid=25349] ppid=25332 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/25335/task/25349/stat : 25349 (java) S 25332 25335 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12424232 14313459712 66251 18446744073709551615 4194304 4196468 140732558274048 140518449875552 140518910756565 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29569024 140732558274967 140732558275147 140732558275147 140732558278607 0
[pid=25335/tid=25350] ppid=25332 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/25335/task/25350/stat : 25350 (java) S 25332 25335 5678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12424239 14313459712 66251 18446744073709551615 4194304 4196468 140732558274048 140518448823088 140518910757506 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29569024 140732558274967 140732558275147 140732558275147 140732558278607 0
Current children cumulated CPU time (s) 3.32
Current children cumulated vsize (KiB) 13977988
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 25335 sig 9
??? kill -25335 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60072 s]
/proc/loadavg: 1.40 1.45 1.48 5/210 25350
/proc/meminfo: memFree=30217300/32770624 swapFree=0/949548
[pid=25335] ppid=25332 vsize=13977988 CPUtime=3.61 cores=1,3,5,7
/proc/25335/stat : 25335 (java) S 25332 25335 5678 0 -1 1077944320 17311 0 0 0 346 15 0 0 20 0 15 0 12424218 14313459712 78070 18446744073709551615 4194304 4196468 140732558274048 140732558256592 140518910746359 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 29569024 140732558274967 140732558275147 140732558275147 140732558278607 0
/proc/25335/statm: 3494497 78070 3768 1 0 3483279 0
[pid=25335/tid=25337] ppid=25332 vsize=13977988 CPUtime=1.35 cores=1,3,5,7
/proc/25335/task/25337/stat : 25337 (java) R 25332 25335 5678 0 -1 4202560 10461 0 0 0 128 7 0 0 20 0 15 0 12424227 14313459712 78070 18446744073709551615 4194304 4196468 140732558274048 140518914982056 140518894826846 0 4 1 16800974 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 29569024 140732558274967 140732558275147 140732558275147 140732558278607 0
[pid=25335/tid=25338] ppid=25332 vsize=13977988 CPUtime=0.06 cores=1,3,5,7
/proc/25335/task/25338/stat : 25338 (java) S 25332 25335 5678 0 -1 1077944384 107 0 0 0 5 1 0 0 20 0 15 0 12424227 14313459712 78070 18446744073709551615 4194304 4196468 140732558274048 140518852692240 140518910756565 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29569024 140732558274967 140732558275147 140732558275147 140732558278607 0
[pid=25335/tid=25339] ppid=25332 vsize=13977988 CPUtime=0.05 cores=1,3,5,7
/proc/25335/task/25339/stat : 25339 (java) S 25332 25335 5678 0 -1 1077944384 122 0 0 0 4 1 0 0 20 0 15 0 12424227 14313459712 78070 18446744073709551615 4194304 4196468 140732558274048 140518851639696 140518910756565 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29569024 140732558274967 140732558275147 140732558275147 140732558278607 0
[pid=25335/tid=25340] ppid=25332 vsize=13977988 CPUtime=0.04 cores=1,3,5,7
/proc/25335/task/25340/stat : 25340 (java) S 25332 25335 5678 0 -1 1077944384 57 0 0 0 3 1 0 0 20 0 15 0 12424227 14313459712 78070 18446744073709551615 4194304 4196468 140732558274048 140518850587152 140518910756565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29569024 140732558274967 140732558275147 140732558275147 140732558278607 0
[pid=25335/tid=25341] ppid=25332 vsize=13977988 CPUtime=0.03 cores=1,3,5,7
/proc/25335/task/25341/stat : 25341 (java) S 25332 25335 5678 0 -1 1077944384 51 0 0 0 3 0 0 0 20 0 15 0 12424227 14313459712 78070 18446744073709551615 4194304 4196468 140732558274048 140518849534608 140518910756565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29569024 140732558274967 140732558275147 140732558275147 140732558278607 0
[pid=25335/tid=25342] ppid=25332 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/25335/task/25342/stat : 25342 (java) S 25332 25335 5678 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 12424229 14313459712 78070 18446744073709551615 4194304 4196468 140732558274048 140518457244144 140518910757506 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29569024 140732558274967 140732558275147 140732558275147 140732558278607 0
[pid=25335/tid=25343] ppid=25332 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/25335/task/25343/stat : 25343 (java) S 25332 25335 5678 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 12424229 14313459712 78070 18446744073709551615 4194304 4196468 140732558274048 140518456190368 140518910756565 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29569024 140732558274967 140732558275147 140732558275147 140732558278607 0
[pid=25335/tid=25344] ppid=25332 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/25335/task/25344/stat : 25344 (java) S 25332 25335 5678 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 12424229 14313459712 78070 18446744073709551615 4194304 4196468 140732558274048 140518455137792 140518910756565 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29569024 140732558274967 140732558275147 140732558275147 140732558278607 0
[pid=25335/tid=25345] ppid=25332 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/25335/task/25345/stat : 25345 (java) S 25332 25335 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12424232 14313459712 78070 18446744073709551615 4194304 4196468 140732558274048 140518454086352 140518910764955 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29569024 140732558274967 140732558275147 140732558275147 140732558278607 0
[pid=25335/tid=25346] ppid=25332 vsize=13977988 CPUtime=0.78 cores=1,3,5,7
/proc/25335/task/25346/stat : 25346 (java) S 25332 25335 5678 0 -1 1077944384 2070 0 0 0 78 0 0 0 20 0 15 0 12424232 14313459712 78070 18446744073709551615 4194304 4196468 140732558274048 140518453032944 140518910757506 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29569024 140732558274967 140732558275147 140732558275147 140732558278607 0
[pid=25335/tid=25347] ppid=25332 vsize=13977988 CPUtime=0.88 cores=1,3,5,7
/proc/25335/task/25347/stat : 25347 (java) S 25332 25335 5678 0 -1 1077944384 1960 0 0 0 88 0 0 0 20 0 15 0 12424232 14313459712 78070 18446744073709551615 4194304 4196468 140732558274048 140518451980400 140518910757506 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29569024 140732558274967 140732558275147 140732558275147 140732558278607 0
[pid=25335/tid=25348] ppid=25332 vsize=13977988 CPUtime=0.31 cores=1,3,5,7
/proc/25335/task/25348/stat : 25348 (java) S 25332 25335 5678 0 -1 1077944384 1030 0 0 0 31 0 0 0 20 0 15 0 12424232 14313459712 78070 18446744073709551615 4194304 4196468 140732558274048 140518450927856 140518910757506 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29569024 140732558274967 140732558275147 140732558275147 140732558278607 0
[pid=25335/tid=25349] ppid=25332 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/25335/task/25349/stat : 25349 (java) S 25332 25335 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12424232 14313459712 78070 18446744073709551615 4194304 4196468 140732558274048 140518449875552 140518910756565 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29569024 140732558274967 140732558275147 140732558275147 140732558278607 0
[pid=25335/tid=25350] ppid=25332 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/25335/task/25350/stat : 25350 (java) S 25332 25335 5678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12424239 14313459712 78070 18446744073709551615 4194304 4196468 140732558274048 140518448823088 140518910757506 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29569024 140732558274967 140732558275147 140732558275147 140732558278607 0
Current children cumulated CPU time (s) 3.61
Current children cumulated vsize (KiB) 13977988
[startup+2.00067 s]
/proc/loadavg: 1.40 1.45 1.48 5/210 25350
/proc/meminfo: memFree=30217300/32770624 swapFree=0/949548
[pid=25335] ppid=25332 vsize=13977988 CPUtime=4.72 cores=1,3,5,7
/proc/25335/stat : 25335 (java) S 25332 25335 5678 0 -1 1077944320 18110 0 0 0 455 17 0 0 20 0 15 0 12424218 14313459712 101339 18446744073709551615 4194304 4196468 140732558274048 140732558256592 140518910746359 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 29569024 140732558274967 140732558275147 140732558275147 140732558278607 0
/proc/25335/statm: 3494497 101339 3787 1 0 3483279 0
[pid=25335/tid=25337] ppid=25332 vsize=13977988 CPUtime=1.72 cores=1,3,5,7
/proc/25335/task/25337/stat : 25337 (java) R 25332 25335 5678 0 -1 4202560 10614 0 0 0 164 8 0 0 20 0 15 0 12424227 14313459712 101339 18446744073709551615 4194304 4196468 140732558274048 140518914981032 140518533847732 0 4 1 16800974 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 29569024 140732558274967 140732558275147 140732558275147 140732558278607 0
[pid=25335/tid=25338] ppid=25332 vsize=13977988 CPUtime=0.1 cores=1,3,5,7
/proc/25335/task/25338/stat : 25338 (java) S 25332 25335 5678 0 -1 1077944384 164 0 0 0 8 2 0 0 20 0 15 0 12424227 14313459712 101339 18446744073709551615 4194304 4196468 140732558274048 140518852692240 140518910756565 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29569024 140732558274967 140732558275147 140732558275147 140732558278607 0
[pid=25335/tid=25339] ppid=25332 vsize=13977988 CPUtime=0.07 cores=1,3,5,7
/proc/25335/task/25339/stat : 25339 (java) S 25332 25335 5678 0 -1 1077944384 130 0 0 0 6 1 0 0 20 0 15 0 12424227 14313459712 101339 18446744073709551615 4194304 4196468 140732558274048 140518851639696 140518910756565 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29569024 140732558274967 140732558275147 140732558275147 140732558278607 0
[pid=25335/tid=25340] ppid=25332 vsize=13977988 CPUtime=0.07 cores=1,3,5,7
/proc/25335/task/25340/stat : 25340 (java) S 25332 25335 5678 0 -1 1077944384 118 0 0 0 6 1 0 0 20 0 15 0 12424227 14313459712 101339 18446744073709551615 4194304 4196468 140732558274048 140518850587152 140518910756565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29569024 140732558274967 140732558275147 140732558275147 140732558278607 0
[pid=25335/tid=25341] ppid=25332 vsize=13977988 CPUtime=0.07 cores=1,3,5,7
/proc/25335/task/25341/stat : 25341 (java) S 25332 25335 5678 0 -1 1077944384 66 0 0 0 6 1 0 0 20 0 15 0 12424227 14313459712 101339 18446744073709551615 4194304 4196468 140732558274048 140518849534608 140518910756565 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29569024 140732558274967 140732558275147 140732558275147 140732558278607 0
[pid=25335/tid=25342] ppid=25332 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/25335/task/25342/stat : 25342 (java) S 25332 25335 5678 0 -1 1077944384 210 0 0 0 0 0 0 0 20 0 15 0 12424229 14313459712 101339 18446744073709551615 4194304 4196468 140732558274048 140518457244144 140518910757506 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29569024 140732558274967 140732558275147 140732558275147 140732558278607 0
[pid=25335/tid=25343] ppid=25332 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/25335/task/25343/stat : 25343 (java) S 25332 25335 5678 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 12424229 14313459712 101339 18446744073709551615 4194304 4196468 140732558274048 140518456190432 140518910756565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29569024 140732558274967 140732558275147 140732558275147 140732558278607 0
[pid=25335/tid=25344] ppid=25332 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/25335/task/25344/stat : 25344 (java) S 25332 25335 5678 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 12424229 14313459712 101339 18446744073709551615 4194304 4196468 140732558274048 140518455137792 140518910756565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29569024 140732558274967 140732558275147 140732558275147 140732558278607 0
[pid=25335/tid=25345] ppid=25332 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/25335/task/25345/stat : 25345 (java) S 25332 25335 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12424232 14313459712 101339 18446744073709551615 4194304 4196468 140732558274048 140518454086352 140518910764955 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29569024 140732558274967 140732558275147 140732558275147 140732558278607 0
[pid=25335/tid=25346] ppid=25332 vsize=13977988 CPUtime=1.05 cores=1,3,5,7
/proc/25335/task/25346/stat : 25346 (java) S 25332 25335 5678 0 -1 1077944384 2132 0 0 0 105 0 0 0 20 0 15 0 12424232 14313459712 101339 18446744073709551615 4194304 4196468 140732558274048 140518453032944 140518910757506 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29569024 140732558274967 140732558275147 140732558275147 140732558278607 0
[pid=25335/tid=25347] ppid=25332 vsize=13977988 CPUtime=1.15 cores=1,3,5,7
/proc/25335/task/25347/stat : 25347 (java) S 25332 25335 5678 0 -1 1077944384 2036 0 0 0 115 0 0 0 20 0 15 0 12424232 14313459712 101339 18446744073709551615 4194304 4196468 140732558274048 140518451980400 140518910757506 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29569024 140732558274967 140732558275147 140732558275147 140732558278607 0
[pid=25335/tid=25348] ppid=25332 vsize=13977988 CPUtime=0.41 cores=1,3,5,7
/proc/25335/task/25348/stat : 25348 (java) S 25332 25335 5678 0 -1 1077944384 1271 0 0 0 41 0 0 0 20 0 15 0 12424232 14313459712 101339 18446744073709551615 4194304 4196468 140732558274048 140518450927856 140518910757506 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29569024 140732558274967 140732558275147 140732558275147 140732558278607 0
[pid=25335/tid=25349] ppid=25332 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/25335/task/25349/stat : 25349 (java) S 25332 25335 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12424232 14313459712 101339 18446744073709551615 4194304 4196468 140732558274048 140518449875552 140518910756565 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29569024 140732558274967 140732558275147 140732558275147 140732558278607 0
[pid=25335/tid=25350] ppid=25332 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/25335/task/25350/stat : 25350 (java) S 25332 25335 5678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12424239 14313459712 101339 18446744073709551615 4194304 4196468 140732558274048 140518448823088 140518910757506 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29569024 140732558274967 140732558275147 140732558275147 140732558278607 0
Current children cumulated CPU time (s) 4.72
Current children cumulated vsize (KiB) 13977988
[startup+2.20136 s]
/proc/loadavg: 1.40 1.45 1.48 6/210 25350
/proc/meminfo: memFree=30048080/32770624 swapFree=0/949548
[pid=25335] ppid=25332 vsize=13981064 CPUtime=5.08 cores=1,3,5,7
/proc/25335/stat : 25335 (java) S 25332 25335 5678 0 -1 1077944320 18892 0 0 0 490 18 0 0 20 0 16 0 12424218 14316609536 102142 18446744073709551615 4194304 4196468 140732558274048 140732558256592 140518910746359 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 29569024 140732558274967 140732558275147 140732558275147 140732558278607 0
/proc/25335/statm: 3495266 102142 3789 1 0 3484048 0
[pid=25335/tid=25337] ppid=25332 vsize=13981064 CPUtime=1.92 cores=1,3,5,7
/proc/25335/task/25337/stat : 25337 (java) S 25332 25335 5678 0 -1 1077944384 11300 0 0 0 184 8 0 0 20 0 16 0 12424227 14316609536 102142 18446744073709551615 4194304 4196468 140732558274048 140518914987168 140518910756565 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 29569024 140732558274967 140732558275147 140732558275147 140732558278607 0
[pid=25335/tid=25338] ppid=25332 vsize=13981064 CPUtime=0.1 cores=1,3,5,7
/proc/25335/task/25338/stat : 25338 (java) S 25332 25335 5678 0 -1 1077944384 164 0 0 0 8 2 0 0 20 0 16 0 12424227 14316609536 102142 18446744073709551615 4194304 4196468 140732558274048 140518852692240 140518910756565 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29569024 140732558274967 140732558275147 140732558275147 140732558278607 0
[pid=25335/tid=25339] ppid=25332 vsize=13981064 CPUtime=0.07 cores=1,3,5,7
/proc/25335/task/25339/stat : 25339 (java) S 25332 25335 5678 0 -1 1077944384 130 0 0 0 6 1 0 0 20 0 16 0 12424227 14316609536 102142 18446744073709551615 4194304 4196468 140732558274048 140518851639696 140518910756565 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29569024 140732558274967 140732558275147 140732558275147 140732558278607 0
[pid=25335/tid=25340] ppid=25332 vsize=13981064 CPUtime=0.07 cores=1,3,5,7
/proc/25335/task/25340/stat : 25340 (java) S 25332 25335 5678 0 -1 1077944384 118 0 0 0 6 1 0 0 20 0 16 0 12424227 14316609536 102142 18446744073709551615 4194304 4196468 140732558274048 140518850587152 140518910756565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29569024 140732558274967 140732558275147 140732558275147 140732558278607 0
[pid=25335/tid=25341] ppid=25332 vsize=13981064 CPUtime=0.07 cores=1,3,5,7
/proc/25335/task/25341/stat : 25341 (java) S 25332 25335 5678 0 -1 1077944384 66 0 0 0 6 1 0 0 20 0 16 0 12424227 14316609536 102142 18446744073709551615 4194304 4196468 140732558274048 140518849534608 140518910756565 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29569024 140732558274967 140732558275147 140732558275147 140732558278607 0
[pid=25335/tid=25342] ppid=25332 vsize=13981064 CPUtime=0 cores=1,3,5,7
/proc/25335/task/25342/stat : 25342 (java) S 25332 25335 5678 0 -1 1077944384 210 0 0 0 0 0 0 0 20 0 16 0 12424229 14316609536 102142 18446744073709551615 4194304 4196468 140732558274048 140518457244144 140518910757506 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29569024 140732558274967 140732558275147 140732558275147 140732558278607 0
[pid=25335/tid=25343] ppid=25332 vsize=13981064 CPUtime=0 cores=1,3,5,7
/proc/25335/task/25343/stat : 25343 (java) S 25332 25335 5678 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 12424229 14316609536 102142 18446744073709551615 4194304 4196468 140732558274048 140518456190432 140518910756565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29569024 140732558274967 140732558275147 140732558275147 140732558278607 0
[pid=25335/tid=25344] ppid=25332 vsize=13981064 CPUtime=0 cores=1,3,5,7
/proc/25335/task/25344/stat : 25344 (java) S 25332 25335 5678 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 12424229 14316609536 102142 18446744073709551615 4194304 4196468 140732558274048 140518455137792 140518910756565 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29569024 140732558274967 140732558275147 140732558275147 140732558278607 0
[pid=25335/tid=25345] ppid=25332 vsize=13981064 CPUtime=0 cores=1,3,5,7
/proc/25335/task/25345/stat : 25345 (java) S 25332 25335 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 12424232 14316609536 102142 18446744073709551615 4194304 4196468 140732558274048 140518454086352 140518910764955 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29569024 140732558274967 140732558275147 140732558275147 140732558278607 0
[pid=25335/tid=25346] ppid=25332 vsize=13981064 CPUtime=1.11 cores=1,3,5,7
/proc/25335/task/25346/stat : 25346 (java) R 25332 25335 5678 0 -1 4202560 2155 0 0 0 111 0 0 0 20 0 16 0 12424232 14316609536 102142 18446744073709551615 4194304 4196468 140732558274048 140518453023088 140518894133136 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29569024 140732558274967 140732558275147 140732558275147 140732558278607 0
[pid=25335/tid=25347] ppid=25332 vsize=13981064 CPUtime=1.2 cores=1,3,5,7
/proc/25335/task/25347/stat : 25347 (java) S 25332 25335 5678 0 -1 1077944384 2056 0 0 0 120 0 0 0 20 0 16 0 12424232 14316609536 102142 18446744073709551615 4194304 4196468 140732558274048 140518451980400 140518910757506 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29569024 140732558274967 140732558275147 140732558275147 140732558278607 0
[pid=25335/tid=25348] ppid=25332 vsize=13981064 CPUtime=0.44 cores=1,3,5,7
/proc/25335/task/25348/stat : 25348 (java) S 25332 25335 5678 0 -1 1077944384 1324 0 0 0 44 0 0 0 20 0 16 0 12424232 14316609536 102142 18446744073709551615 4194304 4196468 140732558274048 140518450927856 140518910757506 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29569024 140732558274967 140732558275147 140732558275147 140732558278607 0
[pid=25335/tid=25349] ppid=25332 vsize=13981064 CPUtime=0 cores=1,3,5,7
/proc/25335/task/25349/stat : 25349 (java) S 25332 25335 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 12424232 14316609536 102142 18446744073709551615 4194304 4196468 140732558274048 140518449875552 140518910756565 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29569024 140732558274967 140732558275147 140732558275147 140732558278607 0
[pid=25335/tid=25350] ppid=25332 vsize=13981064 CPUtime=0 cores=1,3,5,7
/proc/25335/task/25350/stat : 25350 (java) S 25332 25335 5678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 12424239 14316609536 102142 18446744073709551615 4194304 4196468 140732558274048 140518448823088 140518910757506 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29569024 140732558274967 140732558275147 140732558275147 140732558278607 0
[pid=25335/tid=25351] ppid=25332 vsize=13981064 CPUtime=0 cores=1,3,5,7
/proc/25335/task/25351/stat : 25351 (java) R 25332 25335 5678 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 16 0 12424439 14316609536 102142 18446744073709551615 4194304 4196468 140732558274048 140518914984608 140518903486209 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29569024 140732558274967 140732558275147 140732558275147 140732558278607 0
Current children cumulated CPU time (s) 5.08
Current children cumulated vsize (KiB) 13981064
Child status: 0
Real time (s): 2.21334
CPU time (s): 5.08825
CPU user time (s): 4.90243
CPU system time (s): 0.185821
CPU usage (%): 229.89
Max. virtual memory (cumulated for all children) (KiB): 13981064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.90243
system time used= 0.185821
maximum resident set size= 409724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18942
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2223
involuntary context switches= 16
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.020981 second user time and 0.00901 second system time
The end