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-4246541-1500711959/watcher-4246541-1500711959 -o /tmp/evaluation-result-4246541-1500711959/solver-4246541-1500711959 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node120-1500683657-8761 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1595861451 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4246541-1500711959.xml
pid=17512
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: 1.93 1.56 1.42 3/261 17515
/proc/meminfo: memFree=30876776/32770624 swapFree=5788/292168
[pid=17515] ppid=17512 vsize=361196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17515/stat : 17515 (java) S 17512 17515 8730 0 -1 1077944320 1717 0 0 0 0 0 0 0 20 0 2 0 6464190 369864704 1925 33554432000 4194304 4196468 140726905302576 140726905285120 139895147511543 0 0 0 16784584 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 21729280 140726905308297 140726905308484 140726905308484 140726905311183 0
/proc/17515/statm: 90299 1925 1072 1 0 79210 0
[pid=17515/tid=17516] ppid=17512 vsize=361196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17515/task/17516/stat : 17516 (java) R 17512 17515 8730 0 -1 4202560 412 0 0 0 0 0 0 0 20 0 2 0 6464190 369864704 1989 33554432000 4194304 4196468 140726905302576 139895151753632 139895125675312 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21729280 140726905308297 140726905308484 140726905308484 140726905311183 0
[startup+0.100063 s]
/proc/loadavg: 1.93 1.56 1.42 3/261 17515
/proc/meminfo: memFree=30876776/32770624 swapFree=5788/292168
[pid=17515] ppid=17512 vsize=13264380 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/17515/stat : 17515 (java) S 17512 17515 8730 0 -1 1077944320 5891 0 0 0 8 1 0 0 20 0 20 0 6464190 13582725120 6462 33554432000 4194304 4196468 140726905302576 140726905285120 139895147511543 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 21729280 140726905308297 140726905308484 140726905308484 140726905311183 0
/proc/17515/statm: 3316095 6462 3284 1 0 3303815 0
[pid=17515/tid=17516] ppid=17512 vsize=13264380 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/17515/task/17516/stat : 17516 (java) R 17512 17515 8730 0 -1 4202560 3970 0 0 0 7 1 0 0 20 0 20 0 6464190 13582725120 6462 33554432000 4194304 4196468 140726905302576 139895151751320 139895147533469 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21729280 140726905308297 140726905308484 140726905308484 140726905311183 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13264380
[startup+0.200404 s]
/proc/loadavg: 1.93 1.56 1.42 3/261 17515
/proc/meminfo: memFree=30876776/32770624 swapFree=5788/292168
[pid=17515] ppid=17512 vsize=13263912 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/17515/stat : 17515 (java) S 17512 17515 8730 0 -1 1077944320 9014 0 0 0 24 2 0 0 20 0 20 0 6464190 13582245888 8967 33554432000 4194304 4196468 140726905302576 140726905285120 139895147511543 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 21729280 140726905308297 140726905308484 140726905308484 140726905311183 0
/proc/17515/statm: 3315978 8967 3535 1 0 3303698 0
[pid=17515/tid=17516] ppid=17512 vsize=13263912 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/17515/task/17516/stat : 17516 (java) R 17512 17515 8730 0 -1 4202560 6721 0 0 0 17 1 0 0 20 0 20 0 6464190 13582245888 8967 33554432000 4194304 4196468 140726905302576 139895151733264 139895147533469 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21729280 140726905308297 140726905308484 140726905308484 140726905311183 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 13263912
[startup+0.300387 s]
/proc/loadavg: 1.93 1.56 1.42 3/261 17515
/proc/meminfo: memFree=30876776/32770624 swapFree=5788/292168
[pid=17515] ppid=17512 vsize=13263912 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/17515/stat : 17515 (java) S 17512 17515 8730 0 -1 1077944320 9996 0 0 0 39 3 0 0 20 0 20 0 6464190 13582245888 11279 33554432000 4194304 4196468 140726905302576 140726905285120 139895147511543 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 21729280 140726905308297 140726905308484 140726905308484 140726905311183 0
/proc/17515/statm: 3315978 11279 3637 1 0 3303698 0
[pid=17515/tid=17516] ppid=17512 vsize=13263912 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/17515/task/17516/stat : 17516 (java) R 17512 17515 8730 0 -1 4202560 7439 0 0 0 25 2 0 0 20 0 20 0 6464190 13582245888 11279 33554432000 4194304 4196468 140726905302576 139895151724608 139895131592030 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21729280 140726905308297 140726905308484 140726905308484 140726905311183 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 13263912
[startup+0.700273 s]
/proc/loadavg: 1.93 1.56 1.42 3/261 17515
/proc/meminfo: memFree=30876776/32770624 swapFree=5788/292168
[pid=17515] ppid=17512 vsize=13265980 CPUtime=1.5 cores=0,2,4,6,8,10,12,14
/proc/17515/stat : 17515 (java) S 17512 17515 8730 0 -1 1077944320 13476 0 0 0 144 6 0 0 20 0 20 0 6464190 13584363520 20347 33554432000 4194304 4196468 140726905302576 140726905285120 139895147511543 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 21729280 140726905308297 140726905308484 140726905308484 140726905311183 0
/proc/17515/statm: 3316495 20347 3767 1 0 3304210 0
[pid=17515/tid=17516] ppid=17512 vsize=13265980 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/17515/task/17516/stat : 17516 (java) R 17512 17515 8730 0 -1 4202560 8481 0 0 0 64 3 0 0 20 0 20 0 6464190 13584363520 20347 33554432000 4194304 4196468 140726905302576 139895151746200 139894752110928 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21729280 140726905308297 140726905308484 140726905308484 140726905311183 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 13265980
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 17515 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800347 s]
/proc/loadavg: 1.93 1.56 1.42 3/261 17515
/proc/meminfo: memFree=30876776/32770624 swapFree=5788/292168
[pid=17515] ppid=17512 vsize=13265980 CPUtime=1.93 cores=0,2,4,6,8,10,12,14
/proc/17515/stat : 17515 (java) S 17512 17515 8730 0 -1 1077944320 14813 0 0 0 187 6 0 0 20 0 20 0 6464190 13584363520 25196 33554432000 4194304 4196468 140726905302576 140726905285120 139895147511543 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 21729280 140726905308297 140726905308484 140726905308484 140726905311183 0
/proc/17515/statm: 3316495 25196 3776 1 0 3304210 0
[pid=17515/tid=17516] ppid=17512 vsize=13265980 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/17515/task/17516/stat : 17516 (java) R 17512 17515 8730 0 -1 4202560 8532 0 0 0 74 3 0 0 20 0 20 0 6464190 13584363520 25196 33554432000 4194304 4196468 140726905302576 139895151733024 139895147533469 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21729280 140726905308297 140726905308484 140726905308484 140726905311183 0
Current children cumulated CPU time (s) 1.93
Current children cumulated vsize (KiB) 13265980
[startup+1.21464 s]
/proc/loadavg: 1.94 1.57 1.42 6/281 17535
/proc/meminfo: memFree=30756176/32770624 swapFree=5788/292244
[pid=17515] ppid=17512 vsize=13268028 CPUtime=3.54 cores=0,2,4,6,8,10,12,14
/proc/17515/stat : 17515 (java) S 17512 17515 8730 0 -1 1077944320 25267 0 0 0 344 10 0 0 20 0 20 0 6464190 13586460672 42486 33554432000 4194304 4196468 140726905302576 140726905285120 139895147511543 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 21729280 140726905308297 140726905308484 140726905308484 140726905311183 0
/proc/17515/statm: 3317007 42486 3788 1 0 3304722 0
[pid=17515/tid=17516] ppid=17512 vsize=13268028 CPUtime=1.19 cores=0,2,4,6,8,10,12,14
/proc/17515/task/17516/stat : 17516 (java) R 17512 17515 8730 0 -1 4202560 10986 0 0 0 114 5 0 0 20 0 20 0 6464190 13586460672 42486 33554432000 4194304 4196468 140726905302576 139895151732464 139894752143077 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21729280 140726905308297 140726905308484 140726905308484 140726905311183 0
[pid=17515/tid=17518] ppid=17512 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17515/task/17518/stat : 17518 (java) S 17512 17515 8730 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6464191 13586460672 42486 33554432000 4194304 4196468 140726905302576 139895079648016 139895147521749 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 21729280 140726905308297 140726905308484 140726905308484 140726905311183 0
[pid=17515/tid=17519] ppid=17512 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17515/task/17519/stat : 17519 (java) S 17512 17515 8730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6464191 13586460672 42486 33554432000 4194304 4196468 140726905302576 139895078595472 139895147521749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21729280 140726905308297 140726905308484 140726905308484 140726905311183 0
[pid=17515/tid=17520] ppid=17512 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17515/task/17520/stat : 17520 (java) S 17512 17515 8730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6464191 13586460672 42486 33554432000 4194304 4196468 140726905302576 139895077542928 139895147521749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21729280 140726905308297 140726905308484 140726905308484 140726905311183 0
[pid=17515/tid=17521] ppid=17512 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17515/task/17521/stat : 17521 (java) S 17512 17515 8730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6464191 13586460672 42486 33554432000 4194304 4196468 140726905302576 139895076490384 139895147521749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21729280 140726905308297 140726905308484 140726905308484 140726905311183 0
[pid=17515/tid=17522] ppid=17512 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17515/task/17522/stat : 17522 (java) S 17512 17515 8730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6464191 13586460672 42486 33554432000 4194304 4196468 140726905302576 139895075436816 139895147521749 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 21729280 140726905308297 140726905308484 140726905308484 140726905311183 0
[pid=17515/tid=17523] ppid=17512 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17515/task/17523/stat : 17523 (java) S 17512 17515 8730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6464191 13586460672 42486 33554432000 4194304 4196468 140726905302576 139895074384272 139895147521749 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21729280 140726905308297 140726905308484 140726905308484 140726905311183 0
[pid=17515/tid=17524] ppid=17512 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17515/task/17524/stat : 17524 (java) S 17512 17515 8730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6464191 13586460672 42486 33554432000 4194304 4196468 140726905302576 139895073331728 139895147521749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21729280 140726905308297 140726905308484 140726905308484 140726905311183 0
[pid=17515/tid=17525] ppid=17512 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17515/task/17525/stat : 17525 (java) S 17512 17515 8730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6464191 13586460672 42486 33554432000 4194304 4196468 140726905302576 139895072279184 139895147521749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21729280 140726905308297 140726905308484 140726905308484 140726905311183 0
[pid=17515/tid=17526] ppid=17512 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17515/task/17526/stat : 17526 (java) S 17512 17515 8730 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 6464193 13586460672 42486 33554432000 4194304 4196468 140726905302576 139894610835952 139895147522690 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21729280 140726905308297 140726905308484 140726905308484 140726905311183 0
[pid=17515/tid=17527] ppid=17512 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17515/task/17527/stat : 17527 (java) S 17512 17515 8730 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 6464194 13586460672 42486 33554432000 4194304 4196468 140726905302576 139894609782176 139895147521749 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21729280 140726905308297 140726905308484 140726905308484 140726905311183 0
[pid=17515/tid=17528] ppid=17512 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17515/task/17528/stat : 17528 (java) S 17512 17515 8730 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 6464194 13586460672 42486 33554432000 4194304 4196468 140726905302576 139894608729584 139895147521749 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21729280 140726905308297 140726905308484 140726905308484 140726905311183 0
[pid=17515/tid=17529] ppid=17512 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17515/task/17529/stat : 17529 (java) S 17512 17515 8730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6464198 13586460672 42486 33554432000 4194304 4196468 140726905302576 139894607678160 139895147530139 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 21729280 140726905308297 140726905308484 140726905308484 140726905311183 0
[pid=17515/tid=17530] ppid=17512 vsize=13268028 CPUtime=0.58 cores=0,2,4,6,8,10,12,14
/proc/17515/task/17530/stat : 17530 (java) R 17512 17515 8730 0 -1 4202560 3040 0 0 0 58 0 0 0 20 0 20 0 6464199 13586460672 42486 33554432000 4194304 4196468 140726905302576 139894606611120 139895129055266 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21729280 140726905308297 140726905308484 140726905308484 140726905311183 0
[pid=17515/tid=17531] ppid=17512 vsize=13268028 CPUtime=0.56 cores=0,2,4,6,8,10,12,14
/proc/17515/task/17531/stat : 17531 (java) S 17512 17515 8730 0 -1 1077944384 3009 0 0 0 56 0 0 0 20 0 20 0 6464199 13586460672 42486 33554432000 4194304 4196468 140726905302576 139894605572208 139895147522690 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21729280 140726905308297 140726905308484 140726905308484 140726905311183 0
[pid=17515/tid=17532] ppid=17512 vsize=13268028 CPUtime=0.56 cores=0,2,4,6,8,10,12,14
/proc/17515/task/17532/stat : 17532 (java) R 17512 17515 8730 0 -1 4202560 2693 0 0 0 55 1 0 0 20 0 20 0 6464199 13586460672 42486 33554432000 4194304 4196468 140726905302576 139894604500680 139895127173296 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21729280 140726905308297 140726905308484 140726905308484 140726905311183 0
[pid=17515/tid=17533] ppid=17512 vsize=13268028 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/17515/task/17533/stat : 17533 (java) R 17512 17515 8730 0 -1 4202560 4135 0 0 0 60 1 0 0 20 0 20 0 6464199 13586460672 42486 33554432000 4194304 4196468 140726905302576 139894603461752 139895126435751 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 21729280 140726905308297 140726905308484 140726905308484 140726905311183 0
[pid=17515/tid=17534] ppid=17512 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17515/task/17534/stat : 17534 (java) S 17512 17515 8730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6464199 13586460672 42486 33554432000 4194304 4196468 140726905302576 139894602414816 139895147521749 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21729280 140726905308297 140726905308484 140726905308484 140726905311183 0
[pid=17515/tid=17535] ppid=17512 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17515/task/17535/stat : 17535 (java) S 17512 17515 8730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6464199 13586460672 42486 33554432000 4194304 4196468 140726905302576 139894533909424 139895147522690 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 21729280 140726905308297 140726905308484 140726905308484 140726905311183 0
Current children cumulated CPU time (s) 3.54
Current children cumulated vsize (KiB) 13268028
[startup+1.40094 s]
/proc/loadavg: 1.94 1.57 1.42 6/281 17535
/proc/meminfo: memFree=30756176/32770624 swapFree=5788/292244
[pid=17515] ppid=17512 vsize=13268028 CPUtime=4.54 cores=0,2,4,6,8,10,12,14
/proc/17515/stat : 17515 (java) S 17512 17515 8730 0 -1 1077944320 28221 0 0 0 421 33 0 0 20 0 20 0 6464190 13586460672 64472 33554432000 4194304 4196468 140726905302576 140726905285120 139895147511543 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 21729280 140726905308297 140726905308484 140726905308484 140726905311183 0
/proc/17515/statm: 3317007 64472 3807 1 0 3304722 0
[pid=17515/tid=17516] ppid=17512 vsize=13268028 CPUtime=1.32 cores=0,2,4,6,8,10,12,14
/proc/17515/task/17516/stat : 17516 (java) R 17512 17515 8730 0 -1 4202560 11194 0 0 0 127 5 0 0 20 0 20 0 6464190 13586460672 64472 33554432000 4194304 4196468 140726905302576 139895151748416 139894752051937 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21729280 140726905308297 140726905308484 140726905308484 140726905311183 0
[pid=17515/tid=17518] ppid=17512 vsize=13268028 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/17515/task/17518/stat : 17518 (java) S 17512 17515 8730 0 -1 1077944384 40 0 0 0 1 2 0 0 20 0 20 0 6464191 13586460672 64472 33554432000 4194304 4196468 140726905302576 139895079648016 139895147521749 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21729280 140726905308297 140726905308484 140726905308484 140726905311183 0
[pid=17515/tid=17519] ppid=17512 vsize=13268028 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/17515/task/17519/stat : 17519 (java) S 17512 17515 8730 0 -1 1077944384 36 0 0 0 1 2 0 0 20 0 20 0 6464191 13586460672 64472 33554432000 4194304 4196468 140726905302576 139895078595472 139895147521749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21729280 140726905308297 140726905308484 140726905308484 140726905311183 0
[pid=17515/tid=17520] ppid=17512 vsize=13268028 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/17515/task/17520/stat : 17520 (java) S 17512 17515 8730 0 -1 1077944384 56 0 0 0 1 2 0 0 20 0 20 0 6464191 13586460672 64472 33554432000 4194304 4196468 140726905302576 139895077542928 139895147521749 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21729280 140726905308297 140726905308484 140726905308484 140726905311183 0
[pid=17515/tid=17521] ppid=17512 vsize=13268028 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/17515/task/17521/stat : 17521 (java) S 17512 17515 8730 0 -1 1077944384 58 0 0 0 1 2 0 0 20 0 20 0 6464191 13586460672 64472 33554432000 4194304 4196468 140726905302576 139895076490384 139895147521749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21729280 140726905308297 140726905308484 140726905308484 140726905311183 0
[pid=17515/tid=17522] ppid=17512 vsize=13268028 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/17515/task/17522/stat : 17522 (java) S 17512 17515 8730 0 -1 1077944384 50 0 0 0 1 2 0 0 20 0 20 0 6464191 13586460672 64472 33554432000 4194304 4196468 140726905302576 139895075436816 139895147521749 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 21729280 140726905308297 140726905308484 140726905308484 140726905311183 0
[pid=17515/tid=17523] ppid=17512 vsize=13268028 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/17515/task/17523/stat : 17523 (java) S 17512 17515 8730 0 -1 1077944384 227 0 0 0 1 2 0 0 20 0 20 0 6464191 13586460672 64472 33554432000 4194304 4196468 140726905302576 139895074384272 139895147521749 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21729280 140726905308297 140726905308484 140726905308484 140726905311183 0
[pid=17515/tid=17524] ppid=17512 vsize=13268028 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/17515/task/17524/stat : 17524 (java) S 17512 17515 8730 0 -1 1077944384 51 0 0 0 1 2 0 0 20 0 20 0 6464191 13586460672 64472 33554432000 4194304 4196468 140726905302576 139895073331728 139895147521749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21729280 140726905308297 140726905308484 140726905308484 140726905311183 0
[pid=17515/tid=17525] ppid=17512 vsize=13268028 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/17515/task/17525/stat : 17525 (java) S 17512 17515 8730 0 -1 1077944384 71 0 0 0 1 2 0 0 20 0 20 0 6464191 13586460672 64472 33554432000 4194304 4196468 140726905302576 139895072279184 139895147521749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21729280 140726905308297 140726905308484 140726905308484 140726905311183 0
[pid=17515/tid=17526] ppid=17512 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17515/task/17526/stat : 17526 (java) S 17512 17515 8730 0 -1 1077944384 211 0 0 0 0 0 0 0 20 0 20 0 6464193 13586460672 64472 33554432000 4194304 4196468 140726905302576 139894610835952 139895147522690 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21729280 140726905308297 140726905308484 140726905308484 140726905311183 0
[pid=17515/tid=17527] ppid=17512 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17515/task/17527/stat : 17527 (java) S 17512 17515 8730 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 6464194 13586460672 64472 33554432000 4194304 4196468 140726905302576 139894609782240 139895147521749 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21729280 140726905308297 140726905308484 140726905308484 140726905311183 0
[pid=17515/tid=17528] ppid=17512 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17515/task/17528/stat : 17528 (java) R 17512 17515 8730 0 -1 4202560 51 0 0 0 0 0 0 0 20 0 20 0 6464194 13586460672 64472 33554432000 4194304 4196468 140726905302576 139894608729584 139895126589103 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 21729280 140726905308297 140726905308484 140726905308484 140726905311183 0
[pid=17515/tid=17529] ppid=17512 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17515/task/17529/stat : 17529 (java) S 17512 17515 8730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6464198 13586460672 64472 33554432000 4194304 4196468 140726905302576 139894607678160 139895147530139 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 21729280 140726905308297 140726905308484 140726905308484 140726905311183 0
[pid=17515/tid=17530] ppid=17512 vsize=13268028 CPUtime=0.7 cores=0,2,4,6,8,10,12,14
/proc/17515/task/17530/stat : 17530 (java) R 17512 17515 8730 0 -1 4202560 3148 0 0 0 70 0 0 0 20 0 20 0 6464199 13586460672 64472 33554432000 4194304 4196468 140726905302576 139894606612704 139895131407333 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21729280 140726905308297 140726905308484 140726905308484 140726905311183 0
[pid=17515/tid=17531] ppid=17512 vsize=13268028 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/17515/task/17531/stat : 17531 (java) R 17512 17515 8730 0 -1 4202560 3096 0 0 0 67 0 0 0 20 0 20 0 6464199 13586460672 64472 33554432000 4194304 4196468 140726905302576 139894605560688 139895147532890 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 21729280 140726905308297 140726905308484 140726905308484 140726905311183 0
[pid=17515/tid=17532] ppid=17512 vsize=13268028 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/17515/task/17532/stat : 17532 (java) R 17512 17515 8730 0 -1 4202560 2973 0 0 0 68 1 0 0 20 0 20 0 6464199 13586460672 64472 33554432000 4194304 4196468 140726905302576 139894604512688 139895126750001 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21729280 140726905308297 140726905308484 140726905308484 140726905311183 0
[pid=17515/tid=17533] ppid=17512 vsize=13268028 CPUtime=0.72 cores=0,2,4,6,8,10,12,14
/proc/17515/task/17533/stat : 17533 (java) R 17512 17515 8730 0 -1 4202560 5579 0 0 0 71 1 0 0 20 0 20 0 6464199 13586460672 64472 33554432000 4194304 4196468 140726905302576 139894603462048 139895126138770 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21729280 140726905308297 140726905308484 140726905308484 140726905311183 0
[pid=17515/tid=17534] ppid=17512 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17515/task/17534/stat : 17534 (java) S 17512 17515 8730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6464199 13586460672 64472 33554432000 4194304 4196468 140726905302576 139894602414816 139895147521749 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21729280 140726905308297 140726905308484 140726905308484 140726905311183 0
[pid=17515/tid=17535] ppid=17512 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17515/task/17535/stat : 17535 (java) S 17512 17515 8730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6464199 13586460672 64472 33554432000 4194304 4196468 140726905302576 139894533909424 139895147522690 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21729280 140726905308297 140726905308484 140726905308484 140726905311183 0
Current children cumulated CPU time (s) 4.54
Current children cumulated vsize (KiB) 13268028
Child status: 0
Real time (s): 1.42
CPU time (s): 4.57148
CPU user time (s): 4.22721
CPU system time (s): 0.344274
CPU usage (%): 321.936
Max. virtual memory (cumulated for all children) (KiB): 13268028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.22721
system time used= 0.344274
maximum resident set size= 260688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28309
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= 2843
involuntary context switches= 312
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.015026 second user time and 0.021037 second system time
The end