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 (9621 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-4394271-1568331934/watcher-4394271-1568331934 -o /tmp/evaluation-result-4394271-1568331934/solver-4394271-1568331934 -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 283757179 HOME/instance-4394271-1568331934.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=30204, runsolver pid=30201
[startup+0.101018 s]*
/proc/loadavg: 7.66 8.02 7.73 7/234 30220
/proc/meminfo: memFree=19650284/32770624 swapFree=66959216/67108860
[pid=30204] ppid=30201 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30204/stat : 30204 (xcsp3-exec) S 30201 30204 18186 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409133613 115843072 363 33554432000 4194304 5098028 140736511756304 140736511754408 140159291748988 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 27025408 140736511759227 140736511759469 140736511759469 140736511762378 0
/proc/30204/statm: 28282 363 304 221 0 87 0
[pid=30206] ppid=30204 vsize=15144768 memory=27908 CPUtime=0.13 cores=1,3,5,7
/proc/30206/stat : 30206 (java) S 30204 30204 18186 0 -1 1077944320 5931 0 0 0 12 1 0 0 20 0 15 0 409133613 15508242432 6977 33554432000 4194304 4196468 140735717502592 140735717485136 140021269348087 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
/proc/30206/statm: 3786192 6977 3151 1 0 3748377 0
[pid=30206/tid=30207] ppid=30204 vsize=15144768 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/30206/task/30207/stat : 30207 (java) R 30204 30204 18186 0 -1 4202560 3756 0 0 0 8 1 0 0 20 0 15 0 409133614 15508242432 6977 33554432000 4194304 4196468 140735717502592 140021273579232 140021269360022 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30208] ppid=30204 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30208/stat : 30208 (java) S 30204 30204 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409133614 15508242432 6977 33554432000 4194304 4196468 140735717502592 140021236906384 140021269358293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30209] ppid=30204 vsize=15144768 memory=140117089330816 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30209/stat : 30209 (java) S 30204 30204 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409133614 15508242432 6977 33554432000 4194304 4196468 140735717502592 140020860774672 140021269358293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30210] ppid=30204 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30210/stat : 30210 (java) S 30204 30204 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409133614 15508242432 6977 33554432000 4194304 4196468 140735717502592 140020859722384 140021269358293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30211] ppid=30204 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30211/stat : 30211 (java) S 30204 30204 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409133614 15508242432 6977 33554432000 4194304 4196468 140735717502592 140020858669584 140021269358293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30212] ppid=30204 vsize=15144768 memory=140117089330816 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30212/stat : 30212 (java) S 30204 30204 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409133616 15508242432 6977 33554432000 4194304 4196468 140735717502592 140020737948272 140021269359234 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30213] ppid=30204 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30213/stat : 30213 (java) S 30204 30204 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409133616 15508242432 6977 33554432000 4194304 4196468 140735717502592 140020736894240 140021269358293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30214] ppid=30204 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30214/stat : 30214 (java) S 30204 30204 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409133616 15508242432 6977 33554432000 4194304 4196468 140735717502592 140020735841904 140021269358293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30215] ppid=30204 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30215/stat : 30215 (java) S 30204 30204 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409133619 15508242432 6977 33554432000 4194304 4196468 140735717502592 140020734790224 140021269366683 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30216] ppid=30204 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30216/stat : 30216 (java) S 30204 30204 18186 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 15 0 409133619 15508242432 6977 33554432000 4194304 4196468 140735717502592 140020733737072 140021269359234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30217] ppid=30204 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30217/stat : 30217 (java) R 30204 30204 18186 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 15 0 409133619 15508242432 6977 33554432000 4194304 4196468 140735717502592 140020732684272 140021269360022 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30218] ppid=30204 vsize=15144768 memory=140117089330816 CPUtime=0.02 cores=1,3,5,7
/proc/30206/task/30218/stat : 30218 (java) R 30204 30204 18186 0 -1 4202560 399 0 0 0 2 0 0 0 20 0 15 0 409133619 15508242432 6977 33554432000 4194304 4196468 140735717502592 140020731631984 140021255672471 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30219] ppid=30204 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30219/stat : 30219 (java) S 30204 30204 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409133619 15508242432 6977 33554432000 4194304 4196468 140735717502592 140020730579424 140021269358293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30220] ppid=30204 vsize=15144768 memory=140117089330816 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30220/stat : 30220 (java) S 30204 30204 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409133619 15508242432 6977 33554432000 4194304 4196468 140735717502592 140020729527216 140021269359234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 29360 KiB
[startup+0.210886 s]*
/proc/loadavg: 7.66 8.02 7.73 7/234 30220
/proc/meminfo: memFree=19636708/32770624 swapFree=66959216/67108860
[pid=30204] ppid=30201 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30204/stat : 30204 (xcsp3-exec) S 30201 30204 18186 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409133613 115843072 363 33554432000 4194304 5098028 140736511756304 140736511754408 140159291748988 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 27025408 140736511759227 140736511759469 140736511759469 140736511762378 0
/proc/30204/statm: 28282 363 304 221 0 87 0
[pid=30206] ppid=30204 vsize=15144768 memory=39860 CPUtime=0.35 cores=1,3,5,7
/proc/30206/stat : 30206 (java) S 30204 30204 18186 0 -1 1077944320 9715 0 0 0 32 3 0 0 20 0 15 0 409133613 15508242432 9965 33554432000 4194304 4196468 140735717502592 140735717485136 140021269348087 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
/proc/30206/statm: 3786192 9965 3298 1 0 3748377 0
[pid=30206/tid=30207] ppid=30204 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/30206/task/30207/stat : 30207 (java) R 30204 30204 18186 0 -1 4202560 6713 0 0 0 18 2 0 0 20 0 15 0 409133614 15508242432 9965 33554432000 4194304 4196468 140735717502592 140021273582128 140021269370013 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30208] ppid=30204 vsize=15144768 memory=1965945 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30208/stat : 30208 (java) S 30204 30204 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409133614 15508242432 9965 33554432000 4194304 4196468 140735717502592 140021236906384 140021269358293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30209] ppid=30204 vsize=15144768 memory=4049212873994020512 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30209/stat : 30209 (java) S 30204 30204 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409133614 15508242432 9965 33554432000 4194304 4196468 140735717502592 140020860774672 140021269358293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30210] ppid=30204 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30210/stat : 30210 (java) S 30204 30204 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409133614 15508242432 9965 33554432000 4194304 4196468 140735717502592 140020859722384 140021269358293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30211] ppid=30204 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30211/stat : 30211 (java) S 30204 30204 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409133614 15508242432 9965 33554432000 4194304 4196468 140735717502592 140020858669584 140021269358293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30212] ppid=30204 vsize=15144768 memory=140117089330816 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30212/stat : 30212 (java) S 30204 30204 18186 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409133616 15508242432 9965 33554432000 4194304 4196468 140735717502592 140020737948272 140021269359234 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30213] ppid=30204 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30213/stat : 30213 (java) S 30204 30204 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409133616 15508242432 9965 33554432000 4194304 4196468 140735717502592 140020736894240 140021269358293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30214] ppid=30204 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30214/stat : 30214 (java) S 30204 30204 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409133616 15508242432 9965 33554432000 4194304 4196468 140735717502592 140020735841904 140021269358293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30215] ppid=30204 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30215/stat : 30215 (java) S 30204 30204 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409133619 15508242432 9965 33554432000 4194304 4196468 140735717502592 140020734790224 140021269366683 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30216] ppid=30204 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/30206/task/30216/stat : 30216 (java) S 30204 30204 18186 0 -1 1077944384 645 0 0 0 2 0 0 0 20 0 15 0 409133619 15508242432 9965 33554432000 4194304 4196468 140735717502592 140020733737072 140021269359234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30217] ppid=30204 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/30206/task/30217/stat : 30217 (java) S 30204 30204 18186 0 -1 1077944384 164 0 0 0 2 0 0 0 20 0 15 0 409133619 15508242432 9965 33554432000 4194304 4196468 140735717502592 140020732684272 140021269359234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30218] ppid=30204 vsize=15144768 memory=140117089330816 CPUtime=0.08 cores=1,3,5,7
/proc/30206/task/30218/stat : 30218 (java) S 30204 30204 18186 0 -1 1077944384 886 0 0 0 8 0 0 0 20 0 15 0 409133619 15508242432 9965 33554432000 4194304 4196468 140735717502592 140020731631984 140021269359234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30219] ppid=30204 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30219/stat : 30219 (java) S 30204 30204 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409133619 15508242432 9965 33554432000 4194304 4196468 140735717502592 140020730579424 140021269358293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30220] ppid=30204 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30220/stat : 30220 (java) S 30204 30204 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409133619 15508242432 9965 33554432000 4194304 4196468 140735717502592 140020729527216 140021269359234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 41312 KiB
[startup+0.320748 s]*
/proc/loadavg: 7.66 8.02 7.73 7/234 30220
/proc/meminfo: memFree=19628800/32770624 swapFree=66959216/67108860
[pid=30204] ppid=30201 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30204/stat : 30204 (xcsp3-exec) S 30201 30204 18186 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409133613 115843072 363 33554432000 4194304 5098028 140736511756304 140736511754408 140159291748988 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 27025408 140736511759227 140736511759469 140736511759469 140736511762378 0
/proc/30204/statm: 28282 363 304 221 0 87 0
[pid=30206] ppid=30204 vsize=15149024 memory=49688 CPUtime=0.54 cores=1,3,5,7
/proc/30206/stat : 30206 (java) S 30204 30204 18186 0 -1 1077944320 11268 0 0 0 51 3 0 0 20 0 15 0 409133613 15512600576 12422 33554432000 4194304 4196468 140735717502592 140735717485136 140021269348087 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
/proc/30206/statm: 3787256 12422 3372 1 0 3748377 0
[pid=30206/tid=30207] ppid=30204 vsize=15149024 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/30206/task/30207/stat : 30207 (java) R 30204 30204 18186 0 -1 4202560 7956 0 0 0 28 2 0 0 20 0 15 0 409133614 15512600576 12422 33554432000 4194304 4196468 140735717502592 140021273575856 140021269370013 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30208] ppid=30204 vsize=15149024 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30208/stat : 30208 (java) S 30204 30204 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409133614 15512600576 12422 33554432000 4194304 4196468 140735717502592 140021236906384 140021269358293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30209] ppid=30204 vsize=15149024 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30209/stat : 30209 (java) S 30204 30204 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409133614 15512600576 12422 33554432000 4194304 4196468 140735717502592 140020860774672 140021269358293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30210] ppid=30204 vsize=15149024 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30210/stat : 30210 (java) S 30204 30204 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409133614 15512600576 12422 33554432000 4194304 4196468 140735717502592 140020859722384 140021269358293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30211] ppid=30204 vsize=15149024 memory=4572146057552828020 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30211/stat : 30211 (java) S 30204 30204 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409133614 15512600576 12422 33554432000 4194304 4196468 140735717502592 140020858669584 140021269358293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30212] ppid=30204 vsize=15149024 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30212/stat : 30212 (java) S 30204 30204 18186 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409133616 15512600576 12422 33554432000 4194304 4196468 140735717502592 140020737948272 140021269359234 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30213] ppid=30204 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30213/stat : 30213 (java) S 30204 30204 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409133616 15512600576 12422 33554432000 4194304 4196468 140735717502592 140020736894240 140021269358293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30214] ppid=30204 vsize=15149024 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30214/stat : 30214 (java) S 30204 30204 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409133616 15512600576 12422 33554432000 4194304 4196468 140735717502592 140020735841904 140021269358293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30215] ppid=30204 vsize=15149024 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30215/stat : 30215 (java) S 30204 30204 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409133619 15512600576 12422 33554432000 4194304 4196468 140735717502592 140020734790224 140021269366683 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30216] ppid=30204 vsize=15149024 memory=4426078206164241782 CPUtime=0.05 cores=1,3,5,7
/proc/30206/task/30216/stat : 30216 (java) S 30204 30204 18186 0 -1 1077944384 750 0 0 0 5 0 0 0 20 0 15 0 409133619 15512600576 12422 33554432000 4194304 4196468 140735717502592 140020733737072 140021269359234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30217] ppid=30204 vsize=15149024 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/30206/task/30217/stat : 30217 (java) S 30204 30204 18186 0 -1 1077944384 219 0 0 0 4 0 0 0 20 0 15 0 409133619 15512600576 12422 33554432000 4194304 4196468 140735717502592 140020732684272 140021269359234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30218] ppid=30204 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/30206/task/30218/stat : 30218 (java) S 30204 30204 18186 0 -1 1077944384 1037 0 0 0 12 0 0 0 20 0 15 0 409133619 15512600576 12422 33554432000 4194304 4196468 140735717502592 140020731631984 140021269359234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30219] ppid=30204 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30219/stat : 30219 (java) S 30204 30204 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409133619 15512600576 12422 33554432000 4194304 4196468 140735717502592 140020730579424 140021269358293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30220] ppid=30204 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30220/stat : 30220 (java) S 30204 30204 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409133619 15512600576 12422 33554432000 4194304 4196468 140735717502592 140020729527216 140021269359234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51140 KiB
[startup+0.70775 s]
/proc/loadavg: 7.66 8.02 7.73 10/238 30272
/proc/meminfo: memFree=19520532/32770624 swapFree=66959216/67108860
[pid=30204] ppid=30201 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30204/stat : 30204 (xcsp3-exec) S 30201 30204 18186 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409133613 115843072 363 33554432000 4194304 5098028 140736511756304 140736511754408 140159291748988 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 27025408 140736511759227 140736511759469 140736511759469 140736511762378 0
/proc/30204/statm: 28282 363 304 221 0 87 0
[pid=30206] ppid=30204 vsize=15685716 memory=186280 CPUtime=1.63 cores=1,3,5,7
/proc/30206/stat : 30206 (java) S 30204 30204 18186 0 -1 1077944320 17976 0 0 0 155 8 0 0 20 0 19 0 409133613 16062173184 46570 33554432000 4194304 4196468 140735717502592 140735717485136 140021269348087 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
/proc/30206/statm: 3921429 46570 3479 1 0 3882531 0
[pid=30206/tid=30207] ppid=30204 vsize=15685716 memory=33 CPUtime=0.46 cores=1,3,5,7
/proc/30206/task/30207/stat : 30207 (java) S 30204 30204 18186 0 -1 1077944384 9138 0 0 0 43 3 0 0 20 0 19 0 409133614 16062173184 46570 33554432000 4194304 4196468 140735717502592 140021273588864 140021269358293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30208] ppid=30204 vsize=15685716 memory=-7816663703405220396 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30208/stat : 30208 (java) S 30204 30204 18186 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 19 0 409133614 16062173184 46570 33554432000 4194304 4196468 140735717502592 140021236906384 140021269358293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30209] ppid=30204 vsize=15685716 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30209/stat : 30209 (java) S 30204 30204 18186 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 19 0 409133614 16062173184 46570 33554432000 4194304 4196468 140735717502592 140020860774672 140021269358293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30210] ppid=30204 vsize=15685716 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30210/stat : 30210 (java) S 30204 30204 18186 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 19 0 409133614 16062173184 46570 33554432000 4194304 4196468 140735717502592 140020859722384 140021269358293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30211] ppid=30204 vsize=15685716 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30211/stat : 30211 (java) S 30204 30204 18186 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 409133614 16062173184 46570 33554432000 4194304 4196468 140735717502592 140020858669584 140021269358293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30212] ppid=30204 vsize=15685716 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30212/stat : 30212 (java) S 30204 30204 18186 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 409133616 16062173184 46570 33554432000 4194304 4196468 140735717502592 140020737948272 140021269359234 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30213] ppid=30204 vsize=15685716 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30213/stat : 30213 (java) S 30204 30204 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 409133616 16062173184 46570 33554432000 4194304 4196468 140735717502592 140020736894304 140021269358293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30214] ppid=30204 vsize=15685716 memory=1660 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30214/stat : 30214 (java) S 30204 30204 18186 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 409133616 16062173184 46570 33554432000 4194304 4196468 140735717502592 140020735841920 140021269358293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30215] ppid=30204 vsize=15685716 memory=38324 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30215/stat : 30215 (java) S 30204 30204 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409133619 16062173184 46570 33554432000 4194304 4196468 140735717502592 140020734790224 140021269366683 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30216] ppid=30204 vsize=15685716 memory=988 CPUtime=0.26 cores=1,3,5,7
/proc/30206/task/30216/stat : 30216 (java) R 30204 30204 18186 0 -1 4202560 1338 0 0 0 26 0 0 0 20 0 19 0 409133619 16062173184 46570 33554432000 4194304 4196468 140735717502592 140020733727904 140021252846952 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30217] ppid=30204 vsize=15685716 memory=2008 CPUtime=0.24 cores=1,3,5,7
/proc/30206/task/30217/stat : 30217 (java) R 30204 30204 18186 0 -1 4202560 717 0 0 0 24 0 0 0 20 0 19 0 409133619 16062173184 46570 33554432000 4194304 4196468 140735717502592 140020732684568 140021253743287 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30218] ppid=30204 vsize=15685716 memory=1436 CPUtime=0.29 cores=1,3,5,7
/proc/30206/task/30218/stat : 30218 (java) R 30204 30204 18186 0 -1 1077944384 1907 0 0 0 29 0 0 0 20 0 19 0 409133619 16062173184 46570 33554432000 4194304 4196468 140735717502592 140020731631984 140021269359234 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30219] ppid=30204 vsize=15685716 memory=580 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30219/stat : 30219 (java) S 30204 30204 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409133619 16062173184 46570 33554432000 4194304 4196468 140735717502592 140020730579424 140021269358293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30220] ppid=30204 vsize=15685716 memory=1720 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30220/stat : 30220 (java) S 30204 30204 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 409133619 16062173184 46570 33554432000 4194304 4196468 140735717502592 140020729527216 140021269359234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
Current children cumulated CPU time: 1.63 s
Current children cumulated vsize: 15798844 KiB
Current children cumulated memory: 187732 KiB
[startup+1.50975 s]
/proc/loadavg: 7.66 8.02 7.73 11/238 30444
/proc/meminfo: memFree=19479060/32770624 swapFree=66959216/67108860
[pid=30204] ppid=30201 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30204/stat : 30204 (xcsp3-exec) S 30201 30204 18186 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409133613 115843072 363 33554432000 4194304 5098028 140736511756304 140736511754408 140159291748988 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 27025408 140736511759227 140736511759469 140736511759469 140736511762378 0
/proc/30204/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/30206/task/30220/stat : 30220 (java) S 30204 30204 18186 0 -1 1077944384 689 0 0 0 0 0 0 0 20 0 19 0 409133619 16062173184 56940 33554432000 4194304 4196468 140735717502592 140020729527216 140021269359234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 42 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30493] ppid=30204 vsize=15685716 memory=1452 CPUtime=18.52 cores=1,3,5,7
/proc/30206/task/30493/stat : 30493 (java) R 30204 30204 18186 0 -1 4202560 196 0 0 0 1852 0 0 0 20 0 19 0 409133759 16062173184 56940 33554432000 4194304 4196468 140735717502592 140020714000312 140020909672291 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30494] ppid=30204 vsize=15685716 memory=227760 CPUtime=18.32 cores=1,3,5,7
/proc/30206/task/30494/stat : 30494 (java) R 30204 30204 18186 0 -1 4202560 643 0 0 0 1832 0 0 0 20 0 19 0 409133759 16062173184 56940 33554432000 4194304 4196468 140735717502592 140020719268048 140020910106174 0 4 0 16800975 0 0 0 -1 1 0 0 34 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30495] ppid=30204 vsize=15685716 memory=0 CPUtime=18.39 cores=1,3,5,7
/proc/30206/task/30495/stat : 30495 (java) R 30204 30204 18186 0 -1 4202560 1016 0 0 0 1839 0 0 0 20 0 19 0 409133759 16062173184 56940 33554432000 4194304 4196468 140735717502592 140020717162000 140020910251074 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30496] ppid=30204 vsize=15685716 memory=6220993253238723945 CPUtime=18.17 cores=1,3,5,7
/proc/30206/task/30496/stat : 30496 (java) R 30204 30204 18186 0 -1 4202560 550 0 0 0 1817 0 0 0 20 0 19 0 409133759 16062173184 56940 33554432000 4194304 4196468 140735717502592 140020710841712 140020910345238 0 4 0 16800975 0 0 0 -1 5 0 0 34 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
Current children cumulated CPU time: 79.54 s
Current children cumulated vsize: 15798844 KiB
Current children cumulated memory: 229212 KiB
[startup+21.6018 s]
/proc/loadavg: 8.05 8.08 7.76 9/237 30496
/proc/meminfo: memFree=19453272/32770624 swapFree=66959216/67108860
[pid=30204] ppid=30201 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30204/stat : 30204 (xcsp3-exec) S 30201 30204 18186 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409133613 115843072 363 33554432000 4194304 5098028 140736511756304 140736511754408 140159291748988 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 27025408 140736511759227 140736511759469 140736511759469 140736511762378 0
/proc/30204/statm: 28282 363 304 221 0 87 0
[pid=30206] ppid=30204 vsize=15685716 memory=227760 CPUtime=82.7 cores=1,3,5,7
/proc/30206/stat : 30206 (java) S 30204 30204 18186 0 -1 1077944320 42284 0 0 0 8249 21 0 0 20 0 19 0 409133613 16062173184 56940 33554432000 4194304 4196468 140735717502592 140735717485136 140021269348087 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
/proc/30206/statm: 3921429 56940 3513 1 0 3882531 0
[pid=30206/tid=30207] ppid=30204 vsize=15685716 memory=6791534058613427641 CPUtime=0.46 cores=1,3,5,7
/proc/30206/task/30207/stat : 30207 (java) S 30204 30204 18186 0 -1 1077944384 9138 0 0 0 43 3 0 0 20 0 19 0 409133614 16062173184 56940 33554432000 4194304 4196468 140735717502592 140021273588864 140021269358293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30208] ppid=30204 vsize=15685716 memory=227760 CPUtime=0.08 cores=1,3,5,7
/proc/30206/task/30208/stat : 30208 (java) S 30204 30204 18186 0 -1 1077944384 424 0 0 0 5 3 0 0 20 0 19 0 409133614 16062173184 56940 33554432000 4194304 4196468 140735717502592 140021236906384 140021269358293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30209] ppid=30204 vsize=15685716 memory=255 CPUtime=0.07 cores=1,3,5,7
/proc/30206/task/30209/stat : 30209 (java) S 30204 30204 18186 0 -1 1077944384 481 0 0 0 5 2 0 0 20 0 19 0 409133614 16062173184 56940 33554432000 4194304 4196468 140735717502592 140020860774672 140021269358293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30210] ppid=30204 vsize=15685716 memory=242 CPUtime=0.07 cores=1,3,5,7
/proc/30206/task/30210/stat : 30210 (java) S 30204 30204 18186 0 -1 1077944384 440 0 0 0 5 2 0 0 20 0 19 0 409133614 16062173184 56940 33554432000 4194304 4196468 140735717502592 140020859722384 140021269358293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30211] ppid=30204 vsize=15685716 memory=242 CPUtime=0.08 cores=1,3,5,7
/proc/30206/task/30211/stat : 30211 (java) S 30204 30204 18186 0 -1 1077944384 743 0 0 0 5 3 0 0 20 0 19 0 409133614 16062173184 56940 33554432000 4194304 4196468 140735717502592 140020858669584 140021269358293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30212] ppid=30204 vsize=15685716 memory=6 CPUtime=0.07 cores=1,3,5,7
/proc/30206/task/30212/stat : 30212 (java) S 30204 30204 18186 0 -1 1077944384 860 0 0 0 6 1 0 0 20 0 19 0 409133616 16062173184 56940 33554432000 4194304 4196468 140735717502592 140020737948272 140021269359234 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30213] ppid=30204 vsize=15685716 memory=7 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30213/stat : 30213 (java) S 30204 30204 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 409133616 16062173184 56940 33554432000 4194304 4196468 140735717502592 140020736894304 140021269358293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30214] ppid=30204 vsize=15685716 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30214/stat : 30214 (java) S 30204 30204 18186 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 409133616 16062173184 56940 33554432000 4194304 4196468 140735717502592 140020735841920 140021269358293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30215] ppid=30204 vsize=15685716 memory=3620 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30215/stat : 30215 (java) S 30204 30204 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409133619 16062173184 56940 33554432000 4194304 4196468 140735717502592 140020734790224 140021269366683 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30216] ppid=30204 vsize=15685716 memory=1660 CPUtime=1.5 cores=1,3,5,7
/proc/30206/task/30216/stat : 30216 (java) S 30204 30204 18186 0 -1 1077944384 7599 0 0 0 150 0 0 0 20 0 19 0 409133619 16062173184 56940 33554432000 4194304 4196468 140735717502592 140020733737072 140021269359234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30217] ppid=30204 vsize=15685716 memory=1452 CPUtime=1.49 cores=1,3,5,7
/proc/30206/task/30217/stat : 30217 (java) S 30204 30204 18186 0 -1 1077944384 8813 0 0 0 148 1 0 0 20 0 19 0 409133619 16062173184 56940 33554432000 4194304 4196468 140735717502592 140020732684272 140021269359234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30218] ppid=30204 vsize=15685716 memory=276636 CPUtime=0.47 cores=1,3,5,7
/proc/30206/task/30218/stat : 30218 (java) S 30204 30204 18186 0 -1 1077944384 4451 0 0 0 46 1 0 0 20 0 19 0 409133619 16062173184 56940 33554432000 4194304 4196468 140735717502592 140020731631984 140021269359234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 37 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30219] ppid=30204 vsize=15685716 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30219/stat : 30219 (java) S 30204 30204 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409133619 16062173184 56940 33554432000 4194304 4196468 140735717502592 140020730579424 140021269358293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30220] ppid=30204 vsize=15685716 memory=2852 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30220/stat : 30220 (java) S 30204 30204 18186 0 -1 1077944384 689 0 0 0 0 0 0 0 20 0 19 0 409133619 16062173184 56940 33554432000 4194304 4196468 140735717502592 140020729527216 140021269359234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 42 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30493] ppid=30204 vsize=15685716 memory=1452 CPUtime=19.3 cores=1,3,5,7
/proc/30206/task/30493/stat : 30493 (java) R 30204 30204 18186 0 -1 4202560 197 0 0 0 1930 0 0 0 20 0 19 0 409133759 16062173184 56940 33554432000 4194304 4196468 140735717502592 140020714000312 140021253686995 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30494] ppid=30204 vsize=15685716 memory=227760 CPUtime=19.11 cores=1,3,5,7
/proc/30206/task/30494/stat : 30494 (java) R 30204 30204 18186 0 -1 4202560 645 0 0 0 1911 0 0 0 20 0 19 0 409133759 16062173184 56940 33554432000 4194304 4196468 140735717502592 140020719266336 140020910345498 0 4 0 16800975 0 0 0 -1 3 0 0 34 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30495] ppid=30204 vsize=15685716 memory=38324 CPUtime=19.18 cores=1,3,5,7
/proc/30206/task/30495/stat : 30495 (java) R 30204 30204 18186 0 -1 4202560 1030 0 0 0 1918 0 0 0 20 0 19 0 409133759 16062173184 56940 33554432000 4194304 4196468 140735717502592 140020717159672 140020910250161 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30496] ppid=30204 vsize=15685716 memory=988 CPUtime=18.95 cores=1,3,5,7
/proc/30206/task/30496/stat : 30496 (java) R 30204 30204 18186 0 -1 4202560 550 0 0 0 1895 0 0 0 20 0 19 0 409133759 16062173184 56940 33554432000 4194304 4196468 140735717502592 140020710841712 140020910603942 0 4 0 16800975 0 0 0 -1 7 0 0 34 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
Current children cumulated CPU time: 82.7 s
Current children cumulated vsize: 15798844 KiB
Current children cumulated memory: 229212 KiB
[startup+22.0017 s]*
/proc/loadavg: 8.05 8.08 7.76 9/237 30496
/proc/meminfo: memFree=19451516/32770624 swapFree=66959216/67108860
[pid=30204] ppid=30201 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30204/stat : 30204 (xcsp3-exec) S 30201 30204 18186 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409133613 115843072 363 33554432000 4194304 5098028 140736511756304 140736511754408 140159291748988 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 27025408 140736511759227 140736511759469 140736511759469 140736511762378 0
/proc/30204/statm: 28282 363 304 221 0 87 0
[pid=30206] ppid=30204 vsize=15685716 memory=227760 CPUtime=84.32 cores=1,3,5,7
/proc/30206/stat : 30206 (java) S 30204 30204 18186 0 -1 1077944320 42293 0 0 0 8411 21 0 0 20 0 19 0 409133613 16062173184 56940 33554432000 4194304 4196468 140735717502592 140735717485136 140021269348087 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
/proc/30206/statm: 3921429 56940 3513 1 0 3882531 0
[pid=30206/tid=30207] ppid=30204 vsize=15685716 memory=6791534058613427641 CPUtime=0.46 cores=1,3,5,7
/proc/30206/task/30207/stat : 30207 (java) S 30204 30204 18186 0 -1 1077944384 9138 0 0 0 43 3 0 0 20 0 19 0 409133614 16062173184 56940 33554432000 4194304 4196468 140735717502592 140021273588864 140021269358293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30208] ppid=30204 vsize=15685716 memory=6655300316396806240 CPUtime=0.08 cores=1,3,5,7
/proc/30206/task/30208/stat : 30208 (java) S 30204 30204 18186 0 -1 1077944384 424 0 0 0 5 3 0 0 20 0 19 0 409133614 16062173184 56940 33554432000 4194304 4196468 140735717502592 140021236906384 140021269358293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30209] ppid=30204 vsize=15685716 memory=6656426216303648864 CPUtime=0.08 cores=1,3,5,7
/proc/30206/task/30209/stat : 30209 (java) S 30204 30204 18186 0 -1 1077944384 481 0 0 0 5 3 0 0 20 0 19 0 409133614 16062173184 56940 33554432000 4194304 4196468 140735717502592 140020860774672 140021269358293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30210] ppid=30204 vsize=15685716 memory=8187704045996106359 CPUtime=0.07 cores=1,3,5,7
/proc/30206/task/30210/stat : 30210 (java) S 30204 30204 18186 0 -1 1077944384 445 0 0 0 5 2 0 0 20 0 19 0 409133614 16062173184 56940 33554432000 4194304 4196468 140735717502592 140020859722384 140021269358293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30211] ppid=30204 vsize=15685716 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/30206/task/30211/stat : 30211 (java) S 30204 30204 18186 0 -1 1077944384 743 0 0 0 5 3 0 0 20 0 19 0 409133614 16062173184 56940 33554432000 4194304 4196468 140735717502592 140020858669584 140021269358293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30212] ppid=30204 vsize=15685716 memory=7681905605394137914 CPUtime=0.07 cores=1,3,5,7
/proc/30206/task/30212/stat : 30212 (java) S 30204 30204 18186 0 -1 1077944384 860 0 0 0 6 1 0 0 20 0 19 0 409133616 16062173184 56940 33554432000 4194304 4196468 140735717502592 140020737948272 140021269359234 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30213] ppid=30204 vsize=15685716 memory=8326441112149131693 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30213/stat : 30213 (java) S 30204 30204 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 409133616 16062173184 56940 33554432000 4194304 4196468 140735717502592 140020736894304 140021269358293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30214] ppid=30204 vsize=15685716 memory=-8608168169079938421 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30214/stat : 30214 (java) S 30204 30204 18186 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 409133616 16062173184 56940 33554432000 4194304 4196468 140735717502592 140020735841920 140021269358293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30215] ppid=30204 vsize=15685716 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30215/stat : 30215 (java) S 30204 30204 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409133619 16062173184 56940 33554432000 4194304 4196468 140735717502592 140020734790224 140021269366683 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30216] ppid=30204 vsize=15685716 memory=0 CPUtime=1.5 cores=1,3,5,7
/proc/30206/task/30216/stat : 30216 (java) S 30204 30204 18186 0 -1 1077944384 7599 0 0 0 150 0 0 0 20 0 19 0 409133619 16062173184 56940 33554432000 4194304 4196468 140735717502592 140020733737072 140021269359234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30217] ppid=30204 vsize=15685716 memory=0 CPUtime=1.49 cores=1,3,5,7
/proc/30206/task/30217/stat : 30217 (java) S 30204 30204 18186 0 -1 1077944384 8813 0 0 0 148 1 0 0 20 0 19 0 409133619 16062173184 56940 33554432000 4194304 4196468 140735717502592 140020732684272 140021269359234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30218] ppid=30204 vsize=15685716 memory=0 CPUtime=0.47 cores=1,3,5,7
/proc/30206/task/30218/stat : 30218 (java) S 30204 30204 18186 0 -1 1077944384 4451 0 0 0 46 1 0 0 20 0 19 0 409133619 16062173184 56940 33554432000 4194304 4196468 140735717502592 140020731631984 140021269359234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 37 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30219] ppid=30204 vsize=15685716 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30219/stat : 30219 (java) S 30204 30204 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409133619 16062173184 56940 33554432000 4194304 4196468 140735717502592 140020730579424 140021269358293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30220] ppid=30204 vsize=15685716 memory=140117089330816 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30220/stat : 30220 (java) S 30204 30204 18186 0 -1 1077944384 689 0 0 0 0 0 0 0 20 0 19 0 409133619 16062173184 56940 33554432000 4194304 4196468 140735717502592 140020729527216 140021269359234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 42 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30493] ppid=30204 vsize=15685716 memory=-1 CPUtime=19.7 cores=1,3,5,7
/proc/30206/task/30493/stat : 30493 (java) R 30204 30204 18186 0 -1 4202560 198 0 0 0 1970 0 0 0 20 0 19 0 409133759 16062173184 56940 33554432000 4194304 4196468 140735717502592 140020714003248 140020909190429 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30494] ppid=30204 vsize=15685716 memory=140117089330816 CPUtime=19.51 cores=1,3,5,7
/proc/30206/task/30494/stat : 30494 (java) R 30204 30204 18186 0 -1 4202560 647 0 0 0 1951 0 0 0 20 0 19 0 409133759 16062173184 56940 33554432000 4194304 4196468 140735717502592 140020719264896 140020909015192 0 4 0 16800975 0 0 0 -1 5 0 0 34 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30495] ppid=30204 vsize=15685716 memory=-1 CPUtime=19.59 cores=1,3,5,7
/proc/30206/task/30495/stat : 30495 (java) R 30204 30204 18186 0 -1 4202560 1031 0 0 0 1959 0 0 0 20 0 19 0 409133759 16062173184 56940 33554432000 4194304 4196468 140735717502592 140020717162168 140020909288656 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30496] ppid=30204 vsize=15685716 memory=0 CPUtime=19.36 cores=1,3,5,7
/proc/30206/task/30496/stat : 30496 (java) R 30204 30204 18186 0 -1 4202560 550 0 0 0 1936 0 0 0 20 0 19 0 409133759 16062173184 56940 33554432000 4194304 4196468 140735717502592 140020710842864 140020909287783 0 4 0 16800975 0 0 0 -1 1 0 0 34 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
Current children cumulated CPU time: 84.32 s
Current children cumulated vsize: 15798844 KiB
Current children cumulated memory: 229212 KiB
[startup+22.1117 s]
/proc/loadavg: 8.05 8.08 7.76 9/237 30496
/proc/meminfo: memFree=19451516/32770624 swapFree=66959216/67108860
[pid=30204] ppid=30201 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30204/stat : 30204 (xcsp3-exec) S 30201 30204 18186 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409133613 115843072 363 33554432000 4194304 5098028 140736511756304 140736511754408 140159291748988 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 27025408 140736511759227 140736511759469 140736511759469 140736511762378 0
/proc/30204/statm: 28282 363 304 221 0 87 0
[pid=30206] ppid=30204 vsize=15685716 memory=227760 CPUtime=84.72 cores=1,3,5,7
/proc/30206/stat : 30206 (java) S 30204 30204 18186 0 -1 1077944320 42303 0 0 0 8451 21 0 0 20 0 19 0 409133613 16062173184 56940 33554432000 4194304 4196468 140735717502592 140735717485136 140021269348087 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
/proc/30206/statm: 3921429 56940 3513 1 0 3882531 0
[pid=30206/tid=30207] ppid=30204 vsize=15685716 memory=227760 CPUtime=0.46 cores=1,3,5,7
/proc/30206/task/30207/stat : 30207 (java) S 30204 30204 18186 0 -1 1077944384 9138 0 0 0 43 3 0 0 20 0 19 0 409133614 16062173184 56940 33554432000 4194304 4196468 140735717502592 140021273588864 140021269358293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30208] ppid=30204 vsize=15685716 memory=7307765948152639845 CPUtime=0.08 cores=1,3,5,7
/proc/30206/task/30208/stat : 30208 (java) S 30204 30204 18186 0 -1 1077944384 424 0 0 0 5 3 0 0 20 0 19 0 409133614 16062173184 56940 33554432000 4194304 4196468 140735717502592 140021236906384 140021269358293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30209] ppid=30204 vsize=15685716 memory=4640493667342243937 CPUtime=0.08 cores=1,3,5,7
/proc/30206/task/30209/stat : 30209 (java) S 30204 30204 18186 0 -1 1077944384 481 0 0 0 5 3 0 0 20 0 19 0 409133614 16062173184 56940 33554432000 4194304 4196468 140735717502592 140020860774672 140021269358293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30210] ppid=30204 vsize=15685716 memory=1760 CPUtime=0.07 cores=1,3,5,7
/proc/30206/task/30210/stat : 30210 (java) S 30204 30204 18186 0 -1 1077944384 445 0 0 0 5 2 0 0 20 0 19 0 409133614 16062173184 56940 33554432000 4194304 4196468 140735717502592 140020859722384 140021269358293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30211] ppid=30204 vsize=15685716 memory=824 CPUtime=0.08 cores=1,3,5,7
/proc/30206/task/30211/stat : 30211 (java) S 30204 30204 18186 0 -1 1077944384 743 0 0 0 5 3 0 0 20 0 19 0 409133614 16062173184 56940 33554432000 4194304 4196468 140735717502592 140020858669584 140021269358293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30212] ppid=30204 vsize=15685716 memory=150 CPUtime=0.07 cores=1,3,5,7
/proc/30206/task/30212/stat : 30212 (java) S 30204 30204 18186 0 -1 1077944384 860 0 0 0 6 1 0 0 20 0 19 0 409133616 16062173184 56940 33554432000 4194304 4196468 140735717502592 140020737948272 140021269359234 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30213] ppid=30204 vsize=15685716 memory=148 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30213/stat : 30213 (java) S 30204 30204 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 409133616 16062173184 56940 33554432000 4194304 4196468 140735717502592 140020736894304 140021269358293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30214] ppid=30204 vsize=15685716 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30214/stat : 30214 (java) S 30204 30204 18186 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 409133616 16062173184 56940 33554432000 4194304 4196468 140735717502592 140020735841920 140021269358293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30215] ppid=30204 vsize=15685716 memory=6940726955246316887 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30215/stat : 30215 (java) S 30204 30204 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409133619 16062173184 56940 33554432000 4194304 4196468 140735717502592 140020734790224 140021269366683 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30216] ppid=30204 vsize=15685716 memory=0 CPUtime=1.5 cores=1,3,5,7
/proc/30206/task/30216/stat : 30216 (java) S 30204 30204 18186 0 -1 1077944384 7599 0 0 0 150 0 0 0 20 0 19 0 409133619 16062173184 56940 33554432000 4194304 4196468 140735717502592 140020733737072 140021269359234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30217] ppid=30204 vsize=15685716 memory=140116932747012 CPUtime=1.49 cores=1,3,5,7
/proc/30206/task/30217/stat : 30217 (java) S 30204 30204 18186 0 -1 1077944384 8813 0 0 0 148 1 0 0 20 0 19 0 409133619 16062173184 56940 33554432000 4194304 4196468 140735717502592 140020732684272 140021269359234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30218] ppid=30204 vsize=15685716 memory=0 CPUtime=0.47 cores=1,3,5,7
/proc/30206/task/30218/stat : 30218 (java) S 30204 30204 18186 0 -1 1077944384 4451 0 0 0 46 1 0 0 20 0 19 0 409133619 16062173184 56940 33554432000 4194304 4196468 140735717502592 140020731631984 140021269359234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 37 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30219] ppid=30204 vsize=15685716 memory=56 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30219/stat : 30219 (java) S 30204 30204 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409133619 16062173184 56940 33554432000 4194304 4196468 140735717502592 140020730579424 140021269358293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30220] ppid=30204 vsize=15685716 memory=8317484083422314849 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30220/stat : 30220 (java) S 30204 30204 18186 0 -1 1077944384 689 0 0 0 0 0 0 0 20 0 19 0 409133619 16062173184 56940 33554432000 4194304 4196468 140735717502592 140020729527216 140021269359234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 42 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30493] ppid=30204 vsize=15685716 memory=4211830626400688706 CPUtime=19.8 cores=1,3,5,7
/proc/30206/task/30493/stat : 30493 (java) R 30204 30204 18186 0 -1 4202560 200 0 0 0 1980 0 0 0 20 0 19 0 409133759 16062173184 56940 33554432000 4194304 4196468 140735717502592 140020714003248 140020909288741 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30494] ppid=30204 vsize=15685716 memory=3 CPUtime=19.61 cores=1,3,5,7
/proc/30206/task/30494/stat : 30494 (java) R 30204 30204 18186 0 -1 4202560 648 0 0 0 1961 0 0 0 20 0 19 0 409133759 16062173184 56940 33554432000 4194304 4196468 140735717502592 140020719264896 140020909189900 0 4 0 16800975 0 0 0 -1 5 0 0 34 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30495] ppid=30204 vsize=15685716 memory=3 CPUtime=19.69 cores=1,3,5,7
/proc/30206/task/30495/stat : 30495 (java) R 30204 30204 18186 0 -1 4202560 1032 0 0 0 1969 0 0 0 20 0 19 0 409133759 16062173184 56940 33554432000 4194304 4196468 140735717502592 140020717162168 140020909287758 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
[pid=30206/tid=30496] ppid=30204 vsize=15685716 memory=3 CPUtime=19.46 cores=1,3,5,7
/proc/30206/task/30496/stat : 30496 (java) R 30204 30204 18186 0 -1 4202560 556 0 0 0 1946 0 0 0 20 0 19 0 409133759 16062173184 56940 33554432000 4194304 4196468 140735717502592 140020710842864 140020910346492 0 4 0 16800975 0 0 0 -1 1 0 0 34 0 0 6293624 6294260 25780224 140735717503983 140735717504154 140735717504154 140735717507023 0
Current children cumulated CPU time: 84.72 s
Current children cumulated vsize: 15798844 KiB
Current children cumulated memory: 229212 KiB
Child status: 0
Real time (s): 22.1976
CPU time (s): 85.0464
CPU user time (s): 84.8253
CPU system time (s): 0.221101
CPU usage (%): 383.134
Max. virtual memory (cumulated for all children) (KiB): 15800812
Max. memory (cumulated for all children) (KiB): 229212
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 84.8253
system time used= 0.221101
maximum resident set size= 228140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43736
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= 6630
involuntary context switches= 2333
# summary of solver processes directly reported to runsolver:
# pid: 30204
# total CPU time (s): 85.0464
# total CPU user time (s): 84.8253
# total CPU system time (s): 0.221101
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.157361 second user time and 0.31014 second system time
The end