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 (10509 MiB free)
memory of node 1: 16384 MiB (10390 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403809-1568991337/watcher-4403809-1568991337 -o /var/tmp/evaluation-result-4403809-1568991337/solver-4403809-1568991337 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node136-1568987938-25143 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1529495700 HOME/instance-4403809-1568991337.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=28431, runsolver pid=28428
[startup+0.101462 s]*
/proc/loadavg: 8.20 8.40 8.17 7/234 28447
/proc/meminfo: memFree=21385404/32770624 swapFree=67002248/67108860
[pid=28431] ppid=28428 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/28431/stat : 28431 (xcsp3-exec) S 28428 28431 25111 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475382258 115843072 364 33554432000 4194304 5098028 140720599348688 140720599346792 139659197100668 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 7471104 140720599352150 140720599352409 140720599352409 140720599355334 0
/proc/28431/statm: 28282 364 305 221 0 87 0
[pid=28433] ppid=28431 vsize=15144776 memory=29044 CPUtime=0.14 cores=1,3,5,7
/proc/28433/stat : 28433 (java) S 28431 28431 25111 0 -1 1077944320 5689 0 0 0 13 1 0 0 20 0 15 0 475382258 15508250624 7261 33554432000 4194304 4196468 140735154975744 140735154958288 139759381356279 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
/proc/28433/statm: 3786194 7261 3186 1 0 3748377 0
[pid=28433/tid=28434] ppid=28431 vsize=15144776 memory=-6962121287837372198 CPUtime=0.08 cores=1,3,5,7
/proc/28433/task/28434/stat : 28434 (java) S 28431 28431 25111 0 -1 1077944384 3567 0 0 0 8 0 0 0 20 0 15 0 475382258 15508250624 7261 33554432000 4194304 4196468 140735154975744 139759385585296 139759381366485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28435] ppid=28431 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/28433/task/28435/stat : 28435 (java) S 28431 28431 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475382259 15508250624 7261 33554432000 4194304 4196468 140735154975744 139759317593104 139759381366485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28436] ppid=28431 vsize=15144776 memory=140546362312320 CPUtime=0 cores=1,3,5,7
/proc/28433/task/28436/stat : 28436 (java) S 28431 28431 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475382259 15508250624 7261 33554432000 4194304 4196468 140735154975744 139759316540560 139759381366485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28437] ppid=28431 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28433/task/28437/stat : 28437 (java) S 28431 28431 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475382259 15508250624 7261 33554432000 4194304 4196468 140735154975744 139759315487504 139759381366485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28438] ppid=28431 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28433/task/28438/stat : 28438 (java) S 28431 28431 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475382259 15508250624 7261 33554432000 4194304 4196468 140735154975744 139759314434960 139759381366485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28439] ppid=28431 vsize=15144776 memory=140546362312320 CPUtime=0 cores=1,3,5,7
/proc/28433/task/28439/stat : 28439 (java) S 28431 28431 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475382260 15508250624 7261 33554432000 4194304 4196468 140735154975744 139758917175536 139759381367426 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28440] ppid=28431 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28433/task/28440/stat : 28440 (java) S 28431 28431 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475382261 15508250624 7261 33554432000 4194304 4196468 140735154975744 139758916121760 139759381366485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28441] ppid=28431 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28433/task/28441/stat : 28441 (java) S 28431 28431 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475382261 15508250624 7261 33554432000 4194304 4196468 140735154975744 139758915068656 139759381366485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28442] ppid=28431 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28433/task/28442/stat : 28442 (java) S 28431 28431 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475382263 15508250624 7261 33554432000 4194304 4196468 140735154975744 139758914017232 139759381374875 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28443] ppid=28431 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28433/task/28443/stat : 28443 (java) R 28431 28431 25111 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 15 0 475382263 15508250624 7261 33554432000 4194304 4196468 140735154975744 139758912965360 139759381367426 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28444] ppid=28431 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28433/task/28444/stat : 28444 (java) R 28431 28431 25111 0 -1 4202560 177 0 0 0 0 0 0 0 20 0 15 0 475382263 15508250624 7261 33554432000 4194304 4196468 140735154975744 139758911912816 139759358580432 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28445] ppid=28431 vsize=15144776 memory=140546362312320 CPUtime=0.02 cores=1,3,5,7
/proc/28433/task/28445/stat : 28445 (java) R 28431 28431 25111 0 -1 4202560 357 0 0 0 2 0 0 0 20 0 15 0 475382263 15508250624 7261 33554432000 4194304 4196468 140735154975744 139758910854832 139759360312556 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28446] ppid=28431 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28433/task/28446/stat : 28446 (java) S 28431 28431 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475382264 15508250624 7261 33554432000 4194304 4196468 140735154975744 139758909807456 139759381366485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28447] ppid=28431 vsize=15144776 memory=140546362312320 CPUtime=0 cores=1,3,5,7
/proc/28433/task/28447/stat : 28447 (java) S 28431 28431 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475382264 15508250624 7261 33554432000 4194304 4196468 140735154975744 139758908754480 139759381367426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30500 KiB
[startup+0.210785 s]*
/proc/loadavg: 8.20 8.40 8.17 8/234 28447
/proc/meminfo: memFree=21372068/32770624 swapFree=67002248/67108860
[pid=28431] ppid=28428 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/28431/stat : 28431 (xcsp3-exec) S 28428 28431 25111 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475382258 115843072 364 33554432000 4194304 5098028 140720599348688 140720599346792 139659197100668 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 7471104 140720599352150 140720599352409 140720599352409 140720599355334 0
/proc/28431/statm: 28282 364 305 221 0 87 0
[pid=28433] ppid=28431 vsize=15144776 memory=40512 CPUtime=0.34 cores=1,3,5,7
/proc/28433/stat : 28433 (java) S 28431 28431 25111 0 -1 1077944320 9319 0 0 0 32 2 0 0 20 0 15 0 475382258 15508250624 10128 33554432000 4194304 4196468 140735154975744 140735154958288 139759381356279 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
/proc/28433/statm: 3786194 10128 3305 1 0 3748377 0
[pid=28433/tid=28434] ppid=28431 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/28433/task/28434/stat : 28434 (java) R 28431 28431 25111 0 -1 4202560 6578 0 0 0 18 2 0 0 20 0 15 0 475382258 15508250624 10128 33554432000 4194304 4196468 140735154975744 139759385590336 139759365436766 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28435] ppid=28431 vsize=15144776 memory=13620 CPUtime=0 cores=1,3,5,7
/proc/28433/task/28435/stat : 28435 (java) S 28431 28431 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475382259 15508250624 10128 33554432000 4194304 4196468 140735154975744 139759317593104 139759381366485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28436] ppid=28431 vsize=15144776 memory=140546365840097 CPUtime=0 cores=1,3,5,7
/proc/28433/task/28436/stat : 28436 (java) S 28431 28431 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475382259 15508250624 10128 33554432000 4194304 4196468 140735154975744 139759316540560 139759381366485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28437] ppid=28431 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28433/task/28437/stat : 28437 (java) S 28431 28431 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475382259 15508250624 10128 33554432000 4194304 4196468 140735154975744 139759315487504 139759381366485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28438] ppid=28431 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28433/task/28438/stat : 28438 (java) S 28431 28431 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475382259 15508250624 10128 33554432000 4194304 4196468 140735154975744 139759314434960 139759381366485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28439] ppid=28431 vsize=15144776 memory=140546362312320 CPUtime=0 cores=1,3,5,7
/proc/28433/task/28439/stat : 28439 (java) S 28431 28431 25111 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475382260 15508250624 10128 33554432000 4194304 4196468 140735154975744 139758917175536 139759381367426 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28440] ppid=28431 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28433/task/28440/stat : 28440 (java) S 28431 28431 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475382261 15508250624 10128 33554432000 4194304 4196468 140735154975744 139758916121760 139759381366485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28441] ppid=28431 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28433/task/28441/stat : 28441 (java) S 28431 28431 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475382261 15508250624 10128 33554432000 4194304 4196468 140735154975744 139758915068656 139759381366485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28442] ppid=28431 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28433/task/28442/stat : 28442 (java) S 28431 28431 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475382263 15508250624 10128 33554432000 4194304 4196468 140735154975744 139758914017232 139759381374875 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28443] ppid=28431 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/28433/task/28443/stat : 28443 (java) S 28431 28431 25111 0 -1 1077944384 413 0 0 0 3 0 0 0 20 0 15 0 475382263 15508250624 10128 33554432000 4194304 4196468 140735154975744 139758912965360 139759381367426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28444] ppid=28431 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/28433/task/28444/stat : 28444 (java) S 28431 28431 25111 0 -1 1077944384 223 0 0 0 1 0 0 0 20 0 15 0 475382263 15508250624 10128 33554432000 4194304 4196468 140735154975744 139758911912816 139759381367426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28445] ppid=28431 vsize=15144776 memory=140546362312320 CPUtime=0.08 cores=1,3,5,7
/proc/28433/task/28445/stat : 28445 (java) S 28431 28431 25111 0 -1 1077944384 798 0 0 0 8 0 0 0 20 0 15 0 475382263 15508250624 10128 33554432000 4194304 4196468 140735154975744 139758910859760 139759381367426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28446] ppid=28431 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28433/task/28446/stat : 28446 (java) S 28431 28431 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475382264 15508250624 10128 33554432000 4194304 4196468 140735154975744 139758909807456 139759381366485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28447] ppid=28431 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28433/task/28447/stat : 28447 (java) S 28431 28431 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475382264 15508250624 10128 33554432000 4194304 4196468 140735154975744 139758908754480 139759381367426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41968 KiB
[startup+0.319242 s]*
/proc/loadavg: 8.20 8.40 8.17 7/234 28447
/proc/meminfo: memFree=21364560/32770624 swapFree=67002248/67108860
[pid=28431] ppid=28428 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/28431/stat : 28431 (xcsp3-exec) S 28428 28431 25111 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475382258 115843072 364 33554432000 4194304 5098028 140720599348688 140720599346792 139659197100668 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 7471104 140720599352150 140720599352409 140720599352409 140720599355334 0
/proc/28431/statm: 28282 364 305 221 0 87 0
[pid=28433] ppid=28431 vsize=15149032 memory=50060 CPUtime=0.54 cores=1,3,5,7
/proc/28433/stat : 28433 (java) S 28431 28431 25111 0 -1 1077944320 10878 0 0 0 51 3 0 0 20 0 15 0 475382258 15512608768 12515 33554432000 4194304 4196468 140735154975744 140735154958288 139759381356279 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
/proc/28433/statm: 3787258 12515 3349 1 0 3748377 0
[pid=28433/tid=28434] ppid=28431 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/28433/task/28434/stat : 28434 (java) R 28431 28431 25111 0 -1 4202560 7862 0 0 0 28 2 0 0 20 0 15 0 475382258 15512608768 12515 33554432000 4194304 4196468 140735154975744 139759385591216 139759365436766 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28435] ppid=28431 vsize=15149032 memory=13961 CPUtime=0 cores=1,3,5,7
/proc/28433/task/28435/stat : 28435 (java) S 28431 28431 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475382259 15512608768 12515 33554432000 4194304 4196468 140735154975744 139759317593104 139759381366485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28436] ppid=28431 vsize=15149032 memory=3546595 CPUtime=0 cores=1,3,5,7
/proc/28433/task/28436/stat : 28436 (java) S 28431 28431 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475382259 15512608768 12515 33554432000 4194304 4196468 140735154975744 139759316540560 139759381366485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28437] ppid=28431 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28433/task/28437/stat : 28437 (java) S 28431 28431 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475382259 15512608768 12515 33554432000 4194304 4196468 140735154975744 139759315487504 139759381366485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28438] ppid=28431 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28433/task/28438/stat : 28438 (java) S 28431 28431 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475382259 15512608768 12515 33554432000 4194304 4196468 140735154975744 139759314434960 139759381366485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28439] ppid=28431 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28433/task/28439/stat : 28439 (java) S 28431 28431 25111 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475382260 15512608768 12515 33554432000 4194304 4196468 140735154975744 139758917175536 139759381367426 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28440] ppid=28431 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28433/task/28440/stat : 28440 (java) S 28431 28431 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475382261 15512608768 12515 33554432000 4194304 4196468 140735154975744 139758916121760 139759381366485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28441] ppid=28431 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28433/task/28441/stat : 28441 (java) S 28431 28431 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475382261 15512608768 12515 33554432000 4194304 4196468 140735154975744 139758915068656 139759381366485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28442] ppid=28431 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28433/task/28442/stat : 28442 (java) S 28431 28431 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475382263 15512608768 12515 33554432000 4194304 4196468 140735154975744 139758914017232 139759381374875 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28443] ppid=28431 vsize=15149032 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/28433/task/28443/stat : 28443 (java) S 28431 28431 25111 0 -1 1077944384 498 0 0 0 6 0 0 0 20 0 15 0 475382263 15512608768 12515 33554432000 4194304 4196468 140735154975744 139758912965360 139759381367426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28444] ppid=28431 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/28433/task/28444/stat : 28444 (java) S 28431 28431 25111 0 -1 1077944384 248 0 0 0 3 0 0 0 20 0 15 0 475382263 15512608768 12515 33554432000 4194304 4196468 140735154975744 139758911912816 139759381367426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28445] ppid=28431 vsize=15149032 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/28433/task/28445/stat : 28445 (java) S 28431 28431 25111 0 -1 1077944384 968 0 0 0 13 0 0 0 20 0 15 0 475382263 15512608768 12515 33554432000 4194304 4196468 140735154975744 139758910859760 139759381367426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28446] ppid=28431 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28433/task/28446/stat : 28446 (java) S 28431 28431 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475382264 15512608768 12515 33554432000 4194304 4196468 140735154975744 139758909807456 139759381366485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28447] ppid=28431 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28433/task/28447/stat : 28447 (java) S 28431 28431 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475382264 15512608768 12515 33554432000 4194304 4196468 140735154975744 139758908754480 139759381367426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51516 KiB
[startup+0.703715 s]
/proc/loadavg: 8.20 8.40 8.17 9/234 28447
/proc/meminfo: memFree=21336944/32770624 swapFree=67002248/67108860
[pid=28431] ppid=28428 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/28431/stat : 28431 (xcsp3-exec) S 28428 28431 25111 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475382258 115843072 364 33554432000 4194304 5098028 140720599348688 140720599346792 139659197100668 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 7471104 140720599352150 140720599352409 140720599352409 140720599355334 0
/proc/28431/statm: 28282 364 305 221 0 87 0
[pid=28433] ppid=28431 vsize=15151156 memory=137712 CPUtime=1.69 cores=1,3,5,7
/proc/28433/stat : 28433 (java) S 28431 28431 25111 0 -1 1077944320 14845 0 0 0 163 6 0 0 20 0 15 0 475382258 15514783744 34428 33554432000 4194304 4196468 140735154975744 140735154958288 139759381356279 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
/proc/28433/statm: 3787789 34428 3441 1 0 3748889 0
[pid=28433/tid=28434] ppid=28431 vsize=15151156 memory=29924 CPUtime=0.68 cores=1,3,5,7
/proc/28433/task/28434/stat : 28434 (java) R 28431 28431 25111 0 -1 4202560 9017 0 0 0 63 5 0 0 20 0 15 0 475382258 15514783744 34428 33554432000 4194304 4196468 140735154975744 139759385580496 139759381377626 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28435] ppid=28431 vsize=15151156 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/28433/task/28435/stat : 28435 (java) S 28431 28431 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475382259 15514783744 34428 33554432000 4194304 4196468 140735154975744 139759317593104 139759381366485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28436] ppid=28431 vsize=15151156 memory=500 CPUtime=0 cores=1,3,5,7
/proc/28433/task/28436/stat : 28436 (java) S 28431 28431 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475382259 15514783744 34428 33554432000 4194304 4196468 140735154975744 139759316540560 139759381366485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28437] ppid=28431 vsize=15151156 memory=932 CPUtime=0 cores=1,3,5,7
/proc/28433/task/28437/stat : 28437 (java) S 28431 28431 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475382259 15514783744 34428 33554432000 4194304 4196468 140735154975744 139759315487504 139759381366485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28438] ppid=28431 vsize=15151156 memory=1776 CPUtime=0 cores=1,3,5,7
/proc/28433/task/28438/stat : 28438 (java) S 28431 28431 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475382259 15514783744 34428 33554432000 4194304 4196468 140735154975744 139759314434960 139759381366485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28439] ppid=28431 vsize=15151156 memory=1656 CPUtime=0 cores=1,3,5,7
/proc/28433/task/28439/stat : 28439 (java) S 28431 28431 25111 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475382260 15514783744 34428 33554432000 4194304 4196468 140735154975744 139758917175536 139759381367426 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28440] ppid=28431 vsize=15151156 memory=804 CPUtime=0 cores=1,3,5,7
/proc/28433/task/28440/stat : 28440 (java) S 28431 28431 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475382261 15514783744 34428 33554432000 4194304 4196468 140735154975744 139758916121760 139759381366485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28441] ppid=28431 vsize=15151156 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/28433/task/28441/stat : 28441 (java) S 28431 28431 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475382261 15514783744 34428 33554432000 4194304 4196468 140735154975744 139758915068656 139759381366485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28442] ppid=28431 vsize=15151156 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/28433/task/28442/stat : 28442 (java) S 28431 28431 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475382263 15514783744 34428 33554432000 4194304 4196468 140735154975744 139758914017232 139759381374875 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28443] ppid=28431 vsize=15151156 memory=2676 CPUtime=0.35 cores=1,3,5,7
/proc/28433/task/28443/stat : 28443 (java) R 28431 28431 25111 0 -1 4202560 1425 0 0 0 35 0 0 0 20 0 15 0 475382263 15514783744 34428 33554432000 4194304 4196468 140735154975744 139758912956816 139759359522760 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28444] ppid=28431 vsize=15151156 memory=1764 CPUtime=0.34 cores=1,3,5,7
/proc/28433/task/28444/stat : 28444 (java) R 28431 28431 25111 0 -1 4202560 1450 0 0 0 34 0 0 0 20 0 15 0 475382263 15514783744 34428 33554432000 4194304 4196468 140735154975744 139758911899360 139759366463964 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28445] ppid=28431 vsize=15151156 memory=111632 CPUtime=0.3 cores=1,3,5,7
/proc/28433/task/28445/stat : 28445 (java) S 28431 28431 25111 0 -1 1077944384 1645 0 0 0 30 0 0 0 20 0 15 0 475382263 15514783744 34428 33554432000 4194304 4196468 140735154975744 139758910859760 139759381367426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28446] ppid=28431 vsize=15151156 memory=796 CPUtime=0 cores=1,3,5,7
/proc/28433/task/28446/stat : 28446 (java) S 28431 28431 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475382264 15514783744 34428 33554432000 4194304 4196468 140735154975744 139758909807456 139759381366485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28447] ppid=28431 vsize=15151156 memory=4096 CPUtime=0 cores=1,3,5,7
/proc/28433/task/28447/stat : 28447 (java) S 28431 28431 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475382264 15514783744 34428 33554432000 4194304 4196468 140735154975744 139758908754480 139759381367426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
Current children cumulated CPU time: 1.69 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 139168 KiB
[startup+1.50087 s]
/proc/loadavg: 8.20 8.40 8.17 7/234 28447
/proc/meminfo: memFree=21232072/32770624 swapFree=67002248/67108860
[pid=28431] ppid=28428 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/28431/stat : 28431 (xcsp3-exec) S 28428 28431 25111 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475382258 115843072 364 33554432000 4194304 5098028 140720599348688 140720599346792 139659197100668 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 7471104 140720599352150 140720599352409 140720599352409 140720599355334 0
/proc/28431/statm: 28282 364 305 221 0 87 0
################
# More data... #
################
/proc/28433/task/28447/stat : 28447 (java) S 28431 28431 25111 0 -1 1077944384 912 0 0 0 0 4 0 0 20 0 19 0 475382264 15857688576 102081 33554432000 4194304 4196468 140735154975744 139758908754480 139759381367426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28499] ppid=28431 vsize=15486024 memory=1980 CPUtime=71.1 cores=1,3,5,7
/proc/28433/task/28499/stat : 28499 (java) R 28431 28431 25111 0 -1 4202560 610 0 0 0 7110 0 0 0 20 0 19 0 475385533 15857688576 102081 33554432000 4194304 4196468 140735154975744 139758829759480 139758997592810 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28500] ppid=28431 vsize=15486024 memory=2676 CPUtime=70.86 cores=1,3,5,7
/proc/28433/task/28500/stat : 28500 (java) R 28431 28431 25111 0 -1 4202560 1800 0 0 0 7086 0 0 0 20 0 19 0 475385533 15857688576 102081 33554432000 4194304 4196468 140735154975744 139758828707560 139758997592905 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28501] ppid=28431 vsize=15486024 memory=1764 CPUtime=70.91 cores=1,3,5,7
/proc/28433/task/28501/stat : 28501 (java) R 28431 28431 25111 0 -1 4202560 1606 0 0 0 7091 0 0 0 20 0 19 0 475385533 15857688576 102081 33554432000 4194304 4196468 140735154975744 139758826601792 139758997592783 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28502] ppid=28431 vsize=15486024 memory=111632 CPUtime=70.23 cores=1,3,5,7
/proc/28433/task/28502/stat : 28502 (java) R 28431 28431 25111 0 -1 4202560 1356 0 0 0 7023 0 0 0 20 0 19 0 475385533 15857688576 102081 33554432000 4194304 4196468 140735154975744 139758827655248 139758997592905 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
Current children cumulated CPU time: 410.84 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 409780 KiB
[startup+104.801 s]
/proc/loadavg: 9.63 8.76 8.32 9/237 28506
/proc/meminfo: memFree=21001152/32770624 swapFree=67002248/67108860
[pid=28431] ppid=28428 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/28431/stat : 28431 (xcsp3-exec) S 28428 28431 25111 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475382258 115843072 364 33554432000 4194304 5098028 140720599348688 140720599346792 139659197100668 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 7471104 140720599352150 140720599352409 140720599352409 140720599355334 0
/proc/28431/statm: 28282 364 305 221 0 87 0
[pid=28433] ppid=28431 vsize=15486024 memory=408324 CPUtime=413.99 cores=1,3,5,7
/proc/28433/stat : 28433 (java) S 28431 28431 25111 0 -1 1077944320 93122 0 0 0 41367 32 0 0 20 0 19 0 475382258 15857688576 102081 33554432000 4194304 4196468 140735154975744 140735154958288 139759381356279 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
/proc/28433/statm: 3871506 102081 3530 1 0 3832606 0
[pid=28433/tid=28434] ppid=28431 vsize=15486024 memory=408316 CPUtime=1.65 cores=1,3,5,7
/proc/28433/task/28434/stat : 28434 (java) S 28431 28431 25111 0 -1 1077944384 10206 0 0 0 159 6 0 0 20 0 19 0 475382258 15857688576 102081 33554432000 4194304 4196468 140735154975744 139759385597056 139759381366485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28435] ppid=28431 vsize=15486024 memory=1764 CPUtime=0.06 cores=1,3,5,7
/proc/28433/task/28435/stat : 28435 (java) S 28431 28431 25111 0 -1 1077944384 180 0 0 0 3 3 0 0 20 0 19 0 475382259 15857688576 102081 33554432000 4194304 4196468 140735154975744 139759317593104 139759381366485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28436] ppid=28431 vsize=15486024 memory=111632 CPUtime=0.06 cores=1,3,5,7
/proc/28433/task/28436/stat : 28436 (java) S 28431 28431 25111 0 -1 1077944384 421 0 0 0 3 3 0 0 20 0 19 0 475382259 15857688576 102081 33554432000 4194304 4196468 140735154975744 139759316540560 139759381366485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28437] ppid=28431 vsize=15486024 memory=13976 CPUtime=0.06 cores=1,3,5,7
/proc/28433/task/28437/stat : 28437 (java) S 28431 28431 25111 0 -1 1077944384 325 0 0 0 3 3 0 0 20 0 19 0 475382259 15857688576 102081 33554432000 4194304 4196468 140735154975744 139759315487504 139759381366485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28438] ppid=28431 vsize=15486024 memory=12040 CPUtime=0.06 cores=1,3,5,7
/proc/28433/task/28438/stat : 28438 (java) S 28431 28431 25111 0 -1 1077944384 185 0 0 0 3 3 0 0 20 0 19 0 475382259 15857688576 102081 33554432000 4194304 4196468 140735154975744 139759314434960 139759381366485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28439] ppid=28431 vsize=15486024 memory=2120 CPUtime=0.02 cores=1,3,5,7
/proc/28433/task/28439/stat : 28439 (java) S 28431 28431 25111 0 -1 1077944384 1664 0 0 0 1 1 0 0 20 0 19 0 475382260 15857688576 102081 33554432000 4194304 4196468 140735154975744 139758917175536 139759381367426 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28440] ppid=28431 vsize=15486024 memory=29924 CPUtime=0 cores=1,3,5,7
/proc/28433/task/28440/stat : 28440 (java) S 28431 28431 25111 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 475382261 15857688576 102081 33554432000 4194304 4196468 140735154975744 139758916121824 139759381366485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28441] ppid=28431 vsize=15486024 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/28433/task/28441/stat : 28441 (java) S 28431 28431 25111 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 19 0 475382261 15857688576 102081 33554432000 4194304 4196468 140735154975744 139758915068672 139759381366485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28442] ppid=28431 vsize=15486024 memory=500 CPUtime=0 cores=1,3,5,7
/proc/28433/task/28442/stat : 28442 (java) S 28431 28431 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475382263 15857688576 102081 33554432000 4194304 4196468 140735154975744 139758914017232 139759381374875 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28443] ppid=28431 vsize=15486024 memory=932 CPUtime=4.16 cores=1,3,5,7
/proc/28433/task/28443/stat : 28443 (java) S 28431 28431 25111 0 -1 1077944384 26587 0 0 0 414 2 0 0 20 0 19 0 475382263 15857688576 102081 33554432000 4194304 4196468 140735154975744 139758912965360 139759381367426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28444] ppid=28431 vsize=15486024 memory=1776 CPUtime=4.3 cores=1,3,5,7
/proc/28433/task/28444/stat : 28444 (java) S 28431 28431 25111 0 -1 1077944384 22145 0 0 0 428 2 0 0 20 0 19 0 475382263 15857688576 102081 33554432000 4194304 4196468 140735154975744 139758911912816 139759381367426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28445] ppid=28431 vsize=15486024 memory=1456 CPUtime=0.98 cores=1,3,5,7
/proc/28433/task/28445/stat : 28445 (java) S 28431 28431 25111 0 -1 1077944384 13714 0 0 0 96 2 0 0 20 0 19 0 475382263 15857688576 102081 33554432000 4194304 4196468 140735154975744 139758910859760 139759381367426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28446] ppid=28431 vsize=15486024 memory=408324 CPUtime=0 cores=1,3,5,7
/proc/28433/task/28446/stat : 28446 (java) S 28431 28431 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475382264 15857688576 102081 33554432000 4194304 4196468 140735154975744 139758909807456 139759381366485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28447] ppid=28431 vsize=15486024 memory=1808 CPUtime=0.04 cores=1,3,5,7
/proc/28433/task/28447/stat : 28447 (java) S 28431 28431 25111 0 -1 1077944384 912 0 0 0 0 4 0 0 20 0 19 0 475382264 15857688576 102081 33554432000 4194304 4196468 140735154975744 139758908754480 139759381367426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28499] ppid=28431 vsize=15486024 memory=920 CPUtime=71.89 cores=1,3,5,7
/proc/28433/task/28499/stat : 28499 (java) R 28431 28431 25111 0 -1 4202560 610 0 0 0 7189 0 0 0 20 0 19 0 475385533 15857688576 102081 33554432000 4194304 4196468 140735154975744 139758829759480 139758997592783 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28500] ppid=28431 vsize=15486024 memory=3820 CPUtime=71.65 cores=1,3,5,7
/proc/28433/task/28500/stat : 28500 (java) R 28431 28431 25111 0 -1 4202560 1802 0 0 0 7165 0 0 0 20 0 19 0 475385533 15857688576 102081 33554432000 4194304 4196468 140735154975744 139758828707560 139758997592914 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28501] ppid=28431 vsize=15486024 memory=2712 CPUtime=71.7 cores=1,3,5,7
/proc/28433/task/28501/stat : 28501 (java) R 28431 28431 25111 0 -1 4202560 1606 0 0 0 7170 0 0 0 20 0 19 0 475385533 15857688576 102081 33554432000 4194304 4196468 140735154975744 139758826601928 139758997592883 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28502] ppid=28431 vsize=15486024 memory=2592 CPUtime=71.01 cores=1,3,5,7
/proc/28433/task/28502/stat : 28502 (java) R 28431 28431 25111 0 -1 4202560 1356 0 0 0 7101 0 0 0 20 0 19 0 475385533 15857688576 102081 33554432000 4194304 4196468 140735154975744 139758827655248 139758997592905 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
Current children cumulated CPU time: 413.99 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 409780 KiB
[startup+105.201 s]
/proc/loadavg: 9.63 8.76 8.32 10/237 28506
/proc/meminfo: memFree=20999112/32770624 swapFree=67002248/67108860
[pid=28431] ppid=28428 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/28431/stat : 28431 (xcsp3-exec) S 28428 28431 25111 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475382258 115843072 364 33554432000 4194304 5098028 140720599348688 140720599346792 139659197100668 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 7471104 140720599352150 140720599352409 140720599352409 140720599355334 0
/proc/28431/statm: 28282 364 305 221 0 87 0
[pid=28433] ppid=28431 vsize=15486024 memory=408324 CPUtime=415.57 cores=1,3,5,7
/proc/28433/stat : 28433 (java) S 28431 28431 25111 0 -1 1077944320 93122 0 0 0 41525 32 0 0 20 0 19 0 475382258 15857688576 102081 33554432000 4194304 4196468 140735154975744 140735154958288 139759381356279 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
/proc/28433/statm: 3871506 102081 3530 1 0 3832606 0
[pid=28433/tid=28434] ppid=28431 vsize=15486024 memory=408324 CPUtime=1.65 cores=1,3,5,7
/proc/28433/task/28434/stat : 28434 (java) S 28431 28431 25111 0 -1 1077944384 10206 0 0 0 159 6 0 0 20 0 19 0 475382258 15857688576 102081 33554432000 4194304 4196468 140735154975744 139759385597056 139759381366485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28435] ppid=28431 vsize=15486024 memory=1568 CPUtime=0.06 cores=1,3,5,7
/proc/28433/task/28435/stat : 28435 (java) S 28431 28431 25111 0 -1 1077944384 180 0 0 0 3 3 0 0 20 0 19 0 475382259 15857688576 102081 33554432000 4194304 4196468 140735154975744 139759317593104 139759381366485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28436] ppid=28431 vsize=15486024 memory=1048 CPUtime=0.06 cores=1,3,5,7
/proc/28433/task/28436/stat : 28436 (java) S 28431 28431 25111 0 -1 1077944384 421 0 0 0 3 3 0 0 20 0 19 0 475382259 15857688576 102081 33554432000 4194304 4196468 140735154975744 139759316540560 139759381366485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28437] ppid=28431 vsize=15486024 memory=6944656592455360569 CPUtime=0.06 cores=1,3,5,7
/proc/28433/task/28437/stat : 28437 (java) S 28431 28431 25111 0 -1 1077944384 325 0 0 0 3 3 0 0 20 0 19 0 475382259 15857688576 102081 33554432000 4194304 4196468 140735154975744 139759315487504 139759381366485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28438] ppid=28431 vsize=15486024 memory=-6948047529741492128 CPUtime=0.06 cores=1,3,5,7
/proc/28433/task/28438/stat : 28438 (java) S 28431 28431 25111 0 -1 1077944384 185 0 0 0 3 3 0 0 20 0 19 0 475382259 15857688576 102081 33554432000 4194304 4196468 140735154975744 139759314434960 139759381366485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28439] ppid=28431 vsize=15486024 memory=7451866864036505957 CPUtime=0.02 cores=1,3,5,7
/proc/28433/task/28439/stat : 28439 (java) S 28431 28431 25111 0 -1 1077944384 1664 0 0 0 1 1 0 0 20 0 19 0 475382260 15857688576 102081 33554432000 4194304 4196468 140735154975744 139758917175536 139759381367426 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28440] ppid=28431 vsize=15486024 memory=7739556241628360299 CPUtime=0 cores=1,3,5,7
/proc/28433/task/28440/stat : 28440 (java) S 28431 28431 25111 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 475382261 15857688576 102081 33554432000 4194304 4196468 140735154975744 139758916121824 139759381366485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28441] ppid=28431 vsize=15486024 memory=7308325608280122709 CPUtime=0 cores=1,3,5,7
/proc/28433/task/28441/stat : 28441 (java) S 28431 28431 25111 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 19 0 475382261 15857688576 102081 33554432000 4194304 4196468 140735154975744 139758915068672 139759381366485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28442] ppid=28431 vsize=15486024 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/28433/task/28442/stat : 28442 (java) S 28431 28431 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475382263 15857688576 102081 33554432000 4194304 4196468 140735154975744 139758914017232 139759381374875 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28443] ppid=28431 vsize=15486024 memory=288230621803970871 CPUtime=4.16 cores=1,3,5,7
/proc/28433/task/28443/stat : 28443 (java) S 28431 28431 25111 0 -1 1077944384 26587 0 0 0 414 2 0 0 20 0 19 0 475382263 15857688576 102081 33554432000 4194304 4196468 140735154975744 139758912965360 139759381367426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28444] ppid=28431 vsize=15486024 memory=14689690934577713 CPUtime=4.3 cores=1,3,5,7
/proc/28433/task/28444/stat : 28444 (java) S 28431 28431 25111 0 -1 1077944384 22145 0 0 0 428 2 0 0 20 0 19 0 475382263 15857688576 102081 33554432000 4194304 4196468 140735154975744 139758911912816 139759381367426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28445] ppid=28431 vsize=15486024 memory=2744 CPUtime=0.98 cores=1,3,5,7
/proc/28433/task/28445/stat : 28445 (java) S 28431 28431 25111 0 -1 1077944384 13714 0 0 0 96 2 0 0 20 0 19 0 475382263 15857688576 102081 33554432000 4194304 4196468 140735154975744 139758910859760 139759381367426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28446] ppid=28431 vsize=15486024 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/28433/task/28446/stat : 28446 (java) S 28431 28431 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475382264 15857688576 102081 33554432000 4194304 4196468 140735154975744 139758909807456 139759381366485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28447] ppid=28431 vsize=15486024 memory=1056 CPUtime=0.04 cores=1,3,5,7
/proc/28433/task/28447/stat : 28447 (java) S 28431 28431 25111 0 -1 1077944384 912 0 0 0 0 4 0 0 20 0 19 0 475382264 15857688576 102081 33554432000 4194304 4196468 140735154975744 139758908754480 139759381367426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28499] ppid=28431 vsize=15486024 memory=1568 CPUtime=72.29 cores=1,3,5,7
/proc/28433/task/28499/stat : 28499 (java) R 28431 28431 25111 0 -1 4202560 610 0 0 0 7229 0 0 0 20 0 19 0 475385533 15857688576 102081 33554432000 4194304 4196468 140735154975744 139758829759480 139758998059918 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28500] ppid=28431 vsize=15486024 memory=1048 CPUtime=72.05 cores=1,3,5,7
/proc/28433/task/28500/stat : 28500 (java) R 28431 28431 25111 0 -1 4202560 1802 0 0 0 7205 0 0 0 20 0 19 0 475385533 15857688576 102081 33554432000 4194304 4196468 140735154975744 139758828707560 139758997592936 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28501] ppid=28431 vsize=15486024 memory=13976 CPUtime=72.1 cores=1,3,5,7
/proc/28433/task/28501/stat : 28501 (java) R 28431 28431 25111 0 -1 4202560 1606 0 0 0 7210 0 0 0 20 0 19 0 475385533 15857688576 102081 33554432000 4194304 4196468 140735154975744 139758826601928 139758997592801 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28502] ppid=28431 vsize=15486024 memory=12040 CPUtime=71.4 cores=1,3,5,7
/proc/28433/task/28502/stat : 28502 (java) R 28431 28431 25111 0 -1 4202560 1356 0 0 0 7140 0 0 0 20 0 19 0 475385533 15857688576 102081 33554432000 4194304 4196468 140735154975744 139758827655248 139758997592686 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
Current children cumulated CPU time: 415.57 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 409780 KiB
[startup+105.601 s]
/proc/loadavg: 9.63 8.76 8.32 10/237 28506
/proc/meminfo: memFree=20999112/32770624 swapFree=67002248/67108860
[pid=28431] ppid=28428 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/28431/stat : 28431 (xcsp3-exec) S 28428 28431 25111 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475382258 115843072 364 33554432000 4194304 5098028 140720599348688 140720599346792 139659197100668 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 7471104 140720599352150 140720599352409 140720599352409 140720599355334 0
/proc/28431/statm: 28282 364 305 221 0 87 0
[pid=28433] ppid=28431 vsize=15486024 memory=408324 CPUtime=417.17 cores=1,3,5,7
/proc/28433/stat : 28433 (java) S 28431 28431 25111 0 -1 1077944320 93122 0 0 0 41685 32 0 0 20 0 19 0 475382258 15857688576 102081 33554432000 4194304 4196468 140735154975744 140735154958288 139759381356279 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
/proc/28433/statm: 3871506 102081 3530 1 0 3832606 0
[pid=28433/tid=28434] ppid=28431 vsize=15486024 memory=6791534058613427641 CPUtime=1.65 cores=1,3,5,7
/proc/28433/task/28434/stat : 28434 (java) S 28431 28431 25111 0 -1 1077944384 10206 0 0 0 159 6 0 0 20 0 19 0 475382258 15857688576 102081 33554432000 4194304 4196468 140735154975744 139759385597056 139759381366485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28435] ppid=28431 vsize=15486024 memory=408324 CPUtime=0.06 cores=1,3,5,7
/proc/28433/task/28435/stat : 28435 (java) S 28431 28431 25111 0 -1 1077944384 180 0 0 0 3 3 0 0 20 0 19 0 475382259 15857688576 102081 33554432000 4194304 4196468 140735154975744 139759317593104 139759381366485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28436] ppid=28431 vsize=15486024 memory=10600 CPUtime=0.06 cores=1,3,5,7
/proc/28433/task/28436/stat : 28436 (java) S 28431 28431 25111 0 -1 1077944384 421 0 0 0 3 3 0 0 20 0 19 0 475382259 15857688576 102081 33554432000 4194304 4196468 140735154975744 139759316540560 139759381366485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28437] ppid=28431 vsize=15486024 memory=1456 CPUtime=0.06 cores=1,3,5,7
/proc/28433/task/28437/stat : 28437 (java) S 28431 28431 25111 0 -1 1077944384 325 0 0 0 3 3 0 0 20 0 19 0 475382259 15857688576 102081 33554432000 4194304 4196468 140735154975744 139759315487504 139759381366485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28438] ppid=28431 vsize=15486024 memory=1456 CPUtime=0.06 cores=1,3,5,7
/proc/28433/task/28438/stat : 28438 (java) S 28431 28431 25111 0 -1 1077944384 185 0 0 0 3 3 0 0 20 0 19 0 475382259 15857688576 102081 33554432000 4194304 4196468 140735154975744 139759314434960 139759381366485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28439] ppid=28431 vsize=15486024 memory=2120 CPUtime=0.02 cores=1,3,5,7
/proc/28433/task/28439/stat : 28439 (java) S 28431 28431 25111 0 -1 1077944384 1664 0 0 0 1 1 0 0 20 0 19 0 475382260 15857688576 102081 33554432000 4194304 4196468 140735154975744 139758917175536 139759381367426 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28440] ppid=28431 vsize=15486024 memory=29924 CPUtime=0 cores=1,3,5,7
/proc/28433/task/28440/stat : 28440 (java) S 28431 28431 25111 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 475382261 15857688576 102081 33554432000 4194304 4196468 140735154975744 139758916121824 139759381366485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28441] ppid=28431 vsize=15486024 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/28433/task/28441/stat : 28441 (java) S 28431 28431 25111 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 19 0 475382261 15857688576 102081 33554432000 4194304 4196468 140735154975744 139758915068672 139759381366485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28442] ppid=28431 vsize=15486024 memory=500 CPUtime=0 cores=1,3,5,7
/proc/28433/task/28442/stat : 28442 (java) S 28431 28431 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475382263 15857688576 102081 33554432000 4194304 4196468 140735154975744 139758914017232 139759381374875 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28443] ppid=28431 vsize=15486024 memory=932 CPUtime=4.16 cores=1,3,5,7
/proc/28433/task/28443/stat : 28443 (java) S 28431 28431 25111 0 -1 1077944384 26587 0 0 0 414 2 0 0 20 0 19 0 475382263 15857688576 102081 33554432000 4194304 4196468 140735154975744 139758912965360 139759381367426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28444] ppid=28431 vsize=15486024 memory=1736 CPUtime=4.3 cores=1,3,5,7
/proc/28433/task/28444/stat : 28444 (java) S 28431 28431 25111 0 -1 1077944384 22145 0 0 0 428 2 0 0 20 0 19 0 475382263 15857688576 102081 33554432000 4194304 4196468 140735154975744 139758911912816 139759381367426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28445] ppid=28431 vsize=15486024 memory=6064 CPUtime=0.98 cores=1,3,5,7
/proc/28433/task/28445/stat : 28445 (java) S 28431 28431 25111 0 -1 1077944384 13714 0 0 0 96 2 0 0 20 0 19 0 475382263 15857688576 102081 33554432000 4194304 4196468 140735154975744 139758910859760 139759381367426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28446] ppid=28431 vsize=15486024 memory=636 CPUtime=0 cores=1,3,5,7
/proc/28433/task/28446/stat : 28446 (java) S 28431 28431 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475382264 15857688576 102081 33554432000 4194304 4196468 140735154975744 139758909807456 139759381366485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28447] ppid=28431 vsize=15486024 memory=1456 CPUtime=0.04 cores=1,3,5,7
/proc/28433/task/28447/stat : 28447 (java) S 28431 28431 25111 0 -1 1077944384 912 0 0 0 0 4 0 0 20 0 19 0 475382264 15857688576 102081 33554432000 4194304 4196468 140735154975744 139758908754480 139759381367426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28499] ppid=28431 vsize=15486024 memory=408324 CPUtime=72.68 cores=1,3,5,7
/proc/28433/task/28499/stat : 28499 (java) R 28431 28431 25111 0 -1 4202560 610 0 0 0 7268 0 0 0 20 0 19 0 475385533 15857688576 102081 33554432000 4194304 4196468 140735154975744 139758829759480 139758997592905 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28500] ppid=28431 vsize=15486024 memory=1456 CPUtime=72.45 cores=1,3,5,7
/proc/28433/task/28500/stat : 28500 (java) R 28431 28431 25111 0 -1 4202560 1802 0 0 0 7245 0 0 0 20 0 19 0 475385533 15857688576 102081 33554432000 4194304 4196468 140735154975744 139758828707560 139758997592699 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28501] ppid=28431 vsize=15486024 memory=3820 CPUtime=72.5 cores=1,3,5,7
/proc/28433/task/28501/stat : 28501 (java) R 28431 28431 25111 0 -1 4202560 1606 0 0 0 7250 0 0 0 20 0 19 0 475385533 15857688576 102081 33554432000 4194304 4196468 140735154975744 139758826601928 139758997592838 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
[pid=28433/tid=28502] ppid=28431 vsize=15486024 memory=2712 CPUtime=71.8 cores=1,3,5,7
/proc/28433/task/28502/stat : 28502 (java) R 28431 28431 25111 0 -1 4202560 1356 0 0 0 7180 0 0 0 20 0 19 0 475385533 15857688576 102081 33554432000 4194304 4196468 140735154975744 139758827655248 139758997592905 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6434816 140735154983899 140735154984074 140735154984074 140735154986959 0
Current children cumulated CPU time: 417.17 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 409780 KiB
Child status: 0
Real time (s): 105.638
CPU time (s): 417.298
CPU user time (s): 416.97
CPU system time (s): 0.328424
CPU usage (%): 395.026
Max. virtual memory (cumulated for all children) (KiB): 15599152
Max. memory (cumulated for all children) (KiB): 416144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 416.97
system time used= 0.328424
maximum resident set size= 414688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94503
page faults= 0
swaps= 0
block input operations= 0
block output operations= 232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6508
involuntary context switches= 7079
# summary of solver processes directly reported to runsolver:
# pid: 28431
# total CPU time (s): 417.298
# total CPU user time (s): 416.97
# total CPU system time (s): 0.328424
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.745014 second user time and 1.31997 second system time
The end