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-4249636-1500695290/watcher-4249636-1500695290 -o /tmp/evaluation-result-4249636-1500695290/solver-4249636-1500695290 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1500682387-18841 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1713716540 HOME/instance-4249636-1500695290.xml
pid=17789
running on 8 cores: 0-3,8-11
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: 15.33 11.60 12.06 10/274 17792
/proc/meminfo: memFree=31602984/32770624 swapFree=5932/269636
[pid=17792] ppid=17789 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/17792/stat : 17792 (xcsp3-exec) S 17789 17792 18810 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4796167 9740288 346 33554432000 4194304 5098028 140735718721952 140735718720056 140678308631164 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 31363072 140735718728846 140735718729056 140735718729056 140735718731755 0
/proc/17792/statm: 2378 346 289 221 0 87 0
[startup+0.1001 s]
/proc/loadavg: 15.33 11.60 12.06 10/274 17792
/proc/meminfo: memFree=31602984/32770624 swapFree=5932/269636
[pid=17792] ppid=17789 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/17792/stat : 17792 (xcsp3-exec) S 17789 17792 18810 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4796167 9740288 346 33554432000 4194304 5098028 140735718721952 140735718720056 140678308631164 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 31363072 140735718728846 140735718729056 140735718729056 140735718731755 0
/proc/17792/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.20029 s]
/proc/loadavg: 15.33 11.60 12.06 10/274 17792
/proc/meminfo: memFree=31602984/32770624 swapFree=5932/269636
[pid=17792] ppid=17789 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/17792/stat : 17792 (xcsp3-exec) S 17789 17792 18810 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4796167 9740288 346 33554432000 4194304 5098028 140735718721952 140735718720056 140678308631164 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 31363072 140735718728846 140735718729056 140735718729056 140735718731755 0
/proc/17792/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300309 s]
/proc/loadavg: 15.33 11.60 12.06 10/274 17792
/proc/meminfo: memFree=31602984/32770624 swapFree=5932/269636
[pid=17792] ppid=17789 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/17792/stat : 17792 (xcsp3-exec) S 17789 17792 18810 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4796167 9740288 346 33554432000 4194304 5098028 140735718721952 140735718720056 140678308631164 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 31363072 140735718728846 140735718729056 140735718729056 140735718731755 0
/proc/17792/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700167 s]
/proc/loadavg: 15.33 11.60 12.06 10/274 17792
/proc/meminfo: memFree=31602984/32770624 swapFree=5932/269636
[pid=17792] ppid=17789 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/17792/stat : 17792 (xcsp3-exec) S 17789 17792 18810 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4796167 9740288 346 33554432000 4194304 5098028 140735718721952 140735718720056 140678308631164 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 31363072 140735718728846 140735718729056 140735718729056 140735718731755 0
/proc/17792/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50153 s]
/proc/loadavg: 15.33 11.60 12.06 21/303 17821
/proc/meminfo: memFree=31438372/32770624 swapFree=5932/269664
[pid=17792] ppid=17789 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/17792/stat : 17792 (xcsp3-exec) S 17789 17792 18810 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4796167 9740288 346 33554432000 4194304 5098028 140735718721952 140735718720056 140678308631164 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 31363072 140735718728846 140735718729056 140735718729056 140735718731755 0
/proc/17792/statm: 2378 346 289 221 0 87 0
[pid=17793] ppid=17792 vsize=13801768 CPUtime=7.27 cores=0-3,8-11
/proc/17793/stat : 17793 (java) S 17792 17792 18810 0 -1 1077944320 16964 0 0 0 710 17 0 0 20 0 28 0 4796168 14133010432 55603 33554432000 4194304 4196468 140722084547472 140722084530016 140714857172727 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
/proc/17793/statm: 3450442 55603 3237 1 0 3437675 0
[pid=17793/tid=17794] ppid=17792 vsize=13801768 CPUtime=0.86 cores=0-3,8-11
/proc/17793/task/17794/stat : 17794 (java) S 17792 17792 18810 0 -1 1077944384 6854 0 0 0 83 3 0 0 20 0 28 0 4796168 14133010432 55603 33554432000 4194304 4196468 140722084547472 140714861413504 140714857182933 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17796] ppid=17792 vsize=13801768 CPUtime=0.01 cores=0-3,8-11
/proc/17793/task/17796/stat : 17796 (java) R 17792 17792 18810 0 -1 4202560 15 0 0 0 0 1 0 0 20 0 28 0 4796169 14133010432 55603 33554432000 4194304 4196468 140722084547472 140714809791072 140714842200619 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17797] ppid=17792 vsize=13801768 CPUtime=0.02 cores=0-3,8-11
/proc/17793/task/17797/stat : 17797 (java) R 17792 17792 18810 0 -1 4202560 23 0 0 0 1 1 0 0 20 0 28 0 4796169 14133010432 56115 33554432000 4194304 4196468 140722084547472 140714808738808 140714838798672 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17798] ppid=17792 vsize=13801768 CPUtime=0.01 cores=0-3,8-11
/proc/17793/task/17798/stat : 17798 (java) R 17792 17792 18810 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 28 0 4796169 14133010432 56115 33554432000 4194304 4196468 140722084547472 140714807685752 140714842200574 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17799] ppid=17792 vsize=13801768 CPUtime=0.02 cores=0-3,8-11
/proc/17793/task/17799/stat : 17799 (java) R 17792 17792 18810 0 -1 4202560 11 0 0 0 1 1 0 0 20 0 28 0 4796169 14133010432 56115 33554432000 4194304 4196468 140722084547472 140714806633208 140714842200601 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17800] ppid=17792 vsize=13801768 CPUtime=0.02 cores=0-3,8-11
/proc/17793/task/17800/stat : 17800 (java) R 17792 17792 18810 0 -1 4202560 32 0 0 0 1 1 0 0 20 0 28 0 4796169 14133010432 56115 33554432000 4194304 4196468 140722084547472 140714452644216 140714850272427 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17801] ppid=17792 vsize=13801768 CPUtime=0.01 cores=0-3,8-11
/proc/17793/task/17801/stat : 17801 (java) R 17792 17792 18810 0 -1 4202560 14 0 0 0 0 1 0 0 20 0 28 0 4796169 14133010432 56115 33554432000 4194304 4196468 140722084547472 140714451591672 140714842200610 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17802] ppid=17792 vsize=13801768 CPUtime=0.01 cores=0-3,8-11
/proc/17793/task/17802/stat : 17802 (java) R 17792 17792 18810 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 28 0 4796169 14133010432 56115 33554432000 4194304 4196468 140722084547472 140714450538336 140714842200601 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17803] ppid=17792 vsize=13801768 CPUtime=0.02 cores=0-3,8-11
/proc/17793/task/17803/stat : 17803 (java) R 17792 17792 18810 0 -1 4202560 19 0 0 0 1 1 0 0 20 0 28 0 4796169 14133010432 56115 33554432000 4194304 4196468 140722084547472 140714449486072 140714842200601 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17804] ppid=17792 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/17793/task/17804/stat : 17804 (java) S 17792 17792 18810 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 4796171 14133010432 56115 33554432000 4194304 4196468 140722084547472 140714319459616 140714857182933 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17805] ppid=17792 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/17793/task/17805/stat : 17805 (java) S 17792 17792 18810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4796172 14133010432 56115 33554432000 4194304 4196468 140722084547472 140714318407328 140714857182933 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17806] ppid=17792 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/17793/task/17806/stat : 17806 (java) S 17792 17792 18810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4796172 14133010432 56115 33554432000 4194304 4196468 140722084547472 140714317354224 140714857182933 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17807] ppid=17792 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/17793/task/17807/stat : 17807 (java) S 17792 17792 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4796176 14133010432 56115 33554432000 4194304 4196468 140722084547472 140714316302800 140714857191323 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17808] ppid=17792 vsize=13801768 CPUtime=0.85 cores=0-3,8-11
/proc/17793/task/17808/stat : 17808 (java) S 17792 17792 18810 0 -1 1077944384 2007 0 0 0 85 0 0 0 20 0 28 0 4796176 14133010432 56115 33554432000 4194304 4196468 140722084547472 140714315240224 140714857182933 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17809] ppid=17792 vsize=13801768 CPUtime=0.92 cores=0-3,8-11
/proc/17793/task/17809/stat : 17809 (java) S 17792 17792 18810 0 -1 1077944384 1690 0 0 0 92 0 0 0 20 0 28 0 4796176 14133010432 56115 33554432000 4194304 4196468 140722084547472 140714314177072 140714857182933 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17810] ppid=17792 vsize=13801768 CPUtime=0.86 cores=0-3,8-11
/proc/17793/task/17810/stat : 17810 (java) S 17792 17792 18810 0 -1 1077944384 2389 0 0 0 86 0 0 0 20 0 28 0 4796176 14133010432 56115 33554432000 4194304 4196468 140722084547472 140714313124112 140714857182933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17811] ppid=17792 vsize=13801768 CPUtime=0.54 cores=0-3,8-11
/proc/17793/task/17811/stat : 17811 (java) S 17792 17792 18810 0 -1 1077944384 2225 0 0 0 53 1 0 0 20 0 28 0 4796176 14133010432 56115 33554432000 4194304 4196468 140722084547472 140714312091760 140714857183874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17812] ppid=17792 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/17793/task/17812/stat : 17812 (java) S 17792 17792 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4796177 14133010432 56115 33554432000 4194304 4196468 140722084547472 140714311039968 140714857182933 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17813] ppid=17792 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/17793/task/17813/stat : 17813 (java) S 17792 17792 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4796177 14133010432 56115 33554432000 4194304 4196468 140722084547472 140714309987504 140714857183874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17814] ppid=17792 vsize=13801768 CPUtime=0.35 cores=0-3,8-11
/proc/17793/task/17814/stat : 17814 (java) S 17792 17792 18810 0 -1 1077944384 55 0 0 0 35 0 0 0 20 0 28 0 4796257 14133010432 56115 33554432000 4194304 4196468 140722084547472 140714301971328 140714857182933 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17815] ppid=17792 vsize=13801768 CPUtime=0.42 cores=0-3,8-11
/proc/17793/task/17815/stat : 17815 (java) S 17792 17792 18810 0 -1 1077944384 53 0 0 0 42 0 0 0 20 0 28 0 4796257 14133010432 56627 33554432000 4194304 4196468 140722084547472 140714300919824 140714857182933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17816] ppid=17792 vsize=13801768 CPUtime=0.4 cores=0-3,8-11
/proc/17793/task/17816/stat : 17816 (java) S 17792 17792 18810 0 -1 1077944384 35 0 0 0 40 0 0 0 20 0 28 0 4796257 14133010432 56627 33554432000 4194304 4196468 140722084547472 140714299866864 140714857182933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17817] ppid=17792 vsize=13801768 CPUtime=0.33 cores=0-3,8-11
/proc/17793/task/17817/stat : 17817 (java) S 17792 17792 18810 0 -1 1077944384 74 0 0 0 33 0 0 0 20 0 28 0 4796257 14133010432 56627 33554432000 4194304 4196468 140722084547472 140714298814320 140714857182933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17818] ppid=17792 vsize=13801768 CPUtime=0.39 cores=0-3,8-11
/proc/17793/task/17818/stat : 17818 (java) S 17792 17792 18810 0 -1 1077944384 33 0 0 0 39 0 0 0 20 0 28 0 4796257 14133010432 56627 33554432000 4194304 4196468 140722084547472 140714297761184 140714857182933 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17819] ppid=17792 vsize=13801768 CPUtime=0.32 cores=0-3,8-11
/proc/17793/task/17819/stat : 17819 (java) S 17792 17792 18810 0 -1 1077944384 32 0 0 0 32 0 0 0 20 0 28 0 4796257 14133010432 56627 33554432000 4194304 4196468 140722084547472 140714296708720 140714857182933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17820] ppid=17792 vsize=13801768 CPUtime=0.38 cores=0-3,8-11
/proc/17793/task/17820/stat : 17820 (java) S 17792 17792 18810 0 -1 1077944384 30 0 0 0 38 0 0 0 20 0 28 0 4796258 14133010432 56627 33554432000 4194304 4196468 140722084547472 140714295659088 140714857182933 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17821] ppid=17792 vsize=13801768 CPUtime=0.33 cores=0-3,8-11
/proc/17793/task/17821/stat : 17821 (java) S 17792 17792 18810 0 -1 1077944384 39 0 0 0 33 0 0 0 20 0 28 0 4796258 14133010432 56627 33554432000 4194304 4196468 140722084547472 140714294603280 140714857182933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
Current children cumulated CPU time (s) 7.27
Current children cumulated vsize (KiB) 13811280
[startup+3.10156 s]
/proc/loadavg: 15.33 11.60 12.06 18/303 17821
/proc/meminfo: memFree=31375396/32770624 swapFree=5932/269672
[pid=17792] ppid=17789 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/17792/stat : 17792 (xcsp3-exec) S 17789 17792 18810 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4796167 9740288 346 33554432000 4194304 5098028 140735718721952 140735718720056 140678308631164 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 31363072 140735718728846 140735718729056 140735718729056 140735718731755 0
/proc/17792/statm: 2378 346 289 221 0 87 0
[pid=17793] ppid=17792 vsize=13801768 CPUtime=19.18 cores=0-3,8-11
/proc/17793/stat : 17793 (java) S 17792 17792 18810 0 -1 1077944320 17942 0 0 0 1893 25 0 0 20 0 28 0 4796168 14133010432 60810 33554432000 4194304 4196468 140722084547472 140722084530016 140714857172727 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
/proc/17793/statm: 3450442 60810 3257 1 0 3437675 0
[pid=17793/tid=17794] ppid=17792 vsize=13801768 CPUtime=0.86 cores=0-3,8-11
/proc/17793/task/17794/stat : 17794 (java) S 17792 17792 18810 0 -1 1077944384 6854 0 0 0 83 3 0 0 20 0 28 0 4796168 14133010432 60810 33554432000 4194304 4196468 140722084547472 140714861413504 140714857182933 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17796] ppid=17792 vsize=13801768 CPUtime=0.04 cores=0-3,8-11
/proc/17793/task/17796/stat : 17796 (java) S 17792 17792 18810 0 -1 1077944384 23 0 0 0 2 2 0 0 20 0 28 0 4796169 14133010432 60810 33554432000 4194304 4196468 140722084547472 140714809793552 140714857182933 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17797] ppid=17792 vsize=13801768 CPUtime=0.04 cores=0-3,8-11
/proc/17793/task/17797/stat : 17797 (java) S 17792 17792 18810 0 -1 1077944384 29 0 0 0 2 2 0 0 20 0 28 0 4796169 14133010432 60810 33554432000 4194304 4196468 140722084547472 140714808741008 140714857182933 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17798] ppid=17792 vsize=13801768 CPUtime=0.04 cores=0-3,8-11
/proc/17793/task/17798/stat : 17798 (java) S 17792 17792 18810 0 -1 1077944384 21 0 0 0 3 1 0 0 20 0 28 0 4796169 14133010432 60810 33554432000 4194304 4196468 140722084547472 140714807687952 140714857182933 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17799] ppid=17792 vsize=13801768 CPUtime=0.04 cores=0-3,8-11
/proc/17793/task/17799/stat : 17799 (java) S 17792 17792 18810 0 -1 1077944384 19 0 0 0 2 2 0 0 20 0 28 0 4796169 14133010432 60810 33554432000 4194304 4196468 140722084547472 140714806635408 140714857182933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17800] ppid=17792 vsize=13801768 CPUtime=0.05 cores=0-3,8-11
/proc/17793/task/17800/stat : 17800 (java) S 17792 17792 18810 0 -1 1077944384 39 0 0 0 3 2 0 0 20 0 28 0 4796169 14133010432 60810 33554432000 4194304 4196468 140722084547472 140714452646416 140714857182933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17801] ppid=17792 vsize=13801768 CPUtime=0.03 cores=0-3,8-11
/proc/17793/task/17801/stat : 17801 (java) S 17792 17792 18810 0 -1 1077944384 21 0 0 0 1 2 0 0 20 0 28 0 4796169 14133010432 60810 33554432000 4194304 4196468 140722084547472 140714451593872 140714857182933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17802] ppid=17792 vsize=13801768 CPUtime=0.02 cores=0-3,8-11
/proc/17793/task/17802/stat : 17802 (java) S 17792 17792 18810 0 -1 1077944384 17 0 0 0 2 0 0 0 20 0 28 0 4796169 14133010432 60810 33554432000 4194304 4196468 140722084547472 140714450540816 140714857182933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17803] ppid=17792 vsize=13801768 CPUtime=0.05 cores=0-3,8-11
/proc/17793/task/17803/stat : 17803 (java) S 17792 17792 18810 0 -1 1077944384 27 0 0 0 3 2 0 0 20 0 28 0 4796169 14133010432 60810 33554432000 4194304 4196468 140722084547472 140714449488272 140714857182933 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17804] ppid=17792 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/17793/task/17804/stat : 17804 (java) S 17792 17792 18810 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 28 0 4796171 14133010432 60810 33554432000 4194304 4196468 140722084547472 140714319461104 140714857183874 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 9 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17805] ppid=17792 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/17793/task/17805/stat : 17805 (java) S 17792 17792 18810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4796172 14133010432 60810 33554432000 4194304 4196468 140722084547472 140714318407328 140714857182933 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17806] ppid=17792 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/17793/task/17806/stat : 17806 (java) S 17792 17792 18810 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4796172 14133010432 60810 33554432000 4194304 4196468 140722084547472 140714317354224 140714857182933 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17807] ppid=17792 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/17793/task/17807/stat : 17807 (java) S 17792 17792 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4796176 14133010432 60810 33554432000 4194304 4196468 140722084547472 140714316302800 140714857191323 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17808] ppid=17792 vsize=13801768 CPUtime=1.24 cores=0-3,8-11
/proc/17793/task/17808/stat : 17808 (java) S 17792 17792 18810 0 -1 1077944384 2118 0 0 0 124 0 0 0 20 0 28 0 4796176 14133010432 60810 33554432000 4194304 4196468 140722084547472 140714315249904 140714857183874 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17809] ppid=17792 vsize=13801768 CPUtime=1.35 cores=0-3,8-11
/proc/17793/task/17809/stat : 17809 (java) S 17792 17792 18810 0 -1 1077944384 2358 0 0 0 135 0 0 0 20 0 28 0 4796176 14133010432 60810 33554432000 4194304 4196468 140722084547472 140714314197360 140714857183874 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17810] ppid=17792 vsize=13801768 CPUtime=1.24 cores=0-3,8-11
/proc/17793/task/17810/stat : 17810 (java) R 17792 17792 18810 0 -1 4202560 2409 0 0 0 124 0 0 0 20 0 28 0 4796176 14133010432 60810 33554432000 4194304 4196468 140722084547472 140714313130848 140714838716059 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17811] ppid=17792 vsize=13801768 CPUtime=0.58 cores=0-3,8-11
/proc/17793/task/17811/stat : 17811 (java) S 17792 17792 18810 0 -1 1077944384 2252 0 0 0 57 1 0 0 20 0 28 0 4796176 14133010432 60810 33554432000 4194304 4196468 140722084547472 140714312091760 140714857183874 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17812] ppid=17792 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/17793/task/17812/stat : 17812 (java) S 17792 17792 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4796177 14133010432 60810 33554432000 4194304 4196468 140722084547472 140714311039968 140714857182933 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17813] ppid=17792 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/17793/task/17813/stat : 17813 (java) S 17792 17792 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4796177 14133010432 60810 33554432000 4194304 4196468 140722084547472 140714309987504 140714857183874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17814] ppid=17792 vsize=13801768 CPUtime=1.76 cores=0-3,8-11
/proc/17793/task/17814/stat : 17814 (java) R 17792 17792 18810 0 -1 4202560 57 0 0 0 176 0 0 0 20 0 28 0 4796257 14133010432 60810 33554432000 4194304 4196468 140722084547472 140714301973760 140714492500900 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17815] ppid=17792 vsize=13801768 CPUtime=1.67 cores=0-3,8-11
/proc/17793/task/17815/stat : 17815 (java) R 17792 17792 18810 0 -1 4202560 53 0 0 0 167 0 0 0 20 0 28 0 4796257 14133010432 60810 33554432000 4194304 4196468 140722084547472 140714300920088 140714492500918 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17816] ppid=17792 vsize=13801768 CPUtime=1.73 cores=0-3,8-11
/proc/17793/task/17816/stat : 17816 (java) R 17792 17792 18810 0 -1 4202560 35 0 0 0 173 0 0 0 20 0 28 0 4796257 14133010432 60810 33554432000 4194304 4196468 140722084547472 140714299867264 140714492484253 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17817] ppid=17792 vsize=13801768 CPUtime=1.61 cores=0-3,8-11
/proc/17793/task/17817/stat : 17817 (java) R 17792 17792 18810 0 -1 4202560 81 0 0 0 161 0 0 0 20 0 28 0 4796257 14133010432 60810 33554432000 4194304 4196468 140722084547472 140714298814536 140714492807613 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17818] ppid=17792 vsize=13801768 CPUtime=1.74 cores=0-3,8-11
/proc/17793/task/17818/stat : 17818 (java) R 17792 17792 18810 0 -1 4202560 33 0 0 0 174 0 0 0 20 0 28 0 4796257 14133010432 60810 33554432000 4194304 4196468 140722084547472 140714297763656 140714492500813 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17819] ppid=17792 vsize=13801768 CPUtime=1.49 cores=0-3,8-11
/proc/17793/task/17819/stat : 17819 (java) R 17792 17792 18810 0 -1 4202560 32 0 0 0 149 0 0 0 20 0 28 0 4796257 14133010432 60810 33554432000 4194304 4196468 140722084547472 140714296711352 140714492807289 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17820] ppid=17792 vsize=13801768 CPUtime=1.72 cores=0-3,8-11
/proc/17793/task/17820/stat : 17820 (java) R 17792 17792 18810 0 -1 4202560 35 0 0 0 172 0 0 0 20 0 28 0 4796258 14133010432 60810 33554432000 4194304 4196468 140722084547472 140714295659080 140714492807675 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17821] ppid=17792 vsize=13801768 CPUtime=1.71 cores=0-3,8-11
/proc/17793/task/17821/stat : 17821 (java) R 17792 17792 18810 0 -1 4202560 45 0 0 0 171 0 0 0 20 0 28 0 4796258 14133010432 60810 33554432000 4194304 4196468 140722084547472 140714294605880 140714492484324 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
Current children cumulated CPU time (s) 19.18
Current children cumulated vsize (KiB) 13811280
[startup+6.30154 s]
/proc/loadavg: 15.47 11.69 12.08 17/303 17821
/proc/meminfo: memFree=31376460/32770624 swapFree=5932/269672
################
# More data... #
################
[pid=17793/tid=17820] ppid=17792 vsize=13801768 CPUtime=217.36 cores=0-3,8-11
/proc/17793/task/17820/stat : 17820 (java) R 17792 17792 18810 0 -1 4202560 1834 0 0 0 21735 1 0 0 20 0 28 0 4796258 14133010432 217536 33554432000 4194304 4196468 140722084547472 140714295656776 140714493682614 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17821] ppid=17792 vsize=13801768 CPUtime=216.6 cores=0-3,8-11
/proc/17793/task/17821/stat : 17821 (java) R 17792 17792 18810 0 -1 4202560 1145 0 0 0 21659 1 0 0 20 0 28 0 4796258 14133010432 217536 33554432000 4194304 4196468 140722084547472 140714294604072 140714493682579 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
Current children cumulated CPU time (s) 1754.66
Current children cumulated vsize (KiB) 13811280
[startup+282.302 s]
/proc/loadavg: 15.80 14.00 12.96 17/304 17937
/proc/meminfo: memFree=27966752/32770624 swapFree=5932/270044
[pid=17792] ppid=17789 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/17792/stat : 17792 (xcsp3-exec) S 17789 17792 18810 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4796167 9740288 346 33554432000 4194304 5098028 140735718721952 140735718720056 140678308631164 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 31363072 140735718728846 140735718729056 140735718729056 140735718731755 0
/proc/17792/statm: 2378 346 289 221 0 87 0
[pid=17793] ppid=17792 vsize=13801768 CPUtime=2232.34 cores=0-3,8-11
/proc/17793/stat : 17793 (java) S 17792 17792 18810 0 -1 1077944320 73691 0 0 0 223128 106 0 0 20 0 28 0 4796168 14133010432 244539 33554432000 4194304 4196468 140722084547472 140722084530016 140714857172727 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
/proc/17793/statm: 3450442 244539 3302 1 0 3437675 0
[pid=17793/tid=17794] ppid=17792 vsize=13801768 CPUtime=0.86 cores=0-3,8-11
/proc/17793/task/17794/stat : 17794 (java) S 17792 17792 18810 0 -1 1077944384 6854 0 0 0 83 3 0 0 20 0 28 0 4796168 14133010432 244539 33554432000 4194304 4196468 140722084547472 140714861413504 140714857182933 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17796] ppid=17792 vsize=13801768 CPUtime=0.51 cores=0-3,8-11
/proc/17793/task/17796/stat : 17796 (java) S 17792 17792 18810 0 -1 1077944384 507 0 0 0 42 9 0 0 20 0 28 0 4796169 14133010432 244539 33554432000 4194304 4196468 140722084547472 140714809793552 140714857182933 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17797] ppid=17792 vsize=13801768 CPUtime=0.5 cores=0-3,8-11
/proc/17793/task/17797/stat : 17797 (java) S 17792 17792 18810 0 -1 1077944384 175 0 0 0 43 7 0 0 20 0 28 0 4796169 14133010432 244539 33554432000 4194304 4196468 140722084547472 140714808741008 140714857182933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17798] ppid=17792 vsize=13801768 CPUtime=0.53 cores=0-3,8-11
/proc/17793/task/17798/stat : 17798 (java) S 17792 17792 18810 0 -1 1077944384 847 0 0 0 45 8 0 0 20 0 28 0 4796169 14133010432 244539 33554432000 4194304 4196468 140722084547472 140714807687952 140714857182933 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17799] ppid=17792 vsize=13801768 CPUtime=0.52 cores=0-3,8-11
/proc/17793/task/17799/stat : 17799 (java) S 17792 17792 18810 0 -1 1077944384 255 0 0 0 45 7 0 0 20 0 28 0 4796169 14133010432 244539 33554432000 4194304 4196468 140722084547472 140714806635408 140714857182933 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17800] ppid=17792 vsize=13801768 CPUtime=0.54 cores=0-3,8-11
/proc/17793/task/17800/stat : 17800 (java) S 17792 17792 18810 0 -1 1077944384 1021 0 0 0 44 10 0 0 20 0 28 0 4796169 14133010432 244539 33554432000 4194304 4196468 140722084547472 140714452646416 140714857182933 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17801] ppid=17792 vsize=13801768 CPUtime=0.52 cores=0-3,8-11
/proc/17793/task/17801/stat : 17801 (java) S 17792 17792 18810 0 -1 1077944384 636 0 0 0 43 9 0 0 20 0 28 0 4796169 14133010432 244539 33554432000 4194304 4196468 140722084547472 140714451593872 140714857182933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17802] ppid=17792 vsize=13801768 CPUtime=0.5 cores=0-3,8-11
/proc/17793/task/17802/stat : 17802 (java) S 17792 17792 18810 0 -1 1077944384 440 0 0 0 44 6 0 0 20 0 28 0 4796169 14133010432 244539 33554432000 4194304 4196468 140722084547472 140714450540816 140714857182933 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17803] ppid=17792 vsize=13801768 CPUtime=0.51 cores=0-3,8-11
/proc/17793/task/17803/stat : 17803 (java) S 17792 17792 18810 0 -1 1077944384 271 0 0 0 46 5 0 0 20 0 28 0 4796169 14133010432 244539 33554432000 4194304 4196468 140722084547472 140714449488272 140714857182933 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17804] ppid=17792 vsize=13801768 CPUtime=1.38 cores=0-3,8-11
/proc/17793/task/17804/stat : 17804 (java) S 17792 17792 18810 0 -1 1077944384 4944 0 0 0 130 8 0 0 20 0 28 0 4796171 14133010432 244539 33554432000 4194304 4196468 140722084547472 140714319461104 140714857183874 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 9 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17805] ppid=17792 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/17793/task/17805/stat : 17805 (java) S 17792 17792 18810 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 28 0 4796172 14133010432 244539 33554432000 4194304 4196468 140722084547472 140714318407392 140714857182933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17806] ppid=17792 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/17793/task/17806/stat : 17806 (java) S 17792 17792 18810 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 4796172 14133010432 244539 33554432000 4194304 4196468 140722084547472 140714317354240 140714857182933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17807] ppid=17792 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/17793/task/17807/stat : 17807 (java) S 17792 17792 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4796176 14133010432 244539 33554432000 4194304 4196468 140722084547472 140714316302800 140714857191323 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17808] ppid=17792 vsize=13801768 CPUtime=3.38 cores=0-3,8-11
/proc/17793/task/17808/stat : 17808 (java) S 17792 17792 18810 0 -1 1077944384 10097 0 0 0 337 1 0 0 20 0 28 0 4796176 14133010432 244539 33554432000 4194304 4196468 140722084547472 140714315249904 140714857183874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17809] ppid=17792 vsize=13801768 CPUtime=3.28 cores=0-3,8-11
/proc/17793/task/17809/stat : 17809 (java) S 17792 17792 18810 0 -1 1077944384 15855 0 0 0 325 3 0 0 20 0 28 0 4796176 14133010432 244539 33554432000 4194304 4196468 140722084547472 140714314197360 140714857183874 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17810] ppid=17792 vsize=13801768 CPUtime=2.72 cores=0-3,8-11
/proc/17793/task/17810/stat : 17810 (java) S 17792 17792 18810 0 -1 1077944384 11527 0 0 0 271 1 0 0 20 0 28 0 4796176 14133010432 244539 33554432000 4194304 4196468 140722084547472 140714313144304 140714857183874 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17811] ppid=17792 vsize=13801768 CPUtime=0.88 cores=0-3,8-11
/proc/17793/task/17811/stat : 17811 (java) S 17792 17792 18810 0 -1 1077944384 7966 0 0 0 86 2 0 0 20 0 28 0 4796176 14133010432 244539 33554432000 4194304 4196468 140722084547472 140714312091760 140714857183874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17812] ppid=17792 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/17793/task/17812/stat : 17812 (java) S 17792 17792 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4796177 14133010432 244539 33554432000 4194304 4196468 140722084547472 140714311039968 140714857182933 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17813] ppid=17792 vsize=13801768 CPUtime=0.14 cores=0-3,8-11
/proc/17793/task/17813/stat : 17813 (java) S 17792 17792 18810 0 -1 1077944384 654 0 0 0 6 8 0 0 20 0 28 0 4796177 14133010432 244539 33554432000 4194304 4196468 140722084547472 140714309987504 140714857183874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17814] ppid=17792 vsize=13801768 CPUtime=277.07 cores=0-3,8-11
/proc/17793/task/17814/stat : 17814 (java) R 17792 17792 18810 0 -1 4202560 1146 0 0 0 27706 1 0 0 20 0 28 0 4796257 14133010432 244539 33554432000 4194304 4196468 140722084547472 140714301971512 140714493682579 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17815] ppid=17792 vsize=13801768 CPUtime=277.17 cores=0-3,8-11
/proc/17793/task/17815/stat : 17815 (java) R 17792 17792 18810 0 -1 4202560 615 0 0 0 27716 1 0 0 20 0 28 0 4796257 14133010432 244539 33554432000 4194304 4196468 140722084547472 140714300920008 140714492409167 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17816] ppid=17792 vsize=13801768 CPUtime=277.52 cores=0-3,8-11
/proc/17793/task/17816/stat : 17816 (java) R 17792 17792 18810 0 -1 4202560 1576 0 0 0 27750 2 0 0 20 0 28 0 4796257 14133010432 244539 33554432000 4194304 4196468 140722084547472 140714299869272 140714493807201 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17817] ppid=17792 vsize=13801768 CPUtime=276.96 cores=0-3,8-11
/proc/17793/task/17817/stat : 17817 (java) R 17792 17792 18810 0 -1 4202560 1656 0 0 0 27695 1 0 0 20 0 28 0 4796257 14133010432 244539 33554432000 4194304 4196468 140722084547472 140714298814160 140714493682579 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17818] ppid=17792 vsize=13801768 CPUtime=276.22 cores=0-3,8-11
/proc/17793/task/17818/stat : 17818 (java) R 17792 17792 18810 0 -1 4202560 1571 0 0 0 27621 1 0 0 20 0 28 0 4796257 14133010432 244539 33554432000 4194304 4196468 140722084547472 140714297761496 140714494176282 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17819] ppid=17792 vsize=13801768 CPUtime=278.07 cores=0-3,8-11
/proc/17793/task/17819/stat : 17819 (java) R 17792 17792 18810 0 -1 4202560 692 0 0 0 27807 0 0 0 20 0 28 0 4796257 14133010432 244539 33554432000 4194304 4196468 140722084547472 140714296708808 140714493682874 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17820] ppid=17792 vsize=13801768 CPUtime=276.68 cores=0-3,8-11
/proc/17793/task/17820/stat : 17820 (java) R 17792 17792 18810 0 -1 4202560 1907 0 0 0 27667 1 0 0 20 0 28 0 4796258 14133010432 244539 33554432000 4194304 4196468 140722084547472 140714295656808 140714493682609 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17821] ppid=17792 vsize=13801768 CPUtime=275.66 cores=0-3,8-11
/proc/17793/task/17821/stat : 17821 (java) R 17792 17792 18810 0 -1 4202560 1159 0 0 0 27565 1 0 0 20 0 28 0 4796258 14133010432 244539 33554432000 4194304 4196468 140722084547472 140714294604024 140714493809479 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
Current children cumulated CPU time (s) 2232.34
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+303.401 s]
/proc/loadavg: 15.93 14.15 13.03 17/304 17938
/proc/meminfo: memFree=27666568/32770624 swapFree=5932/270068
[pid=17792] ppid=17789 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/17792/stat : 17792 (xcsp3-exec) S 17789 17792 18810 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4796167 9740288 346 33554432000 4194304 5098028 140735718721952 140735718720056 140678308631164 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 31363072 140735718728846 140735718729056 140735718729056 140735718731755 0
/proc/17792/statm: 2378 346 289 221 0 87 0
[pid=17793] ppid=17792 vsize=13801768 CPUtime=2400.43 cores=0-3,8-11
/proc/17793/stat : 17793 (java) S 17792 17792 18810 0 -1 1077944320 73792 0 0 0 239936 107 0 0 20 0 28 0 4796168 14133010432 244539 33554432000 4194304 4196468 140722084547472 140722084530016 140714857172727 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
/proc/17793/statm: 3450442 244539 3302 1 0 3437675 0
[pid=17793/tid=17794] ppid=17792 vsize=13801768 CPUtime=0.86 cores=0-3,8-11
/proc/17793/task/17794/stat : 17794 (java) S 17792 17792 18810 0 -1 1077944384 6854 0 0 0 83 3 0 0 20 0 28 0 4796168 14133010432 244539 33554432000 4194304 4196468 140722084547472 140714861413504 140714857182933 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17796] ppid=17792 vsize=13801768 CPUtime=0.51 cores=0-3,8-11
/proc/17793/task/17796/stat : 17796 (java) S 17792 17792 18810 0 -1 1077944384 507 0 0 0 42 9 0 0 20 0 28 0 4796169 14133010432 244539 33554432000 4194304 4196468 140722084547472 140714809793552 140714857182933 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17797] ppid=17792 vsize=13801768 CPUtime=0.5 cores=0-3,8-11
/proc/17793/task/17797/stat : 17797 (java) S 17792 17792 18810 0 -1 1077944384 175 0 0 0 43 7 0 0 20 0 28 0 4796169 14133010432 244539 33554432000 4194304 4196468 140722084547472 140714808741008 140714857182933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17798] ppid=17792 vsize=13801768 CPUtime=0.53 cores=0-3,8-11
/proc/17793/task/17798/stat : 17798 (java) S 17792 17792 18810 0 -1 1077944384 847 0 0 0 45 8 0 0 20 0 28 0 4796169 14133010432 244539 33554432000 4194304 4196468 140722084547472 140714807687952 140714857182933 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17799] ppid=17792 vsize=13801768 CPUtime=0.52 cores=0-3,8-11
/proc/17793/task/17799/stat : 17799 (java) S 17792 17792 18810 0 -1 1077944384 255 0 0 0 45 7 0 0 20 0 28 0 4796169 14133010432 244539 33554432000 4194304 4196468 140722084547472 140714806635408 140714857182933 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17800] ppid=17792 vsize=13801768 CPUtime=0.54 cores=0-3,8-11
/proc/17793/task/17800/stat : 17800 (java) S 17792 17792 18810 0 -1 1077944384 1021 0 0 0 44 10 0 0 20 0 28 0 4796169 14133010432 244539 33554432000 4194304 4196468 140722084547472 140714452646416 140714857182933 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17801] ppid=17792 vsize=13801768 CPUtime=0.52 cores=0-3,8-11
/proc/17793/task/17801/stat : 17801 (java) S 17792 17792 18810 0 -1 1077944384 636 0 0 0 43 9 0 0 20 0 28 0 4796169 14133010432 244539 33554432000 4194304 4196468 140722084547472 140714451593872 140714857182933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17802] ppid=17792 vsize=13801768 CPUtime=0.5 cores=0-3,8-11
/proc/17793/task/17802/stat : 17802 (java) S 17792 17792 18810 0 -1 1077944384 440 0 0 0 44 6 0 0 20 0 28 0 4796169 14133010432 244539 33554432000 4194304 4196468 140722084547472 140714450540816 140714857182933 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17803] ppid=17792 vsize=13801768 CPUtime=0.51 cores=0-3,8-11
/proc/17793/task/17803/stat : 17803 (java) S 17792 17792 18810 0 -1 1077944384 271 0 0 0 46 5 0 0 20 0 28 0 4796169 14133010432 244539 33554432000 4194304 4196468 140722084547472 140714449488272 140714857182933 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17804] ppid=17792 vsize=13801768 CPUtime=1.38 cores=0-3,8-11
/proc/17793/task/17804/stat : 17804 (java) S 17792 17792 18810 0 -1 1077944384 4944 0 0 0 130 8 0 0 20 0 28 0 4796171 14133010432 244539 33554432000 4194304 4196468 140722084547472 140714319461104 140714857183874 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 9 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17805] ppid=17792 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/17793/task/17805/stat : 17805 (java) S 17792 17792 18810 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 28 0 4796172 14133010432 244539 33554432000 4194304 4196468 140722084547472 140714318407392 140714857182933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17806] ppid=17792 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/17793/task/17806/stat : 17806 (java) S 17792 17792 18810 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 4796172 14133010432 244539 33554432000 4194304 4196468 140722084547472 140714317354240 140714857182933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17807] ppid=17792 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/17793/task/17807/stat : 17807 (java) S 17792 17792 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4796176 14133010432 244539 33554432000 4194304 4196468 140722084547472 140714316302800 140714857191323 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17808] ppid=17792 vsize=13801768 CPUtime=3.41 cores=0-3,8-11
/proc/17793/task/17808/stat : 17808 (java) S 17792 17792 18810 0 -1 1077944384 10140 0 0 0 339 2 0 0 20 0 28 0 4796176 14133010432 244539 33554432000 4194304 4196468 140722084547472 140714315249904 140714857183874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17809] ppid=17792 vsize=13801768 CPUtime=3.28 cores=0-3,8-11
/proc/17793/task/17809/stat : 17809 (java) S 17792 17792 18810 0 -1 1077944384 15855 0 0 0 325 3 0 0 20 0 28 0 4796176 14133010432 244539 33554432000 4194304 4196468 140722084547472 140714314197360 140714857183874 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17810] ppid=17792 vsize=13801768 CPUtime=2.72 cores=0-3,8-11
/proc/17793/task/17810/stat : 17810 (java) S 17792 17792 18810 0 -1 1077944384 11527 0 0 0 271 1 0 0 20 0 28 0 4796176 14133010432 244539 33554432000 4194304 4196468 140722084547472 140714313144304 140714857183874 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17811] ppid=17792 vsize=13801768 CPUtime=0.88 cores=0-3,8-11
/proc/17793/task/17811/stat : 17811 (java) S 17792 17792 18810 0 -1 1077944384 7966 0 0 0 86 2 0 0 20 0 28 0 4796176 14133010432 244539 33554432000 4194304 4196468 140722084547472 140714312091760 140714857183874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17812] ppid=17792 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/17793/task/17812/stat : 17812 (java) S 17792 17792 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4796177 14133010432 244539 33554432000 4194304 4196468 140722084547472 140714311039968 140714857182933 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17813] ppid=17792 vsize=13801768 CPUtime=0.16 cores=0-3,8-11
/proc/17793/task/17813/stat : 17813 (java) S 17792 17792 18810 0 -1 1077944384 656 0 0 0 7 9 0 0 20 0 28 0 4796177 14133010432 244539 33554432000 4194304 4196468 140722084547472 140714309987504 140714857183874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17814] ppid=17792 vsize=13801768 CPUtime=298.16 cores=0-3,8-11
/proc/17793/task/17814/stat : 17814 (java) R 17792 17792 18810 0 -1 4202560 1146 0 0 0 29815 1 0 0 20 0 28 0 4796257 14133010432 244539 33554432000 4194304 4196468 140722084547472 140714301971512 140714493682614 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17815] ppid=17792 vsize=13801768 CPUtime=298.22 cores=0-3,8-11
/proc/17793/task/17815/stat : 17815 (java) R 17792 17792 18810 0 -1 4202560 616 0 0 0 29821 1 0 0 20 0 28 0 4796257 14133010432 244539 33554432000 4194304 4196468 140722084547472 140714300920008 140714493682750 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17816] ppid=17792 vsize=13801768 CPUtime=298.6 cores=0-3,8-11
/proc/17793/task/17816/stat : 17816 (java) R 17792 17792 18810 0 -1 4202560 1611 0 0 0 29858 2 0 0 20 0 28 0 4796257 14133010432 244539 33554432000 4194304 4196468 140722084547472 140714299867496 140714493806911 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17817] ppid=17792 vsize=13801768 CPUtime=298.04 cores=0-3,8-11
/proc/17793/task/17817/stat : 17817 (java) R 17792 17792 18810 0 -1 4202560 1667 0 0 0 29803 1 0 0 20 0 28 0 4796257 14133010432 244539 33554432000 4194304 4196468 140722084547472 140714298814160 140714493806706 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17818] ppid=17792 vsize=13801768 CPUtime=297.3 cores=0-3,8-11
/proc/17793/task/17818/stat : 17818 (java) R 17792 17792 18810 0 -1 4202560 1577 0 0 0 29729 1 0 0 20 0 28 0 4796257 14133010432 244539 33554432000 4194304 4196468 140722084547472 140714297761496 140714493682677 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17819] ppid=17792 vsize=13801768 CPUtime=299.15 cores=0-3,8-11
/proc/17793/task/17819/stat : 17819 (java) R 17792 17792 18810 0 -1 4202560 693 0 0 0 29915 0 0 0 20 0 28 0 4796257 14133010432 244539 33554432000 4194304 4196468 140722084547472 140714296708808 140714493682677 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17820] ppid=17792 vsize=13801768 CPUtime=297.74 cores=0-3,8-11
/proc/17793/task/17820/stat : 17820 (java) R 17792 17792 18810 0 -1 4202560 1909 0 0 0 29773 1 0 0 20 0 28 0 4796258 14133010432 244539 33554432000 4194304 4196468 140722084547472 140714295656808 140714493682579 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
[pid=17793/tid=17821] ppid=17792 vsize=13801768 CPUtime=296.19 cores=0-3,8-11
/proc/17793/task/17821/stat : 17821 (java) R 17792 17792 18810 0 -1 4202560 1159 0 0 0 29618 1 0 0 20 0 28 0 4796258 14133010432 244539 33554432000 4194304 4196468 140722084547472 140714294604024 140714494463626 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 27090944 140722084549820 140722084549996 140722084549996 140722084552655 0
Current children cumulated CPU time (s) 2400.43
Current children cumulated vsize (KiB) 13811280
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 17793 sig 9
??? kill 17792 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17792 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=2173
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1086
# CPU time returned by wait4() is 0.003259
# while last known CPU time is 2400.43
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 303.412
CPU time (s): 2400.43
CPU user time (s): 2399.36
CPU system time (s): 1.07
CPU usage (%): 791.145
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.002173
system time used= 0.001086
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 519
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.09 second user time and 4.93187 second system time
The end