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 (9614 MiB free)
memory of node 1: 16384 MiB (9582 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394131-1568331910/watcher-4394131-1568331910 -o /tmp/evaluation-result-4394131-1568331910/solver-4394131-1568331910 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568329129-18218 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1253307178 HOME/instance-4394131-1568331910.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=29108, runsolver pid=29105
[startup+0.105452 s]*
/proc/loadavg: 7.54 8.02 7.72 6/234 29124
/proc/meminfo: memFree=19642016/32770624 swapFree=66959216/67108860
[pid=29108] ppid=29105 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29108/stat : 29108 (xcsp3-exec) S 29105 29108 18186 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409131192 115843072 363 33554432000 4194304 5098028 140723576493648 140723576491752 140110635074172 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 22241280 140723576497018 140723576497261 140723576497261 140723576500170 0
/proc/29108/statm: 28282 363 304 221 0 87 0
[pid=29110] ppid=29108 vsize=15144768 memory=29096 CPUtime=0.12 cores=1,3,5,7
/proc/29110/stat : 29110 (java) S 29108 29108 18186 0 -1 1077944320 5672 0 0 0 12 0 0 0 20 0 15 0 409131192 15508242432 7274 33554432000 4194304 4196468 140726886532672 140726886515216 139798455746295 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
/proc/29110/statm: 3786192 7274 3141 1 0 3748377 0
[pid=29110/tid=29111] ppid=29108 vsize=15144768 memory=-6962121287837372198 CPUtime=0.08 cores=1,3,5,7
/proc/29110/task/29111/stat : 29111 (java) R 29108 29108 18186 0 -1 4202560 3586 0 0 0 8 0 0 0 20 0 15 0 409131192 15508242432 7274 33554432000 4194304 4196468 140726886532672 139798459979072 139798048282764 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29112] ppid=29108 vsize=15144768 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/29110/task/29112/stat : 29112 (java) S 29108 29108 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409131193 15508242432 7274 33554432000 4194304 4196468 140726886532672 139798048139664 139798455756501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29113] ppid=29108 vsize=15144768 memory=139680621168256 CPUtime=0 cores=1,3,5,7
/proc/29110/task/29113/stat : 29113 (java) S 29108 29108 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409131193 15508242432 7274 33554432000 4194304 4196468 140726886532672 139798047086864 139798455756501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29114] ppid=29108 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29110/task/29114/stat : 29114 (java) S 29108 29108 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409131193 15508242432 7274 33554432000 4194304 4196468 140726886532672 139798046034576 139798455756501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29115] ppid=29108 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29110/task/29115/stat : 29115 (java) S 29108 29108 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409131193 15508242432 7274 33554432000 4194304 4196468 140726886532672 139798044981776 139798455756501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29116] ppid=29108 vsize=15144768 memory=139680621168256 CPUtime=0 cores=1,3,5,7
/proc/29110/task/29116/stat : 29116 (java) S 29108 29108 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409131194 15508242432 7274 33554432000 4194304 4196468 140726886532672 139797329857136 139798455757442 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29117] ppid=29108 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29110/task/29117/stat : 29117 (java) S 29108 29108 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409131195 15508242432 7274 33554432000 4194304 4196468 140726886532672 139797328803104 139798455756501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29118] ppid=29108 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29110/task/29118/stat : 29118 (java) S 29108 29108 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409131195 15508242432 7274 33554432000 4194304 4196468 140726886532672 139797327750768 139798455756501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29119] ppid=29108 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29110/task/29119/stat : 29119 (java) S 29108 29108 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409131197 15508242432 7274 33554432000 4194304 4196468 140726886532672 139797326699088 139798455764891 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29120] ppid=29108 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29110/task/29120/stat : 29120 (java) S 29108 29108 18186 0 -1 1077944384 427 0 0 0 0 0 0 0 20 0 15 0 409131197 15508242432 7274 33554432000 4194304 4196468 140726886532672 139797325645936 139798455757442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29121] ppid=29108 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29110/task/29121/stat : 29121 (java) S 29108 29108 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409131197 15508242432 7274 33554432000 4194304 4196468 140726886532672 139797324593136 139798455757442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29122] ppid=29108 vsize=15144768 memory=139680621168256 CPUtime=0.02 cores=1,3,5,7
/proc/29110/task/29122/stat : 29122 (java) R 29108 29108 18186 0 -1 4202560 353 0 0 0 2 0 0 0 20 0 15 0 409131197 15508242432 7274 33554432000 4194304 4196468 140726886532672 139797323540848 139798439929375 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29123] ppid=29108 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29110/task/29123/stat : 29123 (java) S 29108 29108 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409131198 15508242432 7274 33554432000 4194304 4196468 140726886532672 139797322488288 139798455756501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29124] ppid=29108 vsize=15144768 memory=139680621168256 CPUtime=0 cores=1,3,5,7
/proc/29110/task/29124/stat : 29124 (java) S 29108 29108 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409131199 15508242432 7274 33554432000 4194304 4196468 140726886532672 139797321436080 139798455757442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30548 KiB
[startup+0.210737 s]*
/proc/loadavg: 7.54 8.02 7.72 7/234 29124
/proc/meminfo: memFree=19632192/32770624 swapFree=66959216/67108860
[pid=29108] ppid=29105 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29108/stat : 29108 (xcsp3-exec) S 29105 29108 18186 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409131192 115843072 363 33554432000 4194304 5098028 140723576493648 140723576491752 140110635074172 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 22241280 140723576497018 140723576497261 140723576497261 140723576500170 0
/proc/29108/statm: 28282 363 304 221 0 87 0
[pid=29110] ppid=29108 vsize=15144768 memory=41076 CPUtime=0.33 cores=1,3,5,7
/proc/29110/stat : 29110 (java) S 29108 29108 18186 0 -1 1077944320 9427 0 0 0 31 2 0 0 20 0 15 0 409131192 15508242432 10269 33554432000 4194304 4196468 140726886532672 140726886515216 139798455746295 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
/proc/29110/statm: 3786192 10269 3309 1 0 3748377 0
[pid=29110/tid=29111] ppid=29108 vsize=15144768 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/29110/task/29111/stat : 29111 (java) R 29108 29108 18186 0 -1 4202560 6588 0 0 0 17 2 0 0 20 0 15 0 409131192 15508242432 10269 33554432000 4194304 4196468 140726886532672 139798459978208 139798439826782 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29112] ppid=29108 vsize=15144768 memory=1965945 CPUtime=0 cores=1,3,5,7
/proc/29110/task/29112/stat : 29112 (java) S 29108 29108 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409131193 15508242432 10269 33554432000 4194304 4196468 140726886532672 139798048139664 139798455756501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29113] ppid=29108 vsize=15144768 memory=4049212437525857952 CPUtime=0 cores=1,3,5,7
/proc/29110/task/29113/stat : 29113 (java) S 29108 29108 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409131193 15508242432 10269 33554432000 4194304 4196468 140726886532672 139798047086864 139798455756501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29114] ppid=29108 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29110/task/29114/stat : 29114 (java) S 29108 29108 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409131193 15508242432 10269 33554432000 4194304 4196468 140726886532672 139798046034576 139798455756501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29115] ppid=29108 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29110/task/29115/stat : 29115 (java) S 29108 29108 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409131193 15508242432 10269 33554432000 4194304 4196468 140726886532672 139798044981776 139798455756501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29116] ppid=29108 vsize=15144768 memory=139680621168256 CPUtime=0 cores=1,3,5,7
/proc/29110/task/29116/stat : 29116 (java) S 29108 29108 18186 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409131194 15508242432 10269 33554432000 4194304 4196468 140726886532672 139797329857136 139798455757442 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29117] ppid=29108 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29110/task/29117/stat : 29117 (java) S 29108 29108 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409131195 15508242432 10269 33554432000 4194304 4196468 140726886532672 139797328803104 139798455756501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29118] ppid=29108 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29110/task/29118/stat : 29118 (java) S 29108 29108 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409131195 15508242432 10269 33554432000 4194304 4196468 140726886532672 139797327750768 139798455756501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29119] ppid=29108 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29110/task/29119/stat : 29119 (java) S 29108 29108 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409131197 15508242432 10269 33554432000 4194304 4196468 140726886532672 139797326699088 139798455764891 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29120] ppid=29108 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/29110/task/29120/stat : 29120 (java) S 29108 29108 18186 0 -1 1077944384 670 0 0 0 2 0 0 0 20 0 15 0 409131197 15508242432 10269 33554432000 4194304 4196468 140726886532672 139797325645936 139798455757442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29121] ppid=29108 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/29110/task/29121/stat : 29121 (java) S 29108 29108 18186 0 -1 1077944384 118 0 0 0 2 0 0 0 20 0 15 0 409131197 15508242432 10269 33554432000 4194304 4196468 140726886532672 139797324593136 139798455757442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29122] ppid=29108 vsize=15144768 memory=139680621168256 CPUtime=0.07 cores=1,3,5,7
/proc/29110/task/29122/stat : 29122 (java) R 29108 29108 18186 0 -1 4202560 746 0 0 0 7 0 0 0 20 0 15 0 409131197 15508242432 10269 33554432000 4194304 4196468 140726886532672 139797323536800 139798434308307 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29123] ppid=29108 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29110/task/29123/stat : 29123 (java) S 29108 29108 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409131198 15508242432 10269 33554432000 4194304 4196468 140726886532672 139797322488288 139798455756501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29124] ppid=29108 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29110/task/29124/stat : 29124 (java) S 29108 29108 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409131199 15508242432 10269 33554432000 4194304 4196468 140726886532672 139797321436080 139798455757442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42528 KiB
[startup+0.310622 s]*
/proc/loadavg: 7.54 8.02 7.72 7/234 29124
/proc/meminfo: memFree=19627092/32770624 swapFree=66959216/67108860
[pid=29108] ppid=29105 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29108/stat : 29108 (xcsp3-exec) S 29105 29108 18186 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409131192 115843072 363 33554432000 4194304 5098028 140723576493648 140723576491752 140110635074172 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 22241280 140723576497018 140723576497261 140723576497261 140723576500170 0
/proc/29108/statm: 28282 363 304 221 0 87 0
[pid=29110] ppid=29108 vsize=15149024 memory=49656 CPUtime=0.52 cores=1,3,5,7
/proc/29110/stat : 29110 (java) S 29108 29108 18186 0 -1 1077944320 10742 0 0 0 49 3 0 0 20 0 15 0 409131192 15512600576 12414 33554432000 4194304 4196468 140726886532672 140726886515216 139798455746295 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
/proc/29110/statm: 3787256 12414 3358 1 0 3748377 0
[pid=29110/tid=29111] ppid=29108 vsize=15149024 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/29110/task/29111/stat : 29111 (java) R 29108 29108 18186 0 -1 4202560 7685 0 0 0 27 2 0 0 20 0 15 0 409131192 15512600576 12414 33554432000 4194304 4196468 140726886532672 139798459977408 139798439826782 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29112] ppid=29108 vsize=15149024 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/29110/task/29112/stat : 29112 (java) S 29108 29108 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409131193 15512600576 12414 33554432000 4194304 4196468 140726886532672 139798048139664 139798455756501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29113] ppid=29108 vsize=15149024 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/29110/task/29113/stat : 29113 (java) S 29108 29108 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409131193 15512600576 12414 33554432000 4194304 4196468 140726886532672 139798047086864 139798455756501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29114] ppid=29108 vsize=15149024 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/29110/task/29114/stat : 29114 (java) S 29108 29108 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409131193 15512600576 12414 33554432000 4194304 4196468 140726886532672 139798046034576 139798455756501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29115] ppid=29108 vsize=15149024 memory=4572146057552828020 CPUtime=0 cores=1,3,5,7
/proc/29110/task/29115/stat : 29115 (java) S 29108 29108 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409131193 15512600576 12414 33554432000 4194304 4196468 140726886532672 139798044981776 139798455756501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29116] ppid=29108 vsize=15149024 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/29110/task/29116/stat : 29116 (java) S 29108 29108 18186 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409131194 15512600576 12414 33554432000 4194304 4196468 140726886532672 139797329857136 139798455757442 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29117] ppid=29108 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/29110/task/29117/stat : 29117 (java) S 29108 29108 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409131195 15512600576 12414 33554432000 4194304 4196468 140726886532672 139797328803104 139798455756501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29118] ppid=29108 vsize=15149024 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/29110/task/29118/stat : 29118 (java) S 29108 29108 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409131195 15512600576 12414 33554432000 4194304 4196468 140726886532672 139797327750768 139798455756501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29119] ppid=29108 vsize=15149024 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/29110/task/29119/stat : 29119 (java) S 29108 29108 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409131197 15512600576 12414 33554432000 4194304 4196468 140726886532672 139797326699088 139798455764891 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29120] ppid=29108 vsize=15149024 memory=4426078206164241782 CPUtime=0.04 cores=1,3,5,7
/proc/29110/task/29120/stat : 29120 (java) R 29108 29108 18186 0 -1 4202560 789 0 0 0 4 0 0 0 20 0 15 0 409131197 15512600576 12414 33554432000 4194304 4196468 140726886532672 139797325626952 139798439229745 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29121] ppid=29108 vsize=15149024 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/29110/task/29121/stat : 29121 (java) S 29108 29108 18186 0 -1 1077944384 138 0 0 0 4 0 0 0 20 0 15 0 409131197 15512600576 12414 33554432000 4194304 4196468 140726886532672 139797324593136 139798455757442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29122] ppid=29108 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/29110/task/29122/stat : 29122 (java) R 29108 29108 18186 0 -1 4202560 827 0 0 0 12 0 0 0 20 0 15 0 409131197 15512600576 12414 33554432000 4194304 4196468 140726886532672 139797323540848 139798434380155 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29123] ppid=29108 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29110/task/29123/stat : 29123 (java) S 29108 29108 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409131198 15512600576 12414 33554432000 4194304 4196468 140726886532672 139797322488288 139798455756501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29124] ppid=29108 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29110/task/29124/stat : 29124 (java) S 29108 29108 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409131199 15512600576 12414 33554432000 4194304 4196468 140726886532672 139797321436080 139798455757442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51108 KiB
[startup+0.701443 s]
/proc/loadavg: 7.54 8.02 7.72 11/237 29176
/proc/meminfo: memFree=19516024/32770624 swapFree=66959216/67108860
[pid=29108] ppid=29105 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29108/stat : 29108 (xcsp3-exec) S 29105 29108 18186 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409131192 115843072 363 33554432000 4194304 5098028 140723576493648 140723576491752 140110635074172 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 22241280 140723576497018 140723576497261 140723576497261 140723576500170 0
/proc/29108/statm: 28282 363 304 221 0 87 0
[pid=29110] ppid=29108 vsize=15618124 memory=185972 CPUtime=1.65 cores=1,3,5,7
/proc/29110/stat : 29110 (java) S 29108 29108 18186 0 -1 1077944320 18162 0 0 0 156 9 0 0 20 0 19 0 409131192 15992958976 46493 33554432000 4194304 4196468 140726886532672 140726886515216 139798455746295 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
/proc/29110/statm: 3904531 46493 3465 1 0 3865633 0
[pid=29110/tid=29111] ppid=29108 vsize=15618124 memory=33 CPUtime=0.45 cores=1,3,5,7
/proc/29110/task/29111/stat : 29111 (java) S 29108 29108 18186 0 -1 1077944384 9028 0 0 0 42 3 0 0 20 0 19 0 409131192 15992958976 46493 33554432000 4194304 4196468 140726886532672 139798459987072 139798455756501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29112] ppid=29108 vsize=15618124 memory=-7816663703405220396 CPUtime=0 cores=1,3,5,7
/proc/29110/task/29112/stat : 29112 (java) S 29108 29108 18186 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 19 0 409131193 15992958976 46493 33554432000 4194304 4196468 140726886532672 139798048139664 139798455756501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29113] ppid=29108 vsize=15618124 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29110/task/29113/stat : 29113 (java) S 29108 29108 18186 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 409131193 15992958976 46493 33554432000 4194304 4196468 140726886532672 139798047086864 139798455756501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29114] ppid=29108 vsize=15618124 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29110/task/29114/stat : 29114 (java) S 29108 29108 18186 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 19 0 409131193 15992958976 46493 33554432000 4194304 4196468 140726886532672 139798046034576 139798455756501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29115] ppid=29108 vsize=15618124 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29110/task/29115/stat : 29115 (java) S 29108 29108 18186 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 19 0 409131193 15992958976 46493 33554432000 4194304 4196468 140726886532672 139798044981776 139798455756501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29116] ppid=29108 vsize=15618124 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29110/task/29116/stat : 29116 (java) S 29108 29108 18186 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 19 0 409131194 15992958976 46493 33554432000 4194304 4196468 140726886532672 139797329857136 139798455757442 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29117] ppid=29108 vsize=15618124 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29110/task/29117/stat : 29117 (java) S 29108 29108 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 409131195 15992958976 46493 33554432000 4194304 4196468 140726886532672 139797328803104 139798455756501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29118] ppid=29108 vsize=15618124 memory=1660 CPUtime=0 cores=1,3,5,7
/proc/29110/task/29118/stat : 29118 (java) S 29108 29108 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 409131195 15992958976 46493 33554432000 4194304 4196468 140726886532672 139797327750784 139798455756501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29119] ppid=29108 vsize=15618124 memory=38324 CPUtime=0 cores=1,3,5,7
/proc/29110/task/29119/stat : 29119 (java) S 29108 29108 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409131197 15992958976 46493 33554432000 4194304 4196468 140726886532672 139797326699088 139798455764891 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29120] ppid=29108 vsize=15618124 memory=988 CPUtime=0.25 cores=1,3,5,7
/proc/29110/task/29120/stat : 29120 (java) R 29108 29108 18186 0 -1 4202560 1616 0 0 0 25 0 0 0 20 0 19 0 409131197 15992958976 46493 33554432000 4194304 4196468 140726886532672 139797325636912 139798448035677 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29121] ppid=29108 vsize=15618124 memory=2008 CPUtime=0.28 cores=1,3,5,7
/proc/29110/task/29121/stat : 29121 (java) R 29108 29108 18186 0 -1 4202560 1198 0 0 0 28 0 0 0 20 0 19 0 409131197 15992958976 46493 33554432000 4194304 4196468 140726886532672 139797324580256 139798439157088 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29122] ppid=29108 vsize=15618124 memory=1436 CPUtime=0.3 cores=1,3,5,7
/proc/29110/task/29122/stat : 29122 (java) S 29108 29108 18186 0 -1 1077944384 1755 0 0 0 30 0 0 0 20 0 19 0 409131197 15992958976 46493 33554432000 4194304 4196468 140726886532672 139797323540848 139798455757442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29123] ppid=29108 vsize=15618124 memory=580 CPUtime=0 cores=1,3,5,7
/proc/29110/task/29123/stat : 29123 (java) S 29108 29108 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409131198 15992958976 46493 33554432000 4194304 4196468 140726886532672 139797322488288 139798455756501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29124] ppid=29108 vsize=15618124 memory=1720 CPUtime=0 cores=1,3,5,7
/proc/29110/task/29124/stat : 29124 (java) S 29108 29108 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 409131199 15992958976 46493 33554432000 4194304 4196468 140726886532672 139797321436080 139798455757442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
Current children cumulated CPU time: 1.65 s
Current children cumulated vsize: 15731252 KiB
Current children cumulated memory: 187424 KiB
[startup+1.50244 s]
/proc/loadavg: 7.54 8.02 7.72 13/238 29344
/proc/meminfo: memFree=19475652/32770624 swapFree=66959216/67108860
[pid=29108] ppid=29105 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29108/stat : 29108 (xcsp3-exec) S 29105 29108 18186 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409131192 115843072 363 33554432000 4194304 5098028 140723576493648 140723576491752 140110635074172 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 22241280 140723576497018 140723576497261 140723576497261 140723576500170 0
/proc/29108/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/29110/task/29388/stat : 29388 (java) R 29108 29108 18186 0 -1 4202560 21 0 0 0 167 0 0 0 20 0 19 0 409131320 16060067840 50115 33554432000 4194304 4196468 140726886532672 139797308015048 139798051696791 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
Current children cumulated CPU time: 11.1 s
Current children cumulated vsize: 15796788 KiB
Current children cumulated memory: 201912 KiB
[startup+6.30144 s]
/proc/loadavg: 7.73 8.06 7.74 9/239 29390
/proc/meminfo: memFree=19472060/32770624 swapFree=66959216/67108860
[pid=29108] ppid=29105 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29108/stat : 29108 (xcsp3-exec) S 29105 29108 18186 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409131192 115843072 363 33554432000 4194304 5098028 140723576493648 140723576491752 140110635074172 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 22241280 140723576497018 140723576497261 140723576497261 140723576500170 0
/proc/29108/statm: 28282 363 304 221 0 87 0
[pid=29110] ppid=29108 vsize=15683660 memory=200036 CPUtime=22.94 cores=1,3,5,7
/proc/29110/stat : 29110 (java) S 29108 29108 18186 0 -1 1077944320 28822 0 0 0 2281 13 0 0 20 0 19 0 409131192 16060067840 50009 33554432000 4194304 4196468 140726886532672 140726886515216 139798455746295 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
/proc/29110/statm: 3920915 50009 3513 1 0 3882017 0
[pid=29110/tid=29111] ppid=29108 vsize=15683660 memory=38324 CPUtime=0.45 cores=1,3,5,7
/proc/29110/task/29111/stat : 29111 (java) S 29108 29108 18186 0 -1 1077944384 9028 0 0 0 42 3 0 0 20 0 19 0 409131192 16060067840 50009 33554432000 4194304 4196468 140726886532672 139798459987072 139798455756501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29112] ppid=29108 vsize=15683660 memory=988 CPUtime=0.01 cores=1,3,5,7
/proc/29110/task/29112/stat : 29112 (java) S 29108 29108 18186 0 -1 1077944384 211 0 0 0 1 0 0 0 20 0 19 0 409131193 16060067840 50009 33554432000 4194304 4196468 140726886532672 139798048139664 139798455756501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29113] ppid=29108 vsize=15683660 memory=2008 CPUtime=0.01 cores=1,3,5,7
/proc/29110/task/29113/stat : 29113 (java) S 29108 29108 18186 0 -1 1077944384 131 0 0 0 1 0 0 0 20 0 19 0 409131193 16060067840 50009 33554432000 4194304 4196468 140726886532672 139798047086864 139798455756501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29114] ppid=29108 vsize=15683660 memory=6655300316396806240 CPUtime=0.01 cores=1,3,5,7
/proc/29110/task/29114/stat : 29114 (java) S 29108 29108 18186 0 -1 1077944384 77 0 0 0 1 0 0 0 20 0 19 0 409131193 16060067840 50009 33554432000 4194304 4196468 140726886532672 139798046034576 139798455756501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29115] ppid=29108 vsize=15683660 memory=-3252517613199061085 CPUtime=0.01 cores=1,3,5,7
/proc/29110/task/29115/stat : 29115 (java) S 29108 29108 18186 0 -1 1077944384 381 0 0 0 1 0 0 0 20 0 19 0 409131193 16060067840 50009 33554432000 4194304 4196468 140726886532672 139798044981776 139798455756501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29116] ppid=29108 vsize=15683660 memory=-3252517613199061085 CPUtime=0.01 cores=1,3,5,7
/proc/29110/task/29116/stat : 29116 (java) S 29108 29108 18186 0 -1 1077944384 322 0 0 0 1 0 0 0 20 0 19 0 409131194 16060067840 50009 33554432000 4194304 4196468 140726886532672 139797329857136 139798455757442 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29117] ppid=29108 vsize=15683660 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29110/task/29117/stat : 29117 (java) S 29108 29108 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 409131195 16060067840 50009 33554432000 4194304 4196468 140726886532672 139797328803168 139798455756501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29118] ppid=29108 vsize=15683660 memory=5787213827363856448 CPUtime=0 cores=1,3,5,7
/proc/29110/task/29118/stat : 29118 (java) S 29108 29108 18186 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 409131195 16060067840 50009 33554432000 4194304 4196468 140726886532672 139797327750784 139798455756501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29119] ppid=29108 vsize=15683660 memory=7649399384214419762 CPUtime=0 cores=1,3,5,7
/proc/29110/task/29119/stat : 29119 (java) S 29108 29108 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409131197 16060067840 50009 33554432000 4194304 4196468 140726886532672 139797326699088 139798455764891 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29120] ppid=29108 vsize=15683660 memory=0 CPUtime=0.99 cores=1,3,5,7
/proc/29110/task/29120/stat : 29120 (java) S 29108 29108 18186 0 -1 1077944384 4154 0 0 0 99 0 0 0 20 0 19 0 409131197 16060067840 50009 33554432000 4194304 4196468 140726886532672 139797325645936 139798455757442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29121] ppid=29108 vsize=15683660 memory=1452 CPUtime=1.09 cores=1,3,5,7
/proc/29110/task/29121/stat : 29121 (java) S 29108 29108 18186 0 -1 1077944384 3884 0 0 0 108 1 0 0 20 0 19 0 409131197 16060067840 50009 33554432000 4194304 4196468 140726886532672 139797324593136 139798455757442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29122] ppid=29108 vsize=15683660 memory=1452 CPUtime=0.44 cores=1,3,5,7
/proc/29110/task/29122/stat : 29122 (java) S 29108 29108 18186 0 -1 1077944384 3456 0 0 0 44 0 0 0 20 0 19 0 409131197 16060067840 50009 33554432000 4194304 4196468 140726886532672 139797323540848 139798455757442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29123] ppid=29108 vsize=15683660 memory=201580 CPUtime=0 cores=1,3,5,7
/proc/29110/task/29123/stat : 29123 (java) S 29108 29108 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409131198 16060067840 50009 33554432000 4194304 4196468 140726886532672 139797322488288 139798455756501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29124] ppid=29108 vsize=15683660 memory=1660 CPUtime=0 cores=1,3,5,7
/proc/29110/task/29124/stat : 29124 (java) S 29108 29108 18186 0 -1 1077944384 225 0 0 0 0 0 0 0 20 0 19 0 409131199 16060067840 50009 33554432000 4194304 4196468 140726886532672 139797321436080 139798455757442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 25 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29385] ppid=29108 vsize=15683660 memory=38324 CPUtime=4.56 cores=1,3,5,7
/proc/29110/task/29385/stat : 29385 (java) R 29108 29108 18186 0 -1 4202560 102 0 0 0 456 0 0 0 20 0 19 0 409131320 16060067840 50009 33554432000 4194304 4196468 140726886532672 139797306961240 139798440957432 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29386] ppid=29108 vsize=15683660 memory=0 CPUtime=4.6 cores=1,3,5,7
/proc/29110/task/29386/stat : 29386 (java) R 29108 29108 18186 0 -1 4202560 248 0 0 0 460 0 0 0 20 0 19 0 409131320 16060067840 50009 33554432000 4194304 4196468 140726886532672 139797309069344 139798053367184 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29387] ppid=29108 vsize=15683660 memory=279361047494896 CPUtime=4.55 cores=1,3,5,7
/proc/29110/task/29387/stat : 29387 (java) R 29108 29108 18186 0 -1 4202560 376 0 0 0 455 0 0 0 20 0 19 0 409131320 16060067840 50009 33554432000 4194304 4196468 140726886532672 139797312225720 139798049190005 0 4 0 16800975 0 0 0 -1 1 0 0 24 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29388] ppid=29108 vsize=15683660 memory=4120846681254395936 CPUtime=4.6 cores=1,3,5,7
/proc/29110/task/29388/stat : 29388 (java) R 29108 29108 18186 0 -1 4202560 226 0 0 0 460 0 0 0 20 0 19 0 409131320 16060067840 50009 33554432000 4194304 4196468 140726886532672 139797308014584 139798052097119 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
Current children cumulated CPU time: 22.94 s
Current children cumulated vsize: 15796788 KiB
Current children cumulated memory: 201488 KiB
[startup+6.67557 s]
# the end of solver process 29108 was just reported to runsolver
# cumulated CPU time of all completed processes: user=24.2433 s, system=0.145163 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40144 s]
/proc/loadavg: 7.73 8.06 7.74 9/239 29390
/proc/meminfo: memFree=19472060/32770624 swapFree=66959216/67108860
[pid=29108] ppid=29105 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29108/stat : 29108 (xcsp3-exec) S 29105 29108 18186 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409131192 115843072 363 33554432000 4194304 5098028 140723576493648 140723576491752 140110635074172 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 22241280 140723576497018 140723576497261 140723576497261 140723576500170 0
/proc/29108/statm: 28282 363 304 221 0 87 0
[pid=29110] ppid=29108 vsize=15683660 memory=200036 CPUtime=23.34 cores=1,3,5,7
/proc/29110/stat : 29110 (java) S 29108 29108 18186 0 -1 1077944320 28822 0 0 0 2321 13 0 0 20 0 19 0 409131192 16060067840 50009 33554432000 4194304 4196468 140726886532672 140726886515216 139798455746295 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
/proc/29110/statm: 3920915 50009 3513 1 0 3882017 0
[pid=29110/tid=29111] ppid=29108 vsize=15683660 memory=6943526294502006880 CPUtime=0.45 cores=1,3,5,7
/proc/29110/task/29111/stat : 29111 (java) S 29108 29108 18186 0 -1 1077944384 9028 0 0 0 42 3 0 0 20 0 19 0 409131192 16060067840 50009 33554432000 4194304 4196468 140726886532672 139798459987072 139798455756501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29112] ppid=29108 vsize=15683660 memory=6656426216303648864 CPUtime=0.01 cores=1,3,5,7
/proc/29110/task/29112/stat : 29112 (java) S 29108 29108 18186 0 -1 1077944384 211 0 0 0 1 0 0 0 20 0 19 0 409131193 16060067840 50009 33554432000 4194304 4196468 140726886532672 139798048139664 139798455756501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29113] ppid=29108 vsize=15683660 memory=-6944672133998927705 CPUtime=0.01 cores=1,3,5,7
/proc/29110/task/29113/stat : 29113 (java) S 29108 29108 18186 0 -1 1077944384 131 0 0 0 1 0 0 0 20 0 19 0 409131193 16060067840 50009 33554432000 4194304 4196468 140726886532672 139798047086864 139798455756501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29114] ppid=29108 vsize=15683660 memory=8041606453839231804 CPUtime=0.01 cores=1,3,5,7
/proc/29110/task/29114/stat : 29114 (java) S 29108 29108 18186 0 -1 1077944384 77 0 0 0 1 0 0 0 20 0 19 0 409131193 16060067840 50009 33554432000 4194304 4196468 140726886532672 139798046034576 139798455756501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29115] ppid=29108 vsize=15683660 memory=6944657691966988345 CPUtime=0.01 cores=1,3,5,7
/proc/29110/task/29115/stat : 29115 (java) S 29108 29108 18186 0 -1 1077944384 381 0 0 0 1 0 0 0 20 0 19 0 409131193 16060067840 50009 33554432000 4194304 4196468 140726886532672 139798044981776 139798455756501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29116] ppid=29108 vsize=15683660 memory=33 CPUtime=0.01 cores=1,3,5,7
/proc/29110/task/29116/stat : 29116 (java) S 29108 29108 18186 0 -1 1077944384 322 0 0 0 1 0 0 0 20 0 19 0 409131194 16060067840 50009 33554432000 4194304 4196468 140726886532672 139797329857136 139798455757442 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29117] ppid=29108 vsize=15683660 memory=6944656575208382512 CPUtime=0 cores=1,3,5,7
/proc/29110/task/29117/stat : 29117 (java) S 29108 29108 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 409131195 16060067840 50009 33554432000 4194304 4196468 140726886532672 139797328803168 139798455756501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29118] ppid=29108 vsize=15683660 memory=6944656592387989552 CPUtime=0 cores=1,3,5,7
/proc/29110/task/29118/stat : 29118 (java) S 29108 29108 18186 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 409131195 16060067840 50009 33554432000 4194304 4196468 140726886532672 139797327750784 139798455756501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29119] ppid=29108 vsize=15683660 memory=6944656592455097392 CPUtime=0 cores=1,3,5,7
/proc/29110/task/29119/stat : 29119 (java) S 29108 29108 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409131197 16060067840 50009 33554432000 4194304 4196468 140726886532672 139797326699088 139798455764891 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29120] ppid=29108 vsize=15683660 memory=6944656592455360560 CPUtime=0.99 cores=1,3,5,7
/proc/29110/task/29120/stat : 29120 (java) S 29108 29108 18186 0 -1 1077944384 4154 0 0 0 99 0 0 0 20 0 19 0 409131197 16060067840 50009 33554432000 4194304 4196468 140726886532672 139797325645936 139798455757442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29121] ppid=29108 vsize=15683660 memory=-8253362762723129035 CPUtime=1.09 cores=1,3,5,7
/proc/29110/task/29121/stat : 29121 (java) S 29108 29108 18186 0 -1 1077944384 3884 0 0 0 108 1 0 0 20 0 19 0 409131197 16060067840 50009 33554432000 4194304 4196468 140726886532672 139797324593136 139798455757442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29122] ppid=29108 vsize=15683660 memory=8108313806661626434 CPUtime=0.44 cores=1,3,5,7
/proc/29110/task/29122/stat : 29122 (java) S 29108 29108 18186 0 -1 1077944384 3456 0 0 0 44 0 0 0 20 0 19 0 409131197 16060067840 50009 33554432000 4194304 4196468 140726886532672 139797323540848 139798455757442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29123] ppid=29108 vsize=15683660 memory=-8412660974192725395 CPUtime=0 cores=1,3,5,7
/proc/29110/task/29123/stat : 29123 (java) S 29108 29108 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409131198 16060067840 50009 33554432000 4194304 4196468 140726886532672 139797322488288 139798455756501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29124] ppid=29108 vsize=15683660 memory=4137836585117644298 CPUtime=0 cores=1,3,5,7
/proc/29110/task/29124/stat : 29124 (java) S 29108 29108 18186 0 -1 1077944384 225 0 0 0 0 0 0 0 20 0 19 0 409131199 16060067840 50009 33554432000 4194304 4196468 140726886532672 139797321436080 139798455757442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 25 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29385] ppid=29108 vsize=15683660 memory=8254383616069825332 CPUtime=4.66 cores=1,3,5,7
/proc/29110/task/29385/stat : 29385 (java) R 29108 29108 18186 0 -1 4202560 102 0 0 0 466 0 0 0 20 0 19 0 409131320 16060067840 50009 33554432000 4194304 4196468 140726886532672 139797306961240 139798051918868 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29386] ppid=29108 vsize=15683660 memory=4655 CPUtime=4.7 cores=1,3,5,7
/proc/29110/task/29386/stat : 29386 (java) R 29108 29108 18186 0 -1 4202560 248 0 0 0 470 0 0 0 20 0 19 0 409131320 16060067840 50009 33554432000 4194304 4196468 140726886532672 139797309069344 139798053367215 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29387] ppid=29108 vsize=15683660 memory=27892 CPUtime=4.65 cores=1,3,5,7
/proc/29110/task/29387/stat : 29387 (java) R 29108 29108 18186 0 -1 4202560 376 0 0 0 465 0 0 0 20 0 19 0 409131320 16060067840 50009 33554432000 4194304 4196468 140726886532672 139797312225720 139798051786896 0 4 0 16800975 0 0 0 -1 1 0 0 24 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29388] ppid=29108 vsize=15683660 memory=139680523802810 CPUtime=4.7 cores=1,3,5,7
/proc/29110/task/29388/stat : 29388 (java) R 29108 29108 18186 0 -1 4202560 226 0 0 0 470 0 0 0 20 0 19 0 409131320 16060067840 50009 33554432000 4194304 4196468 140726886532672 139797308014584 139798052020851 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
Current children cumulated CPU time: 23.34 s
Current children cumulated vsize: 15796788 KiB
Current children cumulated memory: 201488 KiB
[startup+6.60144 s]
/proc/loadavg: 7.73 8.06 7.74 9/239 29390
/proc/meminfo: memFree=19472060/32770624 swapFree=66959216/67108860
[pid=29108] ppid=29105 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29108/stat : 29108 (xcsp3-exec) S 29105 29108 18186 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409131192 115843072 363 33554432000 4194304 5098028 140723576493648 140723576491752 140110635074172 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 22241280 140723576497018 140723576497261 140723576497261 140723576500170 0
/proc/29108/statm: 28282 363 304 221 0 87 0
[pid=29110] ppid=29108 vsize=15683660 memory=200036 CPUtime=24.14 cores=1,3,5,7
/proc/29110/stat : 29110 (java) S 29108 29108 18186 0 -1 1077944320 28830 0 0 0 2401 13 0 0 20 0 19 0 409131192 16060067840 50009 33554432000 4194304 4196468 140726886532672 140726886515216 139798455746295 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
/proc/29110/statm: 3920915 50009 3513 1 0 3882017 0
[pid=29110/tid=29111] ppid=29108 vsize=15683660 memory=0 CPUtime=0.45 cores=1,3,5,7
/proc/29110/task/29111/stat : 29111 (java) S 29108 29108 18186 0 -1 1077944384 9028 0 0 0 42 3 0 0 20 0 19 0 409131192 16060067840 50009 33554432000 4194304 4196468 140726886532672 139798459987072 139798455756501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29112] ppid=29108 vsize=15683660 memory=7308895142485716329 CPUtime=0.01 cores=1,3,5,7
/proc/29110/task/29112/stat : 29112 (java) S 29108 29108 18186 0 -1 1077944384 211 0 0 0 1 0 0 0 20 0 19 0 409131193 16060067840 50009 33554432000 4194304 4196468 140726886532672 139798048139664 139798455756501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29113] ppid=29108 vsize=15683660 memory=8028067006430866029 CPUtime=0.01 cores=1,3,5,7
/proc/29110/task/29113/stat : 29113 (java) S 29108 29108 18186 0 -1 1077944384 131 0 0 0 1 0 0 0 20 0 19 0 409131193 16060067840 50009 33554432000 4194304 4196468 140726886532672 139798047086864 139798455756501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29114] ppid=29108 vsize=15683660 memory=279361047889092 CPUtime=0.01 cores=1,3,5,7
/proc/29110/task/29114/stat : 29114 (java) S 29108 29108 18186 0 -1 1077944384 77 0 0 0 1 0 0 0 20 0 19 0 409131193 16060067840 50009 33554432000 4194304 4196468 140726886532672 139798046034576 139798455756501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29115] ppid=29108 vsize=15683660 memory=-7737605721172012177 CPUtime=0.01 cores=1,3,5,7
/proc/29110/task/29115/stat : 29115 (java) S 29108 29108 18186 0 -1 1077944384 383 0 0 0 1 0 0 0 20 0 19 0 409131193 16060067840 50009 33554432000 4194304 4196468 140726886532672 139798044981776 139798455756501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29116] ppid=29108 vsize=15683660 memory=1966246 CPUtime=0.01 cores=1,3,5,7
/proc/29110/task/29116/stat : 29116 (java) S 29108 29108 18186 0 -1 1077944384 322 0 0 0 1 0 0 0 20 0 19 0 409131194 16060067840 50009 33554432000 4194304 4196468 140726886532672 139797329857136 139798455757442 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29117] ppid=29108 vsize=15683660 memory=2967296 CPUtime=0 cores=1,3,5,7
/proc/29110/task/29117/stat : 29117 (java) S 29108 29108 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 409131195 16060067840 50009 33554432000 4194304 4196468 140726886532672 139797328803168 139798455756501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29118] ppid=29108 vsize=15683660 memory=6297835844906604903 CPUtime=0 cores=1,3,5,7
/proc/29110/task/29118/stat : 29118 (java) S 29108 29108 18186 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 409131195 16060067840 50009 33554432000 4194304 4196468 140726886532672 139797327750784 139798455756501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29119] ppid=29108 vsize=15683660 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/29110/task/29119/stat : 29119 (java) S 29108 29108 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409131197 16060067840 50009 33554432000 4194304 4196468 140726886532672 139797326699088 139798455764891 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29120] ppid=29108 vsize=15683660 memory=580 CPUtime=0.99 cores=1,3,5,7
/proc/29110/task/29120/stat : 29120 (java) S 29108 29108 18186 0 -1 1077944384 4154 0 0 0 99 0 0 0 20 0 19 0 409131197 16060067840 50009 33554432000 4194304 4196468 140726886532672 139797325645936 139798455757442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29121] ppid=29108 vsize=15683660 memory=1720 CPUtime=1.09 cores=1,3,5,7
/proc/29110/task/29121/stat : 29121 (java) S 29108 29108 18186 0 -1 1077944384 3884 0 0 0 108 1 0 0 20 0 19 0 409131197 16060067840 50009 33554432000 4194304 4196468 140726886532672 139797324593136 139798455757442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29122] ppid=29108 vsize=15683660 memory=10604 CPUtime=0.44 cores=1,3,5,7
/proc/29110/task/29122/stat : 29122 (java) S 29108 29108 18186 0 -1 1077944384 3456 0 0 0 44 0 0 0 20 0 19 0 409131197 16060067840 50009 33554432000 4194304 4196468 140726886532672 139797323540848 139798455757442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29123] ppid=29108 vsize=15683660 memory=3360 CPUtime=0 cores=1,3,5,7
/proc/29110/task/29123/stat : 29123 (java) S 29108 29108 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409131198 16060067840 50009 33554432000 4194304 4196468 140726886532672 139797322488288 139798455756501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29124] ppid=29108 vsize=15683660 memory=776 CPUtime=0 cores=1,3,5,7
/proc/29110/task/29124/stat : 29124 (java) S 29108 29108 18186 0 -1 1077944384 225 0 0 0 0 0 0 0 20 0 19 0 409131199 16060067840 50009 33554432000 4194304 4196468 140726886532672 139797321436080 139798455757442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 25 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29385] ppid=29108 vsize=15683660 memory=1564 CPUtime=4.86 cores=1,3,5,7
/proc/29110/task/29385/stat : 29385 (java) R 29108 29108 18186 0 -1 4202560 103 0 0 0 486 0 0 0 20 0 19 0 409131320 16060067840 50009 33554432000 4194304 4196468 140726886532672 139797306961320 139798051787887 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29386] ppid=29108 vsize=15683660 memory=5964 CPUtime=4.9 cores=1,3,5,7
/proc/29110/task/29386/stat : 29386 (java) R 29108 29108 18186 0 -1 4202560 249 0 0 0 490 0 0 0 20 0 19 0 409131320 16060067840 50009 33554432000 4194304 4196468 140726886532672 139797309067288 139798052405347 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29387] ppid=29108 vsize=15683660 memory=1060 CPUtime=4.84 cores=1,3,5,7
/proc/29110/task/29387/stat : 29387 (java) R 29108 29108 18186 0 -1 4202560 378 0 0 0 484 0 0 0 20 0 19 0 409131320 16060067840 50009 33554432000 4194304 4196468 140726886532672 139797312228176 139798052218810 0 4 0 16800975 0 0 0 -1 7 0 0 24 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
[pid=29110/tid=29388] ppid=29108 vsize=15683660 memory=2828 CPUtime=4.9 cores=1,3,5,7
/proc/29110/task/29388/stat : 29388 (java) R 29108 29108 18186 0 -1 4202560 228 0 0 0 490 0 0 0 20 0 19 0 409131320 16060067840 50009 33554432000 4194304 4196468 140726886532672 139797308014448 139798049171776 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13266944 140726886540271 140726886540442 140726886540442 140726886543311 0
Current children cumulated CPU time: 24.14 s
Current children cumulated vsize: 15796788 KiB
Current children cumulated memory: 201488 KiB
Child status: 0
Real time (s): 6.67563
CPU time (s): 24.3884
CPU user time (s): 24.2433
CPU system time (s): 0.145163
CPU usage (%): 365.335
Max. virtual memory (cumulated for all children) (KiB): 15796788
Max. memory (cumulated for all children) (KiB): 205960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.2433
system time used= 0.145163
maximum resident set size= 206560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29735
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3824
involuntary context switches= 799
# summary of solver processes directly reported to runsolver:
# pid: 29108
# total CPU time (s): 24.3884
# total CPU user time (s): 24.2433
# total CPU system time (s): 0.145163
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.053529 second user time and 0.130757 second system time
The end