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 (11290 MiB free)
memory of node 1: 16384 MiB (10902 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284465-1503212962/watcher-4284465-1503212962 -o /tmp/evaluation-result-4284465-1503212962/solver-4284465-1503212962 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node105-1503209199-23685 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1850893355 HOME/instance-4284465-1503212962.xml
running on 4 cores: 0,2,4,6
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
Current StackSize limit: 8192 KiB
solver pid=25931, runsolver pid=25928
[startup+0.102141 s]*
/proc/loadavg: 1.68 1.97 1.92 3/218 25947
/proc/meminfo: memFree=22705620/32770624 swapFree=67108860/67108860
[pid=25931] ppid=25928 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/25931/stat : 25931 (xcsp3-exec) S 25928 25931 23654 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154367626 9740288 346 33554432000 4194304 5098028 140724525872544 140724525870648 140687602479740 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39129088 140724525876340 140724525876544 140724525876544 140724525879275 0
/proc/25931/statm: 2378 346 289 221 0 87 0
[pid=25933] ppid=25931 vsize=13978596 memory=28392 CPUtime=0.12 cores=0,2,4,6
/proc/25933/stat : 25933 (java) S 25931 25931 23654 0 -1 1077944320 5464 0 0 0 11 1 0 0 20 0 15 0 154367627 14314082304 7098 33554432000 4194304 4196468 140726676492544 140726676475088 140468770434807 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
/proc/25933/statm: 3494649 7098 2864 1 0 3482966 0
[pid=25933/tid=25934] ppid=25931 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/25933/task/25934/stat : 25934 (java) R 25931 25931 23654 0 -1 4202560 3471 0 0 0 8 1 0 0 20 0 15 0 154367627 14314082304 7098 33554432000 4194304 4196468 140726676492544 140468774667136 140468398736658 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25935] ppid=25931 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/25933/task/25935/stat : 25935 (java) S 25931 25931 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154367628 14314082304 7098 33554432000 4194304 4196468 140726676492544 140468723055120 140468770445013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25936] ppid=25931 vsize=13978596 memory=140634998097536 CPUtime=0 cores=0,2,4,6
/proc/25933/task/25936/stat : 25936 (java) S 25931 25931 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154367628 14314082304 7098 33554432000 4194304 4196468 140726676492544 140468722002576 140468770445013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25937] ppid=25931 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25933/task/25937/stat : 25937 (java) S 25931 25931 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154367628 14314082304 7098 33554432000 4194304 4196468 140726676492544 140468720949520 140468770445013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25938] ppid=25931 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25933/task/25938/stat : 25938 (java) S 25931 25931 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154367628 14314082304 7098 33554432000 4194304 4196468 140726676492544 140468719896976 140468770445013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25939] ppid=25931 vsize=13978596 memory=140634998097536 CPUtime=0 cores=0,2,4,6
/proc/25933/task/25939/stat : 25939 (java) S 25931 25931 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154367629 14314082304 7098 33554432000 4194304 4196468 140726676492544 140467884251888 140468770445954 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25940] ppid=25931 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25933/task/25940/stat : 25940 (java) S 25931 25931 23654 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154367630 14314082304 7098 33554432000 4194304 4196468 140726676492544 140467883198112 140468770445013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25941] ppid=25931 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25933/task/25941/stat : 25941 (java) S 25931 25931 23654 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154367630 14314082304 7098 33554432000 4194304 4196468 140726676492544 140467882145008 140468770445013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25942] ppid=25931 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25933/task/25942/stat : 25942 (java) S 25931 25931 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154367632 14314082304 7098 33554432000 4194304 4196468 140726676492544 140467881093584 140468770453403 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25943] ppid=25931 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25933/task/25943/stat : 25943 (java) S 25931 25931 23654 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 15 0 154367632 14314082304 7098 33554432000 4194304 4196468 140726676492544 140467880040688 140468770445954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25944] ppid=25931 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25933/task/25944/stat : 25944 (java) S 25931 25931 23654 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 15 0 154367632 14314082304 7098 33554432000 4194304 4196468 140726676492544 140467878988144 140468770445954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25945] ppid=25931 vsize=13978596 memory=140634998097536 CPUtime=0.01 cores=0,2,4,6
/proc/25933/task/25945/stat : 25945 (java) R 25931 25931 23654 0 -1 4202560 325 0 0 0 1 0 0 0 20 0 15 0 154367632 14314082304 7098 33554432000 4194304 4196468 140726676492544 140467877935088 140468749376275 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25946] ppid=25931 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25933/task/25946/stat : 25946 (java) S 25931 25931 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154367632 14314082304 7098 33554432000 4194304 4196468 140726676492544 140467876882784 140468770445013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25947] ppid=25931 vsize=13978596 memory=140634998097536 CPUtime=0 cores=0,2,4,6
/proc/25933/task/25947/stat : 25947 (java) S 25931 25931 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154367633 14314082304 7098 33554432000 4194304 4196468 140726676492544 140467875830832 140468770445954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29776 KiB
[startup+0.211164 s]*
/proc/loadavg: 1.68 1.97 1.92 3/218 25947
/proc/meminfo: memFree=22695344/32770624 swapFree=67108860/67108860
[pid=25931] ppid=25928 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/25931/stat : 25931 (xcsp3-exec) S 25928 25931 23654 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154367626 9740288 346 33554432000 4194304 5098028 140724525872544 140724525870648 140687602479740 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39129088 140724525876340 140724525876544 140724525876544 140724525879275 0
/proc/25931/statm: 2378 346 289 221 0 87 0
[pid=25933] ppid=25931 vsize=13982852 memory=40372 CPUtime=0.33 cores=0,2,4,6
/proc/25933/stat : 25933 (java) S 25931 25931 23654 0 -1 1077944320 8143 0 0 0 31 2 0 0 20 0 15 0 154367627 14318440448 10093 33554432000 4194304 4196468 140726676492544 140726676475088 140468770434807 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
/proc/25933/statm: 3495713 10093 3060 1 0 3482966 0
[pid=25933/tid=25934] ppid=25931 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/25933/task/25934/stat : 25934 (java) D 25931 25931 23654 0 -1 1077944384 5272 0 0 0 19 1 0 0 20 0 15 0 154367627 14318440448 10093 33554432000 4194304 4196468 140726676492544 140468774645600 140468763114029 0 4 0 16800975 18446744072101613092 0 0 -1 0 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25935] ppid=25931 vsize=13982852 memory=12546 CPUtime=0 cores=0,2,4,6
/proc/25933/task/25935/stat : 25935 (java) S 25931 25931 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154367628 14318440448 10093 33554432000 4194304 4196468 140726676492544 140468723055120 140468770445013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25936] ppid=25931 vsize=13982852 memory=288371011149809280 CPUtime=0 cores=0,2,4,6
/proc/25933/task/25936/stat : 25936 (java) S 25931 25931 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154367628 14318440448 10093 33554432000 4194304 4196468 140726676492544 140468722002576 140468770445013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25937] ppid=25931 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25933/task/25937/stat : 25937 (java) S 25931 25931 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154367628 14318440448 10093 33554432000 4194304 4196468 140726676492544 140468720949520 140468770445013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25938] ppid=25931 vsize=13982884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25933/task/25938/stat : 25938 (java) S 25931 25931 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154367628 14318473216 10093 33554432000 4194304 4196468 140726676492544 140468719896976 140468770445013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25939] ppid=25931 vsize=13982884 memory=140634998097536 CPUtime=0 cores=0,2,4,6
/proc/25933/task/25939/stat : 25939 (java) S 25931 25931 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154367629 14318473216 10093 33554432000 4194304 4196468 140726676492544 140467884251888 140468770445954 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25940] ppid=25931 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25933/task/25940/stat : 25940 (java) S 25931 25931 23654 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154367630 14318440448 10114 33554432000 4194304 4196468 140726676492544 140467883198112 140468770445013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25941] ppid=25931 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25933/task/25941/stat : 25941 (java) S 25931 25931 23654 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154367630 14318440448 10114 33554432000 4194304 4196468 140726676492544 140467882145008 140468770445013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25942] ppid=25931 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25933/task/25942/stat : 25942 (java) S 25931 25931 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154367632 14318440448 10114 33554432000 4194304 4196468 140726676492544 140467881093584 140468770453403 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25943] ppid=25931 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/25933/task/25943/stat : 25943 (java) S 25931 25931 23654 0 -1 1077944384 537 0 0 0 2 0 0 0 20 0 15 0 154367632 14318440448 10114 33554432000 4194304 4196468 140726676492544 140467880040688 140468770445954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25944] ppid=25931 vsize=13982852 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/25933/task/25944/stat : 25944 (java) S 25931 25931 23654 0 -1 1077944384 309 0 0 0 2 0 0 0 20 0 15 0 154367632 14318440448 10114 33554432000 4194304 4196468 140726676492544 140467878988144 140468770445954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25945] ppid=25931 vsize=13982852 memory=140634998097536 CPUtime=0.07 cores=0,2,4,6
/proc/25933/task/25945/stat : 25945 (java) S 25931 25931 23654 0 -1 1077944384 723 0 0 0 7 0 0 0 20 0 15 0 154367632 14318440448 10114 33554432000 4194304 4196468 140726676492544 140467877935088 140468770445954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25946] ppid=25931 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25933/task/25946/stat : 25946 (java) S 25931 25931 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154367632 14318440448 10114 33554432000 4194304 4196468 140726676492544 140467876882784 140468770445013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25947] ppid=25931 vsize=13982884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25933/task/25947/stat : 25947 (java) S 25931 25931 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154367633 14318473216 10114 33554432000 4194304 4196468 140726676492544 140467875830832 140468770445954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41756 KiB
[startup+0.318757 s]*
/proc/loadavg: 1.68 1.97 1.92 5/218 25947
/proc/meminfo: memFree=22688396/32770624 swapFree=67108860/67108860
[pid=25931] ppid=25928 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/25931/stat : 25931 (xcsp3-exec) S 25928 25931 23654 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154367626 9740288 346 33554432000 4194304 5098028 140724525872544 140724525870648 140687602479740 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39129088 140724525876340 140724525876544 140724525876544 140724525879275 0
/proc/25931/statm: 2378 346 289 221 0 87 0
[pid=25933] ppid=25931 vsize=13982928 memory=47620 CPUtime=0.52 cores=0,2,4,6
/proc/25933/stat : 25933 (java) S 25931 25931 23654 0 -1 1077944320 9132 0 0 0 49 3 0 0 20 0 15 0 154367627 14318518272 11905 33554432000 4194304 4196468 140726676492544 140726676475088 140468770434807 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
/proc/25933/statm: 3495732 11905 3109 1 0 3482966 0
[pid=25933/tid=25934] ppid=25931 vsize=13982928 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/25933/task/25934/stat : 25934 (java) R 25931 25931 23654 0 -1 4202560 6063 0 0 0 28 2 0 0 20 0 15 0 154367627 14318518272 11905 33554432000 4194304 4196468 140726676492544 140468774667136 140468754515294 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25935] ppid=25931 vsize=13982928 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/25933/task/25935/stat : 25935 (java) S 25931 25931 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154367628 14318518272 11905 33554432000 4194304 4196468 140726676492544 140468723055120 140468770445013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25936] ppid=25931 vsize=13982928 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/25933/task/25936/stat : 25936 (java) S 25931 25931 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154367628 14318518272 11905 33554432000 4194304 4196468 140726676492544 140468722002576 140468770445013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25937] ppid=25931 vsize=13982928 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/25933/task/25937/stat : 25937 (java) S 25931 25931 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154367628 14318518272 11905 33554432000 4194304 4196468 140726676492544 140468720949520 140468770445013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25938] ppid=25931 vsize=13982928 memory=4500088472188524148 CPUtime=0 cores=0,2,4,6
/proc/25933/task/25938/stat : 25938 (java) S 25931 25931 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154367628 14318518272 11905 33554432000 4194304 4196468 140726676492544 140468719896976 140468770445013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25939] ppid=25931 vsize=13982928 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/25933/task/25939/stat : 25939 (java) S 25931 25931 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154367629 14318518272 11905 33554432000 4194304 4196468 140726676492544 140467884251888 140468770445954 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25940] ppid=25931 vsize=13982928 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/25933/task/25940/stat : 25940 (java) S 25931 25931 23654 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154367630 14318518272 11905 33554432000 4194304 4196468 140726676492544 140467883198112 140468770445013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25941] ppid=25931 vsize=13982928 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/25933/task/25941/stat : 25941 (java) S 25931 25931 23654 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154367630 14318518272 11905 33554432000 4194304 4196468 140726676492544 140467882145008 140468770445013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25942] ppid=25931 vsize=13982928 memory=-6664436420846797971 CPUtime=0 cores=0,2,4,6
/proc/25933/task/25942/stat : 25942 (java) S 25931 25931 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154367632 14318518272 11905 33554432000 4194304 4196468 140726676492544 140467881093584 140468770453403 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25943] ppid=25931 vsize=13982928 memory=4713750055892520310 CPUtime=0.03 cores=0,2,4,6
/proc/25933/task/25943/stat : 25943 (java) S 25931 25931 23654 0 -1 1077944384 555 0 0 0 3 0 0 0 20 0 15 0 154367632 14318518272 11905 33554432000 4194304 4196468 140726676492544 140467880040688 140468770445954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25944] ppid=25931 vsize=13982928 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/25933/task/25944/stat : 25944 (java) S 25931 25931 23654 0 -1 1077944384 366 0 0 0 3 0 0 0 20 0 15 0 154367632 14318518272 11905 33554432000 4194304 4196468 140726676492544 140467878988144 140468770445954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25945] ppid=25931 vsize=13982928 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/25933/task/25945/stat : 25945 (java) S 25931 25931 23654 0 -1 1077944384 847 0 0 0 12 0 0 0 20 0 15 0 154367632 14318518272 11905 33554432000 4194304 4196468 140726676492544 140467877935088 140468770445954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25946] ppid=25931 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25933/task/25946/stat : 25946 (java) S 25931 25931 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154367632 14318518272 11905 33554432000 4194304 4196468 140726676492544 140467876882784 140468770445013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25947] ppid=25931 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25933/task/25947/stat : 25947 (java) S 25931 25931 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154367633 14318518272 11905 33554432000 4194304 4196468 140726676492544 140467875830832 140468770445954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 49004 KiB
[startup+0.700822 s]
/proc/loadavg: 1.68 1.97 1.92 6/218 25947
/proc/meminfo: memFree=22672668/32770624 swapFree=67108860/67108860
[pid=25931] ppid=25928 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/25931/stat : 25931 (xcsp3-exec) S 25928 25931 23654 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154367626 9740288 346 33554432000 4194304 5098028 140724525872544 140724525870648 140687602479740 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39129088 140724525876340 140724525876544 140724525876544 140724525879275 0
/proc/25931/statm: 2378 346 289 221 0 87 0
[pid=25933] ppid=25931 vsize=13984976 memory=79440 CPUtime=1.56 cores=0,2,4,6
/proc/25933/stat : 25933 (java) S 25931 25931 23654 0 -1 1077944320 14657 0 0 0 151 5 0 0 20 0 15 0 154367627 14320615424 19860 33554432000 4194304 4196468 140726676492544 140726676475088 140468770434807 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
/proc/25933/statm: 3496244 19860 3211 1 0 3483478 0
[pid=25933/tid=25934] ppid=25931 vsize=13984976 memory=42732 CPUtime=0.67 cores=0,2,4,6
/proc/25933/task/25934/stat : 25934 (java) R 25931 25931 23654 0 -1 4202560 6915 0 0 0 64 3 0 0 20 0 15 0 154367627 14320615424 19860 33554432000 4194304 4196468 140726676492544 140468774672224 140468402028679 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25935] ppid=25931 vsize=13984976 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/25933/task/25935/stat : 25935 (java) S 25931 25931 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154367628 14320615424 19860 33554432000 4194304 4196468 140726676492544 140468723055120 140468770445013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25936] ppid=25931 vsize=13984976 memory=2400 CPUtime=0 cores=0,2,4,6
/proc/25933/task/25936/stat : 25936 (java) S 25931 25931 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154367628 14320615424 19860 33554432000 4194304 4196468 140726676492544 140468722002576 140468770445013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25937] ppid=25931 vsize=13984976 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/25933/task/25937/stat : 25937 (java) S 25931 25931 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154367628 14320615424 19860 33554432000 4194304 4196468 140726676492544 140468720949520 140468770445013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25938] ppid=25931 vsize=13984976 memory=12136 CPUtime=0 cores=0,2,4,6
/proc/25933/task/25938/stat : 25938 (java) S 25931 25931 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154367628 14320615424 19860 33554432000 4194304 4196468 140726676492544 140468719896976 140468770445013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25939] ppid=25931 vsize=13984976 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/25933/task/25939/stat : 25939 (java) S 25931 25931 23654 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154367629 14320615424 19860 33554432000 4194304 4196468 140726676492544 140467884251888 140468770445954 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25940] ppid=25931 vsize=13984976 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/25933/task/25940/stat : 25940 (java) S 25931 25931 23654 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154367630 14320615424 19860 33554432000 4194304 4196468 140726676492544 140467883198112 140468770445013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25941] ppid=25931 vsize=13984976 memory=796 CPUtime=0 cores=0,2,4,6
/proc/25933/task/25941/stat : 25941 (java) S 25931 25931 23654 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154367630 14320615424 19860 33554432000 4194304 4196468 140726676492544 140467882145008 140468770445013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25942] ppid=25931 vsize=13984976 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/25933/task/25942/stat : 25942 (java) S 25931 25931 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154367632 14320615424 19860 33554432000 4194304 4196468 140726676492544 140467881093584 140468770453403 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25943] ppid=25931 vsize=13984976 memory=5784 CPUtime=0.25 cores=0,2,4,6
/proc/25933/task/25943/stat : 25943 (java) R 25931 25931 23654 0 -1 4202560 2358 0 0 0 25 0 0 0 20 0 15 0 154367632 14320615424 19860 33554432000 4194304 4196468 140726676492544 140467880021704 140468754723708 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25944] ppid=25931 vsize=13984976 memory=4616 CPUtime=0.25 cores=0,2,4,6
/proc/25933/task/25944/stat : 25944 (java) R 25931 25931 23654 0 -1 4202560 2062 0 0 0 25 0 0 0 20 0 15 0 154367632 14320615424 19860 33554432000 4194304 4196468 140726676492544 140467878974280 140468755537221 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25945] ppid=25931 vsize=13984976 memory=1928 CPUtime=0.35 cores=0,2,4,6
/proc/25933/task/25945/stat : 25945 (java) S 25931 25931 23654 0 -1 1077944384 2015 0 0 0 34 1 0 0 20 0 15 0 154367632 14320615424 19860 33554432000 4194304 4196468 140726676492544 140467877935088 140468770445954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25946] ppid=25931 vsize=13984976 memory=1428 CPUtime=0 cores=0,2,4,6
/proc/25933/task/25946/stat : 25946 (java) S 25931 25931 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154367632 14320615424 19860 33554432000 4194304 4196468 140726676492544 140467876882784 140468770445013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25947] ppid=25931 vsize=13984976 memory=1196 CPUtime=0 cores=0,2,4,6
/proc/25933/task/25947/stat : 25947 (java) S 25931 25931 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154367633 14320615424 19860 33554432000 4194304 4196468 140726676492544 140467875830832 140468770445954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
Current children cumulated CPU time: 1.56 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 80824 KiB
[startup+1.50081 s]
/proc/loadavg: 1.68 1.97 1.92 5/217 25947
/proc/meminfo: memFree=22641504/32770624 swapFree=67108860/67108860
[pid=25931] ppid=25928 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/25931/stat : 25931 (xcsp3-exec) S 25928 25931 23654 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154367626 9740288 346 33554432000 4194304 5098028 140724525872544 140724525870648 140687602479740 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39129088 140724525876340 140724525876544 140724525876544 140724525879275 0
/proc/25931/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/25933/task/25941/stat : 25941 (java) S 25931 25931 23654 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 154367630 14387724288 109571 33554432000 4194304 4196468 140726676492544 140467882145024 140468770445013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25942] ppid=25931 vsize=14050512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/25933/task/25942/stat : 25942 (java) S 25931 25931 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154367632 14387724288 109571 33554432000 4194304 4196468 140726676492544 140467881093584 140468770453403 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25943] ppid=25931 vsize=14050512 memory=1384 CPUtime=11.26 cores=0,2,4,6
/proc/25933/task/25943/stat : 25943 (java) S 25931 25931 23654 0 -1 1077944384 51183 0 0 0 1121 5 0 0 20 0 15 0 154367632 14387724288 109571 33554432000 4194304 4196468 140726676492544 140467880040688 140468770445954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25944] ppid=25931 vsize=14050512 memory=1384 CPUtime=11.8 cores=0,2,4,6
/proc/25933/task/25944/stat : 25944 (java) S 25931 25931 23654 0 -1 1077944384 84214 0 0 0 1171 9 0 0 20 0 15 0 154367632 14387724288 109571 33554432000 4194304 4196468 140726676492544 140467878988144 140468770445954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25945] ppid=25931 vsize=14050512 memory=434188 CPUtime=0.85 cores=0,2,4,6
/proc/25933/task/25945/stat : 25945 (java) S 25931 25931 23654 0 -1 1077944384 10386 0 0 0 83 2 0 0 20 0 15 0 154367632 14387724288 109571 33554432000 4194304 4196468 140726676492544 140467877935088 140468770445954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25946] ppid=25931 vsize=14050512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/25933/task/25946/stat : 25946 (java) S 25931 25931 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154367632 14387724288 109571 33554432000 4194304 4196468 140726676492544 140467876882784 140468770445013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25947] ppid=25931 vsize=14050512 memory=1384 CPUtime=0.08 cores=0,2,4,6
/proc/25933/task/25947/stat : 25947 (java) S 25931 25931 23654 0 -1 1077944384 2920 0 0 0 4 4 0 0 20 0 15 0 154367633 14387724288 109571 33554432000 4194304 4196468 140726676492544 140467875830832 140468770445954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
Current children cumulated CPU time: 188.65 s
Current children cumulated vsize: 14060024 KiB
Current children cumulated memory: 439668 KiB
[startup+222.301 s]
/proc/loadavg: 1.96 1.90 1.90 3/217 26028
/proc/meminfo: memFree=21388636/32770624 swapFree=67108860/67108860
[pid=25931] ppid=25928 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/25931/stat : 25931 (xcsp3-exec) S 25928 25931 23654 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154367626 9740288 346 33554432000 4194304 5098028 140724525872544 140724525870648 140687602479740 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39129088 140724525876340 140724525876544 140724525876544 140724525879275 0
/proc/25931/statm: 2378 346 289 221 0 87 0
[pid=25933] ppid=25931 vsize=14050512 memory=519288 CPUtime=250.08 cores=0,2,4,6
/proc/25933/stat : 25933 (java) S 25931 25931 23654 0 -1 1077944320 175054 0 0 0 24935 73 0 0 20 0 15 0 154367627 14387724288 129822 33554432000 4194304 4196468 140726676492544 140726676475088 140468770434807 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
/proc/25933/statm: 3512628 129822 3270 1 0 3499862 0
[pid=25933/tid=25934] ppid=25931 vsize=14050512 memory=511096 CPUtime=220.75 cores=0,2,4,6
/proc/25933/task/25934/stat : 25934 (java) R 25931 25931 23654 0 -1 4202560 15510 0 0 0 22068 7 0 0 20 0 15 0 154367627 14387724288 129822 33554432000 4194304 4196468 140726676492544 140468774674272 140468410143337 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25935] ppid=25931 vsize=14050512 memory=502896 CPUtime=1.26 cores=0,2,4,6
/proc/25933/task/25935/stat : 25935 (java) S 25931 25931 23654 0 -1 1077944384 1255 0 0 0 116 10 0 0 20 0 15 0 154367628 14387724288 129822 33554432000 4194304 4196468 140726676492544 140468723055120 140468770445013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25936] ppid=25931 vsize=14050512 memory=519288 CPUtime=1.26 cores=0,2,4,6
/proc/25933/task/25936/stat : 25936 (java) S 25931 25931 23654 0 -1 1077944384 1861 0 0 0 116 10 0 0 20 0 15 0 154367628 14387724288 129822 33554432000 4194304 4196468 140726676492544 140468722002576 140468770445013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25937] ppid=25931 vsize=14050512 memory=1384 CPUtime=1.27 cores=0,2,4,6
/proc/25933/task/25937/stat : 25937 (java) S 25931 25931 23654 0 -1 1077944384 1200 0 0 0 116 11 0 0 20 0 15 0 154367628 14387724288 129822 33554432000 4194304 4196468 140726676492544 140468720949520 140468770445013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25938] ppid=25931 vsize=14050512 memory=0 CPUtime=1.25 cores=0,2,4,6
/proc/25933/task/25938/stat : 25938 (java) S 25931 25931 23654 0 -1 1077944384 1229 0 0 0 115 10 0 0 20 0 15 0 154367628 14387724288 129822 33554432000 4194304 4196468 140726676492544 140468719896976 140468770445013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25939] ppid=25931 vsize=14050512 memory=513144 CPUtime=0.12 cores=0,2,4,6
/proc/25933/task/25939/stat : 25939 (java) S 25931 25931 23654 0 -1 1077944384 1301 0 0 0 10 2 0 0 20 0 15 0 154367629 14387724288 129822 33554432000 4194304 4196468 140726676492544 140467884251888 140468770445954 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25940] ppid=25931 vsize=14050512 memory=4012 CPUtime=0 cores=0,2,4,6
/proc/25933/task/25940/stat : 25940 (java) S 25931 25931 23654 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 154367630 14387724288 129822 33554432000 4194304 4196468 140726676492544 140467883198176 140468770445013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25941] ppid=25931 vsize=14050512 memory=511096 CPUtime=0 cores=0,2,4,6
/proc/25933/task/25941/stat : 25941 (java) S 25931 25931 23654 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 154367630 14387724288 129822 33554432000 4194304 4196468 140726676492544 140467882145024 140468770445013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25942] ppid=25931 vsize=14050512 memory=4012 CPUtime=0 cores=0,2,4,6
/proc/25933/task/25942/stat : 25942 (java) S 25931 25931 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154367632 14387724288 129822 33554432000 4194304 4196468 140726676492544 140467881093584 140468770453403 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25943] ppid=25931 vsize=14050512 memory=1384 CPUtime=11.27 cores=0,2,4,6
/proc/25933/task/25943/stat : 25943 (java) S 25931 25931 23654 0 -1 1077944384 51515 0 0 0 1122 5 0 0 20 0 15 0 154367632 14387724288 129822 33554432000 4194304 4196468 140726676492544 140467880040688 140468770445954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25944] ppid=25931 vsize=14050512 memory=1384 CPUtime=11.85 cores=0,2,4,6
/proc/25933/task/25944/stat : 25944 (java) S 25931 25931 23654 0 -1 1077944384 85296 0 0 0 1176 9 0 0 20 0 15 0 154367632 14387724288 129822 33554432000 4194304 4196468 140726676492544 140467878988144 140468770445954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25945] ppid=25931 vsize=14050512 memory=4012 CPUtime=0.87 cores=0,2,4,6
/proc/25933/task/25945/stat : 25945 (java) S 25931 25931 23654 0 -1 1077944384 11593 0 0 0 84 3 0 0 20 0 15 0 154367632 14387724288 129822 33554432000 4194304 4196468 140726676492544 140467877935088 140468770445954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25946] ppid=25931 vsize=14050512 memory=42732 CPUtime=0 cores=0,2,4,6
/proc/25933/task/25946/stat : 25946 (java) S 25931 25931 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154367632 14387724288 129822 33554432000 4194304 4196468 140726676492544 140467876882784 140468770445013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25947] ppid=25931 vsize=14050512 memory=1384 CPUtime=0.11 cores=0,2,4,6
/proc/25933/task/25947/stat : 25947 (java) S 25931 25931 23654 0 -1 1077944384 2943 0 0 0 6 5 0 0 20 0 15 0 154367633 14387724288 129822 33554432000 4194304 4196468 140726676492544 140467875830832 140468770445954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
Current children cumulated CPU time: 250.08 s
Current children cumulated vsize: 14060024 KiB
Current children cumulated memory: 520672 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+235.901 s]
/proc/loadavg: 1.89 1.89 1.89 3/217 26028
/proc/meminfo: memFree=21349600/32770624 swapFree=67108860/67108860
[pid=25931] ppid=25928 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/25931/stat : 25931 (xcsp3-exec) S 25928 25931 23654 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154367626 9740288 346 33554432000 4194304 5098028 140724525872544 140724525870648 140687602479740 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39129088 140724525876340 140724525876544 140724525876544 140724525879275 0
/proc/25931/statm: 2378 346 289 221 0 87 0
[pid=25933] ppid=25931 vsize=14050512 memory=539844 CPUtime=264.02 cores=0,2,4,6
/proc/25933/stat : 25933 (java) S 25931 25931 23654 0 -1 1077944320 175688 0 0 0 26325 77 0 0 20 0 15 0 154367627 14387724288 134961 33554432000 4194304 4196468 140726676492544 140726676475088 140468770434807 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
/proc/25933/statm: 3512628 134961 3270 1 0 3499862 0
[pid=25933/tid=25934] ppid=25931 vsize=14050512 memory=537720 CPUtime=234.22 cores=0,2,4,6
/proc/25933/task/25934/stat : 25934 (java) R 25931 25931 23654 0 -1 4202560 15725 0 0 0 23415 7 0 0 20 0 15 0 154367627 14387724288 134961 33554432000 4194304 4196468 140726676492544 140468774674160 140468407982185 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25935] ppid=25931 vsize=14050512 memory=539844 CPUtime=1.37 cores=0,2,4,6
/proc/25933/task/25935/stat : 25935 (java) S 25931 25931 23654 0 -1 1077944384 1302 0 0 0 126 11 0 0 20 0 15 0 154367628 14387724288 134961 33554432000 4194304 4196468 140726676492544 140468723055120 140468770445013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25936] ppid=25931 vsize=14050512 memory=1384 CPUtime=1.37 cores=0,2,4,6
/proc/25933/task/25936/stat : 25936 (java) S 25931 25931 23654 0 -1 1077944384 1892 0 0 0 126 11 0 0 20 0 15 0 154367628 14387724288 134961 33554432000 4194304 4196468 140726676492544 140468722002576 140468770445013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25937] ppid=25931 vsize=14050512 memory=533624 CPUtime=1.37 cores=0,2,4,6
/proc/25933/task/25937/stat : 25937 (java) S 25931 25931 23654 0 -1 1077944384 1237 0 0 0 126 11 0 0 20 0 15 0 154367628 14387724288 134961 33554432000 4194304 4196468 140726676492544 140468720949520 140468770445013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25938] ppid=25931 vsize=14050512 memory=1384 CPUtime=1.37 cores=0,2,4,6
/proc/25933/task/25938/stat : 25938 (java) S 25931 25931 23654 0 -1 1077944384 1517 0 0 0 126 11 0 0 20 0 15 0 154367628 14387724288 134961 33554432000 4194304 4196468 140726676492544 140468719896976 140468770445013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25939] ppid=25931 vsize=14050512 memory=1384 CPUtime=0.13 cores=0,2,4,6
/proc/25933/task/25939/stat : 25939 (java) S 25931 25931 23654 0 -1 1077944384 1317 0 0 0 11 2 0 0 20 0 15 0 154367629 14387724288 134961 33554432000 4194304 4196468 140726676492544 140467884251888 140468770445954 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25940] ppid=25931 vsize=14050512 memory=4012 CPUtime=0 cores=0,2,4,6
/proc/25933/task/25940/stat : 25940 (java) S 25931 25931 23654 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 154367630 14387724288 134961 33554432000 4194304 4196468 140726676492544 140467883198176 140468770445013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25941] ppid=25931 vsize=14050512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/25933/task/25941/stat : 25941 (java) S 25931 25931 23654 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 154367630 14387724288 134961 33554432000 4194304 4196468 140726676492544 140467882145024 140468770445013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25942] ppid=25931 vsize=14050512 memory=531576 CPUtime=0 cores=0,2,4,6
/proc/25933/task/25942/stat : 25942 (java) S 25931 25931 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154367632 14387724288 134961 33554432000 4194304 4196468 140726676492544 140467881093584 140468770453403 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25943] ppid=25931 vsize=14050512 memory=1384 CPUtime=11.27 cores=0,2,4,6
/proc/25933/task/25943/stat : 25943 (java) S 25931 25931 23654 0 -1 1077944384 51515 0 0 0 1122 5 0 0 20 0 15 0 154367632 14387724288 134961 33554432000 4194304 4196468 140726676492544 140467880040688 140468770445954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25944] ppid=25931 vsize=14050512 memory=4012 CPUtime=11.85 cores=0,2,4,6
/proc/25933/task/25944/stat : 25944 (java) S 25931 25931 23654 0 -1 1077944384 85296 0 0 0 1176 9 0 0 20 0 15 0 154367632 14387724288 134961 33554432000 4194304 4196468 140726676492544 140467878988144 140468770445954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25945] ppid=25931 vsize=14050512 memory=2668 CPUtime=0.87 cores=0,2,4,6
/proc/25933/task/25945/stat : 25945 (java) S 25931 25931 23654 0 -1 1077944384 11593 0 0 0 84 3 0 0 20 0 15 0 154367632 14387724288 134961 33554432000 4194304 4196468 140726676492544 140467877935088 140468770445954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25946] ppid=25931 vsize=14050512 memory=4100 CPUtime=0 cores=0,2,4,6
/proc/25933/task/25946/stat : 25946 (java) S 25931 25931 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154367632 14387724288 134961 33554432000 4194304 4196468 140726676492544 140467876882784 140468770445013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25947] ppid=25931 vsize=14050512 memory=454736 CPUtime=0.11 cores=0,2,4,6
/proc/25933/task/25947/stat : 25947 (java) S 25931 25931 23654 0 -1 1077944384 2943 0 0 0 6 5 0 0 20 0 15 0 154367633 14387724288 134961 33554432000 4194304 4196468 140726676492544 140467875830832 140468770445954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
Current children cumulated CPU time: 264.02 s
Current children cumulated vsize: 14060024 KiB
Current children cumulated memory: 541228 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+235.91 s]
# the end of solver process 25931 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001894 s, system=0 s
[startup+235.921 s]
# the end of solver process 25933 was just reported to runsolver
# cumulated CPU time of all completed processes: user=263.269 s, system=0.783843 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+235.901 s]
/proc/loadavg: 1.89 1.89 1.89 3/217 26028
/proc/meminfo: memFree=21349600/32770624 swapFree=67108860/67108860
[pid=25931] ppid=25928 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/25931/stat : 25931 (xcsp3-exec) S 25928 25931 23654 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154367626 9740288 346 33554432000 4194304 5098028 140724525872544 140724525870648 140687602479740 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39129088 140724525876340 140724525876544 140724525876544 140724525879275 0
/proc/25931/statm: 2378 346 289 221 0 87 0
[pid=25933] ppid=25931 vsize=14050512 memory=539844 CPUtime=264.02 cores=0,2,4,6
/proc/25933/stat : 25933 (java) S 25931 25931 23654 0 -1 1077944320 175688 0 0 0 26325 77 0 0 20 0 15 0 154367627 14387724288 134961 33554432000 4194304 4196468 140726676492544 140726676475088 140468770434807 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
/proc/25933/statm: 3512628 134961 3270 1 0 3499862 0
[pid=25933/tid=25934] ppid=25931 vsize=14050512 memory=537720 CPUtime=234.22 cores=0,2,4,6
/proc/25933/task/25934/stat : 25934 (java) R 25931 25931 23654 0 -1 4202560 15725 0 0 0 23415 7 0 0 20 0 15 0 154367627 14387724288 134961 33554432000 4194304 4196468 140726676492544 140468774674160 140468407982185 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25935] ppid=25931 vsize=14050512 memory=539844 CPUtime=1.37 cores=0,2,4,6
/proc/25933/task/25935/stat : 25935 (java) S 25931 25931 23654 0 -1 1077944384 1302 0 0 0 126 11 0 0 20 0 15 0 154367628 14387724288 134961 33554432000 4194304 4196468 140726676492544 140468723055120 140468770445013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25936] ppid=25931 vsize=14050512 memory=1384 CPUtime=1.37 cores=0,2,4,6
/proc/25933/task/25936/stat : 25936 (java) S 25931 25931 23654 0 -1 1077944384 1892 0 0 0 126 11 0 0 20 0 15 0 154367628 14387724288 134961 33554432000 4194304 4196468 140726676492544 140468722002576 140468770445013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25937] ppid=25931 vsize=14050512 memory=533624 CPUtime=1.37 cores=0,2,4,6
/proc/25933/task/25937/stat : 25937 (java) S 25931 25931 23654 0 -1 1077944384 1237 0 0 0 126 11 0 0 20 0 15 0 154367628 14387724288 134961 33554432000 4194304 4196468 140726676492544 140468720949520 140468770445013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25938] ppid=25931 vsize=14050512 memory=1384 CPUtime=1.37 cores=0,2,4,6
/proc/25933/task/25938/stat : 25938 (java) S 25931 25931 23654 0 -1 1077944384 1517 0 0 0 126 11 0 0 20 0 15 0 154367628 14387724288 134961 33554432000 4194304 4196468 140726676492544 140468719896976 140468770445013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25939] ppid=25931 vsize=14050512 memory=1384 CPUtime=0.13 cores=0,2,4,6
/proc/25933/task/25939/stat : 25939 (java) S 25931 25931 23654 0 -1 1077944384 1317 0 0 0 11 2 0 0 20 0 15 0 154367629 14387724288 134961 33554432000 4194304 4196468 140726676492544 140467884251888 140468770445954 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25940] ppid=25931 vsize=14050512 memory=4012 CPUtime=0 cores=0,2,4,6
/proc/25933/task/25940/stat : 25940 (java) S 25931 25931 23654 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 154367630 14387724288 134961 33554432000 4194304 4196468 140726676492544 140467883198176 140468770445013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25941] ppid=25931 vsize=14050512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/25933/task/25941/stat : 25941 (java) S 25931 25931 23654 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 154367630 14387724288 134961 33554432000 4194304 4196468 140726676492544 140467882145024 140468770445013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25942] ppid=25931 vsize=14050512 memory=531576 CPUtime=0 cores=0,2,4,6
/proc/25933/task/25942/stat : 25942 (java) S 25931 25931 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154367632 14387724288 134961 33554432000 4194304 4196468 140726676492544 140467881093584 140468770453403 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25943] ppid=25931 vsize=14050512 memory=1384 CPUtime=11.27 cores=0,2,4,6
/proc/25933/task/25943/stat : 25943 (java) S 25931 25931 23654 0 -1 1077944384 51515 0 0 0 1122 5 0 0 20 0 15 0 154367632 14387724288 134961 33554432000 4194304 4196468 140726676492544 140467880040688 140468770445954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25944] ppid=25931 vsize=14050512 memory=4012 CPUtime=11.85 cores=0,2,4,6
/proc/25933/task/25944/stat : 25944 (java) S 25931 25931 23654 0 -1 1077944384 85296 0 0 0 1176 9 0 0 20 0 15 0 154367632 14387724288 134961 33554432000 4194304 4196468 140726676492544 140467878988144 140468770445954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25945] ppid=25931 vsize=14050512 memory=2668 CPUtime=0.87 cores=0,2,4,6
/proc/25933/task/25945/stat : 25945 (java) S 25931 25931 23654 0 -1 1077944384 11593 0 0 0 84 3 0 0 20 0 15 0 154367632 14387724288 134961 33554432000 4194304 4196468 140726676492544 140467877935088 140468770445954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25946] ppid=25931 vsize=14050512 memory=4100 CPUtime=0 cores=0,2,4,6
/proc/25933/task/25946/stat : 25946 (java) S 25931 25931 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154367632 14387724288 134961 33554432000 4194304 4196468 140726676492544 140467876882784 140468770445013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
[pid=25933/tid=25947] ppid=25931 vsize=14050512 memory=454736 CPUtime=0.11 cores=0,2,4,6
/proc/25933/task/25947/stat : 25947 (java) S 25931 25931 23654 0 -1 1077944384 2943 0 0 0 6 5 0 0 20 0 15 0 154367633 14387724288 134961 33554432000 4194304 4196468 140726676492544 140467875830832 140468770445954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36192256 140726676501661 140726676501836 140726676501836 140726676504527 0
Current children cumulated CPU time: 264.02 s
Current children cumulated vsize: 14060024 KiB
Current children cumulated memory: 541228 KiB
Child status: 143
Real time (s): 235.921
CPU time (s): 264.053
CPU user time (s): 263.269
CPU system time (s): 0.783843
CPU usage (%): 111.925
Max. virtual memory (cumulated for all children) (KiB): 14065568
Max. memory (cumulated for all children) (KiB): 541228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 263.269
system time used= 0.783843
maximum resident set size= 540448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 176609
page faults= 0
swaps= 0
block input operations= 0
block output operations= 384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11704
involuntary context switches= 488
# summary of solver processes directly reported to runsolver:
# pid: 25931,25933
# total CPU time (s): 264.053
# total CPU user time (s): 263.269
# total CPU system time (s): 0.783843
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.47211 second user time and 2.34041 second system time
The end