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-4245225-1500685651/watcher-4245225-1500685651 -o /tmp/evaluation-result-4245225-1500685651/solver-4245225-1500685651 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500682620-7802 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 785817678 HOME/instance-4245225-1500685651.xml
pid=14638
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 14.34 12.97 13.18 3/263 14641
/proc/meminfo: memFree=31882008/32770624 swapFree=5860/236584
[pid=14641] ppid=14638 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14641/stat : 14641 (xcsp3-exec) S 14638 14641 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3832507 9740288 346 33554432000 4194304 5098028 140730642965696 140730642963800 140064675238524 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 34553856 140730642973839 140730642974048 140730642974048 140730642976747 0
/proc/14641/statm: 2378 346 289 221 0 87 0
[startup+0.100205 s]
/proc/loadavg: 14.34 12.97 13.18 3/263 14641
/proc/meminfo: memFree=31882008/32770624 swapFree=5860/236584
[pid=14641] ppid=14638 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14641/stat : 14641 (xcsp3-exec) S 14638 14641 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3832507 9740288 346 33554432000 4194304 5098028 140730642965696 140730642963800 140064675238524 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 34553856 140730642973839 140730642974048 140730642974048 140730642976747 0
/proc/14641/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200347 s]
/proc/loadavg: 14.34 12.97 13.18 3/263 14641
/proc/meminfo: memFree=31882008/32770624 swapFree=5860/236584
[pid=14641] ppid=14638 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14641/stat : 14641 (xcsp3-exec) S 14638 14641 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3832507 9740288 346 33554432000 4194304 5098028 140730642965696 140730642963800 140064675238524 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 34553856 140730642973839 140730642974048 140730642974048 140730642976747 0
/proc/14641/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300264 s]
/proc/loadavg: 14.34 12.97 13.18 3/263 14641
/proc/meminfo: memFree=31882008/32770624 swapFree=5860/236584
[pid=14641] ppid=14638 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14641/stat : 14641 (xcsp3-exec) S 14638 14641 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3832507 9740288 346 33554432000 4194304 5098028 140730642965696 140730642963800 140064675238524 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 34553856 140730642973839 140730642974048 140730642974048 140730642976747 0
/proc/14641/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700177 s]
/proc/loadavg: 14.34 12.97 13.18 3/263 14641
/proc/meminfo: memFree=31882008/32770624 swapFree=5860/236584
[pid=14641] ppid=14638 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14641/stat : 14641 (xcsp3-exec) S 14638 14641 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3832507 9740288 346 33554432000 4194304 5098028 140730642965696 140730642963800 140064675238524 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 34553856 140730642973839 140730642974048 140730642974048 140730642976747 0
/proc/14641/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50161 s]
/proc/loadavg: 14.34 12.97 13.18 14/292 14670
/proc/meminfo: memFree=31759076/32770624 swapFree=5860/236612
[pid=14641] ppid=14638 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14641/stat : 14641 (xcsp3-exec) S 14638 14641 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3832507 9740288 346 33554432000 4194304 5098028 140730642965696 140730642963800 140064675238524 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 34553856 140730642973839 140730642974048 140730642974048 140730642976747 0
/proc/14641/statm: 2378 346 289 221 0 87 0
[pid=14642] ppid=14641 vsize=13801768 CPUtime=8.02 cores=1,3,5,7,9,11,13,15
/proc/14642/stat : 14642 (java) S 14641 14641 7411 0 -1 1077944320 24166 0 0 0 794 8 0 0 20 0 28 0 3832507 14133010432 41859 33554432000 4194304 4196468 140731874556848 140731874539392 140688284069623 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
/proc/14642/statm: 3450442 41859 3217 1 0 3437675 0
[pid=14642/tid=14643] ppid=14641 vsize=13801768 CPUtime=0.64 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14643/stat : 14643 (java) S 14641 14641 7411 0 -1 1077944384 6930 0 0 0 61 3 0 0 20 0 28 0 3832507 14133010432 41859 33554432000 4194304 4196468 140731874556848 140688288310400 140688284079829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14645] ppid=14641 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14645/stat : 14645 (java) S 14641 14641 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3832508 14133010432 41859 33554432000 4194304 4196468 140731874556848 140688236690320 140688284079829 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14646] ppid=14641 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14646/stat : 14646 (java) S 14641 14641 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3832508 14133010432 41859 33554432000 4194304 4196468 140731874556848 140688235637520 140688284079829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14647] ppid=14641 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14647/stat : 14647 (java) S 14641 14641 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3832508 14133010432 41859 33554432000 4194304 4196468 140731874556848 140688234585232 140688284079829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14648] ppid=14641 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14648/stat : 14648 (java) S 14641 14641 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3832508 14133010432 41859 33554432000 4194304 4196468 140731874556848 140688233532432 140688284079829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14649] ppid=14641 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14649/stat : 14649 (java) S 14641 14641 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3832508 14133010432 41859 33554432000 4194304 4196468 140731874556848 140688232479120 140688284079829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14650] ppid=14641 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14650/stat : 14650 (java) S 14641 14641 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3832508 14133010432 41859 33554432000 4194304 4196468 140731874556848 140687877536016 140688284079829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14651] ppid=14641 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14651/stat : 14651 (java) S 14641 14641 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3832508 14133010432 41859 33554432000 4194304 4196468 140731874556848 140687876483728 140688284079829 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14652] ppid=14641 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14652/stat : 14652 (java) S 14641 14641 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3832508 14133010432 41859 33554432000 4194304 4196468 140731874556848 140687875430928 140688284079829 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14653] ppid=14641 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14653/stat : 14653 (java) S 14641 14641 7411 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 3832510 14133010432 41859 33554432000 4194304 4196468 140731874556848 140687612103280 140688284080770 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14654] ppid=14641 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14654/stat : 14654 (java) S 14641 14641 7411 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3832511 14133010432 41859 33554432000 4194304 4196468 140731874556848 140687611049248 140688284079829 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14655] ppid=14641 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14655/stat : 14655 (java) S 14641 14641 7411 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3832511 14133010432 41859 33554432000 4194304 4196468 140731874556848 140687609996912 140688284079829 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14656] ppid=14641 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14656/stat : 14656 (java) S 14641 14641 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3832515 14133010432 41859 33554432000 4194304 4196468 140731874556848 140687608945232 140688284088219 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14657] ppid=14641 vsize=13801768 CPUtime=0.6 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14657/stat : 14657 (java) R 14641 14641 7411 0 -1 4202560 3720 0 0 0 60 0 0 0 20 0 28 0 3832515 14133010432 41859 33554432000 4194304 4196468 140731874556848 140687607876744 140688269172037 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14658] ppid=14641 vsize=13801768 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14658/stat : 14658 (java) R 14641 14641 7411 0 -1 4202560 3360 0 0 0 69 0 0 0 20 0 28 0 3832515 14133010432 41859 33554432000 4194304 4196468 140731874556848 140687606823720 140688267626948 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14659] ppid=14641 vsize=13801768 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14659/stat : 14659 (java) R 14641 14641 7411 0 -1 4202560 4820 0 0 0 63 0 0 0 20 0 28 0 3832515 14133010432 41859 33554432000 4194304 4196468 140731874556848 140687605772488 140688265614584 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14660] ppid=14641 vsize=13801768 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14660/stat : 14660 (java) S 14641 14641 7411 0 -1 1077944384 3608 0 0 0 62 1 0 0 20 0 28 0 3832515 14133010432 41859 33554432000 4194304 4196468 140731874556848 140687604734192 140688284080770 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14661] ppid=14641 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14661/stat : 14661 (java) S 14641 14641 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3832515 14133010432 41859 33554432000 4194304 4196468 140731874556848 140687603682144 140688284079829 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14662] ppid=14641 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14662/stat : 14662 (java) S 14641 14641 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3832515 14133010432 41859 33554432000 4194304 4196468 140731874556848 140687602629424 140688284080770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14663] ppid=14641 vsize=13801768 CPUtime=0.55 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14663/stat : 14663 (java) R 14641 14641 7411 0 -1 4202560 100 0 0 0 55 0 0 0 20 0 28 0 3832573 14133010432 41859 33554432000 4194304 4196468 140731874556848 140687594614528 140687915908641 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14664] ppid=14641 vsize=13801768 CPUtime=0.71 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14664/stat : 14664 (java) R 14641 14641 7411 0 -1 4202560 47 0 0 0 71 0 0 0 20 0 28 0 3832573 14133010432 41859 33554432000 4194304 4196468 140731874556848 140687593563032 140687913486526 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14665] ppid=14641 vsize=13801768 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14665/stat : 14665 (java) R 14641 14641 7411 0 -1 4202560 55 0 0 0 49 0 0 0 20 0 28 0 3832573 14133010432 41859 33554432000 4194304 4196468 140731874556848 140687592510248 140687915789980 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14666] ppid=14641 vsize=13801768 CPUtime=0.59 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14666/stat : 14666 (java) R 14641 14641 7411 0 -1 4202560 96 0 0 0 59 0 0 0 20 0 28 0 3832573 14133010432 41859 33554432000 4194304 4196468 140731874556848 140687591456888 140687915935194 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14667] ppid=14641 vsize=13801768 CPUtime=0.51 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14667/stat : 14667 (java) R 14641 14641 7411 0 -1 4202560 27 0 0 0 51 0 0 0 20 0 28 0 3832573 14133010432 41859 33554432000 4194304 4196468 140731874556848 140687590405960 140687915831118 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14668] ppid=14641 vsize=13801768 CPUtime=0.57 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14668/stat : 14668 (java) R 14641 14641 7411 0 -1 4202560 41 0 0 0 57 0 0 0 20 0 28 0 3832574 14133010432 41859 33554432000 4194304 4196468 140731874556848 140687589353736 140687911774928 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14669] ppid=14641 vsize=13801768 CPUtime=0.62 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14669/stat : 14669 (java) R 14641 14641 7411 0 -1 4202560 31 0 0 0 62 0 0 0 20 0 28 0 3832574 14133010432 41859 33554432000 4194304 4196468 140731874556848 140687588299496 140687914632441 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14670] ppid=14641 vsize=13801768 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14670/stat : 14670 (java) R 14641 14641 7411 0 -1 4202560 40 0 0 0 67 0 0 0 20 0 28 0 3832574 14133010432 41859 33554432000 4194304 4196468 140731874556848 140687587248304 140687912818216 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
Current children cumulated CPU time (s) 8.02
Current children cumulated vsize (KiB) 13811280
[startup+3.10161 s]
/proc/loadavg: 14.34 12.97 13.18 13/292 14670
/proc/meminfo: memFree=31662660/32770624 swapFree=5860/236612
[pid=14641] ppid=14638 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14641/stat : 14641 (xcsp3-exec) S 14638 14641 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3832507 9740288 346 33554432000 4194304 5098028 140730642965696 140730642963800 140064675238524 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 34553856 140730642973839 140730642974048 140730642974048 140730642976747 0
/proc/14641/statm: 2378 346 289 221 0 87 0
[pid=14642] ppid=14641 vsize=13801768 CPUtime=20.65 cores=1,3,5,7,9,11,13,15
/proc/14642/stat : 14642 (java) S 14641 14641 7411 0 -1 1077944320 35937 0 0 0 2051 14 0 0 20 0 28 0 3832507 14133010432 60711 33554432000 4194304 4196468 140731874556848 140731874539392 140688284069623 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
/proc/14642/statm: 3450442 60711 3249 1 0 3437675 0
[pid=14642/tid=14643] ppid=14641 vsize=13801768 CPUtime=0.64 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14643/stat : 14643 (java) S 14641 14641 7411 0 -1 1077944384 6930 0 0 0 61 3 0 0 20 0 28 0 3832507 14133010432 60711 33554432000 4194304 4196468 140731874556848 140688288310400 140688284079829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14645] ppid=14641 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14645/stat : 14645 (java) S 14641 14641 7411 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 3832508 14133010432 60711 33554432000 4194304 4196468 140731874556848 140688236690320 140688284079829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14646] ppid=14641 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14646/stat : 14646 (java) S 14641 14641 7411 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 3832508 14133010432 60711 33554432000 4194304 4196468 140731874556848 140688235637520 140688284079829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14647] ppid=14641 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14647/stat : 14647 (java) S 14641 14641 7411 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 3832508 14133010432 60711 33554432000 4194304 4196468 140731874556848 140688234585232 140688284079829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14648] ppid=14641 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14648/stat : 14648 (java) S 14641 14641 7411 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 28 0 3832508 14133010432 60711 33554432000 4194304 4196468 140731874556848 140688233532432 140688284079829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14649] ppid=14641 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14649/stat : 14649 (java) S 14641 14641 7411 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 3832508 14133010432 60711 33554432000 4194304 4196468 140731874556848 140688232479120 140688284079829 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14650] ppid=14641 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14650/stat : 14650 (java) S 14641 14641 7411 0 -1 1077944384 268 0 0 0 0 0 0 0 20 0 28 0 3832508 14133010432 60711 33554432000 4194304 4196468 140731874556848 140687877536016 140688284079829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14651] ppid=14641 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14651/stat : 14651 (java) S 14641 14641 7411 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 28 0 3832508 14133010432 60711 33554432000 4194304 4196468 140731874556848 140687876483728 140688284079829 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14652] ppid=14641 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14652/stat : 14652 (java) S 14641 14641 7411 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3832508 14133010432 60711 33554432000 4194304 4196468 140731874556848 140687875430928 140688284079829 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14653] ppid=14641 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14653/stat : 14653 (java) S 14641 14641 7411 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 3832510 14133010432 60711 33554432000 4194304 4196468 140731874556848 140687612103280 140688284080770 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14654] ppid=14641 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14654/stat : 14654 (java) S 14641 14641 7411 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 3832511 14133010432 60711 33554432000 4194304 4196468 140731874556848 140687611049248 140688284079829 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14655] ppid=14641 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14655/stat : 14655 (java) S 14641 14641 7411 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 3832511 14133010432 60711 33554432000 4194304 4196468 140731874556848 140687609996912 140688284079829 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14656] ppid=14641 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14656/stat : 14656 (java) S 14641 14641 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3832515 14133010432 60711 33554432000 4194304 4196468 140731874556848 140687608945232 140688284088219 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14657] ppid=14641 vsize=13801768 CPUtime=1.87 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14657/stat : 14657 (java) R 14641 14641 7411 0 -1 4202560 7705 0 0 0 186 1 0 0 20 0 28 0 3832515 14133010432 60711 33554432000 4194304 4196468 140731874556848 140687607877872 140688265589308 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14658] ppid=14641 vsize=13801768 CPUtime=1.71 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14658/stat : 14658 (java) R 14641 14641 7411 0 -1 4202560 5520 0 0 0 171 0 0 0 20 0 28 0 3832515 14133010432 60711 33554432000 4194304 4196468 140731874556848 140687606825848 140688264705560 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14659] ppid=14641 vsize=13801768 CPUtime=1.99 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14659/stat : 14659 (java) R 14641 14641 7411 0 -1 4202560 8853 0 0 0 198 1 0 0 20 0 28 0 3832515 14133010432 60711 33554432000 4194304 4196468 140731874556848 140687605773456 140688268459493 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14660] ppid=14641 vsize=13801768 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14660/stat : 14660 (java) S 14641 14641 7411 0 -1 1077944384 3915 0 0 0 72 1 0 0 20 0 28 0 3832515 14133010432 60711 33554432000 4194304 4196468 140731874556848 140687604734192 140688284080770 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14661] ppid=14641 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14661/stat : 14661 (java) S 14641 14641 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3832515 14133010432 60711 33554432000 4194304 4196468 140731874556848 140687603682144 140688284079829 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14662] ppid=14641 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14662/stat : 14662 (java) S 14641 14641 7411 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 3832515 14133010432 60711 33554432000 4194304 4196468 140731874556848 140687602629424 140688284080770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14663] ppid=14641 vsize=13801768 CPUtime=1.74 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14663/stat : 14663 (java) R 14641 14641 7411 0 -1 4202560 155 0 0 0 174 0 0 0 20 0 28 0 3832573 14133010432 60711 33554432000 4194304 4196468 140731874556848 140687594615368 140687918161948 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14664] ppid=14641 vsize=13801768 CPUtime=1.88 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14664/stat : 14664 (java) S 14641 14641 7411 0 -1 1077944384 94 0 0 0 188 0 0 0 20 0 28 0 3832573 14133010432 60711 33554432000 4194304 4196468 140731874556848 140687593561888 140688284079829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14665] ppid=14641 vsize=13801768 CPUtime=1.61 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14665/stat : 14665 (java) R 14641 14641 7411 0 -1 4202560 134 0 0 0 161 0 0 0 20 0 28 0 3832573 14133010432 60711 33554432000 4194304 4196468 140731874556848 140687592508952 140687917847064 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14666] ppid=14641 vsize=13801768 CPUtime=1.43 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14666/stat : 14666 (java) R 14641 14641 7411 0 -1 4202560 265 0 0 0 142 1 0 0 20 0 28 0 3832573 14133010432 60711 33554432000 4194304 4196468 140731874556848 140687591456856 140687914729240 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14667] ppid=14641 vsize=13801768 CPUtime=1.68 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14667/stat : 14667 (java) R 14641 14641 7411 0 -1 4202560 82 0 0 0 168 0 0 0 20 0 28 0 3832573 14133010432 60711 33554432000 4194304 4196468 140731874556848 140687590404632 140687917673184 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14668] ppid=14641 vsize=13801768 CPUtime=1.69 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14668/stat : 14668 (java) R 14641 14641 7411 0 -1 4202560 129 0 0 0 169 0 0 0 20 0 28 0 3832574 14133010432 60711 33554432000 4194304 4196468 140731874556848 140687589351632 140688276303727 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14669] ppid=14641 vsize=13801768 CPUtime=1.69 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14669/stat : 14669 (java) R 14641 14641 7411 0 -1 1077944384 114 0 0 0 169 0 0 0 20 0 28 0 3832574 14133010432 60711 33554432000 4194304 4196468 140731874556848 140687588298400 140688284079829 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14670] ppid=14641 vsize=13801768 CPUtime=1.83 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14670/stat : 14670 (java) R 14641 14641 7411 0 -1 4202560 93 0 0 0 183 0 0 0 20 0 28 0 3832574 14133010432 60711 33554432000 4194304 4196468 140731874556848 140687587248584 140687914729031 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
Current children cumulated CPU time (s) 20.65
Current children cumulated vsize (KiB) 13811280
[startup+6.30166 s]
/proc/loadavg: 14.07 12.94 13.17 20/300 14678
/proc/meminfo: memFree=31360648/32770624 swapFree=5860/236628
################
# More data... #
################
[pid=14642/tid=14669] ppid=14641 vsize=13801768 CPUtime=276.78 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14669/stat : 14669 (java) R 14641 14641 7411 0 -1 4202560 2342 0 0 0 27674 4 0 0 20 0 28 0 3832574 14133010432 171099 33554432000 4194304 4196468 140731874556848 140687588299112 140687915959224 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14670] ppid=14641 vsize=13801768 CPUtime=276.47 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14670/stat : 14670 (java) R 14641 14641 7411 0 -1 4202560 1236 0 0 0 27644 3 0 0 20 0 28 0 3832574 14133010432 171099 33554432000 4194304 4196468 140731874556848 140687587246280 140687917847007 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
Current children cumulated CPU time (s) 2232.07
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+303.902 s]
/proc/loadavg: 16.17 14.88 13.93 17/301 14970
/proc/meminfo: memFree=31174676/32770624 swapFree=5860/237084
[pid=14641] ppid=14638 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14641/stat : 14641 (xcsp3-exec) S 14638 14641 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3832507 9740288 346 33554432000 4194304 5098028 140730642965696 140730642963800 140064675238524 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 34553856 140730642973839 140730642974048 140730642974048 140730642976747 0
/proc/14641/statm: 2378 346 289 221 0 87 0
[pid=14642] ppid=14641 vsize=13801768 CPUtime=2400.53 cores=1,3,5,7,9,11,13,15
/proc/14642/stat : 14642 (java) S 14641 14641 7411 0 -1 1077944320 87285 0 0 0 239748 305 0 0 20 0 28 0 3832507 14133010432 152586 33554432000 4194304 4196468 140731874556848 140731874539392 140688284069623 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
/proc/14642/statm: 3450442 152586 3294 1 0 3437675 0
[pid=14642/tid=14643] ppid=14641 vsize=13801768 CPUtime=0.64 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14643/stat : 14643 (java) S 14641 14641 7411 0 -1 1077944384 6930 0 0 0 61 3 0 0 20 0 28 0 3832507 14133010432 152586 33554432000 4194304 4196468 140731874556848 140688288310400 140688284079829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14645] ppid=14641 vsize=13801768 CPUtime=1.02 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14645/stat : 14645 (java) S 14641 14641 7411 0 -1 1077944384 1247 0 0 0 87 15 0 0 20 0 28 0 3832508 14133010432 152586 33554432000 4194304 4196468 140731874556848 140688236690320 140688284079829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14646] ppid=14641 vsize=13801768 CPUtime=1.04 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14646/stat : 14646 (java) S 14641 14641 7411 0 -1 1077944384 1666 0 0 0 88 16 0 0 20 0 28 0 3832508 14133010432 152586 33554432000 4194304 4196468 140731874556848 140688235637520 140688284079829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14647] ppid=14641 vsize=13801768 CPUtime=1.05 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14647/stat : 14647 (java) S 14641 14641 7411 0 -1 1077944384 1015 0 0 0 89 16 0 0 20 0 28 0 3832508 14133010432 152586 33554432000 4194304 4196468 140731874556848 140688234585232 140688284079829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14648] ppid=14641 vsize=13801768 CPUtime=1.03 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14648/stat : 14648 (java) S 14641 14641 7411 0 -1 1077944384 854 0 0 0 88 15 0 0 20 0 28 0 3832508 14133010432 152586 33554432000 4194304 4196468 140731874556848 140688233532432 140688284079829 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14649] ppid=14641 vsize=13801768 CPUtime=1.07 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14649/stat : 14649 (java) S 14641 14641 7411 0 -1 1077944384 1414 0 0 0 90 17 0 0 20 0 28 0 3832508 14133010432 152586 33554432000 4194304 4196468 140731874556848 140688232479120 140688284079829 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14650] ppid=14641 vsize=13801768 CPUtime=1.06 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14650/stat : 14650 (java) S 14641 14641 7411 0 -1 1077944384 2230 0 0 0 89 17 0 0 20 0 28 0 3832508 14133010432 152586 33554432000 4194304 4196468 140731874556848 140687877536016 140688284079829 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14651] ppid=14641 vsize=13801768 CPUtime=1 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14651/stat : 14651 (java) S 14641 14641 7411 0 -1 1077944384 1661 0 0 0 87 13 0 0 20 0 28 0 3832508 14133010432 152586 33554432000 4194304 4196468 140731874556848 140687876483728 140688284079829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14652] ppid=14641 vsize=13801768 CPUtime=1.04 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14652/stat : 14652 (java) S 14641 14641 7411 0 -1 1077944384 1206 0 0 0 89 15 0 0 20 0 28 0 3832508 14133010432 152586 33554432000 4194304 4196468 140731874556848 140687875430928 140688284079829 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14653] ppid=14641 vsize=13801768 CPUtime=2.33 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14653/stat : 14653 (java) S 14641 14641 7411 0 -1 1077944384 9067 0 0 0 99 134 0 0 20 0 28 0 3832510 14133010432 152586 33554432000 4194304 4196468 140731874556848 140687612103280 140688284080770 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14654] ppid=14641 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14654/stat : 14654 (java) S 14641 14641 7411 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 3832511 14133010432 152586 33554432000 4194304 4196468 140731874556848 140687611049312 140688284079829 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14655] ppid=14641 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14655/stat : 14655 (java) S 14641 14641 7411 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 3832511 14133010432 152586 33554432000 4194304 4196468 140731874556848 140687609996928 140688284079829 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14656] ppid=14641 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14656/stat : 14656 (java) S 14641 14641 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3832515 14133010432 152586 33554432000 4194304 4196468 140731874556848 140687608945232 140688284088219 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14657] ppid=14641 vsize=13801768 CPUtime=3.23 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14657/stat : 14657 (java) S 14641 14641 7411 0 -1 1077944384 12629 0 0 0 322 1 0 0 20 0 28 0 3832515 14133010432 152586 33554432000 4194304 4196468 140731874556848 140687607892080 140688284080770 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14658] ppid=14641 vsize=13801768 CPUtime=3.24 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14658/stat : 14658 (java) S 14641 14641 7411 0 -1 1077944384 11424 0 0 0 323 1 0 0 20 0 28 0 3832515 14133010432 152586 33554432000 4194304 4196468 140731874556848 140687606839280 140688284080770 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14659] ppid=14641 vsize=13801768 CPUtime=3.37 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14659/stat : 14659 (java) S 14641 14641 7411 0 -1 1077944384 13779 0 0 0 336 1 0 0 20 0 28 0 3832515 14133010432 152586 33554432000 4194304 4196468 140731874556848 140687605786992 140688284080770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14660] ppid=14641 vsize=13801768 CPUtime=0.9 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14660/stat : 14660 (java) S 14641 14641 7411 0 -1 1077944384 6884 0 0 0 88 2 0 0 20 0 28 0 3832515 14133010432 152586 33554432000 4194304 4196468 140731874556848 140687604734192 140688284080770 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14661] ppid=14641 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14661/stat : 14661 (java) S 14641 14641 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3832515 14133010432 152586 33554432000 4194304 4196468 140731874556848 140687603682144 140688284079829 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14662] ppid=14641 vsize=13801768 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14662/stat : 14662 (java) S 14641 14641 7411 0 -1 1077944384 941 0 0 0 7 7 0 0 20 0 28 0 3832515 14133010432 152586 33554432000 4194304 4196468 140731874556848 140687602629424 140688284080770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14663] ppid=14641 vsize=13801768 CPUtime=296.86 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14663/stat : 14663 (java) R 14641 14641 7411 0 -1 4202560 1201 0 0 0 29685 1 0 0 20 0 28 0 3832573 14133010432 152586 33554432000 4194304 4196468 140731874556848 140687594617056 140687917847165 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14664] ppid=14641 vsize=13801768 CPUtime=296.16 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14664/stat : 14664 (java) R 14641 14641 7411 0 -1 4202560 2783 0 0 0 29610 6 0 0 20 0 28 0 3832573 14133010432 152586 33554432000 4194304 4196468 140731874556848 140687593562600 140687916081269 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14665] ppid=14641 vsize=13801768 CPUtime=297.98 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14665/stat : 14665 (java) R 14641 14641 7411 0 -1 4202560 1014 0 0 0 29795 3 0 0 20 0 28 0 3832573 14133010432 152586 33554432000 4194304 4196468 140731874556848 140687592509256 140687917846980 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14666] ppid=14641 vsize=13801768 CPUtime=297.54 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14666/stat : 14666 (java) R 14641 14641 7411 0 -1 4202560 1736 0 0 0 29750 4 0 0 20 0 28 0 3832573 14133010432 152586 33554432000 4194304 4196468 140731874556848 140687591456456 140687917911076 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14667] ppid=14641 vsize=13801768 CPUtime=297.35 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14667/stat : 14667 (java) R 14641 14641 7411 0 -1 4202560 1041 0 0 0 29733 2 0 0 20 0 28 0 3832573 14133010432 152586 33554432000 4194304 4196468 140731874556848 140687590404168 140687917846960 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14668] ppid=14641 vsize=13801768 CPUtime=297.47 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14668/stat : 14668 (java) R 14641 14641 7411 0 -1 4202560 1501 0 0 0 29745 2 0 0 20 0 28 0 3832574 14133010432 152586 33554432000 4194304 4196468 140731874556848 140687589351400 140687917912556 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14669] ppid=14641 vsize=13801768 CPUtime=297.47 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14669/stat : 14669 (java) R 14641 14641 7411 0 -1 4202560 2455 0 0 0 29742 5 0 0 20 0 28 0 3832574 14133010432 152586 33554432000 4194304 4196468 140731874556848 140687588299112 140687916095765 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14670] ppid=14641 vsize=13801768 CPUtime=297.32 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14670/stat : 14670 (java) R 14641 14641 7411 0 -1 4202560 1269 0 0 0 29729 3 0 0 20 0 28 0 3832574 14133010432 152586 33554432000 4194304 4196468 140731874556848 140687587246032 140687917846980 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
Current children cumulated CPU time (s) 2400.53
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 14642 sig 9
??? kill 14641 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+303.902 s]
/proc/loadavg: 16.17 14.88 13.93 17/301 14970
/proc/meminfo: memFree=31174676/32770624 swapFree=5860/237084
[pid=14641] ppid=14638 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14641/stat : 14641 (xcsp3-exec) S 14638 14641 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3832507 9740288 346 33554432000 4194304 5098028 140730642965696 140730642963800 140064675238524 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 34553856 140730642973839 140730642974048 140730642974048 140730642976747 0
/proc/14641/statm: 2378 346 289 221 0 87 0
[pid=14642] ppid=14641 vsize=13801768 CPUtime=2400.53 cores=1,3,5,7,9,11,13,15
/proc/14642/stat : 14642 (java) S 14641 14641 7411 0 -1 1077944320 87285 0 0 0 239748 305 0 0 20 0 28 0 3832507 14133010432 152586 33554432000 4194304 4196468 140731874556848 140731874539392 140688284069623 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
/proc/14642/statm: 3450442 152586 3294 1 0 3437675 0
[pid=14642/tid=14643] ppid=14641 vsize=13801768 CPUtime=0.64 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14643/stat : 14643 (java) S 14641 14641 7411 0 -1 1077944384 6930 0 0 0 61 3 0 0 20 0 28 0 3832507 14133010432 152586 33554432000 4194304 4196468 140731874556848 140688288310400 140688284079829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14645] ppid=14641 vsize=13801768 CPUtime=1.02 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14645/stat : 14645 (java) S 14641 14641 7411 0 -1 1077944384 1247 0 0 0 87 15 0 0 20 0 28 0 3832508 14133010432 152586 33554432000 4194304 4196468 140731874556848 140688236690320 140688284079829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14646] ppid=14641 vsize=13801768 CPUtime=1.04 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14646/stat : 14646 (java) S 14641 14641 7411 0 -1 1077944384 1666 0 0 0 88 16 0 0 20 0 28 0 3832508 14133010432 152586 33554432000 4194304 4196468 140731874556848 140688235637520 140688284079829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14647] ppid=14641 vsize=13801768 CPUtime=1.05 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14647/stat : 14647 (java) S 14641 14641 7411 0 -1 1077944384 1015 0 0 0 89 16 0 0 20 0 28 0 3832508 14133010432 152586 33554432000 4194304 4196468 140731874556848 140688234585232 140688284079829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14648] ppid=14641 vsize=13801768 CPUtime=1.03 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14648/stat : 14648 (java) S 14641 14641 7411 0 -1 1077944384 854 0 0 0 88 15 0 0 20 0 28 0 3832508 14133010432 152586 33554432000 4194304 4196468 140731874556848 140688233532432 140688284079829 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14649] ppid=14641 vsize=13801768 CPUtime=1.07 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14649/stat : 14649 (java) S 14641 14641 7411 0 -1 1077944384 1414 0 0 0 90 17 0 0 20 0 28 0 3832508 14133010432 152586 33554432000 4194304 4196468 140731874556848 140688232479120 140688284079829 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14650] ppid=14641 vsize=13801768 CPUtime=1.06 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14650/stat : 14650 (java) S 14641 14641 7411 0 -1 1077944384 2230 0 0 0 89 17 0 0 20 0 28 0 3832508 14133010432 152586 33554432000 4194304 4196468 140731874556848 140687877536016 140688284079829 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14651] ppid=14641 vsize=13801768 CPUtime=1 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14651/stat : 14651 (java) S 14641 14641 7411 0 -1 1077944384 1661 0 0 0 87 13 0 0 20 0 28 0 3832508 14133010432 152586 33554432000 4194304 4196468 140731874556848 140687876483728 140688284079829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14652] ppid=14641 vsize=13801768 CPUtime=1.04 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14652/stat : 14652 (java) S 14641 14641 7411 0 -1 1077944384 1206 0 0 0 89 15 0 0 20 0 28 0 3832508 14133010432 152586 33554432000 4194304 4196468 140731874556848 140687875430928 140688284079829 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14653] ppid=14641 vsize=13801768 CPUtime=2.33 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14653/stat : 14653 (java) S 14641 14641 7411 0 -1 1077944384 9067 0 0 0 99 134 0 0 20 0 28 0 3832510 14133010432 152586 33554432000 4194304 4196468 140731874556848 140687612103280 140688284080770 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14654] ppid=14641 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14654/stat : 14654 (java) S 14641 14641 7411 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 3832511 14133010432 152586 33554432000 4194304 4196468 140731874556848 140687611049312 140688284079829 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14655] ppid=14641 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14655/stat : 14655 (java) S 14641 14641 7411 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 3832511 14133010432 152586 33554432000 4194304 4196468 140731874556848 140687609996928 140688284079829 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14656] ppid=14641 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14656/stat : 14656 (java) S 14641 14641 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3832515 14133010432 152586 33554432000 4194304 4196468 140731874556848 140687608945232 140688284088219 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14657] ppid=14641 vsize=13801768 CPUtime=3.23 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14657/stat : 14657 (java) S 14641 14641 7411 0 -1 1077944384 12629 0 0 0 322 1 0 0 20 0 28 0 3832515 14133010432 152586 33554432000 4194304 4196468 140731874556848 140687607892080 140688284080770 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14658] ppid=14641 vsize=13801768 CPUtime=3.24 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14658/stat : 14658 (java) S 14641 14641 7411 0 -1 1077944384 11424 0 0 0 323 1 0 0 20 0 28 0 3832515 14133010432 152586 33554432000 4194304 4196468 140731874556848 140687606839280 140688284080770 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14659] ppid=14641 vsize=13801768 CPUtime=3.37 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14659/stat : 14659 (java) S 14641 14641 7411 0 -1 1077944384 13779 0 0 0 336 1 0 0 20 0 28 0 3832515 14133010432 152586 33554432000 4194304 4196468 140731874556848 140687605786992 140688284080770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14660] ppid=14641 vsize=13801768 CPUtime=0.9 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14660/stat : 14660 (java) S 14641 14641 7411 0 -1 1077944384 6884 0 0 0 88 2 0 0 20 0 28 0 3832515 14133010432 152586 33554432000 4194304 4196468 140731874556848 140687604734192 140688284080770 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14661] ppid=14641 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14661/stat : 14661 (java) S 14641 14641 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3832515 14133010432 152586 33554432000 4194304 4196468 140731874556848 140687603682144 140688284079829 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14662] ppid=14641 vsize=13801768 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14662/stat : 14662 (java) S 14641 14641 7411 0 -1 1077944384 941 0 0 0 7 7 0 0 20 0 28 0 3832515 14133010432 152586 33554432000 4194304 4196468 140731874556848 140687602629424 140688284080770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14663] ppid=14641 vsize=13801768 CPUtime=296.86 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14663/stat : 14663 (java) R 14641 14641 7411 0 -1 4202560 1201 0 0 0 29685 1 0 0 20 0 28 0 3832573 14133010432 152586 33554432000 4194304 4196468 140731874556848 140687594617056 140687917847165 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14664] ppid=14641 vsize=13801768 CPUtime=296.16 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14664/stat : 14664 (java) R 14641 14641 7411 0 -1 4202560 2783 0 0 0 29610 6 0 0 20 0 28 0 3832573 14133010432 152586 33554432000 4194304 4196468 140731874556848 140687593562600 140687916081269 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14665] ppid=14641 vsize=13801768 CPUtime=297.98 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14665/stat : 14665 (java) R 14641 14641 7411 0 -1 4202560 1014 0 0 0 29795 3 0 0 20 0 28 0 3832573 14133010432 152586 33554432000 4194304 4196468 140731874556848 140687592509256 140687917846980 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14666] ppid=14641 vsize=13801768 CPUtime=297.54 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14666/stat : 14666 (java) R 14641 14641 7411 0 -1 4202560 1736 0 0 0 29750 4 0 0 20 0 28 0 3832573 14133010432 152586 33554432000 4194304 4196468 140731874556848 140687591456456 140687917911076 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14667] ppid=14641 vsize=13801768 CPUtime=297.35 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14667/stat : 14667 (java) R 14641 14641 7411 0 -1 4202560 1041 0 0 0 29733 2 0 0 20 0 28 0 3832573 14133010432 152586 33554432000 4194304 4196468 140731874556848 140687590404168 140687917846960 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14668] ppid=14641 vsize=13801768 CPUtime=297.47 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14668/stat : 14668 (java) R 14641 14641 7411 0 -1 4202560 1501 0 0 0 29745 2 0 0 20 0 28 0 3832574 14133010432 152586 33554432000 4194304 4196468 140731874556848 140687589351400 140687917912556 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14669] ppid=14641 vsize=13801768 CPUtime=297.47 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14669/stat : 14669 (java) R 14641 14641 7411 0 -1 4202560 2455 0 0 0 29742 5 0 0 20 0 28 0 3832574 14133010432 152586 33554432000 4194304 4196468 140731874556848 140687588299112 140687916095765 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
[pid=14642/tid=14670] ppid=14641 vsize=13801768 CPUtime=297.32 cores=1,3,5,7,9,11,13,15
/proc/14642/task/14670/stat : 14670 (java) R 14641 14641 7411 0 -1 4202560 1269 0 0 0 29729 3 0 0 20 0 28 0 3832574 14133010432 152586 33554432000 4194304 4196468 140731874556848 140687587246032 140687917846980 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 11476992 140731874563260 140731874563436 140731874563436 140731874566095 0
Current children cumulated CPU time (s) 2400.53
Current children cumulated vsize (KiB) 13811280
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 14641 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=3100
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.0031
# while last known CPU time is 2400.53
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 303.913
CPU time (s): 2400.53
CPU user time (s): 2397.48
CPU system time (s): 3.05
CPU usage (%): 789.875
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.0031
system time used= 0
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 518
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.75855 second user time and 4.26858 second system time
The end