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-4248072-1500691578/watcher-4248072-1500691578 -o /tmp/evaluation-result-4248072-1500691578/solver-4248072-1500691578 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500682809-15228 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 134940131 HOME/instance-4248072-1500691578.xml
pid=4170
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: 14.43 14.99 15.10 10/270 4173
/proc/meminfo: memFree=28410732/32770624 swapFree=5808/116964
[pid=4173] ppid=4170 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4173/stat : 4173 (xcsp3-exec) S 4170 4173 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4422938 9740288 346 33554432000 4194304 5098028 140725953269328 140725953267432 140003087909500 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 11276288 140725953275023 140725953275232 140725953275232 140725953277931 0
/proc/4173/statm: 2378 346 289 221 0 87 0
[startup+0.100098 s]
/proc/loadavg: 14.43 14.99 15.10 10/270 4173
/proc/meminfo: memFree=28410732/32770624 swapFree=5808/116964
[pid=4173] ppid=4170 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4173/stat : 4173 (xcsp3-exec) S 4170 4173 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4422938 9740288 346 33554432000 4194304 5098028 140725953269328 140725953267432 140003087909500 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 11276288 140725953275023 140725953275232 140725953275232 140725953277931 0
/proc/4173/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200362 s]
/proc/loadavg: 14.43 14.99 15.10 10/270 4173
/proc/meminfo: memFree=28410732/32770624 swapFree=5808/116964
[pid=4173] ppid=4170 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4173/stat : 4173 (xcsp3-exec) S 4170 4173 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4422938 9740288 346 33554432000 4194304 5098028 140725953269328 140725953267432 140003087909500 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 11276288 140725953275023 140725953275232 140725953275232 140725953277931 0
/proc/4173/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300234 s]
/proc/loadavg: 14.43 14.99 15.10 10/270 4173
/proc/meminfo: memFree=28410732/32770624 swapFree=5808/116964
[pid=4173] ppid=4170 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4173/stat : 4173 (xcsp3-exec) S 4170 4173 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4422938 9740288 346 33554432000 4194304 5098028 140725953269328 140725953267432 140003087909500 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 11276288 140725953275023 140725953275232 140725953275232 140725953277931 0
/proc/4173/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700207 s]
/proc/loadavg: 14.43 14.99 15.10 10/270 4173
/proc/meminfo: memFree=28410732/32770624 swapFree=5808/116964
[pid=4173] ppid=4170 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4173/stat : 4173 (xcsp3-exec) S 4170 4173 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4422938 9740288 346 33554432000 4194304 5098028 140725953269328 140725953267432 140003087909500 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 11276288 140725953275023 140725953275232 140725953275232 140725953277931 0
/proc/4173/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50111 s]
/proc/loadavg: 14.43 14.99 15.10 13/291 4194
/proc/meminfo: memFree=28271408/32770624 swapFree=5808/117016
[pid=4173] ppid=4170 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4173/stat : 4173 (xcsp3-exec) S 4170 4173 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4422938 9740288 346 33554432000 4194304 5098028 140725953269328 140725953267432 140003087909500 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 11276288 140725953275023 140725953275232 140725953275232 140725953277931 0
/proc/4173/statm: 2378 346 289 221 0 87 0
[pid=4174] ppid=4173 vsize=13801768 CPUtime=5.22 cores=1,3,5,7,9,11,13,15
/proc/4174/stat : 4174 (java) S 4173 4173 15196 0 -1 1077944320 18912 0 0 0 494 28 0 0 20 0 28 0 4422938 14133010432 55597 33554432000 4194304 4196468 140726314112080 140726314094624 140460268101367 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 9035776 140726314120380 140726314120556 140726314120556 140726314123215 0
/proc/4174/statm: 3450442 55597 3231 1 0 3437675 0
[pid=4174/tid=4175] ppid=4173 vsize=13801768 CPUtime=1.14 cores=1,3,5,7,9,11,13,15
/proc/4174/task/4175/stat : 4175 (java) S 4173 4173 15196 0 -1 1077944384 8756 0 0 0 110 4 0 0 20 0 28 0 4422939 14133010432 55597 33554432000 4194304 4196468 140726314112080 140460272342144 140460268111573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9035776 140726314120380 140726314120556 140726314120556 140726314123215 0
[pid=4174/tid=4177] ppid=4173 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/4174/task/4177/stat : 4177 (java) S 4173 4173 15196 0 -1 1077944384 31 0 0 0 1 2 0 0 20 0 28 0 4422940 14133010432 55597 33554432000 4194304 4196468 140726314112080 140460200237456 140460268111573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9035776 140726314120380 140726314120556 140726314120556 140726314123215 0
[pid=4174/tid=4178] ppid=4173 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/4174/task/4178/stat : 4178 (java) S 4173 4173 15196 0 -1 1077944384 121 0 0 0 1 2 0 0 20 0 28 0 4422940 14133010432 55597 33554432000 4194304 4196468 140726314112080 140460199184656 140460268111573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9035776 140726314120380 140726314120556 140726314120556 140726314123215 0
[pid=4174/tid=4179] ppid=4173 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/4174/task/4179/stat : 4179 (java) S 4173 4173 15196 0 -1 1077944384 25 0 0 0 1 2 0 0 20 0 28 0 4422940 14133010432 55597 33554432000 4194304 4196468 140726314112080 140460198132368 140460268111573 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9035776 140726314120380 140726314120556 140726314120556 140726314123215 0
[pid=4174/tid=4180] ppid=4173 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/4174/task/4180/stat : 4180 (java) S 4173 4173 15196 0 -1 1077944384 137 0 0 0 1 2 0 0 20 0 28 0 4422940 14133010432 55597 33554432000 4194304 4196468 140726314112080 140460197079568 140460268111573 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9035776 140726314120380 140726314120556 140726314120556 140726314123215 0
[pid=4174/tid=4181] ppid=4173 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/4174/task/4181/stat : 4181 (java) S 4173 4173 15196 0 -1 1077944384 23 0 0 0 1 2 0 0 20 0 28 0 4422940 14133010432 55597 33554432000 4194304 4196468 140726314112080 140460196027280 140460268111573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9035776 140726314120380 140726314120556 140726314120556 140726314123215 0
[pid=4174/tid=4182] ppid=4173 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/4174/task/4182/stat : 4182 (java) S 4173 4173 15196 0 -1 1077944384 43 0 0 0 2 2 0 0 20 0 28 0 4422940 14133010432 55597 33554432000 4194304 4196468 140726314112080 140459862100752 140460268111573 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9035776 140726314120380 140726314120556 140726314120556 140726314123215 0
[pid=4174/tid=4183] ppid=4173 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/4174/task/4183/stat : 4183 (java) S 4173 4173 15196 0 -1 1077944384 66 0 0 0 2 2 0 0 20 0 28 0 4422940 14133010432 55597 33554432000 4194304 4196468 140726314112080 140459861048464 140460268111573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9035776 140726314120380 140726314120556 140726314120556 140726314123215 0
[pid=4174/tid=4184] ppid=4173 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/4174/task/4184/stat : 4184 (java) S 4173 4173 15196 0 -1 1077944384 50 0 0 0 1 2 0 0 20 0 28 0 4422940 14133010432 55597 33554432000 4194304 4196468 140726314112080 140459859995664 140460268111573 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9035776 140726314120380 140726314120556 140726314120556 140726314123215 0
[pid=4174/tid=4185] ppid=4173 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4174/task/4185/stat : 4185 (java) S 4173 4173 15196 0 -1 1077944384 159 0 0 0 0 0 0 0 20 0 28 0 4422942 14133010432 55597 33554432000 4194304 4196468 140726314112080 140459797588080 140460268112514 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9035776 140726314120380 140726314120556 140726314120556 140726314123215 0
[pid=4174/tid=4186] ppid=4173 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4174/task/4186/stat : 4186 (java) S 4173 4173 15196 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4422943 14133010432 55597 33554432000 4194304 4196468 140726314112080 140459796534048 140460268111573 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9035776 140726314120380 140726314120556 140726314120556 140726314123215 0
[pid=4174/tid=4187] ppid=4173 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4174/task/4187/stat : 4187 (java) S 4173 4173 15196 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 4422943 14133010432 55597 33554432000 4194304 4196468 140726314112080 140459795481712 140460268111573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9035776 140726314120380 140726314120556 140726314120556 140726314123215 0
[pid=4174/tid=4188] ppid=4173 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4174/task/4188/stat : 4188 (java) S 4173 4173 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4422947 14133010432 55597 33554432000 4194304 4196468 140726314112080 140459794430032 140460268119963 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9035776 140726314120380 140726314120556 140726314120556 140726314123215 0
[pid=4174/tid=4189] ppid=4173 vsize=13801768 CPUtime=0.51 cores=1,3,5,7,9,11,13,15
/proc/4174/task/4189/stat : 4189 (java) R 4173 4173 15196 0 -1 4202560 2209 0 0 0 51 0 0 0 20 0 28 0 4422947 14133010432 55597 33554432000 4194304 4196468 140726314112080 140459793371096 140460260417954 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 9035776 140726314120380 140726314120556 140726314120556 140726314123215 0
[pid=4174/tid=4190] ppid=4173 vsize=13801768 CPUtime=0.51 cores=1,3,5,7,9,11,13,15
/proc/4174/task/4190/stat : 4190 (java) R 4173 4173 15196 0 -1 4202560 1549 0 0 0 51 0 0 0 20 0 28 0 4422947 14133010432 55597 33554432000 4194304 4196468 140726314112080 140459456312224 140460249645601 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9035776 140726314120380 140726314120556 140726314120556 140726314123215 0
[pid=4174/tid=4191] ppid=4173 vsize=13801768 CPUtime=0.46 cores=1,3,5,7,9,11,13,15
/proc/4174/task/4191/stat : 4191 (java) R 4173 4173 15196 0 -1 4202560 1483 0 0 0 46 0 0 0 20 0 28 0 4422947 14133010432 55597 33554432000 4194304 4196468 140726314112080 140459455264600 140460247937047 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9035776 140726314120380 140726314120556 140726314120556 140726314123215 0
[pid=4174/tid=4192] ppid=4173 vsize=13801768 CPUtime=0.53 cores=1,3,5,7,9,11,13,15
/proc/4174/task/4192/stat : 4192 (java) S 4173 4173 15196 0 -1 1077944384 2535 0 0 0 53 0 0 0 20 0 28 0 4422947 14133010432 55597 33554432000 4194304 4196468 140726314112080 140459454219968 140460268111573 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9035776 140726314120380 140726314120556 140726314120556 140726314123215 0
[pid=4174/tid=4193] ppid=4173 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4174/task/4193/stat : 4193 (java) S 4173 4173 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4422947 14133010432 55597 33554432000 4194304 4196468 140726314112080 140459453167968 140460268111573 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9035776 140726314120380 140726314120556 140726314120556 140726314123215 0
[pid=4174/tid=4194] ppid=4173 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4174/task/4194/stat : 4194 (java) S 4173 4173 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4422948 14133010432 55597 33554432000 4194304 4196468 140726314112080 140459452115248 140460268112514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9035776 140726314120380 140726314120556 140726314120556 140726314123215 0
Current children cumulated CPU time (s) 5.22
Current children cumulated vsize (KiB) 13811280
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 4174 sig 9
??? kill 4173 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.50111 s]
/proc/loadavg: 14.43 14.99 15.10 13/291 4194
/proc/meminfo: memFree=28271408/32770624 swapFree=5808/117016
[pid=4173] ppid=4170 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4173/stat : 4173 (xcsp3-exec) S 4170 4173 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4422938 9740288 346 33554432000 4194304 5098028 140725953269328 140725953267432 140003087909500 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 11276288 140725953275023 140725953275232 140725953275232 140725953277931 0
/proc/4173/statm: 2378 346 289 221 0 87 0
[pid=4174] ppid=4173 vsize=13801768 CPUtime=5.22 cores=1,3,5,7,9,11,13,15
/proc/4174/stat : 4174 (java) S 4173 4173 15196 0 -1 1077944320 18912 0 0 0 494 28 0 0 20 0 28 0 4422938 14133010432 55597 33554432000 4194304 4196468 140726314112080 140726314094624 140460268101367 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 9035776 140726314120380 140726314120556 140726314120556 140726314123215 0
/proc/4174/statm: 3450442 55597 3231 1 0 3437675 0
[pid=4174/tid=4175] ppid=4173 vsize=13801768 CPUtime=1.14 cores=1,3,5,7,9,11,13,15
/proc/4174/task/4175/stat : 4175 (java) S 4173 4173 15196 0 -1 1077944384 8756 0 0 0 110 4 0 0 20 0 28 0 4422939 14133010432 55597 33554432000 4194304 4196468 140726314112080 140460272342144 140460268111573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9035776 140726314120380 140726314120556 140726314120556 140726314123215 0
[pid=4174/tid=4177] ppid=4173 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/4174/task/4177/stat : 4177 (java) S 4173 4173 15196 0 -1 1077944384 31 0 0 0 1 2 0 0 20 0 28 0 4422940 14133010432 55597 33554432000 4194304 4196468 140726314112080 140460200237456 140460268111573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9035776 140726314120380 140726314120556 140726314120556 140726314123215 0
[pid=4174/tid=4178] ppid=4173 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/4174/task/4178/stat : 4178 (java) S 4173 4173 15196 0 -1 1077944384 121 0 0 0 1 2 0 0 20 0 28 0 4422940 14133010432 55597 33554432000 4194304 4196468 140726314112080 140460199184656 140460268111573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9035776 140726314120380 140726314120556 140726314120556 140726314123215 0
[pid=4174/tid=4179] ppid=4173 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/4174/task/4179/stat : 4179 (java) S 4173 4173 15196 0 -1 1077944384 25 0 0 0 1 2 0 0 20 0 28 0 4422940 14133010432 55597 33554432000 4194304 4196468 140726314112080 140460198132368 140460268111573 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9035776 140726314120380 140726314120556 140726314120556 140726314123215 0
[pid=4174/tid=4180] ppid=4173 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/4174/task/4180/stat : 4180 (java) S 4173 4173 15196 0 -1 1077944384 137 0 0 0 1 2 0 0 20 0 28 0 4422940 14133010432 55597 33554432000 4194304 4196468 140726314112080 140460197079568 140460268111573 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9035776 140726314120380 140726314120556 140726314120556 140726314123215 0
[pid=4174/tid=4181] ppid=4173 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/4174/task/4181/stat : 4181 (java) S 4173 4173 15196 0 -1 1077944384 23 0 0 0 1 2 0 0 20 0 28 0 4422940 14133010432 55597 33554432000 4194304 4196468 140726314112080 140460196027280 140460268111573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9035776 140726314120380 140726314120556 140726314120556 140726314123215 0
[pid=4174/tid=4182] ppid=4173 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/4174/task/4182/stat : 4182 (java) S 4173 4173 15196 0 -1 1077944384 43 0 0 0 2 2 0 0 20 0 28 0 4422940 14133010432 55597 33554432000 4194304 4196468 140726314112080 140459862100752 140460268111573 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9035776 140726314120380 140726314120556 140726314120556 140726314123215 0
[pid=4174/tid=4183] ppid=4173 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/4174/task/4183/stat : 4183 (java) S 4173 4173 15196 0 -1 1077944384 66 0 0 0 2 2 0 0 20 0 28 0 4422940 14133010432 55597 33554432000 4194304 4196468 140726314112080 140459861048464 140460268111573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9035776 140726314120380 140726314120556 140726314120556 140726314123215 0
[pid=4174/tid=4184] ppid=4173 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/4174/task/4184/stat : 4184 (java) S 4173 4173 15196 0 -1 1077944384 50 0 0 0 1 2 0 0 20 0 28 0 4422940 14133010432 55597 33554432000 4194304 4196468 140726314112080 140459859995664 140460268111573 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9035776 140726314120380 140726314120556 140726314120556 140726314123215 0
[pid=4174/tid=4185] ppid=4173 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4174/task/4185/stat : 4185 (java) S 4173 4173 15196 0 -1 1077944384 159 0 0 0 0 0 0 0 20 0 28 0 4422942 14133010432 55597 33554432000 4194304 4196468 140726314112080 140459797588080 140460268112514 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9035776 140726314120380 140726314120556 140726314120556 140726314123215 0
[pid=4174/tid=4186] ppid=4173 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4174/task/4186/stat : 4186 (java) S 4173 4173 15196 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4422943 14133010432 55597 33554432000 4194304 4196468 140726314112080 140459796534048 140460268111573 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9035776 140726314120380 140726314120556 140726314120556 140726314123215 0
[pid=4174/tid=4187] ppid=4173 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4174/task/4187/stat : 4187 (java) S 4173 4173 15196 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 4422943 14133010432 55597 33554432000 4194304 4196468 140726314112080 140459795481712 140460268111573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9035776 140726314120380 140726314120556 140726314120556 140726314123215 0
[pid=4174/tid=4188] ppid=4173 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4174/task/4188/stat : 4188 (java) S 4173 4173 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4422947 14133010432 55597 33554432000 4194304 4196468 140726314112080 140459794430032 140460268119963 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9035776 140726314120380 140726314120556 140726314120556 140726314123215 0
[pid=4174/tid=4189] ppid=4173 vsize=13801768 CPUtime=0.51 cores=1,3,5,7,9,11,13,15
/proc/4174/task/4189/stat : 4189 (java) R 4173 4173 15196 0 -1 4202560 2209 0 0 0 51 0 0 0 20 0 28 0 4422947 14133010432 55597 33554432000 4194304 4196468 140726314112080 140459793371096 140460260417954 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 9035776 140726314120380 140726314120556 140726314120556 140726314123215 0
[pid=4174/tid=4190] ppid=4173 vsize=13801768 CPUtime=0.51 cores=1,3,5,7,9,11,13,15
/proc/4174/task/4190/stat : 4190 (java) R 4173 4173 15196 0 -1 4202560 1549 0 0 0 51 0 0 0 20 0 28 0 4422947 14133010432 55597 33554432000 4194304 4196468 140726314112080 140459456312224 140460249645601 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9035776 140726314120380 140726314120556 140726314120556 140726314123215 0
[pid=4174/tid=4191] ppid=4173 vsize=13801768 CPUtime=0.46 cores=1,3,5,7,9,11,13,15
/proc/4174/task/4191/stat : 4191 (java) R 4173 4173 15196 0 -1 4202560 1483 0 0 0 46 0 0 0 20 0 28 0 4422947 14133010432 55597 33554432000 4194304 4196468 140726314112080 140459455264600 140460247937047 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9035776 140726314120380 140726314120556 140726314120556 140726314123215 0
[pid=4174/tid=4192] ppid=4173 vsize=13801768 CPUtime=0.53 cores=1,3,5,7,9,11,13,15
/proc/4174/task/4192/stat : 4192 (java) S 4173 4173 15196 0 -1 1077944384 2535 0 0 0 53 0 0 0 20 0 28 0 4422947 14133010432 55597 33554432000 4194304 4196468 140726314112080 140459454219968 140460268111573 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9035776 140726314120380 140726314120556 140726314120556 140726314123215 0
[pid=4174/tid=4193] ppid=4173 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4174/task/4193/stat : 4193 (java) S 4173 4173 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4422947 14133010432 55597 33554432000 4194304 4196468 140726314112080 140459453167968 140460268111573 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9035776 140726314120380 140726314120556 140726314120556 140726314123215 0
[pid=4174/tid=4194] ppid=4173 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4174/task/4194/stat : 4194 (java) S 4173 4173 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4422948 14133010432 55597 33554432000 4194304 4196468 140726314112080 140459452115248 140460268112514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9035776 140726314120380 140726314120556 140726314120556 140726314123215 0
Current children cumulated CPU time (s) 5.22
Current children cumulated vsize (KiB) 13811280
Child status: 0
Real time (s): 1.52415
CPU time (s): 5.28611
CPU user time (s): 4.9981
CPU system time (s): 0.288011
CPU usage (%): 346.823
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.9981
system time used= 0.288011
maximum resident set size= 223816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19553
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= 3094
involuntary context switches= 554
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.016417 second user time and 0.018606 second system time
The end