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-4244619-1502011572/watcher-4244619-1502011572 -o /tmp/evaluation-result-4244619-1502011572/solver-4244619-1502011572 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502009484-25216 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 10000 -tdir HOME -seed 280752845 HOME/instance-4244619-1502011572.xml
pid=26379
running on 4 cores: 1,3,5,7
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: 7.61 7.94 5.99 7/205 26382
/proc/meminfo: memFree=31019068/32770624 swapFree=0/392352
[pid=26382] ppid=26379 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/26382/stat : 26382 (runsolver) D 26379 26382 25139 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 48663148 24240128 106 18446744073709551615 4194304 4338465 140735091590736 140735091588376 140217748148951 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 34328576 140735091597399 140735091597897 140735091597897 140735091601354 0
/proc/26382/statm: 5918 106 53 36 0 2156 0
[startup+0.100113 s]
/proc/loadavg: 7.61 7.94 5.99 7/205 26382
/proc/meminfo: memFree=31019068/32770624 swapFree=0/392352
[pid=26382] ppid=26379 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/26382/stat : 26382 (xcsp3-exec) S 26379 26382 25139 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 48663148 9740288 345 18446744073709551615 4194304 5098028 140722132444848 140722132442952 140492359979644 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 17457152 140722132447641 140722132447850 140722132447850 140722132451307 0
/proc/26382/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.201517 s]
/proc/loadavg: 7.61 7.94 5.99 7/205 26382
/proc/meminfo: memFree=31019068/32770624 swapFree=0/392352
[pid=26382] ppid=26379 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/26382/stat : 26382 (xcsp3-exec) S 26379 26382 25139 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 48663148 9740288 345 18446744073709551615 4194304 5098028 140722132444848 140722132442952 140492359979644 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 17457152 140722132447641 140722132447850 140722132447850 140722132451307 0
/proc/26382/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.301438 s]
/proc/loadavg: 7.61 7.94 5.99 7/205 26382
/proc/meminfo: memFree=31019068/32770624 swapFree=0/392352
[pid=26382] ppid=26379 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/26382/stat : 26382 (xcsp3-exec) S 26379 26382 25139 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 48663148 9740288 345 18446744073709551615 4194304 5098028 140722132444848 140722132442952 140492359979644 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 17457152 140722132447641 140722132447850 140722132447850 140722132451307 0
/proc/26382/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700175 s]
/proc/loadavg: 7.61 7.94 5.99 7/205 26382
/proc/meminfo: memFree=31019068/32770624 swapFree=0/392352
[pid=26382] ppid=26379 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/26382/stat : 26382 (xcsp3-exec) S 26379 26382 25139 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 48663148 9740288 345 18446744073709551615 4194304 5098028 140722132444848 140722132442952 140492359979644 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 17457152 140722132447641 140722132447850 140722132447850 140722132451307 0
/proc/26382/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.5025 s]
/proc/loadavg: 7.48 7.91 5.99 10/225 26402
/proc/meminfo: memFree=30891568/32770624 swapFree=0/392376
[pid=26382] ppid=26379 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/26382/stat : 26382 (xcsp3-exec) S 26379 26382 25139 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 48663148 9740288 345 18446744073709551615 4194304 5098028 140722132444848 140722132442952 140492359979644 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 17457152 140722132447641 140722132447850 140722132447850 140722132451307 0
/proc/26382/statm: 2378 345 289 221 0 87 0
[pid=26384] ppid=26382 vsize=13187632 CPUtime=4.45 cores=1,3,5,7
/proc/26384/stat : 26384 (java) S 26382 26382 25139 0 -1 1077944320 19080 0 0 0 438 7 0 0 20 0 19 0 48663154 13504135168 37547 18446744073709551615 4194304 4196468 140728698010432 140728697992976 140602863472375 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
/proc/26384/statm: 3296908 37547 3195 1 0 3285200 0
[pid=26384/tid=26385] ppid=26382 vsize=13187632 CPUtime=0.88 cores=1,3,5,7
/proc/26384/task/26385/stat : 26385 (java) S 26382 26382 25139 0 -1 1077944384 9108 0 0 0 84 4 0 0 20 0 19 0 48663154 13504135168 37547 18446744073709551615 4194304 4196468 140728698010432 140602867713152 140602863482581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26386] ppid=26382 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/26384/task/26386/stat : 26386 (java) S 26382 26382 25139 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 48663155 13504135168 37547 18446744073709551615 4194304 4196468 140728698010432 140602806783120 140602863482581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26387] ppid=26382 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/26384/task/26387/stat : 26387 (java) S 26382 26382 25139 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 48663155 13504135168 37547 18446744073709551615 4194304 4196468 140728698010432 140602805730320 140602863482581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26388] ppid=26382 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/26384/task/26388/stat : 26388 (java) S 26382 26382 25139 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 48663155 13504135168 37547 18446744073709551615 4194304 4196468 140728698010432 140602804677520 140602863482581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26389] ppid=26382 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/26384/task/26389/stat : 26389 (java) S 26382 26382 25139 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 48663155 13504135168 37547 18446744073709551615 4194304 4196468 140728698010432 140602803624720 140602863482581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26390] ppid=26382 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/26384/task/26390/stat : 26390 (java) S 26382 26382 25139 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 48663156 13504135168 37547 18446744073709551615 4194304 4196468 140728698010432 140602414606704 140602863483522 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26391] ppid=26382 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/26384/task/26391/stat : 26391 (java) S 26382 26382 25139 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 48663157 13504135168 37547 18446744073709551615 4194304 4196468 140728698010432 140602413552672 140602863482581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26392] ppid=26382 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/26384/task/26392/stat : 26392 (java) S 26382 26382 25139 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 48663157 13504135168 37547 18446744073709551615 4194304 4196468 140728698010432 140602412499824 140602863482581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26393] ppid=26382 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/26384/task/26393/stat : 26393 (java) S 26382 26382 25139 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 48663159 13504135168 37547 18446744073709551615 4194304 4196468 140728698010432 140602411448144 140602863490971 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26394] ppid=26382 vsize=13187632 CPUtime=0.78 cores=1,3,5,7
/proc/26384/task/26394/stat : 26394 (java) R 26382 26382 25139 0 -1 4202560 2213 0 0 0 78 0 0 0 20 0 19 0 48663159 13504135168 37547 18446744073709551615 4194304 4196468 140728698010432 140602410383096 140602848581372 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26395] ppid=26382 vsize=13187632 CPUtime=0.82 cores=1,3,5,7
/proc/26384/task/26395/stat : 26395 (java) R 26382 26382 25139 0 -1 4202560 2295 0 0 0 82 0 0 0 20 0 19 0 48663159 13504135168 37547 18446744073709551615 4194304 4196468 140728698010432 140602409336216 140602844173460 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26396] ppid=26382 vsize=13187632 CPUtime=0.72 cores=1,3,5,7
/proc/26384/task/26396/stat : 26396 (java) R 26382 26382 25139 0 -1 4202560 3428 0 0 0 71 1 0 0 20 0 19 0 48663159 13504135168 37547 18446744073709551615 4194304 4196468 140728698010432 140602408287864 140602855709502 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26397] ppid=26382 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/26384/task/26397/stat : 26397 (java) S 26382 26382 25139 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 48663159 13504135168 37547 18446744073709551615 4194304 4196468 140728698010432 140602407238368 140602863482581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26398] ppid=26382 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/26384/task/26398/stat : 26398 (java) R 26382 26382 25139 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 48663164 13504135168 37547 18446744073709551615 4194304 4196468 140728698010432 140602406185648 140602863483522 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26399] ppid=26382 vsize=13187632 CPUtime=0.29 cores=1,3,5,7
/proc/26384/task/26399/stat : 26399 (java) R 26382 26382 25139 0 -1 4202560 62 0 0 0 29 0 0 0 20 0 19 0 48663248 13504135168 37547 18446744073709551615 4194304 4196468 140728698010432 140602400265152 140602488579552 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26400] ppid=26382 vsize=13187632 CPUtime=0.34 cores=1,3,5,7
/proc/26384/task/26400/stat : 26400 (java) R 26382 26382 25139 0 -1 4202560 316 0 0 0 34 0 0 0 20 0 19 0 48663248 13504135168 37547 18446744073709551615 4194304 4196468 140728698010432 140602328992296 140602489127831 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26401] ppid=26382 vsize=13187632 CPUtime=0.31 cores=1,3,5,7
/proc/26384/task/26401/stat : 26401 (java) R 26382 26382 25139 0 -1 4202560 283 0 0 0 31 0 0 0 20 0 19 0 48663248 13504135168 37547 18446744073709551615 4194304 4196468 140728698010432 140602327940736 140602489127636 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26402] ppid=26382 vsize=13187632 CPUtime=0.26 cores=1,3,5,7
/proc/26384/task/26402/stat : 26402 (java) R 26382 26382 25139 0 -1 4202560 68 0 0 0 26 0 0 0 20 0 19 0 48663248 13504135168 37547 18446744073709551615 4194304 4196468 140728698010432 140602326888536 140602489127924 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
Current children cumulated CPU time (s) 4.45
Current children cumulated vsize (KiB) 13197144
[startup+3.10151 s]
/proc/loadavg: 7.48 7.91 5.99 11/225 26402
/proc/meminfo: memFree=30851080/32770624 swapFree=0/392376
[pid=26382] ppid=26379 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/26382/stat : 26382 (xcsp3-exec) S 26379 26382 25139 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 48663148 9740288 345 18446744073709551615 4194304 5098028 140722132444848 140722132442952 140492359979644 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 17457152 140722132447641 140722132447850 140722132447850 140722132451307 0
/proc/26382/statm: 2378 345 289 221 0 87 0
[pid=26384] ppid=26382 vsize=13187632 CPUtime=10.76 cores=1,3,5,7
/proc/26384/stat : 26384 (java) S 26382 26382 25139 0 -1 1077944320 40140 0 0 0 1065 11 0 0 20 0 19 0 48663154 13504135168 55591 18446744073709551615 4194304 4196468 140728698010432 140728697992976 140602863472375 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
/proc/26384/statm: 3296908 55591 3197 1 0 3285200 0
[pid=26384/tid=26385] ppid=26382 vsize=13187632 CPUtime=0.88 cores=1,3,5,7
/proc/26384/task/26385/stat : 26385 (java) S 26382 26382 25139 0 -1 1077944384 9108 0 0 0 84 4 0 0 20 0 19 0 48663154 13504135168 55591 18446744073709551615 4194304 4196468 140728698010432 140602867713152 140602863482581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26386] ppid=26382 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/26384/task/26386/stat : 26386 (java) S 26382 26382 25139 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 48663155 13504135168 55591 18446744073709551615 4194304 4196468 140728698010432 140602806783120 140602863482581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26387] ppid=26382 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/26384/task/26387/stat : 26387 (java) S 26382 26382 25139 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 48663155 13504135168 55591 18446744073709551615 4194304 4196468 140728698010432 140602805730320 140602863482581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26388] ppid=26382 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/26384/task/26388/stat : 26388 (java) S 26382 26382 25139 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 48663155 13504135168 55591 18446744073709551615 4194304 4196468 140728698010432 140602804677520 140602863482581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26389] ppid=26382 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/26384/task/26389/stat : 26389 (java) S 26382 26382 25139 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 48663155 13504135168 55591 18446744073709551615 4194304 4196468 140728698010432 140602803624720 140602863482581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26390] ppid=26382 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/26384/task/26390/stat : 26390 (java) S 26382 26382 25139 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 48663156 13504135168 55591 18446744073709551615 4194304 4196468 140728698010432 140602414606704 140602863483522 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26391] ppid=26382 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/26384/task/26391/stat : 26391 (java) S 26382 26382 25139 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 48663157 13504135168 55591 18446744073709551615 4194304 4196468 140728698010432 140602413552672 140602863482581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26392] ppid=26382 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/26384/task/26392/stat : 26392 (java) S 26382 26382 25139 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 48663157 13504135168 55591 18446744073709551615 4194304 4196468 140728698010432 140602412499824 140602863482581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26393] ppid=26382 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/26384/task/26393/stat : 26393 (java) S 26382 26382 25139 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 48663159 13504135168 55591 18446744073709551615 4194304 4196468 140728698010432 140602411448144 140602863490971 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26394] ppid=26382 vsize=13187632 CPUtime=1.63 cores=1,3,5,7
/proc/26384/task/26394/stat : 26394 (java) R 26382 26382 25139 0 -1 4202560 12583 0 0 0 162 1 0 0 20 0 19 0 48663159 13504135168 55591 18446744073709551615 4194304 4196468 140728698010432 140602410376528 140602841489387 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26395] ppid=26382 vsize=13187632 CPUtime=1.8 cores=1,3,5,7
/proc/26384/task/26395/stat : 26395 (java) R 26382 26382 25139 0 -1 4202560 9920 0 0 0 179 1 0 0 20 0 19 0 48663159 13504135168 55591 18446744073709551615 4194304 4196468 140728698010432 140602409329752 140602848394142 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26396] ppid=26382 vsize=13187632 CPUtime=0.84 cores=1,3,5,7
/proc/26384/task/26396/stat : 26396 (java) S 26382 26382 25139 0 -1 1077944384 5736 0 0 0 83 1 0 0 20 0 19 0 48663159 13504135168 55591 18446744073709551615 4194304 4196468 140728698010432 140602408290928 140602863483522 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26397] ppid=26382 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/26384/task/26397/stat : 26397 (java) S 26382 26382 25139 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 48663159 13504135168 55591 18446744073709551615 4194304 4196468 140728698010432 140602407238368 140602863482581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26398] ppid=26382 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/26384/task/26398/stat : 26398 (java) S 26382 26382 25139 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 48663164 13504135168 55591 18446744073709551615 4194304 4196468 140728698010432 140602406185648 140602863483522 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26399] ppid=26382 vsize=13187632 CPUtime=1.27 cores=1,3,5,7
/proc/26384/task/26399/stat : 26399 (java) R 26382 26382 25139 0 -1 4202560 329 0 0 0 127 0 0 0 20 0 19 0 48663248 13504135168 55591 18446744073709551615 4194304 4196468 140728698010432 140602400267272 140602490970542 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26400] ppid=26382 vsize=13187632 CPUtime=1.56 cores=1,3,5,7
/proc/26384/task/26400/stat : 26400 (java) R 26382 26382 25139 0 -1 4202560 482 0 0 0 156 0 0 0 20 0 19 0 48663248 13504135168 55591 18446744073709551615 4194304 4196468 140728698010432 140602328995080 140602490970401 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26401] ppid=26382 vsize=13187632 CPUtime=1.29 cores=1,3,5,7
/proc/26384/task/26401/stat : 26401 (java) R 26382 26382 25139 0 -1 4202560 477 0 0 0 129 0 0 0 20 0 19 0 48663248 13504135168 55591 18446744073709551615 4194304 4196468 140728698010432 140602327940168 140602482233392 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26402] ppid=26382 vsize=13187632 CPUtime=1.42 cores=1,3,5,7
/proc/26384/task/26402/stat : 26402 (java) R 26382 26382 25139 0 -1 4202560 178 0 0 0 142 0 0 0 20 0 19 0 48663248 13504135168 55591 18446744073709551615 4194304 4196468 140728698010432 140602326887384 140602490970481 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
Current children cumulated CPU time (s) 10.76
Current children cumulated vsize (KiB) 13197144
[startup+6.30551 s]
/proc/loadavg: 7.48 7.91 5.99 11/225 26402
/proc/meminfo: memFree=30782952/32770624 swapFree=0/392388
[pid=26382] ppid=26379 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/26382/stat : 26382 (xcsp3-exec) S 26379 26382 25139 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 48663148 9740288 345 18446744073709551615 4194304 5098028 140722132444848 140722132442952 140492359979644 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 17457152 140722132447641 140722132447850 140722132447850 140722132451307 0
/proc/26382/statm: 2378 345 289 221 0 87 0
[pid=26384] ppid=26382 vsize=13187632 CPUtime=23.5 cores=1,3,5,7
/proc/26384/stat : 26384 (java) S 26382 26382 25139 0 -1 1077944320 47195 0 0 0 2335 15 0 0 20 0 19 0 48663154 13504135168 68018 18446744073709551615 4194304 4196468 140728698010432 140728697992976 140602863472375 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
/proc/26384/statm: 3296908 68018 3228 1 0 3285200 0
[pid=26384/tid=26385] ppid=26382 vsize=13187632 CPUtime=0.88 cores=1,3,5,7
/proc/26384/task/26385/stat : 26385 (java) S 26382 26382 25139 0 -1 1077944384 9108 0 0 0 84 4 0 0 20 0 19 0 48663154 13504135168 68018 18446744073709551615 4194304 4196468 140728698010432 140602867713152 140602863482581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26386] ppid=26382 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/26384/task/26386/stat : 26386 (java) S 26382 26382 25139 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 19 0 48663155 13504135168 68018 18446744073709551615 4194304 4196468 140728698010432 140602806783120 140602863482581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26387] ppid=26382 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/26384/task/26387/stat : 26387 (java) S 26382 26382 25139 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 19 0 48663155 13504135168 68018 18446744073709551615 4194304 4196468 140728698010432 140602805730320 140602863482581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26388] ppid=26382 vsize=13187632 CPUtime=0.01 cores=1,3,5,7
/proc/26384/task/26388/stat : 26388 (java) S 26382 26382 25139 0 -1 1077944384 175 0 0 0 1 0 0 0 20 0 19 0 48663155 13504135168 68018 18446744073709551615 4194304 4196468 140728698010432 140602804677520 140602863482581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26389] ppid=26382 vsize=13187632 CPUtime=0.01 cores=1,3,5,7
/proc/26384/task/26389/stat : 26389 (java) S 26382 26382 25139 0 -1 1077944384 1128 0 0 0 1 0 0 0 20 0 19 0 48663155 13504135168 68018 18446744073709551615 4194304 4196468 140728698010432 140602803624720 140602863482581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26390] ppid=26382 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/26384/task/26390/stat : 26390 (java) S 26382 26382 25139 0 -1 1077944384 408 0 0 0 0 0 0 0 20 0 19 0 48663156 13504135168 68018 18446744073709551615 4194304 4196468 140728698010432 140602414606704 140602863483522 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26391] ppid=26382 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/26384/task/26391/stat : 26391 (java) S 26382 26382 25139 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 48663157 13504135168 68018 18446744073709551615 4194304 4196468 140728698010432 140602413552672 140602863482581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26392] ppid=26382 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/26384/task/26392/stat : 26392 (java) S 26382 26382 25139 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 19 0 48663157 13504135168 68018 18446744073709551615 4194304 4196468 140728698010432 140602412499824 140602863482581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26393] ppid=26382 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/26384/task/26393/stat : 26393 (java) S 26382 26382 25139 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 48663159 13504135168 68018 18446744073709551615 4194304 4196468 140728698010432 140602411448144 140602863490971 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26394] ppid=26382 vsize=13187632 CPUtime=3.8 cores=1,3,5,7
/proc/26384/task/26394/stat : 26394 (java) R 26382 26382 25139 0 -1 4202560 13756 0 0 0 378 2 0 0 20 0 19 0 48663159 13504135168 68018 18446744073709551615 4194304 4196468 140728698010432 140602410377152 140602845016470 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26395] ppid=26382 vsize=13187632 CPUtime=4.01 cores=1,3,5,7
/proc/26384/task/26395/stat : 26395 (java) R 26382 26382 25139 0 -1 4202560 12380 0 0 0 400 1 0 0 20 0 19 0 48663159 13504135168 68018 18446744073709551615 4194304 4196468 140728698010432 140602409329888 140602844995290 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26396] ppid=26382 vsize=13187632 CPUtime=0.89 cores=1,3,5,7
/proc/26384/task/26396/stat : 26396 (java) S 26382 26382 25139 0 -1 1077944384 6714 0 0 0 88 1 0 0 20 0 19 0 48663159 13504135168 68018 18446744073709551615 4194304 4196468 140728698010432 140602408290928 140602863483522 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26397] ppid=26382 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/26384/task/26397/stat : 26397 (java) S 26382 26382 25139 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 48663159 13504135168 68018 18446744073709551615 4194304 4196468 140728698010432 140602407238368 140602863482581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26398] ppid=26382 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/26384/task/26398/stat : 26398 (java) S 26382 26382 25139 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 48663164 13504135168 68018 18446744073709551615 4194304 4196468 140728698010432 140602406185648 140602863483522 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26399] ppid=26382 vsize=13187632 CPUtime=3.31 cores=1,3,5,7
/proc/26384/task/26399/stat : 26399 (java) R 26382 26382 25139 0 -1 4202560 436 0 0 0 331 0 0 0 20 0 19 0 48663248 13504135168 68018 18446744073709551615 4194304 4196468 140728698010432 140602400269600 140602491683984 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
################
# More data... #
################
/proc/26382/statm: 2378 345 289 221 0 87 0
[pid=26384] ppid=26382 vsize=13187632 CPUtime=2079.16 cores=1,3,5,7
/proc/26384/stat : 26384 (java) S 26382 26382 25139 0 -1 1077944320 96387 0 0 0 207806 110 0 0 20 0 19 0 48663154 13504135168 169388 18446744073709551615 4194304 4196468 140728698010432 140728697992976 140602863472375 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
/proc/26384/statm: 3296908 169388 3261 1 0 3285200 0
[pid=26384/tid=26385] ppid=26382 vsize=13187632 CPUtime=0.88 cores=1,3,5,7
/proc/26384/task/26385/stat : 26385 (java) S 26382 26382 25139 0 -1 1077944384 9108 0 0 0 84 4 0 0 20 0 19 0 48663154 13504135168 169388 18446744073709551615 4194304 4196468 140728698010432 140602867713152 140602863482581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26386] ppid=26382 vsize=13187632 CPUtime=0.4 cores=1,3,5,7
/proc/26384/task/26386/stat : 26386 (java) S 26382 26382 25139 0 -1 1077944384 2176 0 0 0 32 8 0 0 20 0 19 0 48663155 13504135168 169388 18446744073709551615 4194304 4196468 140728698010432 140602806783120 140602863482581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26387] ppid=26382 vsize=13187632 CPUtime=0.37 cores=1,3,5,7
/proc/26384/task/26387/stat : 26387 (java) S 26382 26382 25139 0 -1 1077944384 1650 0 0 0 31 6 0 0 20 0 19 0 48663155 13504135168 169388 18446744073709551615 4194304 4196468 140728698010432 140602805730320 140602863482581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26388] ppid=26382 vsize=13187632 CPUtime=0.39 cores=1,3,5,7
/proc/26384/task/26388/stat : 26388 (java) S 26382 26382 25139 0 -1 1077944384 2994 0 0 0 33 6 0 0 20 0 19 0 48663155 13504135168 169388 18446744073709551615 4194304 4196468 140728698010432 140602804677520 140602863482581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26389] ppid=26382 vsize=13187632 CPUtime=0.39 cores=1,3,5,7
/proc/26384/task/26389/stat : 26389 (java) S 26382 26382 25139 0 -1 1077944384 3401 0 0 0 32 7 0 0 20 0 19 0 48663155 13504135168 169388 18446744073709551615 4194304 4196468 140728698010432 140602803624720 140602863482581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26390] ppid=26382 vsize=13187632 CPUtime=0.73 cores=1,3,5,7
/proc/26384/task/26390/stat : 26390 (java) S 26382 26382 25139 0 -1 1077944384 3362 0 0 0 20 53 0 0 20 0 19 0 48663156 13504135168 169388 18446744073709551615 4194304 4196468 140728698010432 140602414606704 140602863483522 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26391] ppid=26382 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/26384/task/26391/stat : 26391 (java) S 26382 26382 25139 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 19 0 48663157 13504135168 169388 18446744073709551615 4194304 4196468 140728698010432 140602413552736 140602863482581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26392] ppid=26382 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/26384/task/26392/stat : 26392 (java) S 26382 26382 25139 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 19 0 48663157 13504135168 169388 18446744073709551615 4194304 4196468 140728698010432 140602412499840 140602863482581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26393] ppid=26382 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/26384/task/26393/stat : 26393 (java) S 26382 26382 25139 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 48663159 13504135168 169388 18446744073709551615 4194304 4196468 140728698010432 140602411448144 140602863490971 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26394] ppid=26382 vsize=13187632 CPUtime=5.94 cores=1,3,5,7
/proc/26384/task/26394/stat : 26394 (java) S 26382 26382 25139 0 -1 1077944384 23834 0 0 0 592 2 0 0 20 0 19 0 48663159 13504135168 169388 18446744073709551615 4194304 4196468 140728698010432 140602410396528 140602863483522 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26395] ppid=26382 vsize=13187632 CPUtime=5.95 cores=1,3,5,7
/proc/26384/task/26395/stat : 26395 (java) S 26382 26382 25139 0 -1 1077944384 22079 0 0 0 593 2 0 0 20 0 19 0 48663159 13504135168 169388 18446744073709551615 4194304 4196468 140728698010432 140602409343728 140602863483522 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26396] ppid=26382 vsize=13187632 CPUtime=1.07 cores=1,3,5,7
/proc/26384/task/26396/stat : 26396 (java) S 26382 26382 25139 0 -1 1077944384 10542 0 0 0 105 2 0 0 20 0 19 0 48663159 13504135168 169388 18446744073709551615 4194304 4196468 140728698010432 140602408290928 140602863483522 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26397] ppid=26382 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/26384/task/26397/stat : 26397 (java) S 26382 26382 25139 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 48663159 13504135168 169388 18446744073709551615 4194304 4196468 140728698010432 140602407238368 140602863482581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26398] ppid=26382 vsize=13187632 CPUtime=0.21 cores=1,3,5,7
/proc/26384/task/26398/stat : 26398 (java) S 26382 26382 25139 0 -1 1077944384 423 0 0 0 0 21 0 0 20 0 19 0 48663164 13504135168 169388 18446744073709551615 4194304 4196468 140728698010432 140602406185648 140602863483522 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26399] ppid=26382 vsize=13187632 CPUtime=515.69 cores=1,3,5,7
/proc/26384/task/26399/stat : 26399 (java) R 26382 26382 25139 0 -1 4202560 2285 0 0 0 51567 2 0 0 20 0 19 0 48663248 13504135168 169388 18446744073709551615 4194304 4196468 140728698010432 140602400267384 140602494850211 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26400] ppid=26382 vsize=13187632 CPUtime=515.24 cores=1,3,5,7
/proc/26384/task/26400/stat : 26400 (java) R 26382 26382 25139 0 -1 4202560 7049 0 0 0 51514 10 0 0 20 0 19 0 48663248 13504135168 169388 18446744073709551615 4194304 4196468 140728698010432 140602328993344 140602493974436 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26401] ppid=26382 vsize=13187632 CPUtime=516.41 cores=1,3,5,7
/proc/26384/task/26401/stat : 26401 (java) R 26382 26382 25139 0 -1 4202560 2350 0 0 0 51639 2 0 0 20 0 19 0 48663248 13504135168 169388 18446744073709551615 4194304 4196468 140728698010432 140602327940720 140602494850304 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26402] ppid=26382 vsize=13187632 CPUtime=515.37 cores=1,3,5,7
/proc/26384/task/26402/stat : 26402 (java) R 26382 26382 25139 0 -1 4202560 3751 0 0 0 51535 2 0 0 20 0 19 0 48663248 13504135168 169388 18446744073709551615 4194304 4196468 140728698010432 140602326891472 140602493974287 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
Current children cumulated CPU time (s) 2079.16
Current children cumulated vsize (KiB) 13197144
[startup+582.302 s]
/proc/loadavg: 8.45 8.55 7.22 10/225 26959
/proc/meminfo: memFree=30341648/32770624 swapFree=0/392904
[pid=26382] ppid=26379 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/26382/stat : 26382 (xcsp3-exec) S 26379 26382 25139 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 48663148 9740288 345 18446744073709551615 4194304 5098028 140722132444848 140722132442952 140492359979644 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 17457152 140722132447641 140722132447850 140722132447850 140722132451307 0
/proc/26382/statm: 2378 345 289 221 0 87 0
[pid=26384] ppid=26382 vsize=13187632 CPUtime=2317.87 cores=1,3,5,7
/proc/26384/stat : 26384 (java) S 26382 26382 25139 0 -1 1077944320 98044 0 0 0 231660 127 0 0 20 0 19 0 48663154 13504135168 164131 18446744073709551615 4194304 4196468 140728698010432 140728697992976 140602863472375 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
/proc/26384/statm: 3296908 164131 3261 1 0 3285200 0
[pid=26384/tid=26385] ppid=26382 vsize=13187632 CPUtime=0.88 cores=1,3,5,7
/proc/26384/task/26385/stat : 26385 (java) S 26382 26382 25139 0 -1 1077944384 9108 0 0 0 84 4 0 0 20 0 19 0 48663154 13504135168 164131 18446744073709551615 4194304 4196468 140728698010432 140602867713152 140602863482581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26386] ppid=26382 vsize=13187632 CPUtime=0.43 cores=1,3,5,7
/proc/26384/task/26386/stat : 26386 (java) S 26382 26382 25139 0 -1 1077944384 2319 0 0 0 35 8 0 0 20 0 19 0 48663155 13504135168 164131 18446744073709551615 4194304 4196468 140728698010432 140602806783120 140602863482581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26387] ppid=26382 vsize=13187632 CPUtime=0.42 cores=1,3,5,7
/proc/26384/task/26387/stat : 26387 (java) S 26382 26382 25139 0 -1 1077944384 1687 0 0 0 35 7 0 0 20 0 19 0 48663155 13504135168 164131 18446744073709551615 4194304 4196468 140728698010432 140602805730320 140602863482581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26388] ppid=26382 vsize=13187632 CPUtime=0.44 cores=1,3,5,7
/proc/26384/task/26388/stat : 26388 (java) S 26382 26382 25139 0 -1 1077944384 3417 0 0 0 37 7 0 0 20 0 19 0 48663155 13504135168 164131 18446744073709551615 4194304 4196468 140728698010432 140602804677520 140602863482581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26389] ppid=26382 vsize=13187632 CPUtime=0.43 cores=1,3,5,7
/proc/26384/task/26389/stat : 26389 (java) S 26382 26382 25139 0 -1 1077944384 3512 0 0 0 35 8 0 0 20 0 19 0 48663155 13504135168 164131 18446744073709551615 4194304 4196468 140728698010432 140602803624720 140602863482581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26390] ppid=26382 vsize=13187632 CPUtime=0.95 cores=1,3,5,7
/proc/26384/task/26390/stat : 26390 (java) S 26382 26382 25139 0 -1 1077944384 3565 0 0 0 26 69 0 0 20 0 19 0 48663156 13504135168 164131 18446744073709551615 4194304 4196468 140728698010432 140602414606704 140602863483522 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26391] ppid=26382 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/26384/task/26391/stat : 26391 (java) S 26382 26382 25139 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 19 0 48663157 13504135168 164131 18446744073709551615 4194304 4196468 140728698010432 140602413552736 140602863482581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26392] ppid=26382 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/26384/task/26392/stat : 26392 (java) S 26382 26382 25139 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 19 0 48663157 13504135168 164131 18446744073709551615 4194304 4196468 140728698010432 140602412499840 140602863482581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26393] ppid=26382 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/26384/task/26393/stat : 26393 (java) S 26382 26382 25139 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 48663159 13504135168 164131 18446744073709551615 4194304 4196468 140728698010432 140602411448144 140602863490971 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26394] ppid=26382 vsize=13187632 CPUtime=5.94 cores=1,3,5,7
/proc/26384/task/26394/stat : 26394 (java) S 26382 26382 25139 0 -1 1077944384 23837 0 0 0 592 2 0 0 20 0 19 0 48663159 13504135168 164131 18446744073709551615 4194304 4196468 140728698010432 140602410396528 140602863483522 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26395] ppid=26382 vsize=13187632 CPUtime=5.95 cores=1,3,5,7
/proc/26384/task/26395/stat : 26395 (java) S 26382 26382 25139 0 -1 1077944384 22081 0 0 0 593 2 0 0 20 0 19 0 48663159 13504135168 164131 18446744073709551615 4194304 4196468 140728698010432 140602409343728 140602863483522 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26396] ppid=26382 vsize=13187632 CPUtime=1.07 cores=1,3,5,7
/proc/26384/task/26396/stat : 26396 (java) S 26382 26382 25139 0 -1 1077944384 10544 0 0 0 105 2 0 0 20 0 19 0 48663159 13504135168 164131 18446744073709551615 4194304 4196468 140728698010432 140602408290928 140602863483522 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26397] ppid=26382 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/26384/task/26397/stat : 26397 (java) S 26382 26382 25139 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 48663159 13504135168 164131 18446744073709551615 4194304 4196468 140728698010432 140602407238368 140602863482581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26398] ppid=26382 vsize=13187632 CPUtime=0.23 cores=1,3,5,7
/proc/26384/task/26398/stat : 26398 (java) S 26382 26382 25139 0 -1 1077944384 445 0 0 0 0 23 0 0 20 0 19 0 48663164 13504135168 164131 18446744073709551615 4194304 4196468 140728698010432 140602406185648 140602863483522 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26399] ppid=26382 vsize=13187632 CPUtime=575.33 cores=1,3,5,7
/proc/26384/task/26399/stat : 26399 (java) R 26382 26382 25139 0 -1 4202560 2328 0 0 0 57531 2 0 0 20 0 19 0 48663248 13504135168 164131 18446744073709551615 4194304 4196468 140728698010432 140602400267384 140602494850211 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26400] ppid=26382 vsize=13187632 CPUtime=574.72 cores=1,3,5,7
/proc/26384/task/26400/stat : 26400 (java) R 26382 26382 25139 0 -1 4202560 7381 0 0 0 57462 10 0 0 20 0 19 0 48663248 13504135168 164131 18446744073709551615 4194304 4196468 140728698010432 140602328996416 140602493974518 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26401] ppid=26382 vsize=13187632 CPUtime=576.09 cores=1,3,5,7
/proc/26384/task/26401/stat : 26401 (java) R 26382 26382 25139 0 -1 4202560 2449 0 0 0 57607 2 0 0 20 0 19 0 48663248 13504135168 164131 18446744073709551615 4194304 4196468 140728698010432 140602327940720 140602494850351 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26402] ppid=26382 vsize=13187632 CPUtime=574.87 cores=1,3,5,7
/proc/26384/task/26402/stat : 26402 (java) R 26382 26382 25139 0 -1 4202560 3988 0 0 0 57485 2 0 0 20 0 19 0 48663248 13504135168 164131 18446744073709551615 4194304 4196468 140728698010432 140602326888680 140602495302064 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
Current children cumulated CPU time (s) 2317.87
Current children cumulated vsize (KiB) 13197144
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+603.002 s]
/proc/loadavg: 8.33 8.52 7.24 11/225 26959
/proc/meminfo: memFree=30335780/32770624 swapFree=0/392920
[pid=26382] ppid=26379 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/26382/stat : 26382 (xcsp3-exec) S 26379 26382 25139 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 48663148 9740288 345 18446744073709551615 4194304 5098028 140722132444848 140722132442952 140492359979644 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 17457152 140722132447641 140722132447850 140722132447850 140722132451307 0
/proc/26382/statm: 2378 345 289 221 0 87 0
[pid=26384] ppid=26382 vsize=13187632 CPUtime=2400.22 cores=1,3,5,7
/proc/26384/stat : 26384 (java) S 26382 26382 25139 0 -1 1077944320 98410 0 0 0 239888 134 0 0 20 0 19 0 48663154 13504135168 162461 18446744073709551615 4194304 4196468 140728698010432 140728697992976 140602863472375 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
/proc/26384/statm: 3296908 162461 3261 1 0 3285200 0
[pid=26384/tid=26385] ppid=26382 vsize=13187632 CPUtime=0.88 cores=1,3,5,7
/proc/26384/task/26385/stat : 26385 (java) S 26382 26382 25139 0 -1 1077944384 9108 0 0 0 84 4 0 0 20 0 19 0 48663154 13504135168 162461 18446744073709551615 4194304 4196468 140728698010432 140602867713152 140602863482581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26386] ppid=26382 vsize=13187632 CPUtime=0.45 cores=1,3,5,7
/proc/26384/task/26386/stat : 26386 (java) S 26382 26382 25139 0 -1 1077944384 2328 0 0 0 37 8 0 0 20 0 19 0 48663155 13504135168 162461 18446744073709551615 4194304 4196468 140728698010432 140602806783120 140602863482581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26387] ppid=26382 vsize=13187632 CPUtime=0.43 cores=1,3,5,7
/proc/26384/task/26387/stat : 26387 (java) S 26382 26382 25139 0 -1 1077944384 1692 0 0 0 36 7 0 0 20 0 19 0 48663155 13504135168 162461 18446744073709551615 4194304 4196468 140728698010432 140602805730320 140602863482581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26388] ppid=26382 vsize=13187632 CPUtime=0.45 cores=1,3,5,7
/proc/26384/task/26388/stat : 26388 (java) S 26382 26382 25139 0 -1 1077944384 3428 0 0 0 38 7 0 0 20 0 19 0 48663155 13504135168 162461 18446744073709551615 4194304 4196468 140728698010432 140602804677520 140602863482581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26389] ppid=26382 vsize=13187632 CPUtime=0.45 cores=1,3,5,7
/proc/26384/task/26389/stat : 26389 (java) S 26382 26382 25139 0 -1 1077944384 3518 0 0 0 37 8 0 0 20 0 19 0 48663155 13504135168 162461 18446744073709551615 4194304 4196468 140728698010432 140602803624720 140602863482581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26390] ppid=26382 vsize=13187632 CPUtime=1.04 cores=1,3,5,7
/proc/26384/task/26390/stat : 26390 (java) S 26382 26382 25139 0 -1 1077944384 3565 0 0 0 29 75 0 0 20 0 19 0 48663156 13504135168 162461 18446744073709551615 4194304 4196468 140728698010432 140602414606704 140602863483522 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26391] ppid=26382 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/26384/task/26391/stat : 26391 (java) S 26382 26382 25139 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 19 0 48663157 13504135168 162461 18446744073709551615 4194304 4196468 140728698010432 140602413552736 140602863482581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26392] ppid=26382 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/26384/task/26392/stat : 26392 (java) S 26382 26382 25139 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 19 0 48663157 13504135168 162461 18446744073709551615 4194304 4196468 140728698010432 140602412499840 140602863482581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26393] ppid=26382 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/26384/task/26393/stat : 26393 (java) S 26382 26382 25139 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 48663159 13504135168 162461 18446744073709551615 4194304 4196468 140728698010432 140602411448144 140602863490971 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26394] ppid=26382 vsize=13187632 CPUtime=5.94 cores=1,3,5,7
/proc/26384/task/26394/stat : 26394 (java) S 26382 26382 25139 0 -1 1077944384 23837 0 0 0 592 2 0 0 20 0 19 0 48663159 13504135168 162461 18446744073709551615 4194304 4196468 140728698010432 140602410396528 140602863483522 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26395] ppid=26382 vsize=13187632 CPUtime=5.95 cores=1,3,5,7
/proc/26384/task/26395/stat : 26395 (java) S 26382 26382 25139 0 -1 1077944384 22081 0 0 0 593 2 0 0 20 0 19 0 48663159 13504135168 162461 18446744073709551615 4194304 4196468 140728698010432 140602409343728 140602863483522 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26396] ppid=26382 vsize=13187632 CPUtime=1.07 cores=1,3,5,7
/proc/26384/task/26396/stat : 26396 (java) S 26382 26382 25139 0 -1 1077944384 10544 0 0 0 105 2 0 0 20 0 19 0 48663159 13504135168 162461 18446744073709551615 4194304 4196468 140728698010432 140602408290928 140602863483522 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26397] ppid=26382 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/26384/task/26397/stat : 26397 (java) S 26382 26382 25139 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 48663159 13504135168 162461 18446744073709551615 4194304 4196468 140728698010432 140602407238368 140602863482581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26398] ppid=26382 vsize=13187632 CPUtime=0.24 cores=1,3,5,7
/proc/26384/task/26398/stat : 26398 (java) S 26382 26382 25139 0 -1 1077944384 445 0 0 0 0 24 0 0 20 0 19 0 48663164 13504135168 162461 18446744073709551615 4194304 4196468 140728698010432 140602406185648 140602863483522 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26399] ppid=26382 vsize=13187632 CPUtime=595.91 cores=1,3,5,7
/proc/26384/task/26399/stat : 26399 (java) R 26382 26382 25139 0 -1 4202560 2372 0 0 0 59589 2 0 0 20 0 19 0 48663248 13504135168 162461 18446744073709551615 4194304 4196468 140728698010432 140602400267384 140602494850211 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26400] ppid=26382 vsize=13187632 CPUtime=595.24 cores=1,3,5,7
/proc/26384/task/26400/stat : 26400 (java) R 26382 26382 25139 0 -1 4202560 7544 0 0 0 59514 10 0 0 20 0 19 0 48663248 13504135168 162461 18446744073709551615 4194304 4196468 140728698010432 140602328993800 140602494850246 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26401] ppid=26382 vsize=13187632 CPUtime=596.6 cores=1,3,5,7
/proc/26384/task/26401/stat : 26401 (java) R 26382 26382 25139 0 -1 4202560 2475 0 0 0 59658 2 0 0 20 0 19 0 48663248 13504135168 162461 18446744073709551615 4194304 4196468 140728698010432 140602327940720 140602494850220 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
[pid=26384/tid=26402] ppid=26382 vsize=13187632 CPUtime=595.45 cores=1,3,5,7
/proc/26384/task/26402/stat : 26402 (java) R 26382 26382 25139 0 -1 4202560 4090 0 0 0 59543 2 0 0 20 0 19 0 48663248 13504135168 162461 18446744073709551615 4194304 4196468 140728698010432 140602326891408 140602493974426 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38076416 140728698016214 140728698016390 140728698016390 140728698019791 0
Current children cumulated CPU time (s) 2400.22
Current children cumulated vsize (KiB) 13197144
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 26384 sig 9
??? kill 26382 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 26382 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=961
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=961
# CPU time returned by wait4() is 0.001922
# while last known CPU time is 2400.22
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 603.033
CPU time (s): 2400.22
CPU user time (s): 2398.88
CPU system time (s): 1.34
CPU usage (%): 398.025
Max. virtual memory (cumulated for all children) (KiB): 13200264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000961
system time used= 0.000961
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 510
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 3.18667 second user time and 4.46516 second system time
The end