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-4248364-1500691703/watcher-4248364-1500691703 -o /tmp/evaluation-result-4248364-1500691703/solver-4248364-1500691703 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500684128-16796 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1899012590 HOME/instance-4248364-1500691703.xml
pid=4580
running on 8 cores: 0,2,4,6,8,10,12,14
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 14.66 14.71 13.41 10/270 4583
/proc/meminfo: memFree=28791488/32770624 swapFree=5892/123796
[pid=4583] ppid=4580 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4583/stat : 4583 (xcsp3-exec) S 4580 4583 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4440025 9740288 345 33554432000 4194304 5098028 140721761131280 140721761129384 140260635292284 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 38617088 140721761137806 140721761138016 140721761138016 140721761140715 0
/proc/4583/statm: 2378 345 289 221 0 87 0
[startup+0.100098 s]
/proc/loadavg: 14.66 14.71 13.41 10/270 4583
/proc/meminfo: memFree=28791488/32770624 swapFree=5892/123796
[pid=4583] ppid=4580 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4583/stat : 4583 (xcsp3-exec) S 4580 4583 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4440025 9740288 345 33554432000 4194304 5098028 140721761131280 140721761129384 140260635292284 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 38617088 140721761137806 140721761138016 140721761138016 140721761140715 0
/proc/4583/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200312 s]
/proc/loadavg: 14.66 14.71 13.41 10/270 4583
/proc/meminfo: memFree=28791488/32770624 swapFree=5892/123796
[pid=4583] ppid=4580 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4583/stat : 4583 (xcsp3-exec) S 4580 4583 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4440025 9740288 345 33554432000 4194304 5098028 140721761131280 140721761129384 140260635292284 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 38617088 140721761137806 140721761138016 140721761138016 140721761140715 0
/proc/4583/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300223 s]
/proc/loadavg: 14.66 14.71 13.41 10/270 4583
/proc/meminfo: memFree=28791488/32770624 swapFree=5892/123796
[pid=4583] ppid=4580 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4583/stat : 4583 (xcsp3-exec) S 4580 4583 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4440025 9740288 345 33554432000 4194304 5098028 140721761131280 140721761129384 140260635292284 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 38617088 140721761137806 140721761138016 140721761138016 140721761140715 0
/proc/4583/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700191 s]
/proc/loadavg: 14.66 14.71 13.41 10/270 4583
/proc/meminfo: memFree=28791488/32770624 swapFree=5892/123796
[pid=4583] ppid=4580 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4583/stat : 4583 (xcsp3-exec) S 4580 4583 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4440025 9740288 345 33554432000 4194304 5098028 140721761131280 140721761129384 140260635292284 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 38617088 140721761137806 140721761138016 140721761138016 140721761140715 0
/proc/4583/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 4584 sig 9
??? kill 4583 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800279 s]
/proc/loadavg: 14.66 14.71 13.41 10/270 4583
/proc/meminfo: memFree=28791488/32770624 swapFree=5892/123796
[pid=4583] ppid=4580 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4583/stat : 4583 (xcsp3-exec) S 4580 4583 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4440025 9740288 345 33554432000 4194304 5098028 140721761131280 140721761129384 140260635292284 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 38617088 140721761137806 140721761138016 140721761138016 140721761140715 0
/proc/4583/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.21556 s]
/proc/loadavg: 14.66 14.71 13.41 20/299 4747
/proc/meminfo: memFree=28607152/32770624 swapFree=5892/123828
[pid=4583] ppid=4580 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4583/stat : 4583 (xcsp3-exec) S 4580 4583 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4440025 9740288 345 33554432000 4194304 5098028 140721761131280 140721761129384 140260635292284 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 38617088 140721761137806 140721761138016 140721761138016 140721761140715 0
/proc/4583/statm: 2378 345 289 221 0 87 0
[pid=4584] ppid=4583 vsize=13868332 CPUtime=6.24 cores=0,2,4,6,8,10,12,14
/proc/4584/stat : 4584 (java) S 4583 4583 15667 0 -1 1077944320 20106 0 0 0 612 12 0 0 20 0 28 0 4440025 14201171968 50230 33554432000 4194304 4196468 140736633126256 140736633108800 139714926595831 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 23482368 140736633132220 140736633132396 140736633132396 140736633135055 0
/proc/4584/statm: 3467083 50230 3239 1 0 3454316 0
[pid=4584/tid=4585] ppid=4583 vsize=13868332 CPUtime=0.47 cores=0,2,4,6,8,10,12,14
/proc/4584/task/4585/stat : 4585 (java) S 4583 4583 15667 0 -1 1077944384 6705 0 0 0 44 3 0 0 20 0 28 0 4440025 14201171968 50230 33554432000 4194304 4196468 140736633126256 139714930836608 139714926606037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23482368 140736633132220 140736633132396 140736633132396 140736633135055 0
[pid=4584/tid=4587] ppid=4583 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4584/task/4587/stat : 4587 (java) S 4583 4583 15667 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 4440026 14201171968 50230 33554432000 4194304 4196468 140736633126256 139714885356688 139714926606037 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23482368 140736633132220 140736633132396 140736633132396 140736633135055 0
[pid=4584/tid=4588] ppid=4583 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4584/task/4588/stat : 4588 (java) S 4583 4583 15667 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 4440026 14201171968 50230 33554432000 4194304 4196468 140736633126256 139714524433424 139714926606037 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 23482368 140736633132220 140736633132396 140736633132396 140736633135055 0
[pid=4584/tid=4589] ppid=4583 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4584/task/4589/stat : 4589 (java) S 4583 4583 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4440026 14201171968 50230 33554432000 4194304 4196468 140736633126256 139714523380624 139714926606037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23482368 140736633132220 140736633132396 140736633132396 140736633135055 0
[pid=4584/tid=4590] ppid=4583 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4584/task/4590/stat : 4590 (java) S 4583 4583 15667 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 4440026 14201171968 50230 33554432000 4194304 4196468 140736633126256 139714522327824 139714926606037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23482368 140736633132220 140736633132396 140736633132396 140736633135055 0
[pid=4584/tid=4591] ppid=4583 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4584/task/4591/stat : 4591 (java) S 4583 4583 15667 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 4440026 14201171968 50230 33554432000 4194304 4196468 140736633126256 139714521275024 139714926606037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23482368 140736633132220 140736633132396 140736633132396 140736633135055 0
[pid=4584/tid=4592] ppid=4583 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4584/task/4592/stat : 4592 (java) S 4583 4583 15667 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 4440026 14201171968 50230 33554432000 4194304 4196468 140736633126256 139714520222224 139714926606037 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 23482368 140736633132220 140736633132396 140736633132396 140736633135055 0
[pid=4584/tid=4593] ppid=4583 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4584/task/4593/stat : 4593 (java) S 4583 4583 15667 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 4440026 14201171968 50230 33554432000 4194304 4196468 140736633126256 139714519169424 139714926606037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23482368 140736633132220 140736633132396 140736633132396 140736633135055 0
[pid=4584/tid=4594] ppid=4583 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4584/task/4594/stat : 4594 (java) S 4583 4583 15667 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 28 0 4440026 14201171968 50230 33554432000 4194304 4196468 140736633126256 139714518116624 139714926606037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23482368 140736633132220 140736633132396 140736633132396 140736633135055 0
[pid=4584/tid=4595] ppid=4583 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4584/task/4595/stat : 4595 (java) S 4583 4583 15667 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 4440029 14201171968 50230 33554432000 4194304 4196468 140736633126256 139714254748528 139714926606978 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23482368 140736633132220 140736633132396 140736633132396 140736633135055 0
[pid=4584/tid=4596] ppid=4583 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4584/task/4596/stat : 4596 (java) S 4583 4583 15667 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 4440029 14201171968 50230 33554432000 4194304 4196468 140736633126256 139714253694496 139714926606037 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 23482368 140736633132220 140736633132396 140736633132396 140736633135055 0
[pid=4584/tid=4597] ppid=4583 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4584/task/4597/stat : 4597 (java) S 4583 4583 15667 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 4440030 14201171968 50230 33554432000 4194304 4196468 140736633126256 139714252641648 139714926606037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23482368 140736633132220 140736633132396 140736633132396 140736633135055 0
[pid=4584/tid=4598] ppid=4583 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4584/task/4598/stat : 4598 (java) S 4583 4583 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4440033 14201171968 50230 33554432000 4194304 4196468 140736633126256 139714251589968 139714926614427 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23482368 140736633132220 140736633132396 140736633132396 140736633135055 0
[pid=4584/tid=4599] ppid=4583 vsize=13868332 CPUtime=0.58 cores=0,2,4,6,8,10,12,14
/proc/4584/task/4599/stat : 4599 (java) R 4583 4583 15667 0 -1 4202560 2008 0 0 0 58 0 0 0 20 0 28 0 4440033 14201171968 50230 33554432000 4194304 4196468 140736633126256 139714250518344 139714907189077 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 23482368 140736633132220 140736633132396 140736633132396 140736633135055 0
[pid=4584/tid=4600] ppid=4583 vsize=13868332 CPUtime=0.62 cores=0,2,4,6,8,10,12,14
/proc/4584/task/4600/stat : 4600 (java) R 4583 4583 15667 0 -1 4202560 1909 0 0 0 62 0 0 0 20 0 28 0 4440033 14201171968 50230 33554432000 4194304 4196468 140736633126256 139714249470496 139714908116598 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23482368 140736633132220 140736633132396 140736633132396 140736633135055 0
[pid=4584/tid=4601] ppid=4583 vsize=13868332 CPUtime=0.71 cores=0,2,4,6,8,10,12,14
/proc/4584/task/4601/stat : 4601 (java) R 4583 4583 15667 0 -1 4202560 2614 0 0 0 71 0 0 0 20 0 28 0 4440033 14201171968 50230 33554432000 4194304 4196468 140736633126256 139714248418272 139714908115891 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23482368 140736633132220 140736633132396 140736633132396 140736633135055 0
[pid=4584/tid=4602] ppid=4583 vsize=13868332 CPUtime=0.43 cores=0,2,4,6,8,10,12,14
/proc/4584/task/4602/stat : 4602 (java) S 4583 4583 15667 0 -1 1077944384 2552 0 0 0 43 0 0 0 20 0 28 0 4440033 14201171968 50230 33554432000 4194304 4196468 140736633126256 139714247378928 139714926606978 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23482368 140736633132220 140736633132396 140736633132396 140736633135055 0
[pid=4584/tid=4603] ppid=4583 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4584/task/4603/stat : 4603 (java) S 4583 4583 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4440034 14201171968 50230 33554432000 4194304 4196468 140736633126256 139714246327392 139714926606037 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23482368 140736633132220 140736633132396 140736633132396 140736633135055 0
[pid=4584/tid=4604] ppid=4583 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4584/task/4604/stat : 4604 (java) S 4583 4583 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4440034 14201171968 50230 33554432000 4194304 4196468 140736633126256 139714245274672 139714926606978 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23482368 140736633132220 140736633132396 140736633132396 140736633135055 0
[pid=4584/tid=4748] ppid=4583 vsize=13868332 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/4584/task/4748/stat : 4748 (java) R 4583 4583 15667 0 -1 4202560 19 0 0 0 8 0 0 0 20 0 28 0 4440135 14201171968 50230 33554432000 4194304 4196468 140736633126256 139714237262040 139714565520979 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23482368 140736633132220 140736633132396 140736633132396 140736633135055 0
[pid=4584/tid=4749] ppid=4583 vsize=13868332 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/4584/task/4749/stat : 4749 (java) R 4583 4583 15667 0 -1 4202560 19 0 0 0 7 0 0 0 20 0 28 0 4440135 14201171968 50230 33554432000 4194304 4196468 140736633126256 139714233048560 139714566599599 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 23482368 140736633132220 140736633132396 140736633132396 140736633135055 0
[pid=4584/tid=4750] ppid=4583 vsize=13868332 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/4584/task/4750/stat : 4750 (java) R 4583 4583 15667 0 -1 4202560 17 0 0 0 6 0 0 0 20 0 28 0 4440135 14201171968 50230 33554432000 4194304 4196468 140736633126256 139714231996776 139714566590461 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23482368 140736633132220 140736633132396 140736633132396 140736633135055 0
[pid=4584/tid=4751] ppid=4583 vsize=13868332 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/4584/task/4751/stat : 4751 (java) R 4583 4583 15667 0 -1 4202560 17 0 0 0 6 0 0 0 20 0 28 0 4440135 14201171968 50230 33554432000 4194304 4196468 140736633126256 139714229891272 139714565775986 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 23482368 140736633132220 140736633132396 140736633132396 140736633135055 0
[pid=4584/tid=4752] ppid=4583 vsize=13868332 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/4584/task/4752/stat : 4752 (java) R 4583 4583 15667 0 -1 4202560 17 0 0 0 9 0 0 0 20 0 28 0 4440135 14201171968 50230 33554432000 4194304 4196468 140736633126256 139714236207592 139714565987754 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23482368 140736633132220 140736633132396 140736633132396 140736633135055 0
[pid=4584/tid=4753] ppid=4583 vsize=13868332 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/4584/task/4753/stat : 4753 (java) R 4583 4583 15667 0 -1 4202560 18 0 0 0 7 0 0 0 20 0 28 0 4440135 14201171968 50230 33554432000 4194304 4196468 140736633126256 139714235156224 139714907438796 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 23482368 140736633132220 140736633132396 140736633132396 140736633135055 0
[pid=4584/tid=4754] ppid=4583 vsize=13868332 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/4584/task/4754/stat : 4754 (java) R 4583 4583 15667 0 -1 4202560 18 0 0 0 11 0 0 0 20 0 28 0 4440135 14201171968 50230 33554432000 4194304 4196468 140736633126256 139714234100536 139714566217465 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 23482368 140736633132220 140736633132396 140736633132396 140736633135055 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 13877844
[startup+1.30158 s]
/proc/loadavg: 14.66 14.71 13.41 20/299 4747
/proc/meminfo: memFree=28607152/32770624 swapFree=5892/123828
[pid=4583] ppid=4580 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4583/stat : 4583 (xcsp3-exec) S 4580 4583 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4440025 9740288 345 33554432000 4194304 5098028 140721761131280 140721761129384 140260635292284 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 38617088 140721761137806 140721761138016 140721761138016 140721761140715 0
/proc/4583/statm: 2378 345 289 221 0 87 0
[pid=4584] ppid=4583 vsize=13869360 CPUtime=6.89 cores=0,2,4,6,8,10,12,14
/proc/4584/stat : 4584 (java) S 4583 4583 15667 0 -1 1077944320 20456 0 0 0 677 12 0 0 20 0 28 0 4440025 14202224640 50450 33554432000 4194304 4196468 140736633126256 140736633108800 139714926595831 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 23482368 140736633132220 140736633132396 140736633132396 140736633135055 0
/proc/4584/statm: 3467340 50450 3240 1 0 3454573 0
[pid=4584/tid=4585] ppid=4583 vsize=13869360 CPUtime=0.47 cores=0,2,4,6,8,10,12,14
/proc/4584/task/4585/stat : 4585 (java) S 4583 4583 15667 0 -1 1077944384 6705 0 0 0 44 3 0 0 20 0 28 0 4440025 14202224640 50450 33554432000 4194304 4196468 140736633126256 139714930836608 139714926606037 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 23482368 140736633132220 140736633132396 140736633132396 140736633135055 0
[pid=4584/tid=4587] ppid=4583 vsize=13869360 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4584/task/4587/stat : 4587 (java) S 4583 4583 15667 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 4440026 14202224640 50450 33554432000 4194304 4196468 140736633126256 139714885356688 139714926606037 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23482368 140736633132220 140736633132396 140736633132396 140736633135055 0
[pid=4584/tid=4588] ppid=4583 vsize=13869360 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4584/task/4588/stat : 4588 (java) S 4583 4583 15667 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 4440026 14202224640 50450 33554432000 4194304 4196468 140736633126256 139714524433424 139714926606037 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 23482368 140736633132220 140736633132396 140736633132396 140736633135055 0
[pid=4584/tid=4589] ppid=4583 vsize=13869360 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4584/task/4589/stat : 4589 (java) S 4583 4583 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4440026 14202224640 50450 33554432000 4194304 4196468 140736633126256 139714523380624 139714926606037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23482368 140736633132220 140736633132396 140736633132396 140736633135055 0
[pid=4584/tid=4590] ppid=4583 vsize=13869360 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4584/task/4590/stat : 4590 (java) S 4583 4583 15667 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 4440026 14202224640 50450 33554432000 4194304 4196468 140736633126256 139714522327824 139714926606037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23482368 140736633132220 140736633132396 140736633132396 140736633135055 0
[pid=4584/tid=4591] ppid=4583 vsize=13869360 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4584/task/4591/stat : 4591 (java) S 4583 4583 15667 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 4440026 14202224640 50450 33554432000 4194304 4196468 140736633126256 139714521275024 139714926606037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23482368 140736633132220 140736633132396 140736633132396 140736633135055 0
[pid=4584/tid=4592] ppid=4583 vsize=13869360 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4584/task/4592/stat : 4592 (java) S 4583 4583 15667 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 4440026 14202224640 50450 33554432000 4194304 4196468 140736633126256 139714520222224 139714926606037 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 23482368 140736633132220 140736633132396 140736633132396 140736633135055 0
[pid=4584/tid=4593] ppid=4583 vsize=13869360 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4584/task/4593/stat : 4593 (java) S 4583 4583 15667 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 4440026 14202224640 50450 33554432000 4194304 4196468 140736633126256 139714519169424 139714926606037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23482368 140736633132220 140736633132396 140736633132396 140736633135055 0
[pid=4584/tid=4594] ppid=4583 vsize=13869360 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4584/task/4594/stat : 4594 (java) S 4583 4583 15667 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 28 0 4440026 14202224640 50450 33554432000 4194304 4196468 140736633126256 139714518116624 139714926606037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23482368 140736633132220 140736633132396 140736633132396 140736633135055 0
[pid=4584/tid=4595] ppid=4583 vsize=13869360 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4584/task/4595/stat : 4595 (java) S 4583 4583 15667 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 4440029 14202224640 50450 33554432000 4194304 4196468 140736633126256 139714254748528 139714926606978 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23482368 140736633132220 140736633132396 140736633132396 140736633135055 0
[pid=4584/tid=4596] ppid=4583 vsize=13869360 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4584/task/4596/stat : 4596 (java) S 4583 4583 15667 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 4440029 14202224640 50450 33554432000 4194304 4196468 140736633126256 139714253694496 139714926606037 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 23482368 140736633132220 140736633132396 140736633132396 140736633135055 0
[pid=4584/tid=4597] ppid=4583 vsize=13869360 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4584/task/4597/stat : 4597 (java) S 4583 4583 15667 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 4440030 14202224640 50450 33554432000 4194304 4196468 140736633126256 139714252641648 139714926606037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23482368 140736633132220 140736633132396 140736633132396 140736633135055 0
[pid=4584/tid=4598] ppid=4583 vsize=13869360 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4584/task/4598/stat : 4598 (java) S 4583 4583 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4440033 14202224640 50450 33554432000 4194304 4196468 140736633126256 139714251589968 139714926614427 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23482368 140736633132220 140736633132396 140736633132396 140736633135055 0
[pid=4584/tid=4599] ppid=4583 vsize=13869360 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/4584/task/4599/stat : 4599 (java) R 4583 4583 15667 0 -1 4202560 2179 0 0 0 65 1 0 0 20 0 28 0 4440033 14202224640 50450 33554432000 4194304 4196468 140736633126256 139714250523352 139714911483757 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 23482368 140736633132220 140736633132396 140736633132396 140736633135055 0
[pid=4584/tid=4600] ppid=4583 vsize=13869360 CPUtime=0.68 cores=0,2,4,6,8,10,12,14
/proc/4584/task/4600/stat : 4600 (java) R 4583 4583 15667 0 -1 4202560 1918 0 0 0 68 0 0 0 20 0 28 0 4440033 14202224640 50450 33554432000 4194304 4196468 140736633126256 139714249473392 139714910988339 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 23482368 140736633132220 140736633132396 140736633132396 140736633135055 0
[pid=4584/tid=4601] ppid=4583 vsize=13869360 CPUtime=0.75 cores=0,2,4,6,8,10,12,14
/proc/4584/task/4601/stat : 4601 (java) R 4583 4583 15667 0 -1 4202560 2632 0 0 0 75 0 0 0 20 0 28 0 4440033 14202224640 50450 33554432000 4194304 4196468 140736633126256 139714248424920 139714910096037 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23482368 140736633132220 140736633132396 140736633132396 140736633135055 0
[pid=4584/tid=4602] ppid=4583 vsize=13869360 CPUtime=0.44 cores=0,2,4,6,8,10,12,14
/proc/4584/task/4602/stat : 4602 (java) S 4583 4583 15667 0 -1 1077944384 2559 0 0 0 44 0 0 0 20 0 28 0 4440033 14202224640 50450 33554432000 4194304 4196468 140736633126256 139714247378928 139714926606978 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 23482368 140736633132220 140736633132396 140736633132396 140736633135055 0
[pid=4584/tid=4603] ppid=4583 vsize=13869360 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4584/task/4603/stat : 4603 (java) S 4583 4583 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4440034 14202224640 50450 33554432000 4194304 4196468 140736633126256 139714246327392 139714926606037 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23482368 140736633132220 140736633132396 140736633132396 140736633135055 0
[pid=4584/tid=4604] ppid=4583 vsize=13869360 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4584/task/4604/stat : 4604 (java) S 4583 4583 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4440034 14202224640 50450 33554432000 4194304 4196468 140736633126256 139714245274672 139714926606978 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23482368 140736633132220 140736633132396 140736633132396 140736633135055 0
Current children cumulated CPU time (s) 6.89
Current children cumulated vsize (KiB) 13878872
Child status: 0
Real time (s): 1.37714
CPU time (s): 7.38235
CPU user time (s): 7.24666
CPU system time (s): 0.135689
CPU usage (%): 536.065
Max. virtual memory (cumulated for all children) (KiB): 13878872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.24666
system time used= 0.135689
maximum resident set size= 205176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21156
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3745
involuntary context switches= 930
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.013247 second user time and 0.025476 second system time
The end