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 (12172 MiB free)
memory of node 1: 16384 MiB (13643 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270436-1502624407/watcher-4270436-1502624407 -o /tmp/evaluation-result-4270436-1502624407/solver-4270436-1502624407 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node105-1502619907-1762 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1596182173 HOME/instance-4270436-1502624407.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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
solver pid=4596, runsolver pid=4593
Current StackSize limit: 8192 KiB
[startup+0.100157 s]*
/proc/loadavg: 1.94 1.97 1.94 3/217 4612
/proc/meminfo: memFree=26418456/32770624 swapFree=67108860/67108860
[pid=4596] ppid=4593 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/4596/stat : 4596 (xcsp3-exec) S 4593 4596 31727 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95512382 9740288 346 33554432000 4194304 5098028 140736584871872 140736584869976 140205077037692 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27283456 140736584877172 140736584877376 140736584877376 140736584880107 0
/proc/4596/statm: 2378 346 289 221 0 87 0
[pid=4598] ppid=4596 vsize=13978596 memory=27604 CPUtime=0.12 cores=1,3,5,7
/proc/4598/stat : 4598 (java) S 4596 4596 31727 0 -1 1077944320 5311 0 0 0 11 1 0 0 20 0 15 0 95512382 14314082304 6901 33554432000 4194304 4196468 140736740414992 140736740397536 139804719918839 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
/proc/4598/statm: 3494649 6901 2843 1 0 3482966 0
[pid=4598/tid=4599] ppid=4596 vsize=13978596 memory=-8412658762350172019 CPUtime=0.09 cores=1,3,5,7
/proc/4598/task/4599/stat : 4599 (java) R 4596 4596 31727 0 -1 4202560 3324 0 0 0 8 1 0 0 20 0 15 0 95512383 14314082304 6966 33554432000 4194304 4196468 140736740414992 139804724152112 139804719930774 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4600] ppid=4596 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4600/stat : 4600 (java) S 4596 4596 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95512384 14314082304 6966 33554432000 4194304 4196468 140736740414992 139804676471184 139804719929045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4601] ppid=4596 vsize=13978596 memory=140250477155968 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4601/stat : 4601 (java) S 4596 4596 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95512384 14314082304 6966 33554432000 4194304 4196468 140736740414992 139804314888464 139804719929045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4602] ppid=4596 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4602/stat : 4602 (java) S 4596 4596 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95512384 14314082304 6966 33554432000 4194304 4196468 140736740414992 139804313836176 139804719929045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4603] ppid=4596 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4603/stat : 4603 (java) S 4596 4596 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95512384 14314082304 6966 33554432000 4194304 4196468 140736740414992 139804312783376 139804719929045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4604] ppid=4596 vsize=13978596 memory=140250477155968 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4604/stat : 4604 (java) S 4596 4596 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95512385 14314082304 6966 33554432000 4194304 4196468 140736740414992 139804193798768 139804719929986 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4605] ppid=4596 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4605/stat : 4605 (java) S 4596 4596 31727 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95512385 14314082304 6966 33554432000 4194304 4196468 140736740414992 139804192744736 139804719929045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4606] ppid=4596 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4606/stat : 4606 (java) S 4596 4596 31727 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95512386 14314082304 7032 33554432000 4194304 4196468 140736740414992 139804191692400 139804719929045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4607] ppid=4596 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4607/stat : 4607 (java) S 4596 4596 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95512388 14314082304 7032 33554432000 4194304 4196468 140736740414992 139804190640720 139804719937435 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4608] ppid=4596 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4608/stat : 4608 (java) S 4596 4596 31727 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 95512388 14314082304 7032 33554432000 4194304 4196468 140736740414992 139804189587568 139804719929986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4609] ppid=4596 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4609/stat : 4609 (java) S 4596 4596 31727 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 95512388 14314082304 7032 33554432000 4194304 4196468 140736740414992 139804188534768 139804719929986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4610] ppid=4596 vsize=13978596 memory=140250477155968 CPUtime=0.01 cores=1,3,5,7
/proc/4598/task/4610/stat : 4610 (java) R 4596 4596 31727 0 -1 4202560 335 0 0 0 1 0 0 0 20 0 15 0 95512388 14314082304 7032 33554432000 4194304 4196468 140736740414992 139804187482480 139804698860286 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4611] ppid=4596 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4611/stat : 4611 (java) S 4596 4596 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95512388 14314082304 7032 33554432000 4194304 4196468 140736740414992 139804186429920 139804719929045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4612] ppid=4596 vsize=13978596 memory=140250477155968 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4612/stat : 4612 (java) S 4596 4596 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95512388 14314082304 7032 33554432000 4194304 4196468 140736740414992 139804185377712 139804719929986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 28988 KiB
[startup+0.210667 s]*
/proc/loadavg: 1.94 1.97 1.94 5/217 4612
/proc/meminfo: memFree=26405756/32770624 swapFree=67108860/67108860
[pid=4596] ppid=4593 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/4596/stat : 4596 (xcsp3-exec) S 4593 4596 31727 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95512382 9740288 346 33554432000 4194304 5098028 140736584871872 140736584869976 140205077037692 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27283456 140736584877172 140736584877376 140736584877376 140736584880107 0
/proc/4596/statm: 2378 346 289 221 0 87 0
[pid=4598] ppid=4596 vsize=13982852 memory=40364 CPUtime=0.33 cores=1,3,5,7
/proc/4598/stat : 4598 (java) S 4596 4596 31727 0 -1 1077944320 8200 0 0 0 31 2 0 0 20 0 15 0 95512382 14318440448 10091 33554432000 4194304 4196468 140736740414992 140736740397536 139804719918839 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
/proc/4598/statm: 3495713 10091 3038 1 0 3482966 0
[pid=4598/tid=4599] ppid=4596 vsize=13982852 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/4598/task/4599/stat : 4599 (java) D 4596 4596 31727 0 -1 1077944384 5343 0 0 0 18 1 0 0 20 0 15 0 95512383 14318440448 10091 33554432000 4194304 4196468 140736740414992 139804724128576 139804712598061 0 4 0 16800975 18446744072101613092 0 0 -1 5 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4600] ppid=4596 vsize=13982852 memory=12543 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4600/stat : 4600 (java) S 4596 4596 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95512384 14318440448 10091 33554432000 4194304 4196468 140736740414992 139804676471184 139804719929045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4601] ppid=4596 vsize=13982852 memory=140250477180452 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4601/stat : 4601 (java) S 4596 4596 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95512384 14318440448 10091 33554432000 4194304 4196468 140736740414992 139804314888464 139804719929045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4602] ppid=4596 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4602/stat : 4602 (java) S 4596 4596 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95512384 14318440448 10091 33554432000 4194304 4196468 140736740414992 139804313836176 139804719929045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4603] ppid=4596 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4603/stat : 4603 (java) S 4596 4596 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95512384 14318440448 10091 33554432000 4194304 4196468 140736740414992 139804312783376 139804719929045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4604] ppid=4596 vsize=13982852 memory=140250477155968 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4604/stat : 4604 (java) S 4596 4596 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95512385 14318440448 10091 33554432000 4194304 4196468 140736740414992 139804193798768 139804719929986 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4605] ppid=4596 vsize=13982884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4605/stat : 4605 (java) S 4596 4596 31727 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95512385 14318473216 10091 33554432000 4194304 4196468 140736740414992 139804192744736 139804719929045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4606] ppid=4596 vsize=13982884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4606/stat : 4606 (java) S 4596 4596 31727 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95512386 14318473216 10091 33554432000 4194304 4196468 140736740414992 139804191692400 139804719929045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4607] ppid=4596 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4607/stat : 4607 (java) S 4596 4596 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95512388 14318440448 10091 33554432000 4194304 4196468 140736740414992 139804190640720 139804719937435 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4608] ppid=4596 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4598/task/4608/stat : 4608 (java) S 4596 4596 31727 0 -1 1077944384 588 0 0 0 2 0 0 0 20 0 15 0 95512388 14318440448 10091 33554432000 4194304 4196468 140736740414992 139804189587568 139804719929986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4609] ppid=4596 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/4598/task/4609/stat : 4609 (java) S 4596 4596 31727 0 -1 1077944384 260 0 0 0 2 0 0 0 20 0 15 0 95512388 14318440448 10091 33554432000 4194304 4196468 140736740414992 139804188534768 139804719929986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4610] ppid=4596 vsize=13982852 memory=140250477155968 CPUtime=0.07 cores=1,3,5,7
/proc/4598/task/4610/stat : 4610 (java) S 4596 4596 31727 0 -1 1077944384 761 0 0 0 7 0 0 0 20 0 15 0 95512388 14318440448 10091 33554432000 4194304 4196468 140736740414992 139804187482480 139804719929986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4611] ppid=4596 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4611/stat : 4611 (java) S 4596 4596 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95512388 14318440448 10091 33554432000 4194304 4196468 140736740414992 139804186429920 139804719929045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4612] ppid=4596 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4612/stat : 4612 (java) S 4596 4596 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95512388 14318440448 10091 33554432000 4194304 4196468 140736740414992 139804185377712 139804719929986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41748 KiB
[startup+0.314159 s]*
/proc/loadavg: 1.94 1.97 1.94 6/217 4612
/proc/meminfo: memFree=26398436/32770624 swapFree=67108860/67108860
[pid=4596] ppid=4593 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/4596/stat : 4596 (xcsp3-exec) S 4593 4596 31727 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95512382 9740288 346 33554432000 4194304 5098028 140736584871872 140736584869976 140205077037692 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27283456 140736584877172 140736584877376 140736584877376 140736584880107 0
/proc/4596/statm: 2378 346 289 221 0 87 0
[pid=4598] ppid=4596 vsize=13982852 memory=47980 CPUtime=0.53 cores=1,3,5,7
/proc/4598/stat : 4598 (java) S 4596 4596 31727 0 -1 1077944320 9149 0 0 0 50 3 0 0 20 0 15 0 95512382 14318440448 11995 33554432000 4194304 4196468 140736740414992 140736740397536 139804719918839 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
/proc/4598/statm: 3495713 11995 3126 1 0 3482966 0
[pid=4598/tid=4599] ppid=4596 vsize=13982852 memory=6935054825532540783 CPUtime=0.3 cores=1,3,5,7
/proc/4598/task/4599/stat : 4599 (java) R 4596 4596 31727 0 -1 4202560 5936 0 0 0 28 2 0 0 20 0 15 0 95512383 14318440448 11995 33554432000 4194304 4196468 140736740414992 139804724157616 139804703999326 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4600] ppid=4596 vsize=13982852 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4600/stat : 4600 (java) S 4596 4596 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95512384 14318440448 11995 33554432000 4194304 4196468 140736740414992 139804676471184 139804719929045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4601] ppid=4596 vsize=13982852 memory=2609 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4601/stat : 4601 (java) S 4596 4596 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95512384 14318440448 11995 33554432000 4194304 4196468 140736740414992 139804314888464 139804719929045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4602] ppid=4596 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4602/stat : 4602 (java) S 4596 4596 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95512384 14318440448 11995 33554432000 4194304 4196468 140736740414992 139804313836176 139804719929045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4603] ppid=4596 vsize=13982852 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4603/stat : 4603 (java) S 4596 4596 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95512384 14318440448 11995 33554432000 4194304 4196468 140736740414992 139804312783376 139804719929045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4604] ppid=4596 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4604/stat : 4604 (java) S 4596 4596 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95512385 14318440448 11995 33554432000 4194304 4196468 140736740414992 139804193798768 139804719929986 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4605] ppid=4596 vsize=13982852 memory=8547763363015199892 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4605/stat : 4605 (java) S 4596 4596 31727 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95512385 14318440448 11995 33554432000 4194304 4196468 140736740414992 139804192744736 139804719929045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4606] ppid=4596 vsize=13982852 memory=6944920475294002582 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4606/stat : 4606 (java) S 4596 4596 31727 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95512386 14318440448 11995 33554432000 4194304 4196468 140736740414992 139804191692400 139804719929045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4607] ppid=4596 vsize=13982852 memory=7684433391216329786 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4607/stat : 4607 (java) S 4596 4596 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95512388 14318440448 11995 33554432000 4194304 4196468 140736740414992 139804190640720 139804719937435 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4608] ppid=4596 vsize=13982852 memory=-6374957858630779283 CPUtime=0.04 cores=1,3,5,7
/proc/4598/task/4608/stat : 4608 (java) R 4596 4596 31727 0 -1 4202560 752 0 0 0 4 0 0 0 20 0 15 0 95512388 14318440448 11995 33554432000 4194304 4196468 140736740414992 139804189587568 139804703303446 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4609] ppid=4596 vsize=13982852 memory=-8813974798734826869 CPUtime=0.03 cores=1,3,5,7
/proc/4598/task/4609/stat : 4609 (java) S 4596 4596 31727 0 -1 1077944384 275 0 0 0 3 0 0 0 20 0 15 0 95512388 14318440448 11995 33554432000 4194304 4196468 140736740414992 139804188534768 139804719929986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4610] ppid=4596 vsize=13982852 memory=3054156605369063069 CPUtime=0.13 cores=1,3,5,7
/proc/4598/task/4610/stat : 4610 (java) S 4596 4596 31727 0 -1 1077944384 894 0 0 0 13 0 0 0 20 0 15 0 95512388 14318440448 11995 33554432000 4194304 4196468 140736740414992 139804187482480 139804719929986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4611] ppid=4596 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4611/stat : 4611 (java) S 4596 4596 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95512388 14318440448 11995 33554432000 4194304 4196468 140736740414992 139804186429920 139804719929045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4612] ppid=4596 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4612/stat : 4612 (java) S 4596 4596 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95512388 14318440448 11995 33554432000 4194304 4196468 140736740414992 139804185377712 139804719929986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 49364 KiB
[startup+0.701203 s]
/proc/loadavg: 1.94 1.97 1.94 5/217 4612
/proc/meminfo: memFree=26375792/32770624 swapFree=67108860/67108860
[pid=4596] ppid=4593 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/4596/stat : 4596 (xcsp3-exec) S 4593 4596 31727 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95512382 9740288 346 33554432000 4194304 5098028 140736584871872 140736584869976 140205077037692 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27283456 140736584877172 140736584877376 140736584877376 140736584880107 0
/proc/4596/statm: 2378 346 289 221 0 87 0
[pid=4598] ppid=4596 vsize=13984976 memory=81984 CPUtime=1.7 cores=1,3,5,7
/proc/4598/stat : 4598 (java) S 4596 4596 31727 0 -1 1077944320 12094 0 0 0 166 4 0 0 20 0 15 0 95512382 14320615424 20496 33554432000 4194304 4196468 140736740414992 140736740397536 139804719918839 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
/proc/4598/statm: 3496244 20496 3212 1 0 3483478 0
[pid=4598/tid=4599] ppid=4596 vsize=13984976 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/4598/task/4599/stat : 4599 (java) R 4596 4596 31727 0 -1 4202560 6616 0 0 0 65 3 0 0 20 0 15 0 95512383 14320615424 20496 33554432000 4194304 4196468 140736740414992 139804724156824 139804360497115 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4600] ppid=4596 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4600/stat : 4600 (java) S 4596 4596 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95512384 14320615424 20496 33554432000 4194304 4196468 140736740414992 139804676471184 139804719929045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4601] ppid=4596 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4601/stat : 4601 (java) S 4596 4596 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95512384 14320615424 20496 33554432000 4194304 4196468 140736740414992 139804314888464 139804719929045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4602] ppid=4596 vsize=13984976 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4602/stat : 4602 (java) S 4596 4596 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95512384 14320615424 20496 33554432000 4194304 4196468 140736740414992 139804313836176 139804719929045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4603] ppid=4596 vsize=13984976 memory=796 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4603/stat : 4603 (java) S 4596 4596 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95512384 14320615424 20496 33554432000 4194304 4196468 140736740414992 139804312783376 139804719929045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4604] ppid=4596 vsize=13984976 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4604/stat : 4604 (java) S 4596 4596 31727 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95512385 14320615424 20496 33554432000 4194304 4196468 140736740414992 139804193798768 139804719929986 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4605] ppid=4596 vsize=13984976 memory=5300 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4605/stat : 4605 (java) S 4596 4596 31727 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95512385 14320615424 20496 33554432000 4194304 4196468 140736740414992 139804192744736 139804719929045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4606] ppid=4596 vsize=13984976 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4606/stat : 4606 (java) S 4596 4596 31727 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95512386 14320615424 20496 33554432000 4194304 4196468 140736740414992 139804191692400 139804719929045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4607] ppid=4596 vsize=13984976 memory=1928 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4607/stat : 4607 (java) S 4596 4596 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95512388 14320615424 20496 33554432000 4194304 4196468 140736740414992 139804190640720 139804719937435 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4608] ppid=4596 vsize=13984976 memory=1428 CPUtime=0.33 cores=1,3,5,7
/proc/4598/task/4608/stat : 4608 (java) R 4596 4596 31727 0 -1 4202560 1666 0 0 0 33 0 0 0 20 0 15 0 95512388 14320615424 20496 33554432000 4194304 4196468 140736740414992 139804189577360 139804699162624 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4609] ppid=4596 vsize=13984976 memory=1196 CPUtime=0.32 cores=1,3,5,7
/proc/4598/task/4609/stat : 4609 (java) S 4596 4596 31727 0 -1 1077944384 885 0 0 0 32 0 0 0 20 0 15 0 95512388 14320615424 20496 33554432000 4194304 4196468 140736740414992 139804188534768 139804719929986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4610] ppid=4596 vsize=13984976 memory=10640 CPUtime=0.35 cores=1,3,5,7
/proc/4598/task/4610/stat : 4610 (java) S 4596 4596 31727 0 -1 1077944384 1620 0 0 0 35 0 0 0 20 0 15 0 95512388 14320615424 20496 33554432000 4194304 4196468 140736740414992 139804187482480 139804719929986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4611] ppid=4596 vsize=13984976 memory=15876 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4611/stat : 4611 (java) S 4596 4596 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95512388 14320615424 20496 33554432000 4194304 4196468 140736740414992 139804186429920 139804719929045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4612] ppid=4596 vsize=13984976 memory=15552 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4612/stat : 4612 (java) S 4596 4596 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95512388 14320615424 20496 33554432000 4194304 4196468 140736740414992 139804185377712 139804719929986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
Current children cumulated CPU time: 1.7 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 83368 KiB
[startup+1.50084 s]
/proc/loadavg: 1.94 1.97 1.94 5/217 4612
/proc/meminfo: memFree=26356128/32770624 swapFree=67108860/67108860
[pid=4596] ppid=4593 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/4596/stat : 4596 (xcsp3-exec) S 4593 4596 31727 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95512382 9740288 346 33554432000 4194304 5098028 140736584871872 140736584869976 140205077037692 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27283456 140736584877172 140736584877376 140736584877376 140736584880107 0
/proc/4596/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
[pid=4598/tid=4604] ppid=4596 vsize=13984976 memory=6709 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4604/stat : 4604 (java) S 4596 4596 31727 0 -1 1077944384 468 0 0 0 0 0 0 0 20 0 15 0 95512385 14320615424 30699 33554432000 4194304 4196468 140736740414992 139804193798768 139804719929986 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4605] ppid=4596 vsize=13984976 memory=1 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4605/stat : 4605 (java) S 4596 4596 31727 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95512385 14320615424 30699 33554432000 4194304 4196468 140736740414992 139804192744736 139804719929045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4606] ppid=4596 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4606/stat : 4606 (java) S 4596 4596 31727 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95512386 14320615424 30699 33554432000 4194304 4196468 140736740414992 139804191692400 139804719929045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4607] ppid=4596 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4607/stat : 4607 (java) S 4596 4596 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95512388 14320615424 30699 33554432000 4194304 4196468 140736740414992 139804190640720 139804719937435 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4608] ppid=4596 vsize=13984976 memory=120732 CPUtime=1.47 cores=1,3,5,7
/proc/4598/task/4608/stat : 4608 (java) S 4596 4596 31727 0 -1 1077944384 15176 0 0 0 146 1 0 0 20 0 15 0 95512388 14320615424 30699 33554432000 4194304 4196468 140736740414992 139804189587568 139804719929986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4609] ppid=4596 vsize=13984976 memory=1708 CPUtime=2.01 cores=1,3,5,7
/proc/4598/task/4609/stat : 4609 (java) S 4596 4596 31727 0 -1 1077944384 13935 0 0 0 199 2 0 0 20 0 15 0 95512388 14320615424 30699 33554432000 4194304 4196468 140736740414992 139804188534768 139804719929986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4610] ppid=4596 vsize=13984976 memory=102108 CPUtime=0.51 cores=1,3,5,7
/proc/4598/task/4610/stat : 4610 (java) S 4596 4596 31727 0 -1 1077944384 4482 0 0 0 51 0 0 0 20 0 15 0 95512388 14320615424 30699 33554432000 4194304 4196468 140736740414992 139804187482480 139804719929986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4611] ppid=4596 vsize=13984976 memory=-2893623298589923098 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4611/stat : 4611 (java) S 4596 4596 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95512388 14320615424 30699 33554432000 4194304 4196468 140736740414992 139804186429920 139804719929045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4612] ppid=4596 vsize=13984976 memory=-1664385933527490352 CPUtime=0.01 cores=1,3,5,7
/proc/4598/task/4612/stat : 4612 (java) S 4596 4596 31727 0 -1 1077944384 235 0 0 0 0 1 0 0 20 0 15 0 95512388 14320615424 30699 33554432000 4194304 4196468 140736740414992 139804185377712 139804719929986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
Current children cumulated CPU time: 106.31 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 124180 KiB
[startup+162.301 s]
/proc/loadavg: 1.92 1.97 1.95 3/217 4615
/proc/meminfo: memFree=26207404/32770624 swapFree=67108860/67108860
[pid=4596] ppid=4593 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/4596/stat : 4596 (xcsp3-exec) S 4593 4596 31727 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95512382 9740288 346 33554432000 4194304 5098028 140736584871872 140736584869976 140205077037692 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27283456 140736584877172 140736584877376 140736584877376 140736584880107 0
/proc/4596/statm: 2378 346 289 221 0 87 0
[pid=4598] ppid=4596 vsize=13984976 memory=137156 CPUtime=166.32 cores=1,3,5,7
/proc/4598/stat : 4598 (java) S 4596 4596 31727 0 -1 1077944320 47703 0 0 0 16621 11 0 0 20 0 15 0 95512382 14320615424 34289 33554432000 4194304 4196468 140736740414992 140736740397536 139804719918839 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
/proc/4598/statm: 3496244 34289 3234 1 0 3483478 0
[pid=4598/tid=4599] ppid=4596 vsize=13984976 memory=1384 CPUtime=162.25 cores=1,3,5,7
/proc/4598/task/4599/stat : 4599 (java) R 4596 4596 31727 0 -1 4202560 11608 0 0 0 16221 4 0 0 20 0 15 0 95512383 14320615424 34289 33554432000 4194304 4196468 140736740414992 139804724157304 139804360734383 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4600] ppid=4596 vsize=13984976 memory=137156 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4600/stat : 4600 (java) S 4596 4596 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95512384 14320615424 34289 33554432000 4194304 4196468 140736740414992 139804676471184 139804719929045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4601] ppid=4596 vsize=13984976 memory=137156 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4601/stat : 4601 (java) S 4596 4596 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95512384 14320615424 34289 33554432000 4194304 4196468 140736740414992 139804314888464 139804719929045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4602] ppid=4596 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4602/stat : 4602 (java) S 4596 4596 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95512384 14320615424 34289 33554432000 4194304 4196468 140736740414992 139804313836176 139804719929045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4603] ppid=4596 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4603/stat : 4603 (java) S 4596 4596 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95512384 14320615424 34289 33554432000 4194304 4196468 140736740414992 139804312783376 139804719929045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4604] ppid=4596 vsize=13984976 memory=137156 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4604/stat : 4604 (java) S 4596 4596 31727 0 -1 1077944384 476 0 0 0 0 0 0 0 20 0 15 0 95512385 14320615424 34289 33554432000 4194304 4196468 140736740414992 139804193798768 139804719929986 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4605] ppid=4596 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4605/stat : 4605 (java) S 4596 4596 31727 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95512385 14320615424 34289 33554432000 4194304 4196468 140736740414992 139804192744736 139804719929045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4606] ppid=4596 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4606/stat : 4606 (java) S 4596 4596 31727 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95512386 14320615424 34289 33554432000 4194304 4196468 140736740414992 139804191692400 139804719929045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4607] ppid=4596 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4607/stat : 4607 (java) S 4596 4596 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95512388 14320615424 34289 33554432000 4194304 4196468 140736740414992 139804190640720 139804719937435 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4608] ppid=4596 vsize=13984976 memory=137156 CPUtime=1.47 cores=1,3,5,7
/proc/4598/task/4608/stat : 4608 (java) S 4596 4596 31727 0 -1 1077944384 15179 0 0 0 146 1 0 0 20 0 15 0 95512388 14320615424 34289 33554432000 4194304 4196468 140736740414992 139804189587568 139804719929986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4609] ppid=4596 vsize=13984976 memory=1384 CPUtime=2.01 cores=1,3,5,7
/proc/4598/task/4609/stat : 4609 (java) S 4596 4596 31727 0 -1 1077944384 13942 0 0 0 199 2 0 0 20 0 15 0 95512388 14320615424 34289 33554432000 4194304 4196468 140736740414992 139804188534768 139804719929986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4610] ppid=4596 vsize=13984976 memory=4012 CPUtime=0.51 cores=1,3,5,7
/proc/4598/task/4610/stat : 4610 (java) S 4596 4596 31727 0 -1 1077944384 4928 0 0 0 51 0 0 0 20 0 15 0 95512388 14320615424 34289 33554432000 4194304 4196468 140736740414992 139804187482480 139804719929986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4611] ppid=4596 vsize=13984976 memory=137156 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4611/stat : 4611 (java) S 4596 4596 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95512388 14320615424 34289 33554432000 4194304 4196468 140736740414992 139804186429920 139804719929045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4612] ppid=4596 vsize=13984976 memory=1384 CPUtime=0.02 cores=1,3,5,7
/proc/4598/task/4612/stat : 4612 (java) S 4596 4596 31727 0 -1 1077944384 269 0 0 0 0 2 0 0 20 0 15 0 95512388 14320615424 34289 33554432000 4194304 4196468 140736740414992 139804185377712 139804719929986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
Current children cumulated CPU time: 166.32 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 138540 KiB
[startup+222.301 s]
/proc/loadavg: 2.05 1.99 1.96 3/217 4697
/proc/meminfo: memFree=26220764/32770624 swapFree=67108860/67108860
[pid=4596] ppid=4593 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/4596/stat : 4596 (xcsp3-exec) S 4593 4596 31727 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95512382 9740288 346 33554432000 4194304 5098028 140736584871872 140736584869976 140205077037692 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27283456 140736584877172 140736584877376 140736584877376 140736584880107 0
/proc/4596/statm: 2378 346 289 221 0 87 0
[pid=4598] ppid=4596 vsize=13984976 memory=151608 CPUtime=226.43 cores=1,3,5,7
/proc/4598/stat : 4598 (java) S 4596 4596 31727 0 -1 1077944320 51439 0 0 0 22631 12 0 0 20 0 15 0 95512382 14320615424 37902 33554432000 4194304 4196468 140736740414992 140736740397536 139804719918839 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
/proc/4598/statm: 3496244 37902 3234 1 0 3483478 0
[pid=4598/tid=4599] ppid=4596 vsize=13984976 memory=149484 CPUtime=222.26 cores=1,3,5,7
/proc/4598/task/4599/stat : 4599 (java) R 4596 4596 31727 0 -1 4202560 12100 0 0 0 22221 5 0 0 20 0 15 0 95512383 14320615424 37902 33554432000 4194304 4196468 140736740414992 139804724155848 139804360734534 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4600] ppid=4596 vsize=13984976 memory=151604 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4600/stat : 4600 (java) S 4596 4596 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95512384 14320615424 37902 33554432000 4194304 4196468 140736740414992 139804676471184 139804719929045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4601] ppid=4596 vsize=13984976 memory=151604 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4601/stat : 4601 (java) S 4596 4596 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95512384 14320615424 37902 33554432000 4194304 4196468 140736740414992 139804314888464 139804719929045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4602] ppid=4596 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4602/stat : 4602 (java) S 4596 4596 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95512384 14320615424 37902 33554432000 4194304 4196468 140736740414992 139804313836176 139804719929045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4603] ppid=4596 vsize=13984976 memory=151608 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4603/stat : 4603 (java) S 4596 4596 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95512384 14320615424 37902 33554432000 4194304 4196468 140736740414992 139804312783376 139804719929045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4604] ppid=4596 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4604/stat : 4604 (java) S 4596 4596 31727 0 -1 1077944384 481 0 0 0 0 0 0 0 20 0 15 0 95512385 14320615424 37902 33554432000 4194304 4196468 140736740414992 139804193798768 139804719929986 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4605] ppid=4596 vsize=13984976 memory=149484 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4605/stat : 4605 (java) S 4596 4596 31727 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95512385 14320615424 37902 33554432000 4194304 4196468 140736740414992 139804192744736 139804719929045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4606] ppid=4596 vsize=13984976 memory=151604 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4606/stat : 4606 (java) S 4596 4596 31727 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95512386 14320615424 37902 33554432000 4194304 4196468 140736740414992 139804191692400 139804719929045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4607] ppid=4596 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4607/stat : 4607 (java) S 4596 4596 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95512388 14320615424 37902 33554432000 4194304 4196468 140736740414992 139804190640720 139804719937435 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4608] ppid=4596 vsize=13984976 memory=151608 CPUtime=1.49 cores=1,3,5,7
/proc/4598/task/4608/stat : 4608 (java) S 4596 4596 31727 0 -1 1077944384 15995 0 0 0 148 1 0 0 20 0 15 0 95512388 14320615424 37902 33554432000 4194304 4196468 140736740414992 139804189587568 139804719929986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4609] ppid=4596 vsize=13984976 memory=151604 CPUtime=2.08 cores=1,3,5,7
/proc/4598/task/4609/stat : 4609 (java) S 4596 4596 31727 0 -1 1077944384 15702 0 0 0 206 2 0 0 20 0 15 0 95512388 14320615424 37902 33554432000 4194304 4196468 140736740414992 139804188534768 139804719929986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4610] ppid=4596 vsize=13984976 memory=1384 CPUtime=0.52 cores=1,3,5,7
/proc/4598/task/4610/stat : 4610 (java) S 4596 4596 31727 0 -1 1077944384 5566 0 0 0 52 0 0 0 20 0 15 0 95512388 14320615424 37902 33554432000 4194304 4196468 140736740414992 139804187482480 139804719929986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4611] ppid=4596 vsize=13984976 memory=1428 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4611/stat : 4611 (java) S 4596 4596 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95512388 14320615424 37902 33554432000 4194304 4196468 140736740414992 139804186429920 139804719929045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4612] ppid=4596 vsize=13984976 memory=1196 CPUtime=0.04 cores=1,3,5,7
/proc/4598/task/4612/stat : 4612 (java) S 4596 4596 31727 0 -1 1077944384 294 0 0 0 1 3 0 0 20 0 15 0 95512388 14320615424 37902 33554432000 4194304 4196468 140736740414992 139804185377712 139804719929986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
Current children cumulated CPU time: 226.43 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 152992 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.96 1.98 1.95 3/217 4697
/proc/meminfo: memFree=25810580/32770624 swapFree=67108860/67108860
[pid=4596] ppid=4593 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/4596/stat : 4596 (xcsp3-exec) S 4593 4596 31727 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95512382 9740288 346 33554432000 4194304 5098028 140736584871872 140736584869976 140205077037692 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27283456 140736584877172 140736584877376 140736584877376 140736584880107 0
/proc/4596/statm: 2378 346 289 221 0 87 0
[pid=4598] ppid=4596 vsize=13984976 memory=157752 CPUtime=244.14 cores=1,3,5,7
/proc/4598/stat : 4598 (java) S 4596 4596 31727 0 -1 1077944320 51450 0 0 0 24402 12 0 0 20 0 15 0 95512382 14320615424 39438 33554432000 4194304 4196468 140736740414992 140736740397536 139804719918839 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
/proc/4598/statm: 3496244 39438 3234 1 0 3483478 0
[pid=4598/tid=4599] ppid=4596 vsize=13984976 memory=6935054825532540783 CPUtime=239.96 cores=1,3,5,7
/proc/4598/task/4599/stat : 4599 (java) R 4596 4596 31727 0 -1 4202560 12111 0 0 0 23991 5 0 0 20 0 15 0 95512383 14320615424 39438 33554432000 4194304 4196468 140736740414992 139804724155848 139804360734722 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4600] ppid=4596 vsize=13984976 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4600/stat : 4600 (java) S 4596 4596 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95512384 14320615424 39438 33554432000 4194304 4196468 140736740414992 139804676471184 139804719929045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4601] ppid=4596 vsize=13984976 memory=796 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4601/stat : 4601 (java) S 4596 4596 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95512384 14320615424 39438 33554432000 4194304 4196468 140736740414992 139804314888464 139804719929045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4602] ppid=4596 vsize=13984976 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4602/stat : 4602 (java) S 4596 4596 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95512384 14320615424 39438 33554432000 4194304 4196468 140736740414992 139804313836176 139804719929045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4603] ppid=4596 vsize=13984976 memory=5300 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4603/stat : 4603 (java) S 4596 4596 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95512384 14320615424 39438 33554432000 4194304 4196468 140736740414992 139804312783376 139804719929045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4604] ppid=4596 vsize=13984976 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4604/stat : 4604 (java) S 4596 4596 31727 0 -1 1077944384 481 0 0 0 0 0 0 0 20 0 15 0 95512385 14320615424 39438 33554432000 4194304 4196468 140736740414992 139804193798768 139804719929986 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4605] ppid=4596 vsize=13984976 memory=4040 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4605/stat : 4605 (java) S 4596 4596 31727 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95512385 14320615424 39438 33554432000 4194304 4196468 140736740414992 139804192744736 139804719929045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4606] ppid=4596 vsize=13984976 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4606/stat : 4606 (java) S 4596 4596 31727 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95512386 14320615424 39438 33554432000 4194304 4196468 140736740414992 139804191692400 139804719929045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4607] ppid=4596 vsize=13984976 memory=640 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4607/stat : 4607 (java) S 4596 4596 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95512388 14320615424 39438 33554432000 4194304 4196468 140736740414992 139804190640720 139804719937435 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4608] ppid=4596 vsize=13984976 memory=960 CPUtime=1.49 cores=1,3,5,7
/proc/4598/task/4608/stat : 4608 (java) S 4596 4596 31727 0 -1 1077944384 15995 0 0 0 148 1 0 0 20 0 15 0 95512388 14320615424 39438 33554432000 4194304 4196468 140736740414992 139804189587568 139804719929986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4609] ppid=4596 vsize=13984976 memory=1236 CPUtime=2.08 cores=1,3,5,7
/proc/4598/task/4609/stat : 4609 (java) S 4596 4596 31727 0 -1 1077944384 15702 0 0 0 206 2 0 0 20 0 15 0 95512388 14320615424 39438 33554432000 4194304 4196468 140736740414992 139804188534768 139804719929986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4610] ppid=4596 vsize=13984976 memory=2344 CPUtime=0.52 cores=1,3,5,7
/proc/4598/task/4610/stat : 4610 (java) S 4596 4596 31727 0 -1 1077944384 5566 0 0 0 52 0 0 0 20 0 15 0 95512388 14320615424 39438 33554432000 4194304 4196468 140736740414992 139804187482480 139804719929986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4611] ppid=4596 vsize=13984976 memory=2540 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4611/stat : 4611 (java) S 4596 4596 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95512388 14320615424 39438 33554432000 4194304 4196468 140736740414992 139804186429920 139804719929045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
[pid=4598/tid=4612] ppid=4596 vsize=13984976 memory=2540 CPUtime=0.04 cores=1,3,5,7
/proc/4598/task/4612/stat : 4612 (java) S 4596 4596 31727 0 -1 1077944384 294 0 0 0 1 3 0 0 20 0 15 0 95512388 14320615424 39438 33554432000 4194304 4196468 140736740414992 139804185377712 139804719929986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 37650432 140736740418717 140736740418892 140736740418892 140736740421583 0
Current children cumulated CPU time: 244.14 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 159136 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.022 s]
# the end of solver process 4596 was just reported to runsolver
# cumulated CPU time of all completed processes: user=244.04 s, system=0.130013 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 240.022
CPU time (s): 244.17
CPU user time (s): 244.04
CPU system time (s): 0.130013
CPU usage (%): 101.728
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 159136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 244.04
system time used= 0.130013
maximum resident set size= 164476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52446
page faults= 0
swaps= 0
block input operations= 0
block output operations= 336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7808
involuntary context switches= 274
# summary of solver processes directly reported to runsolver:
# pid: 4596
# total CPU time (s): 244.17
# total CPU user time (s): 244.04
# total CPU system time (s): 0.130013
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.42472 second user time and 2.12119 second system time
The end