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-4249828-1500767307/watcher-4249828-1500767307 -o /tmp/evaluation-result-4249828-1500767307/solver-4249828-1500767307 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node102-1500753143-27514 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 77930830 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4249828-1500767307.xml
pid=30187
running on 8 cores: 1,3,5,7,9,11,13,15
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.68 1.95 1.98 6/261 30190
/proc/meminfo: memFree=31379244/32770624 swapFree=5932/348696
[pid=30190] ppid=30187 vsize=361196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30190/stat : 30190 (java) S 30187 30190 27482 0 -1 1077944320 1718 0 0 0 0 0 0 0 20 0 2 0 12000765 369864704 1925 33554432000 4194304 4196468 140735917045456 140735917028000 140243280645879 0 0 0 16784584 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 17817600 140735917053067 140735917053252 140735917053252 140735917055951 0
/proc/30190/statm: 90299 1925 1072 1 0 79210 0
[pid=30190/tid=30191] ppid=30187 vsize=361196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30190/task/30191/stat : 30191 (java) S 30187 30190 27482 0 -1 1077944384 401 0 0 0 0 0 0 0 20 0 2 0 12000766 369864704 1925 33554432000 4194304 4196468 140735917045456 140243284887968 140243280657026 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17817600 140735917053067 140735917053252 140735917053252 140735917055951 0
[startup+0.100104 s]
/proc/loadavg: 1.68 1.95 1.98 6/261 30190
/proc/meminfo: memFree=31379244/32770624 swapFree=5932/348696
[pid=30190] ppid=30187 vsize=13263912 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/30190/stat : 30190 (java) S 30187 30190 27482 0 -1 1077944320 5990 0 0 0 8 2 0 0 20 0 20 0 12000765 13582245888 6242 33554432000 4194304 4196468 140735917045456 140735917028000 140243280645879 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 17817600 140735917053067 140735917053252 140735917053252 140735917055951 0
/proc/30190/statm: 3315978 6242 2709 1 0 3303698 0
[pid=30190/tid=30191] ppid=30187 vsize=13263912 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/30190/task/30191/stat : 30191 (java) R 30187 30190 27482 0 -1 4202560 4078 0 0 0 7 1 0 0 20 0 20 0 12000766 13582245888 6242 33554432000 4194304 4196468 140735917045456 140243284883888 140243237281654 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17817600 140735917053067 140735917053252 140735917053252 140735917055951 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13263912
[startup+0.200351 s]
/proc/loadavg: 1.68 1.95 1.98 6/261 30190
/proc/meminfo: memFree=31379244/32770624 swapFree=5932/348696
[pid=30190] ppid=30187 vsize=13263912 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/30190/stat : 30190 (java) S 30187 30190 27482 0 -1 1077944320 8864 0 0 0 24 3 0 0 20 0 20 0 12000765 13582245888 8871 33554432000 4194304 4196468 140735917045456 140735917028000 140243280645879 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 17817600 140735917053067 140735917053252 140735917053252 140735917055951 0
/proc/30190/statm: 3315978 8871 3516 1 0 3303698 0
[pid=30190/tid=30191] ppid=30187 vsize=13263912 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/30190/task/30191/stat : 30191 (java) R 30187 30190 27482 0 -1 4202560 6613 0 0 0 16 2 0 0 20 0 20 0 12000766 13582245888 8871 33554432000 4194304 4196468 140735917045456 140243284861648 140243262208608 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17817600 140735917053067 140735917053252 140735917053252 140735917055951 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 13263912
[startup+0.300429 s]
/proc/loadavg: 1.68 1.95 1.98 6/261 30190
/proc/meminfo: memFree=31379244/32770624 swapFree=5932/348696
[pid=30190] ppid=30187 vsize=13263912 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/30190/stat : 30190 (java) S 30187 30190 27482 0 -1 1077944320 9570 0 0 0 39 3 0 0 20 0 20 0 12000765 13582245888 10463 33554432000 4194304 4196468 140735917045456 140735917028000 140243280645879 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 17817600 140735917053067 140735917053252 140735917053252 140735917055951 0
/proc/30190/statm: 3315978 10463 3614 1 0 3303698 0
[pid=30190/tid=30191] ppid=30187 vsize=13263912 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/30190/task/30191/stat : 30191 (java) R 30187 30190 27482 0 -1 4202560 7064 0 0 0 25 2 0 0 20 0 20 0 12000766 13582245888 10463 33554432000 4194304 4196468 140735917045456 140243284854000 140243237261031 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17817600 140735917053067 140735917053252 140735917053252 140735917055951 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 13263912
[startup+0.700252 s]
/proc/loadavg: 1.68 1.95 1.98 6/261 30190
/proc/meminfo: memFree=31379244/32770624 swapFree=5932/348696
[pid=30190] ppid=30187 vsize=13265980 CPUtime=1.29 cores=1,3,5,7,9,11,13,15
/proc/30190/stat : 30190 (java) S 30187 30190 27482 0 -1 1077944320 13045 0 0 0 123 6 0 0 20 0 20 0 12000765 13584363520 17363 33554432000 4194304 4196468 140735917045456 140735917028000 140243280645879 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 17817600 140735917053067 140735917053252 140735917053252 140735917055951 0
/proc/30190/statm: 3316495 17363 3753 1 0 3304210 0
[pid=30190/tid=30191] ppid=30187 vsize=13265980 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/30190/task/30191/stat : 30191 (java) R 30187 30190 27482 0 -1 4202560 8596 0 0 0 62 5 0 0 20 0 20 0 12000766 13584363520 17363 33554432000 4194304 4196468 140735917045456 140243284882352 140243280657814 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17817600 140735917053067 140735917053252 140735917053252 140735917055951 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 13265980
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 30190 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800345 s]
/proc/loadavg: 1.68 1.95 1.98 6/261 30190
/proc/meminfo: memFree=31379244/32770624 swapFree=5932/348696
[pid=30190] ppid=30187 vsize=13268028 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/30190/stat : 30190 (java) S 30187 30190 27482 0 -1 1077944320 13603 0 0 0 142 7 0 0 20 0 20 0 12000765 13586460672 18972 33554432000 4194304 4196468 140735917045456 140735917028000 140243280645879 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 17817600 140735917053067 140735917053252 140735917053252 140735917055951 0
/proc/30190/statm: 3317007 18972 3757 1 0 3304722 0
[pid=30190/tid=30191] ppid=30187 vsize=13268028 CPUtime=0.78 cores=1,3,5,7,9,11,13,15
/proc/30190/task/30191/stat : 30191 (java) R 30187 30190 27482 0 -1 4202560 8988 0 0 0 72 6 0 0 20 0 20 0 12000766 13586460672 18972 33554432000 4194304 4196468 140735917045456 140243284882960 140243280657814 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17817600 140735917053067 140735917053252 140735917053252 140735917055951 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13268028
[startup+1.21425 s]
/proc/loadavg: 1.68 1.95 1.98 11/280 30245
/proc/meminfo: memFree=31402004/32770624 swapFree=5932/348728
[pid=30190] ppid=30187 vsize=13268028 CPUtime=3.03 cores=1,3,5,7,9,11,13,15
/proc/30190/stat : 30190 (java) S 30187 30190 27482 0 -1 1077944320 23448 0 0 0 291 12 0 0 20 0 20 0 12000765 13586460672 35195 33554432000 4194304 4196468 140735917045456 140735917028000 140243280645879 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 17817600 140735917053067 140735917053252 140735917053252 140735917055951 0
/proc/30190/statm: 3317007 35195 3776 1 0 3304722 0
[pid=30190/tid=30191] ppid=30187 vsize=13268028 CPUtime=1.18 cores=1,3,5,7,9,11,13,15
/proc/30190/task/30191/stat : 30191 (java) R 30187 30190 27482 0 -1 4202560 11027 0 0 0 110 8 0 0 20 0 20 0 12000766 13586460672 35195 33554432000 4194304 4196468 140735917045456 140243284881336 140242917174740 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17817600 140735917053067 140735917053252 140735917053252 140735917055951 0
[pid=30190/tid=30193] ppid=30187 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30190/task/30193/stat : 30193 (java) S 30187 30190 27482 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 12000766 13586460672 35195 33554432000 4194304 4196468 140735917045456 140243233266064 140243280656085 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17817600 140735917053067 140735917053252 140735917053252 140735917055951 0
[pid=30190/tid=30194] ppid=30187 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30190/task/30194/stat : 30194 (java) S 30187 30190 27482 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 12000767 13586460672 35195 33554432000 4194304 4196468 140735917045456 140242878658832 140243280656085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17817600 140735917053067 140735917053252 140735917053252 140735917055951 0
[pid=30190/tid=30195] ppid=30187 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30190/task/30195/stat : 30195 (java) S 30187 30190 27482 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 12000767 13586460672 35195 33554432000 4194304 4196468 140735917045456 140242877606544 140243280656085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17817600 140735917053067 140735917053252 140735917053252 140735917055951 0
[pid=30190/tid=30196] ppid=30187 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30190/task/30196/stat : 30196 (java) S 30187 30190 27482 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 12000767 13586460672 35195 33554432000 4194304 4196468 140735917045456 140242876553744 140243280656085 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17817600 140735917053067 140735917053252 140735917053252 140735917055951 0
[pid=30190/tid=30197] ppid=30187 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30190/task/30197/stat : 30197 (java) S 30187 30190 27482 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 12000767 13586460672 35195 33554432000 4194304 4196468 140735917045456 140242875501456 140243280656085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17817600 140735917053067 140735917053252 140735917053252 140735917055951 0
[pid=30190/tid=30198] ppid=30187 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30190/task/30198/stat : 30198 (java) S 30187 30190 27482 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 12000767 13586460672 35195 33554432000 4194304 4196468 140735917045456 140242874448656 140243280656085 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17817600 140735917053067 140735917053252 140735917053252 140735917055951 0
[pid=30190/tid=30199] ppid=30187 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30190/task/30199/stat : 30199 (java) S 30187 30190 27482 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 12000767 13586460672 35195 33554432000 4194304 4196468 140735917045456 140242873396368 140243280656085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17817600 140735917053067 140735917053252 140735917053252 140735917055951 0
[pid=30190/tid=30200] ppid=30187 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30190/task/30200/stat : 30200 (java) S 30187 30190 27482 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 12000767 13586460672 35195 33554432000 4194304 4196468 140735917045456 140242872343568 140243280656085 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17817600 140735917053067 140735917053252 140735917053252 140735917055951 0
[pid=30190/tid=30201] ppid=30187 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30190/task/30201/stat : 30201 (java) S 30187 30190 27482 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 12000769 13586460672 35195 33554432000 4194304 4196468 140735917045456 140242609690736 140243280657026 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17817600 140735917053067 140735917053252 140735917053252 140735917055951 0
[pid=30190/tid=30202] ppid=30187 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30190/task/30202/stat : 30202 (java) S 30187 30190 27482 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 12000770 13586460672 35195 33554432000 4194304 4196468 140735917045456 140242608636704 140243280656085 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17817600 140735917053067 140735917053252 140735917053252 140735917055951 0
[pid=30190/tid=30203] ppid=30187 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30190/task/30203/stat : 30203 (java) S 30187 30190 27482 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 12000770 13586460672 35195 33554432000 4194304 4196468 140735917045456 140242607584368 140243280656085 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17817600 140735917053067 140735917053252 140735917053252 140735917055951 0
[pid=30190/tid=30204] ppid=30187 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30190/task/30204/stat : 30204 (java) S 30187 30190 27482 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 12000773 13586460672 35195 33554432000 4194304 4196468 140735917045456 140242606532688 140243280664475 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17817600 140735917053067 140735917053252 140735917053252 140735917055951 0
[pid=30190/tid=30205] ppid=30187 vsize=13268028 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/30190/task/30205/stat : 30205 (java) R 30187 30190 27482 0 -1 4202560 2727 0 0 0 40 1 0 0 20 0 20 0 12000773 13586460672 35195 33554432000 4194304 4196468 140735917045456 140242605461968 140243266675825 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17817600 140735917053067 140735917053252 140735917053252 140735917055951 0
[pid=30190/tid=30206] ppid=30187 vsize=13268028 CPUtime=0.45 cores=1,3,5,7,9,11,13,15
/proc/30190/task/30206/stat : 30206 (java) R 30187 30190 27482 0 -1 4202560 3011 0 0 0 45 0 0 0 20 0 20 0 12000773 13586460672 35195 33554432000 4194304 4196468 140735917045456 140242604414576 140243262167330 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17817600 140735917053067 140735917053252 140735917053252 140735917055951 0
[pid=30190/tid=30207] ppid=30187 vsize=13268028 CPUtime=0.44 cores=1,3,5,7,9,11,13,15
/proc/30190/task/30207/stat : 30207 (java) R 30187 30190 27482 0 -1 4202560 2954 0 0 0 44 0 0 0 20 0 20 0 12000773 13586460672 35195 33554432000 4194304 4196468 140735917045456 140242603361496 140243264556574 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 17817600 140735917053067 140735917053252 140735917053252 140735917055951 0
[pid=30190/tid=30208] ppid=30187 vsize=13268028 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/30190/task/30208/stat : 30208 (java) S 30187 30190 27482 0 -1 1077944384 2332 0 0 0 50 0 0 0 20 0 20 0 12000773 13586460672 35195 33554432000 4194304 4196468 140735917045456 140242602322672 140243280657026 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17817600 140735917053067 140735917053252 140735917053252 140735917055951 0
[pid=30190/tid=30209] ppid=30187 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30190/task/30209/stat : 30209 (java) S 30187 30190 27482 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 12000773 13586460672 35195 33554432000 4194304 4196468 140735917045456 140242601269600 140243280656085 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17817600 140735917053067 140735917053252 140735917053252 140735917055951 0
[pid=30190/tid=30210] ppid=30187 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30190/task/30210/stat : 30210 (java) S 30187 30190 27482 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 12000774 13586460672 35195 33554432000 4194304 4196468 140735917045456 140242600216880 140243280657026 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17817600 140735917053067 140735917053252 140735917053252 140735917055951 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 13268028
[startup+1.30131 s]
/proc/loadavg: 1.68 1.95 1.98 11/280 30245
/proc/meminfo: memFree=31402004/32770624 swapFree=5932/348728
[pid=30190] ppid=30187 vsize=13268028 CPUtime=3.38 cores=1,3,5,7,9,11,13,15
/proc/30190/stat : 30190 (java) S 30187 30190 27482 0 -1 1077944320 24271 0 0 0 326 12 0 0 20 0 20 0 12000765 13586460672 37999 33554432000 4194304 4196468 140735917045456 140735917028000 140243280645879 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 17817600 140735917053067 140735917053252 140735917053252 140735917055951 0
/proc/30190/statm: 3317007 37999 3777 1 0 3304722 0
[pid=30190/tid=30191] ppid=30187 vsize=13268028 CPUtime=1.28 cores=1,3,5,7,9,11,13,15
/proc/30190/task/30191/stat : 30191 (java) R 30187 30190 27482 0 -1 4202560 11031 0 0 0 119 9 0 0 20 0 20 0 12000766 13586460672 37999 33554432000 4194304 4196468 140735917045456 140243284881496 140242916207992 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17817600 140735917053067 140735917053252 140735917053252 140735917055951 0
[pid=30190/tid=30193] ppid=30187 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30190/task/30193/stat : 30193 (java) S 30187 30190 27482 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 12000766 13586460672 37999 33554432000 4194304 4196468 140735917045456 140243233266064 140243280656085 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17817600 140735917053067 140735917053252 140735917053252 140735917055951 0
[pid=30190/tid=30194] ppid=30187 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30190/task/30194/stat : 30194 (java) S 30187 30190 27482 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 12000767 13586460672 37999 33554432000 4194304 4196468 140735917045456 140242878658832 140243280656085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17817600 140735917053067 140735917053252 140735917053252 140735917055951 0
[pid=30190/tid=30195] ppid=30187 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30190/task/30195/stat : 30195 (java) S 30187 30190 27482 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 12000767 13586460672 37999 33554432000 4194304 4196468 140735917045456 140242877606544 140243280656085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17817600 140735917053067 140735917053252 140735917053252 140735917055951 0
[pid=30190/tid=30196] ppid=30187 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30190/task/30196/stat : 30196 (java) S 30187 30190 27482 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 12000767 13586460672 37999 33554432000 4194304 4196468 140735917045456 140242876553744 140243280656085 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17817600 140735917053067 140735917053252 140735917053252 140735917055951 0
[pid=30190/tid=30197] ppid=30187 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30190/task/30197/stat : 30197 (java) S 30187 30190 27482 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 12000767 13586460672 37999 33554432000 4194304 4196468 140735917045456 140242875501456 140243280656085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17817600 140735917053067 140735917053252 140735917053252 140735917055951 0
[pid=30190/tid=30198] ppid=30187 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30190/task/30198/stat : 30198 (java) S 30187 30190 27482 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 12000767 13586460672 37999 33554432000 4194304 4196468 140735917045456 140242874448656 140243280656085 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17817600 140735917053067 140735917053252 140735917053252 140735917055951 0
[pid=30190/tid=30199] ppid=30187 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30190/task/30199/stat : 30199 (java) S 30187 30190 27482 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 12000767 13586460672 37999 33554432000 4194304 4196468 140735917045456 140242873396368 140243280656085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17817600 140735917053067 140735917053252 140735917053252 140735917055951 0
[pid=30190/tid=30200] ppid=30187 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30190/task/30200/stat : 30200 (java) S 30187 30190 27482 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 12000767 13586460672 37999 33554432000 4194304 4196468 140735917045456 140242872343568 140243280656085 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17817600 140735917053067 140735917053252 140735917053252 140735917055951 0
[pid=30190/tid=30201] ppid=30187 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30190/task/30201/stat : 30201 (java) S 30187 30190 27482 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 12000769 13586460672 37999 33554432000 4194304 4196468 140735917045456 140242609690736 140243280657026 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17817600 140735917053067 140735917053252 140735917053252 140735917055951 0
[pid=30190/tid=30202] ppid=30187 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30190/task/30202/stat : 30202 (java) S 30187 30190 27482 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 12000770 13586460672 37999 33554432000 4194304 4196468 140735917045456 140242608636704 140243280656085 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17817600 140735917053067 140735917053252 140735917053252 140735917055951 0
[pid=30190/tid=30203] ppid=30187 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30190/task/30203/stat : 30203 (java) S 30187 30190 27482 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 12000770 13586460672 37999 33554432000 4194304 4196468 140735917045456 140242607584368 140243280656085 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17817600 140735917053067 140735917053252 140735917053252 140735917055951 0
[pid=30190/tid=30204] ppid=30187 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30190/task/30204/stat : 30204 (java) S 30187 30190 27482 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 12000773 13586460672 37999 33554432000 4194304 4196468 140735917045456 140242606532688 140243280664475 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17817600 140735917053067 140735917053252 140735917053252 140735917055951 0
[pid=30190/tid=30205] ppid=30187 vsize=13268028 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/30190/task/30205/stat : 30205 (java) R 30187 30190 27482 0 -1 4202560 3018 0 0 0 48 1 0 0 20 0 20 0 12000773 13586460672 37999 33554432000 4194304 4196468 140735917045456 140242605466584 140243262190473 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17817600 140735917053067 140735917053252 140735917053252 140735917055951 0
[pid=30190/tid=30206] ppid=30187 vsize=13268028 CPUtime=0.54 cores=1,3,5,7,9,11,13,15
/proc/30190/task/30206/stat : 30206 (java) R 30187 30190 27482 0 -1 4202560 3408 0 0 0 54 0 0 0 20 0 20 0 12000773 13586460672 37999 33554432000 4194304 4196468 140735917045456 140242604413784 140243259902528 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17817600 140735917053067 140735917053252 140735917053252 140735917055951 0
[pid=30190/tid=30207] ppid=30187 vsize=13268028 CPUtime=0.53 cores=1,3,5,7,9,11,13,15
/proc/30190/task/30207/stat : 30207 (java) R 30187 30190 27482 0 -1 4202560 3085 0 0 0 53 0 0 0 20 0 20 0 12000773 13586460672 37999 33554432000 4194304 4196468 140735917045456 140242603358656 140243265037860 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 17817600 140735917053067 140735917053252 140735917053252 140735917055951 0
[pid=30190/tid=30208] ppid=30187 vsize=13268028 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/30190/task/30208/stat : 30208 (java) S 30187 30190 27482 0 -1 1077944384 2332 0 0 0 50 0 0 0 20 0 20 0 12000773 13586460672 37999 33554432000 4194304 4196468 140735917045456 140242602322672 140243280657026 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17817600 140735917053067 140735917053252 140735917053252 140735917055951 0
[pid=30190/tid=30209] ppid=30187 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30190/task/30209/stat : 30209 (java) S 30187 30190 27482 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 12000773 13586460672 37999 33554432000 4194304 4196468 140735917045456 140242601269600 140243280656085 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17817600 140735917053067 140735917053252 140735917053252 140735917055951 0
[pid=30190/tid=30210] ppid=30187 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30190/task/30210/stat : 30210 (java) S 30187 30190 27482 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 12000774 13586460672 37999 33554432000 4194304 4196468 140735917045456 140242600216880 140243280657026 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17817600 140735917053067 140735917053252 140735917053252 140735917055951 0
Current children cumulated CPU time (s) 3.38
Current children cumulated vsize (KiB) 13268028
Child status: 0
Real time (s): 1.38011
CPU time (s): 3.64933
CPU user time (s): 3.51522
CPU system time (s): 0.134106
CPU usage (%): 264.423
Max. virtual memory (cumulated for all children) (KiB): 13268028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.51522
system time used= 0.134106
maximum resident set size= 163292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25547
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= 3093
involuntary context switches= 264
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.013196 second user time and 0.022331 second system time
The end