runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (14842 MiB free)
memory of node 1: 16384 MiB (15105 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282679-1503101688/watcher-4282679-1503101688 -o /tmp/evaluation-result-4282679-1503101688/solver-4282679-1503101688 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1503095795-8621 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 936932926 HOME/instance-4282679-1503101688.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=9774, runsolver pid=9771
[startup+0.100148 s]*
/proc/loadavg: 2.44 2.08 2.05 3/205 9780
/proc/meminfo: memFree=30660828/32770624 swapFree=67108860/67108860
[pid=9774] ppid=9771 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9774/stat : 9774 (xcsp3-exec) S 9771 9774 8563 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 112389312 9740288 345 18446744073709551615 4194304 5098028 140723950149488 140723950147592 140547003130492 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 37797888 140723950154105 140723950154309 140723950154309 140723950157803 0
/proc/9774/statm: 2378 345 289 221 0 87 0
[pid=9776] ppid=9774 vsize=13358712 memory=14632 CPUtime=0 cores=0,2,4,6
/proc/9776/stat : 9776 (java) S 9774 9774 8563 0 -1 1077944320 3410 0 0 0 0 0 0 0 20 0 6 0 112389321 13679321088 3658 18446744073709551615 4194304 4196468 140734084252960 140734084235504 140296983068407 0 0 1 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
/proc/9776/statm: 3339678 3658 1905 1 0 3329175 0
[pid=9776/tid=9777] ppid=9774 vsize=13358712 memory=9047914860238082928 CPUtime=0 cores=0,2,4,6
/proc/9776/task/9777/stat : 9777 (java) R 9774 9774 8563 0 -1 4202560 2196 0 0 0 0 0 0 0 20 0 6 0 112389321 13679321088 3658 18446744073709551615 4194304 4196468 140734084252960 140296987304528 140296967148894 0 4 1 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9778] ppid=9774 vsize=13358712 memory=6735269665564437106 CPUtime=0 cores=0,2,4,6
/proc/9776/task/9778/stat : 9778 (java) S 9774 9774 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 112389322 13679321088 3658 18446744073709551615 4194304 4196468 140734084252960 140296925015184 140296983078613 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9779] ppid=9774 vsize=13358712 memory=140436230936192 CPUtime=0 cores=0,2,4,6
/proc/9776/task/9779/stat : 9779 (java) S 9774 9774 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 112389322 13679321088 3658 18446744073709551615 4194304 4196468 140734084252960 140296923962384 140296983078613 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9780] ppid=9774 vsize=13358712 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9776/task/9780/stat : 9780 (java) S 9774 9774 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 112389322 13679321088 3658 18446744073709551615 4194304 4196468 140734084252960 140296922909584 140296983078613 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9781] ppid=9774 vsize=13358712 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/9776/task/9781/stat : 9781 (java) S 9774 9774 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 112389322 13679321088 3658 18446744073709551615 4194304 4196468 140734084252960 140296921856784 140296983078613 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 16012 KiB
[startup+0.21019 s]*
/proc/loadavg: 2.44 2.08 2.05 2/214 9789
/proc/meminfo: memFree=30654780/32770624 swapFree=67108860/67108860
[pid=9774] ppid=9771 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9774/stat : 9774 (xcsp3-exec) S 9771 9774 8563 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 112389312 9740288 345 18446744073709551615 4194304 5098028 140723950149488 140723950147592 140547003130492 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 37797888 140723950154105 140723950154309 140723950154309 140723950157803 0
/proc/9774/statm: 2378 345 289 221 0 87 0
[pid=9776] ppid=9774 vsize=13974352 memory=24236 CPUtime=0.05 cores=0,2,4,6
/proc/9776/stat : 9776 (java) S 9774 9774 8563 0 -1 1077944320 5004 0 0 0 5 0 0 0 20 0 15 0 112389321 14309736448 6059 18446744073709551615 4194304 4196468 140734084252960 140734084235504 140296983068407 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
/proc/9776/statm: 3493588 6059 2665 1 0 3482964 0
[pid=9776/tid=9777] ppid=9774 vsize=13974352 memory=8390339637985935414 CPUtime=0.05 cores=0,2,4,6
/proc/9776/task/9777/stat : 9777 (java) R 9774 9774 8563 0 -1 4202560 3172 0 0 0 5 0 0 0 20 0 15 0 112389321 14309736448 6059 18446744073709551615 4194304 4196468 140734084252960 140296987310688 140296983090333 0 4 1 16800974 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9778] ppid=9774 vsize=13974352 memory=288230596118065508 CPUtime=0 cores=0,2,4,6
/proc/9776/task/9778/stat : 9778 (java) S 9774 9774 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112389322 14309736448 6059 18446744073709551615 4194304 4196468 140734084252960 140296925015184 140296983078613 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9779] ppid=9774 vsize=13974352 memory=140436231986942 CPUtime=0 cores=0,2,4,6
/proc/9776/task/9779/stat : 9779 (java) S 9774 9774 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112389322 14309736448 6059 18446744073709551615 4194304 4196468 140734084252960 140296923962384 140296983078613 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9780] ppid=9774 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9776/task/9780/stat : 9780 (java) S 9774 9774 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112389322 14309736448 6059 18446744073709551615 4194304 4196468 140734084252960 140296922909584 140296983078613 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9781] ppid=9774 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9776/task/9781/stat : 9781 (java) S 9774 9774 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112389322 14309736448 6059 18446744073709551615 4194304 4196468 140734084252960 140296921856784 140296983078613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9782] ppid=9774 vsize=13974352 memory=140436230936192 CPUtime=0 cores=0,2,4,6
/proc/9776/task/9782/stat : 9782 (java) S 9774 9774 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112389323 14309736448 6059 18446744073709551615 4194304 4196468 140734084252960 140296528714096 140296983079554 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9783] ppid=9774 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9776/task/9783/stat : 9783 (java) S 9774 9774 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112389324 14309736448 6059 18446744073709551615 4194304 4196468 140734084252960 140296527660064 140296983078613 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9784] ppid=9774 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9776/task/9784/stat : 9784 (java) S 9774 9774 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112389324 14309736448 6059 18446744073709551615 4194304 4196468 140734084252960 140296526607216 140296983078613 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9785] ppid=9774 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9776/task/9785/stat : 9785 (java) S 9774 9774 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112389327 14309736448 6059 18446744073709551615 4194304 4196468 140734084252960 140296525555536 140296983087003 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9786] ppid=9774 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9776/task/9786/stat : 9786 (java) S 9774 9774 8563 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 112389327 14309736448 6059 18446744073709551615 4194304 4196468 140734084252960 140296524503920 140296983079554 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9787] ppid=9774 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9776/task/9787/stat : 9787 (java) S 9774 9774 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112389327 14309736448 6059 18446744073709551615 4194304 4196468 140734084252960 140296523451120 140296983079554 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9788] ppid=9774 vsize=13974352 memory=140436230936192 CPUtime=0 cores=0,2,4,6
/proc/9776/task/9788/stat : 9788 (java) S 9774 9774 8563 0 -1 1077944384 229 0 0 0 0 0 0 0 20 0 15 0 112389327 14309736448 6125 18446744073709551615 4194304 4196468 140734084252960 140296522398320 140296983079554 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9789] ppid=9774 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9776/task/9789/stat : 9789 (java) S 9774 9774 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112389327 14309736448 6125 18446744073709551615 4194304 4196468 140734084252960 140296521345760 140296983078613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9790] ppid=9774 vsize=13974352 memory=140436230936192 CPUtime=0 cores=0,2,4,6
/proc/9776/task/9790/stat : 9790 (java) S 9774 9774 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112389334 14309736448 6125 18446744073709551615 4194304 4196468 140734084252960 140296520293040 140296983079554 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 25616 KiB
[startup+0.311659 s]*
/proc/loadavg: 2.44 2.08 2.05 3/215 9790
/proc/meminfo: memFree=30640692/32770624 swapFree=67108860/67108860
[pid=9774] ppid=9771 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9774/stat : 9774 (xcsp3-exec) S 9771 9774 8563 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 112389312 9740288 345 18446744073709551615 4194304 5098028 140723950149488 140723950147592 140547003130492 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 37797888 140723950154105 140723950154309 140723950154309 140723950157803 0
/proc/9774/statm: 2378 345 289 221 0 87 0
[pid=9776] ppid=9774 vsize=13974352 memory=36604 CPUtime=0.24 cores=0,2,4,6
/proc/9776/stat : 9776 (java) S 9774 9774 8563 0 -1 1077944320 8701 0 0 0 21 3 0 0 20 0 15 0 112389321 14309736448 9151 18446744073709551615 4194304 4196468 140734084252960 140734084235504 140296983068407 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
/proc/9776/statm: 3493588 9151 2952 1 0 3482964 0
[pid=9776/tid=9777] ppid=9774 vsize=13974352 memory=8390339637985935414 CPUtime=0.15 cores=0,2,4,6
/proc/9776/task/9777/stat : 9777 (java) R 9774 9774 8563 0 -1 4202560 5936 0 0 0 13 2 0 0 20 0 15 0 112389321 14309736448 9151 18446744073709551615 4194304 4196468 140734084252960 140296987298336 140296967148894 0 4 1 16800974 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9778] ppid=9774 vsize=13974352 memory=301741395000176996 CPUtime=0 cores=0,2,4,6
/proc/9776/task/9778/stat : 9778 (java) S 9774 9774 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112389322 14309736448 9151 18446744073709551615 4194304 4196468 140734084252960 140296925015184 140296983078613 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9779] ppid=9774 vsize=13974352 memory=140436231986942 CPUtime=0 cores=0,2,4,6
/proc/9776/task/9779/stat : 9779 (java) S 9774 9774 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112389322 14309736448 9151 18446744073709551615 4194304 4196468 140734084252960 140296923962384 140296983078613 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9780] ppid=9774 vsize=13974352 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/9776/task/9780/stat : 9780 (java) S 9774 9774 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112389322 14309736448 9151 18446744073709551615 4194304 4196468 140734084252960 140296922909584 140296983078613 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9781] ppid=9774 vsize=13974352 memory=3472328279047811119 CPUtime=0 cores=0,2,4,6
/proc/9776/task/9781/stat : 9781 (java) S 9774 9774 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112389322 14309736448 9151 18446744073709551615 4194304 4196468 140734084252960 140296921856784 140296983078613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9782] ppid=9774 vsize=13974352 memory=4211962011772059639 CPUtime=0 cores=0,2,4,6
/proc/9776/task/9782/stat : 9782 (java) S 9774 9774 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112389323 14309736448 9151 18446744073709551615 4194304 4196468 140734084252960 140296528714096 140296983079554 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9783] ppid=9774 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9776/task/9783/stat : 9783 (java) S 9774 9774 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112389324 14309736448 9151 18446744073709551615 4194304 4196468 140734084252960 140296527660064 140296983078613 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9784] ppid=9774 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9776/task/9784/stat : 9784 (java) S 9774 9774 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112389324 14309736448 9151 18446744073709551615 4194304 4196468 140734084252960 140296526607216 140296983078613 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9785] ppid=9774 vsize=13974352 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/9776/task/9785/stat : 9785 (java) S 9774 9774 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112389327 14309736448 9151 18446744073709551615 4194304 4196468 140734084252960 140296525555536 140296983087003 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9786] ppid=9774 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/9776/task/9786/stat : 9786 (java) S 9774 9774 8563 0 -1 1077944384 516 0 0 0 1 0 0 0 20 0 15 0 112389327 14309736448 9151 18446744073709551615 4194304 4196468 140734084252960 140296524503920 140296983079554 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9787] ppid=9774 vsize=13974352 memory=3472328296227679279 CPUtime=0.01 cores=0,2,4,6
/proc/9776/task/9787/stat : 9787 (java) S 9774 9774 8563 0 -1 1077944384 208 0 0 0 1 0 0 0 20 0 15 0 112389327 14309736448 9151 18446744073709551615 4194304 4196468 140734084252960 140296523451120 140296983079554 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9788] ppid=9774 vsize=13974352 memory=140436230936192 CPUtime=0.05 cores=0,2,4,6
/proc/9776/task/9788/stat : 9788 (java) S 9774 9774 8563 0 -1 1077944384 740 0 0 0 5 0 0 0 20 0 15 0 112389327 14309736448 9151 18446744073709551615 4194304 4196468 140734084252960 140296522398320 140296983079554 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9789] ppid=9774 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9776/task/9789/stat : 9789 (java) S 9774 9774 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112389327 14309736448 9151 18446744073709551615 4194304 4196468 140734084252960 140296521345760 140296983078613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9790] ppid=9774 vsize=13974352 memory=140436230936192 CPUtime=0 cores=0,2,4,6
/proc/9776/task/9790/stat : 9790 (java) S 9774 9774 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112389334 14309736448 9151 18446744073709551615 4194304 4196468 140734084252960 140296520293040 140296983079554 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 37984 KiB
[startup+0.700802 s]
/proc/loadavg: 2.44 2.08 2.05 4/215 9790
/proc/meminfo: memFree=30630480/32770624 swapFree=67108860/67108860
[pid=9774] ppid=9771 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9774/stat : 9774 (xcsp3-exec) S 9771 9774 8563 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 112389312 9740288 345 18446744073709551615 4194304 5098028 140723950149488 140723950147592 140547003130492 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 37797888 140723950154105 140723950154309 140723950154309 140723950157803 0
/proc/9774/statm: 2378 345 289 221 0 87 0
[pid=9776] ppid=9774 vsize=13980732 memory=64768 CPUtime=1.09 cores=0,2,4,6
/proc/9776/stat : 9776 (java) S 9774 9774 8563 0 -1 1077944320 13456 0 0 0 103 6 0 0 20 0 15 0 112389321 14316269568 16192 18446744073709551615 4194304 4196468 140734084252960 140734084235504 140296983068407 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
/proc/9776/statm: 3495183 16192 3173 1 0 3483476 0
[pid=9776/tid=9777] ppid=9774 vsize=13980732 memory=2473162966529 CPUtime=0.52 cores=0,2,4,6
/proc/9776/task/9777/stat : 9777 (java) R 9774 9774 8563 0 -1 4202560 8708 0 0 0 49 3 0 0 20 0 15 0 112389321 14316269568 16192 18446744073709551615 4194304 4196468 140734084252960 140296987286768 140296975746421 0 4 1 16800974 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9778] ppid=9774 vsize=13980732 memory=2486047868417 CPUtime=0 cores=0,2,4,6
/proc/9776/task/9778/stat : 9778 (java) S 9774 9774 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112389322 14316269568 16192 18446744073709551615 4194304 4196468 140734084252960 140296925015184 140296983078613 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9779] ppid=9774 vsize=13980732 memory=2494637803009 CPUtime=0 cores=0,2,4,6
/proc/9776/task/9779/stat : 9779 (java) S 9774 9774 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112389322 14316269568 16192 18446744073709551615 4194304 4196468 140734084252960 140296923962384 140296983078613 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9780] ppid=9774 vsize=13980732 memory=48560 CPUtime=0 cores=0,2,4,6
/proc/9776/task/9780/stat : 9780 (java) S 9774 9774 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112389322 14316269568 16192 18446744073709551615 4194304 4196468 140734084252960 140296922909584 140296983078613 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9781] ppid=9774 vsize=13980732 memory=7680170660397595203 CPUtime=0 cores=0,2,4,6
/proc/9776/task/9781/stat : 9781 (java) S 9774 9774 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112389322 14316269568 16192 18446744073709551615 4194304 4196468 140734084252960 140296921856784 140296983078613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9782] ppid=9774 vsize=13980732 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/9776/task/9782/stat : 9782 (java) S 9774 9774 8563 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 112389323 14316269568 16192 18446744073709551615 4194304 4196468 140734084252960 140296528714096 140296983079554 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9783] ppid=9774 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9776/task/9783/stat : 9783 (java) S 9774 9774 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112389324 14316269568 16192 18446744073709551615 4194304 4196468 140734084252960 140296527660064 140296983078613 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9784] ppid=9774 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9776/task/9784/stat : 9784 (java) S 9774 9774 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112389324 14316269568 16192 18446744073709551615 4194304 4196468 140734084252960 140296526607216 140296983078613 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9785] ppid=9774 vsize=13981756 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/9776/task/9785/stat : 9785 (java) S 9774 9774 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112389327 14317318144 16192 18446744073709551615 4194304 4196468 140734084252960 140296525555536 140296983087003 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9786] ppid=9774 vsize=13981756 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/9776/task/9786/stat : 9786 (java) R 9774 9774 8563 0 -1 4202560 1153 0 0 0 12 0 0 0 20 0 15 0 112389327 14317318144 16192 18446744073709551615 4194304 4196468 140734084252960 140296524503920 140296963704273 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9787] ppid=9774 vsize=13981756 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/9776/task/9787/stat : 9787 (java) S 9774 9774 8563 0 -1 1077944384 799 0 0 0 13 0 0 0 20 0 15 0 112389327 14317318144 16192 18446744073709551615 4194304 4196468 140734084252960 140296523451120 140296983079554 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9788] ppid=9774 vsize=13981756 memory=0 CPUtime=0.27 cores=0,2,4,6
/proc/9776/task/9788/stat : 9788 (java) R 9774 9774 8563 0 -1 4202560 1489 0 0 0 27 0 0 0 20 0 15 0 112389327 14317318144 16209 18446744073709551615 4194304 4196468 140734084252960 140296522398320 140296961434753 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9789] ppid=9774 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9776/task/9789/stat : 9789 (java) S 9774 9774 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112389327 14316269568 16209 18446744073709551615 4194304 4196468 140734084252960 140296521345760 140296983078613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9790] ppid=9774 vsize=13981756 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9776/task/9790/stat : 9790 (java) S 9774 9774 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112389334 14317318144 16209 18446744073709551615 4194304 4196468 140734084252960 140296520293040 140296983079554 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 66148 KiB
[startup+1.50081 s]
/proc/loadavg: 2.44 2.08 2.05 5/215 9790
/proc/meminfo: memFree=30592564/32770624 swapFree=67108860/67108860
[pid=9774] ppid=9771 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9774/stat : 9774 (xcsp3-exec) S 9771 9774 8563 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 112389312 9740288 345 18446744073709551615 4194304 5098028 140723950149488 140723950147592 140547003130492 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 37797888 140723950154105 140723950154309 140723950154309 140723950157803 0
/proc/9774/statm: 2378 345 289 221 0 87 0
[pid=9776] ppid=9774 vsize=13983508 memory=116660 CPUtime=3.5 cores=0,2,4,6
/proc/9776/stat : 9776 (java) S 9774 9774 8563 0 -1 1077944320 36641 0 0 0 341 9 0 0 20 0 15 0 112389321 14319112192 29165 18446744073709551615 4194304 4196468 140734084252960 140734084235504 140296983068407 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
/proc/9776/statm: 3495877 29165 3191 1 0 3484170 0
[pid=9776/tid=9777] ppid=9774 vsize=13983508 memory=0 CPUtime=1.32 cores=0,2,4,6
/proc/9776/task/9777/stat : 9777 (java) R 9774 9774 8563 0 -1 4202560 9696 0 0 0 128 4 0 0 20 0 15 0 112389321 14319112192 29231 18446744073709551615 4194304 4196468 140734084252960 140296987299288 140296969339316 0 4 1 16800974 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9778] ppid=9774 vsize=13983508 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9776/task/9778/stat : 9778 (java) S 9774 9774 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112389322 14319112192 29231 18446744073709551615 4194304 4196468 140734084252960 140296925015184 140296983078613 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9779] ppid=9774 vsize=13983508 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9776/task/9779/stat : 9779 (java) S 9774 9774 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112389322 14319112192 29231 18446744073709551615 4194304 4196468 140734084252960 140296923962384 140296983078613 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9780] ppid=9774 vsize=13983508 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9776/task/9780/stat : 9780 (java) S 9774 9774 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112389322 14319112192 29231 18446744073709551615 4194304 4196468 140734084252960 140296922909584 140296983078613 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9781] ppid=9774 vsize=13983508 memory=7223887401239728208 CPUtime=0 cores=0,2,4,6
/proc/9776/task/9781/stat : 9781 (java) S 9774 9774 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112389322 14319112192 29231 18446744073709551615 4194304 4196468 140734084252960 140296921856784 140296983078613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9782] ppid=9774 vsize=13983508 memory=5787219428069434709 CPUtime=0 cores=0,2,4,6
/proc/9776/task/9782/stat : 9782 (java) S 9774 9774 8563 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 112389323 14319112192 29231 18446744073709551615 4194304 4196468 140734084252960 140296528714096 140296983079554 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9783] ppid=9774 vsize=13983508 memory=4638778415513030992 CPUtime=0 cores=0,2,4,6
/proc/9776/task/9783/stat : 9783 (java) S 9774 9774 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112389324 14319112192 29231 18446744073709551615 4194304 4196468 140734084252960 140296527660064 140296983078613 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9784] ppid=9774 vsize=13983508 memory=4640185799708142191 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/9776/task/9784/stat : 9784 (java) S 9774 9774 8563 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 112389324 14316269568 141317 18446744073709551615 4194304 4196468 140734084252960 140296526607216 140296983078613 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9785] ppid=9774 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9776/task/9785/stat : 9785 (java) S 9774 9774 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112389327 14316269568 141317 18446744073709551615 4194304 4196468 140734084252960 140296525555536 140296983087003 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9786] ppid=9774 vsize=13980732 memory=4116 CPUtime=4.05 cores=0,2,4,6
/proc/9776/task/9786/stat : 9786 (java) S 9774 9774 8563 0 -1 1077944384 21313 0 0 0 403 2 0 0 20 0 15 0 112389327 14316269568 141317 18446744073709551615 4194304 4196468 140734084252960 140296524503920 140296983079554 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9787] ppid=9774 vsize=13980732 memory=1240 CPUtime=4.12 cores=0,2,4,6
/proc/9776/task/9787/stat : 9787 (java) S 9774 9774 8563 0 -1 1077944384 29624 0 0 0 408 4 0 0 20 0 15 0 112389327 14316269568 141317 18446744073709551615 4194304 4196468 140734084252960 140296523451120 140296983079554 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9788] ppid=9774 vsize=13980732 memory=2248 CPUtime=0.64 cores=0,2,4,6
/proc/9776/task/9788/stat : 9788 (java) S 9774 9774 8563 0 -1 1077944384 10209 0 0 0 62 2 0 0 20 0 15 0 112389327 14316269568 141317 18446744073709551615 4194304 4196468 140734084252960 140296522398320 140296983079554 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9789] ppid=9774 vsize=13980732 memory=4116 CPUtime=0 cores=0,2,4,6
/proc/9776/task/9789/stat : 9789 (java) S 9774 9774 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112389327 14316269568 141317 18446744073709551615 4194304 4196468 140734084252960 140296521345760 140296983078613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9790] ppid=9774 vsize=13980732 memory=60816 CPUtime=0.76 cores=0,2,4,6
/proc/9776/task/9790/stat : 9790 (java) S 9774 9774 8563 0 -1 1077944384 1844 0 0 0 38 38 0 0 20 0 15 0 112389334 14316269568 141317 18446744073709551615 4194304 4196468 140734084252960 140296520293040 140296983079554 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
Current children cumulated CPU time: 2407.84 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 566648 KiB
[startup+2442.3 s]
/proc/loadavg: 1.53 1.54 1.57 3/215 10026
/proc/meminfo: memFree=27792920/32770624 swapFree=67108860/67108860
[pid=9774] ppid=9771 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9774/stat : 9774 (xcsp3-exec) S 9771 9774 8563 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 112389312 9740288 345 18446744073709551615 4194304 5098028 140723950149488 140723950147592 140547003130492 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 37797888 140723950154105 140723950154309 140723950154309 140723950157803 0
/proc/9774/statm: 2378 345 289 221 0 87 0
[pid=9776] ppid=9774 vsize=13980732 memory=571588 CPUtime=2467.99 cores=0,2,4,6
/proc/9776/stat : 9776 (java) S 9774 9774 8563 0 -1 1077944320 185654 0 0 0 246492 307 0 0 20 0 15 0 112389321 14316269568 142897 18446744073709551615 4194304 4196468 140734084252960 140734084235504 140296983068407 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
/proc/9776/statm: 3495183 142897 3259 1 0 3483476 0
[pid=9776/tid=9777] ppid=9774 vsize=13980732 memory=565268 CPUtime=2434.06 cores=0,2,4,6
/proc/9776/task/9777/stat : 9777 (java) R 9774 9774 8563 0 -1 4202560 74268 0 0 0 243229 177 0 0 20 0 15 0 112389321 14316269568 142897 18446744073709551615 4194304 4196468 140734084252960 140296987308128 140296605781639 0 4 1 16800974 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9778] ppid=9774 vsize=13980732 memory=565268 CPUtime=5.63 cores=0,2,4,6
/proc/9776/task/9778/stat : 9778 (java) S 9774 9774 8563 0 -1 1077944384 7942 0 0 0 542 21 0 0 20 0 15 0 112389322 14316269568 142897 18446744073709551615 4194304 4196468 140734084252960 140296925015184 140296983078613 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9779] ppid=9774 vsize=13980732 memory=1380 CPUtime=5.64 cores=0,2,4,6
/proc/9776/task/9779/stat : 9779 (java) S 9774 9774 8563 0 -1 1077944384 7076 0 0 0 543 21 0 0 20 0 15 0 112389322 14316269568 142897 18446744073709551615 4194304 4196468 140734084252960 140296923962384 140296983078613 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9780] ppid=9774 vsize=13980732 memory=565268 CPUtime=5.66 cores=0,2,4,6
/proc/9776/task/9780/stat : 9780 (java) S 9774 9774 8563 0 -1 1077944384 6985 0 0 0 546 20 0 0 20 0 15 0 112389322 14316269568 142897 18446744073709551615 4194304 4196468 140734084252960 140296922909584 140296983078613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9781] ppid=9774 vsize=13980732 memory=565268 CPUtime=5.63 cores=0,2,4,6
/proc/9776/task/9781/stat : 9781 (java) S 9774 9774 8563 0 -1 1077944384 8536 0 0 0 542 21 0 0 20 0 15 0 112389322 14316269568 142897 18446744073709551615 4194304 4196468 140734084252960 140296921856784 140296983078613 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9782] ppid=9774 vsize=13980732 memory=571588 CPUtime=1.7 cores=0,2,4,6
/proc/9776/task/9782/stat : 9782 (java) S 9774 9774 8563 0 -1 1077944384 16465 0 0 0 151 19 0 0 20 0 15 0 112389323 14316269568 142897 18446744073709551615 4194304 4196468 140734084252960 140296528714096 140296983079554 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9783] ppid=9774 vsize=13980732 memory=571588 CPUtime=0 cores=0,2,4,6
/proc/9776/task/9783/stat : 9783 (java) S 9774 9774 8563 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 112389324 14316269568 142897 18446744073709551615 4194304 4196468 140734084252960 140296527660064 140296983078613 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9784] ppid=9774 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9776/task/9784/stat : 9784 (java) S 9774 9774 8563 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 112389324 14316269568 142897 18446744073709551615 4194304 4196468 140734084252960 140296526607216 140296983078613 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9785] ppid=9774 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9776/task/9785/stat : 9785 (java) S 9774 9774 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112389327 14316269568 142897 18446744073709551615 4194304 4196468 140734084252960 140296525555536 140296983087003 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9786] ppid=9774 vsize=13980732 memory=565268 CPUtime=4.05 cores=0,2,4,6
/proc/9776/task/9786/stat : 9786 (java) S 9774 9774 8563 0 -1 1077944384 21318 0 0 0 403 2 0 0 20 0 15 0 112389327 14316269568 142897 18446744073709551615 4194304 4196468 140734084252960 140296524503920 140296983079554 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9787] ppid=9774 vsize=13980732 memory=1380 CPUtime=4.12 cores=0,2,4,6
/proc/9776/task/9787/stat : 9787 (java) S 9774 9774 8563 0 -1 1077944384 29628 0 0 0 408 4 0 0 20 0 15 0 112389327 14316269568 142897 18446744073709551615 4194304 4196468 140734084252960 140296523451120 140296983079554 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9788] ppid=9774 vsize=13980732 memory=571588 CPUtime=0.64 cores=0,2,4,6
/proc/9776/task/9788/stat : 9788 (java) S 9774 9774 8563 0 -1 1077944384 10213 0 0 0 62 2 0 0 20 0 15 0 112389327 14316269568 142897 18446744073709551615 4194304 4196468 140734084252960 140296522398320 140296983079554 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9789] ppid=9774 vsize=13980732 memory=60816 CPUtime=0 cores=0,2,4,6
/proc/9776/task/9789/stat : 9789 (java) S 9774 9774 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112389327 14316269568 142897 18446744073709551615 4194304 4196468 140734084252960 140296521345760 140296983078613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9790] ppid=9774 vsize=13980732 memory=1292 CPUtime=0.78 cores=0,2,4,6
/proc/9776/task/9790/stat : 9790 (java) S 9774 9774 8563 0 -1 1077944384 1870 0 0 0 39 39 0 0 20 0 15 0 112389334 14316269568 142897 18446744073709551615 4194304 4196468 140734084252960 140296520293040 140296983079554 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
Current children cumulated CPU time: 2467.99 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 572968 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2494.11 s]
/proc/loadavg: 1.31 1.48 1.55 3/212 10028
/proc/meminfo: memFree=27788648/32770624 swapFree=67108860/67108860
[pid=9774] ppid=9771 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9774/stat : 9774 (xcsp3-exec) S 9771 9774 8563 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 112389312 9740288 345 18446744073709551615 4194304 5098028 140723950149488 140723950147592 140547003130492 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 37797888 140723950154105 140723950154309 140723950154309 140723950157803 0
/proc/9774/statm: 2378 345 289 221 0 87 0
[pid=9776] ppid=9774 vsize=13980732 memory=573636 CPUtime=2520.03 cores=0,2,4,6
/proc/9776/stat : 9776 (java) S 9774 9774 8563 0 -1 1077944320 186453 0 0 0 251694 309 0 0 20 0 15 0 112389321 14316269568 143409 18446744073709551615 4194304 4196468 140734084252960 140734084235504 140296983068407 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
/proc/9776/statm: 3495183 143409 3259 1 0 3483476 0
[pid=9776/tid=9777] ppid=9774 vsize=13980732 memory=1380 CPUtime=2485.76 cores=0,2,4,6
/proc/9776/task/9777/stat : 9777 (java) R 9774 9774 8563 0 -1 4202560 74586 0 0 0 248399 177 0 0 20 0 15 0 112389321 14316269568 143409 18446744073709551615 4194304 4196468 140734084252960 140296987308240 140296607712328 0 4 1 16800974 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9778] ppid=9774 vsize=13980732 memory=1380 CPUtime=5.7 cores=0,2,4,6
/proc/9776/task/9778/stat : 9778 (java) S 9774 9774 8563 0 -1 1077944384 8004 0 0 0 549 21 0 0 20 0 15 0 112389322 14316269568 143409 18446744073709551615 4194304 4196468 140734084252960 140296925015184 140296983078613 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9779] ppid=9774 vsize=13980732 memory=573636 CPUtime=5.71 cores=0,2,4,6
/proc/9776/task/9779/stat : 9779 (java) S 9774 9774 8563 0 -1 1077944384 7387 0 0 0 550 21 0 0 20 0 15 0 112389322 14316269568 143409 18446744073709551615 4194304 4196468 140734084252960 140296923962384 140296983078613 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9780] ppid=9774 vsize=13980732 memory=573636 CPUtime=5.72 cores=0,2,4,6
/proc/9776/task/9780/stat : 9780 (java) S 9774 9774 8563 0 -1 1077944384 7014 0 0 0 552 20 0 0 20 0 15 0 112389322 14316269568 143409 18446744073709551615 4194304 4196468 140734084252960 140296922909584 140296983078613 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9781] ppid=9774 vsize=13980732 memory=573636 CPUtime=5.7 cores=0,2,4,6
/proc/9776/task/9781/stat : 9781 (java) S 9774 9774 8563 0 -1 1077944384 8574 0 0 0 549 21 0 0 20 0 15 0 112389322 14316269568 143409 18446744073709551615 4194304 4196468 140734084252960 140296921856784 140296983078613 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9782] ppid=9774 vsize=13980732 memory=1380 CPUtime=1.74 cores=0,2,4,6
/proc/9776/task/9782/stat : 9782 (java) S 9774 9774 8563 0 -1 1077944384 16494 0 0 0 155 19 0 0 20 0 15 0 112389323 14316269568 143409 18446744073709551615 4194304 4196468 140734084252960 140296528714096 140296983079554 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9783] ppid=9774 vsize=13980732 memory=280872206671872 CPUtime=0 cores=0,2,4,6
/proc/9776/task/9783/stat : 9783 (java) S 9774 9774 8563 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 112389324 14316269568 143409 18446744073709551615 4194304 4196468 140734084252960 140296527660064 140296983078613 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9784] ppid=9774 vsize=13980732 memory=56 CPUtime=0 cores=0,2,4,6
/proc/9776/task/9784/stat : 9784 (java) S 9774 9774 8563 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 112389324 14316269568 143409 18446744073709551615 4194304 4196468 140734084252960 140296526607216 140296983078613 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9785] ppid=9774 vsize=13980732 memory=3904 CPUtime=0 cores=0,2,4,6
/proc/9776/task/9785/stat : 9785 (java) S 9774 9774 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112389327 14316269568 143409 18446744073709551615 4194304 4196468 140734084252960 140296525555536 140296983087003 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9786] ppid=9774 vsize=13980732 memory=571588 CPUtime=4.05 cores=0,2,4,6
/proc/9776/task/9786/stat : 9786 (java) S 9774 9774 8563 0 -1 1077944384 21320 0 0 0 403 2 0 0 20 0 15 0 112389327 14316269568 143409 18446744073709551615 4194304 4196468 140734084252960 140296524503920 140296983079554 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9787] ppid=9774 vsize=13980732 memory=1380 CPUtime=4.12 cores=0,2,4,6
/proc/9776/task/9787/stat : 9787 (java) S 9774 9774 8563 0 -1 1077944384 29630 0 0 0 408 4 0 0 20 0 15 0 112389327 14316269568 143409 18446744073709551615 4194304 4196468 140734084252960 140296523451120 140296983079554 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9788] ppid=9774 vsize=13980732 memory=1380 CPUtime=0.64 cores=0,2,4,6
/proc/9776/task/9788/stat : 9788 (java) S 9774 9774 8563 0 -1 1077944384 10215 0 0 0 62 2 0 0 20 0 15 0 112389327 14316269568 143409 18446744073709551615 4194304 4196468 140734084252960 140296522398320 140296983079554 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9789] ppid=9774 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9776/task/9789/stat : 9789 (java) S 9774 9774 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112389327 14316269568 143409 18446744073709551615 4194304 4196468 140734084252960 140296521345760 140296983078613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9790] ppid=9774 vsize=13980732 memory=1380 CPUtime=0.8 cores=0,2,4,6
/proc/9776/task/9790/stat : 9790 (java) S 9774 9774 8563 0 -1 1077944384 1876 0 0 0 40 40 0 0 20 0 15 0 112389334 14316269568 143409 18446744073709551615 4194304 4196468 140734084252960 140296520293040 140296983079554 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 575016 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2494.12 s]
# the end of solver process 9774 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000948 s, system=0.000948 s
[startup+2494.12 s]
# the end of solver process 9776 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.96 s, system=3.09851 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2494.11 s]
/proc/loadavg: 1.31 1.48 1.55 3/212 10028
/proc/meminfo: memFree=27788648/32770624 swapFree=67108860/67108860
[pid=9774] ppid=9771 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9774/stat : 9774 (xcsp3-exec) S 9771 9774 8563 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 112389312 9740288 345 18446744073709551615 4194304 5098028 140723950149488 140723950147592 140547003130492 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 37797888 140723950154105 140723950154309 140723950154309 140723950157803 0
/proc/9774/statm: 2378 345 289 221 0 87 0
[pid=9776] ppid=9774 vsize=13980732 memory=573636 CPUtime=2520.03 cores=0,2,4,6
/proc/9776/stat : 9776 (java) S 9774 9774 8563 0 -1 1077944320 186453 0 0 0 251694 309 0 0 20 0 15 0 112389321 14316269568 143409 18446744073709551615 4194304 4196468 140734084252960 140734084235504 140296983068407 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
/proc/9776/statm: 3495183 143409 3259 1 0 3483476 0
[pid=9776/tid=9777] ppid=9774 vsize=13980732 memory=1380 CPUtime=2485.76 cores=0,2,4,6
/proc/9776/task/9777/stat : 9777 (java) R 9774 9774 8563 0 -1 4202560 74586 0 0 0 248399 177 0 0 20 0 15 0 112389321 14316269568 143409 18446744073709551615 4194304 4196468 140734084252960 140296987308240 140296607712328 0 4 1 16800974 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9778] ppid=9774 vsize=13980732 memory=1380 CPUtime=5.7 cores=0,2,4,6
/proc/9776/task/9778/stat : 9778 (java) S 9774 9774 8563 0 -1 1077944384 8004 0 0 0 549 21 0 0 20 0 15 0 112389322 14316269568 143409 18446744073709551615 4194304 4196468 140734084252960 140296925015184 140296983078613 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9779] ppid=9774 vsize=13980732 memory=573636 CPUtime=5.71 cores=0,2,4,6
/proc/9776/task/9779/stat : 9779 (java) S 9774 9774 8563 0 -1 1077944384 7387 0 0 0 550 21 0 0 20 0 15 0 112389322 14316269568 143409 18446744073709551615 4194304 4196468 140734084252960 140296923962384 140296983078613 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9780] ppid=9774 vsize=13980732 memory=573636 CPUtime=5.72 cores=0,2,4,6
/proc/9776/task/9780/stat : 9780 (java) S 9774 9774 8563 0 -1 1077944384 7014 0 0 0 552 20 0 0 20 0 15 0 112389322 14316269568 143409 18446744073709551615 4194304 4196468 140734084252960 140296922909584 140296983078613 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9781] ppid=9774 vsize=13980732 memory=573636 CPUtime=5.7 cores=0,2,4,6
/proc/9776/task/9781/stat : 9781 (java) S 9774 9774 8563 0 -1 1077944384 8574 0 0 0 549 21 0 0 20 0 15 0 112389322 14316269568 143409 18446744073709551615 4194304 4196468 140734084252960 140296921856784 140296983078613 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9782] ppid=9774 vsize=13980732 memory=1380 CPUtime=1.74 cores=0,2,4,6
/proc/9776/task/9782/stat : 9782 (java) S 9774 9774 8563 0 -1 1077944384 16494 0 0 0 155 19 0 0 20 0 15 0 112389323 14316269568 143409 18446744073709551615 4194304 4196468 140734084252960 140296528714096 140296983079554 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9783] ppid=9774 vsize=13980732 memory=280872206671872 CPUtime=0 cores=0,2,4,6
/proc/9776/task/9783/stat : 9783 (java) S 9774 9774 8563 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 112389324 14316269568 143409 18446744073709551615 4194304 4196468 140734084252960 140296527660064 140296983078613 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9784] ppid=9774 vsize=13980732 memory=56 CPUtime=0 cores=0,2,4,6
/proc/9776/task/9784/stat : 9784 (java) S 9774 9774 8563 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 112389324 14316269568 143409 18446744073709551615 4194304 4196468 140734084252960 140296526607216 140296983078613 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9785] ppid=9774 vsize=13980732 memory=3904 CPUtime=0 cores=0,2,4,6
/proc/9776/task/9785/stat : 9785 (java) S 9774 9774 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112389327 14316269568 143409 18446744073709551615 4194304 4196468 140734084252960 140296525555536 140296983087003 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9786] ppid=9774 vsize=13980732 memory=571588 CPUtime=4.05 cores=0,2,4,6
/proc/9776/task/9786/stat : 9786 (java) S 9774 9774 8563 0 -1 1077944384 21320 0 0 0 403 2 0 0 20 0 15 0 112389327 14316269568 143409 18446744073709551615 4194304 4196468 140734084252960 140296524503920 140296983079554 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9787] ppid=9774 vsize=13980732 memory=1380 CPUtime=4.12 cores=0,2,4,6
/proc/9776/task/9787/stat : 9787 (java) S 9774 9774 8563 0 -1 1077944384 29630 0 0 0 408 4 0 0 20 0 15 0 112389327 14316269568 143409 18446744073709551615 4194304 4196468 140734084252960 140296523451120 140296983079554 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9788] ppid=9774 vsize=13980732 memory=1380 CPUtime=0.64 cores=0,2,4,6
/proc/9776/task/9788/stat : 9788 (java) S 9774 9774 8563 0 -1 1077944384 10215 0 0 0 62 2 0 0 20 0 15 0 112389327 14316269568 143409 18446744073709551615 4194304 4196468 140734084252960 140296522398320 140296983079554 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9789] ppid=9774 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9776/task/9789/stat : 9789 (java) S 9774 9774 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112389327 14316269568 143409 18446744073709551615 4194304 4196468 140734084252960 140296521345760 140296983078613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
[pid=9776/tid=9790] ppid=9774 vsize=13980732 memory=1380 CPUtime=0.8 cores=0,2,4,6
/proc/9776/task/9790/stat : 9790 (java) S 9774 9774 8563 0 -1 1077944384 1876 0 0 0 40 40 0 0 20 0 15 0 112389334 14316269568 143409 18446744073709551615 4194304 4196468 140734084252960 140296520293040 140296983079554 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36765696 140734084256177 140734084256353 140734084256353 140734084259791 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 575016 KiB
Child status: 143
Real time (s): 2494.12
CPU time (s): 2520.06
CPU user time (s): 2516.96
CPU system time (s): 3.09851
CPU usage (%): 101.04
Max. virtual memory (cumulated for all children) (KiB): 13993020
Max. memory (cumulated for all children) (KiB): 2742812
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.96
system time used= 3.09851
maximum resident set size= 2759584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 187296
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 97056
involuntary context switches= 4348
# summary of solver processes directly reported to runsolver:
# pid: 9774,9776
# total CPU time (s): 2520.06
# total CPU user time (s): 2516.96
# total CPU system time (s): 3.09851
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.0557 second user time and 23.1993 second system time
The end