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 (2727 MiB free)
memory of node 1: 16384 MiB (2752 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403645-1568988040/watcher-4403645-1568988040 -o /var/tmp/evaluation-result-4403645-1568988040/solver-4403645-1568988040 -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 534317711 HOME/instance-4403645-1568988040.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
solver pid=25501, runsolver pid=25498
Current StackSize limit: 8192 KiB
[startup+0.100107 s]*
/proc/loadavg: 5.46 2.16 1.49 7/233 25517
/proc/meminfo: memFree=5593584/32770624 swapFree=67002236/67108860
[pid=25501] ppid=25498 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/25501/stat : 25501 (xcsp3-exec) S 25498 25501 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475052644 115843072 364 33554432000 4194304 5098028 140732732365520 140732732363624 139857441514108 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10559488 140732732371799 140732732372057 140732732372057 140732732374982 0
/proc/25501/statm: 28282 364 305 221 0 87 0
[pid=25503] ppid=25501 vsize=15144776 memory=30020 CPUtime=0.13 cores=1,3,5,7
/proc/25503/stat : 25503 (java) S 25501 25501 25111 0 -1 1077944320 5908 0 0 0 12 1 0 0 20 0 15 0 475052645 15508250624 7505 33554432000 4194304 4196468 140726740860064 140726740842608 140103107784439 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
/proc/25503/statm: 3786194 7505 3159 1 0 3748377 0
[pid=25503/tid=25504] ppid=25501 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/25503/task/25504/stat : 25504 (java) R 25501 25501 25111 0 -1 4202560 3804 0 0 0 8 1 0 0 20 0 15 0 475052645 15508250624 7505 33554432000 4194304 4196468 140726740860064 140103112014264 140103107796374 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25505] ppid=25501 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/25503/task/25505/stat : 25505 (java) S 25501 25501 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475052646 15508250624 7505 33554432000 4194304 4196468 140726740860064 140103044020496 140103107794645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25506] ppid=25501 vsize=15144776 memory=139848392193664 CPUtime=0 cores=1,3,5,7
/proc/25503/task/25506/stat : 25506 (java) S 25501 25501 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475052646 15508250624 7505 33554432000 4194304 4196468 140726740860064 140103042967952 140103107794645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25507] ppid=25501 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25503/task/25507/stat : 25507 (java) S 25501 25501 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475052646 15508250624 7505 33554432000 4194304 4196468 140726740860064 140102697802256 140103107794645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25508] ppid=25501 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25503/task/25508/stat : 25508 (java) S 25501 25501 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475052646 15508250624 7505 33554432000 4194304 4196468 140726740860064 140102696749712 140103107794645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25509] ppid=25501 vsize=15144776 memory=139848392193664 CPUtime=0 cores=1,3,5,7
/proc/25503/task/25509/stat : 25509 (java) S 25501 25501 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475052647 15508250624 7505 33554432000 4194304 4196468 140726740860064 140102643636720 140103107795586 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25510] ppid=25501 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25503/task/25510/stat : 25510 (java) S 25501 25501 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475052647 15508250624 7505 33554432000 4194304 4196468 140726740860064 140102642582944 140103107794645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25511] ppid=25501 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25503/task/25511/stat : 25511 (java) S 25501 25501 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475052648 15508250624 7505 33554432000 4194304 4196468 140726740860064 140102641530352 140103107794645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25512] ppid=25501 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25503/task/25512/stat : 25512 (java) S 25501 25501 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475052650 15508250624 7505 33554432000 4194304 4196468 140726740860064 140102640478928 140103107803035 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25513] ppid=25501 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25503/task/25513/stat : 25513 (java) S 25501 25501 25111 0 -1 1077944384 336 0 0 0 0 0 0 0 20 0 15 0 475052650 15508250624 7505 33554432000 4194304 4196468 140726740860064 140102571386864 140103107795586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25514] ppid=25501 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25503/task/25514/stat : 25514 (java) S 25501 25501 25111 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 475052650 15508250624 7505 33554432000 4194304 4196468 140726740860064 140102570334320 140103107795586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25515] ppid=25501 vsize=15144776 memory=139848392193664 CPUtime=0.02 cores=1,3,5,7
/proc/25503/task/25515/stat : 25515 (java) R 25501 25501 25111 0 -1 4202560 338 0 0 0 2 0 0 0 20 0 15 0 475052650 15508250624 7505 33554432000 4194304 4196468 140726740860064 140102569281776 140103086769648 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25516] ppid=25501 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25503/task/25516/stat : 25516 (java) S 25501 25501 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475052650 15508250624 7505 33554432000 4194304 4196468 140726740860064 140102568229472 140103107794645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25517] ppid=25501 vsize=15144776 memory=139848392193664 CPUtime=0 cores=1,3,5,7
/proc/25503/task/25517/stat : 25517 (java) S 25501 25501 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475052650 15508250624 7505 33554432000 4194304 4196468 140726740860064 140102567177008 140103107795586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31476 KiB
[startup+0.217437 s]*
/proc/loadavg: 5.46 2.16 1.49 6/233 25517
/proc/meminfo: memFree=5581204/32770624 swapFree=67002236/67108860
[pid=25501] ppid=25498 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/25501/stat : 25501 (xcsp3-exec) S 25498 25501 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475052644 115843072 364 33554432000 4194304 5098028 140732732365520 140732732363624 139857441514108 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10559488 140732732371799 140732732372057 140732732372057 140732732374982 0
/proc/25501/statm: 28282 364 305 221 0 87 0
[pid=25503] ppid=25501 vsize=15149032 memory=40880 CPUtime=0.36 cores=1,3,5,7
/proc/25503/stat : 25503 (java) S 25501 25501 25111 0 -1 1077944320 9417 0 0 0 33 3 0 0 20 0 15 0 475052645 15512608768 10220 33554432000 4194304 4196468 140726740860064 140726740842608 140103107784439 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
/proc/25503/statm: 3787258 10220 3320 1 0 3748377 0
[pid=25503/tid=25504] ppid=25501 vsize=15149032 memory=7883960649037381690 CPUtime=0.21 cores=1,3,5,7
/proc/25503/task/25504/stat : 25504 (java) R 25501 25501 25111 0 -1 4202560 6673 0 0 0 19 2 0 0 20 0 15 0 475052645 15512608768 10220 33554432000 4194304 4196468 140726740860064 140103112005608 140103091864926 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25505] ppid=25501 vsize=15149032 memory=13620 CPUtime=0 cores=1,3,5,7
/proc/25503/task/25505/stat : 25505 (java) S 25501 25501 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475052646 15512608768 10220 33554432000 4194304 4196468 140726740860064 140103044020496 140103107794645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25506] ppid=25501 vsize=15149032 memory=139848395717688 CPUtime=0 cores=1,3,5,7
/proc/25503/task/25506/stat : 25506 (java) S 25501 25501 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475052646 15512608768 10220 33554432000 4194304 4196468 140726740860064 140103042967952 140103107794645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25507] ppid=25501 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25503/task/25507/stat : 25507 (java) S 25501 25501 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475052646 15512608768 10220 33554432000 4194304 4196468 140726740860064 140102697802256 140103107794645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25508] ppid=25501 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25503/task/25508/stat : 25508 (java) S 25501 25501 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475052646 15512608768 10220 33554432000 4194304 4196468 140726740860064 140102696749712 140103107794645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25509] ppid=25501 vsize=15149032 memory=139848392193664 CPUtime=0 cores=1,3,5,7
/proc/25503/task/25509/stat : 25509 (java) S 25501 25501 25111 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475052647 15512608768 10220 33554432000 4194304 4196468 140726740860064 140102643636720 140103107795586 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25510] ppid=25501 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25503/task/25510/stat : 25510 (java) S 25501 25501 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475052647 15512608768 10220 33554432000 4194304 4196468 140726740860064 140102642582944 140103107794645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25511] ppid=25501 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25503/task/25511/stat : 25511 (java) S 25501 25501 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475052648 15512608768 10220 33554432000 4194304 4196468 140726740860064 140102641530352 140103107794645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25512] ppid=25501 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25503/task/25512/stat : 25512 (java) S 25501 25501 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475052650 15512608768 10220 33554432000 4194304 4196468 140726740860064 140102640478928 140103107803035 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25513] ppid=25501 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/25503/task/25513/stat : 25513 (java) S 25501 25501 25111 0 -1 1077944384 464 0 0 0 3 0 0 0 20 0 15 0 475052650 15512608768 10220 33554432000 4194304 4196468 140726740860064 140102571386864 140103107795586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25514] ppid=25501 vsize=15149032 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/25503/task/25514/stat : 25514 (java) S 25501 25501 25111 0 -1 1077944384 161 0 0 0 1 0 0 0 20 0 15 0 475052650 15512608768 10220 33554432000 4194304 4196468 140726740860064 140102570334320 140103107795586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25515] ppid=25501 vsize=15149032 memory=139848392193664 CPUtime=0.08 cores=1,3,5,7
/proc/25503/task/25515/stat : 25515 (java) S 25501 25501 25111 0 -1 1077944384 808 0 0 0 8 0 0 0 20 0 15 0 475052650 15512608768 10220 33554432000 4194304 4196468 140726740860064 140102569281776 140103107795586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25516] ppid=25501 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25503/task/25516/stat : 25516 (java) S 25501 25501 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475052650 15512608768 10220 33554432000 4194304 4196468 140726740860064 140102568229472 140103107794645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25517] ppid=25501 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25503/task/25517/stat : 25517 (java) S 25501 25501 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475052650 15512608768 10220 33554432000 4194304 4196468 140726740860064 140102567177008 140103107795586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 42336 KiB
[startup+0.310645 s]*
/proc/loadavg: 5.46 2.16 1.49 7/233 25521
/proc/meminfo: memFree=5573672/32770624 swapFree=67002236/67108860
[pid=25501] ppid=25498 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/25501/stat : 25501 (xcsp3-exec) S 25498 25501 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475052644 115843072 364 33554432000 4194304 5098028 140732732365520 140732732363624 139857441514108 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10559488 140732732371799 140732732372057 140732732372057 140732732374982 0
/proc/25501/statm: 28282 364 305 221 0 87 0
[pid=25503] ppid=25501 vsize=15149032 memory=49784 CPUtime=0.54 cores=1,3,5,7
/proc/25503/stat : 25503 (java) S 25501 25501 25111 0 -1 1077944320 10799 0 0 0 50 4 0 0 20 0 15 0 475052645 15512608768 12446 33554432000 4194304 4196468 140726740860064 140726740842608 140103107784439 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
/proc/25503/statm: 3787258 12446 3355 1 0 3748377 0
[pid=25503/tid=25504] ppid=25501 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/25503/task/25504/stat : 25504 (java) R 25501 25501 25111 0 -1 4202560 7791 0 0 0 27 3 0 0 20 0 15 0 475052645 15512608768 12446 33554432000 4194304 4196468 140726740860064 140103112015552 140103091864926 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25505] ppid=25501 vsize=15149032 memory=13961 CPUtime=0 cores=1,3,5,7
/proc/25503/task/25505/stat : 25505 (java) S 25501 25501 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475052646 15512608768 12446 33554432000 4194304 4196468 140726740860064 140103044020496 140103107794645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25506] ppid=25501 vsize=15149032 memory=3546237 CPUtime=0 cores=1,3,5,7
/proc/25503/task/25506/stat : 25506 (java) S 25501 25501 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475052646 15512608768 12446 33554432000 4194304 4196468 140726740860064 140103042967952 140103107794645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25507] ppid=25501 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25503/task/25507/stat : 25507 (java) S 25501 25501 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475052646 15512608768 12446 33554432000 4194304 4196468 140726740860064 140102697802256 140103107794645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25508] ppid=25501 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25503/task/25508/stat : 25508 (java) S 25501 25501 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475052646 15512608768 12446 33554432000 4194304 4196468 140726740860064 140102696749712 140103107794645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25509] ppid=25501 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25503/task/25509/stat : 25509 (java) S 25501 25501 25111 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475052647 15512608768 12446 33554432000 4194304 4196468 140726740860064 140102643636720 140103107795586 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25510] ppid=25501 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25503/task/25510/stat : 25510 (java) S 25501 25501 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475052647 15512608768 12446 33554432000 4194304 4196468 140726740860064 140102642582944 140103107794645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25511] ppid=25501 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25503/task/25511/stat : 25511 (java) S 25501 25501 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475052648 15512608768 12446 33554432000 4194304 4196468 140726740860064 140102641530352 140103107794645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25512] ppid=25501 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25503/task/25512/stat : 25512 (java) S 25501 25501 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475052650 15512608768 12446 33554432000 4194304 4196468 140726740860064 140102640478928 140103107803035 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25513] ppid=25501 vsize=15149032 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/25503/task/25513/stat : 25513 (java) S 25501 25501 25111 0 -1 1077944384 570 0 0 0 6 0 0 0 20 0 15 0 475052650 15512608768 12446 33554432000 4194304 4196468 140726740860064 140102571386864 140103107795586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25514] ppid=25501 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/25503/task/25514/stat : 25514 (java) S 25501 25501 25111 0 -1 1077944384 175 0 0 0 3 0 0 0 20 0 15 0 475052650 15512608768 12446 33554432000 4194304 4196468 140726740860064 140102570334320 140103107795586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25515] ppid=25501 vsize=15149032 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/25503/task/25515/stat : 25515 (java) S 25501 25501 25111 0 -1 1077944384 958 0 0 0 13 0 0 0 20 0 15 0 475052650 15512608768 12446 33554432000 4194304 4196468 140726740860064 140102569281776 140103107795586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25516] ppid=25501 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25503/task/25516/stat : 25516 (java) S 25501 25501 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475052650 15512608768 12446 33554432000 4194304 4196468 140726740860064 140102568229472 140103107794645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25517] ppid=25501 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25503/task/25517/stat : 25517 (java) S 25501 25501 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475052650 15512608768 12446 33554432000 4194304 4196468 140726740860064 140102567177008 140103107795586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51240 KiB
[startup+0.700749 s]
/proc/loadavg: 5.46 2.16 1.49 8/233 25521
/proc/meminfo: memFree=5559156/32770624 swapFree=67002236/67108860
[pid=25501] ppid=25498 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/25501/stat : 25501 (xcsp3-exec) S 25498 25501 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475052644 115843072 364 33554432000 4194304 5098028 140732732365520 140732732363624 139857441514108 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10559488 140732732371799 140732732372057 140732732372057 140732732374982 0
/proc/25501/statm: 28282 364 305 221 0 87 0
[pid=25503] ppid=25501 vsize=15551568 memory=126704 CPUtime=1.59 cores=1,3,5,7
/proc/25503/stat : 25503 (java) S 25501 25501 25111 0 -1 1077944320 15068 0 0 0 152 7 0 0 20 0 19 0 475052645 15924805632 31676 33554432000 4194304 4196468 140726740860064 140726740842608 140103107784439 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
/proc/25503/statm: 3887892 31676 3458 1 0 3848992 0
[pid=25503/tid=25504] ppid=25501 vsize=15551568 memory=29876 CPUtime=0.61 cores=1,3,5,7
/proc/25503/task/25504/stat : 25504 (java) S 25501 25501 25111 0 -1 1077944384 9289 0 0 0 57 4 0 0 20 0 19 0 475052645 15924805632 31676 33554432000 4194304 4196468 140726740860064 140103112025216 140103107794645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25505] ppid=25501 vsize=15551568 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/25503/task/25505/stat : 25505 (java) S 25501 25501 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475052646 15924805632 31676 33554432000 4194304 4196468 140726740860064 140103044020496 140103107794645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25506] ppid=25501 vsize=15551568 memory=500 CPUtime=0 cores=1,3,5,7
/proc/25503/task/25506/stat : 25506 (java) S 25501 25501 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475052646 15924805632 31676 33554432000 4194304 4196468 140726740860064 140103042967952 140103107794645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25507] ppid=25501 vsize=15551568 memory=932 CPUtime=0 cores=1,3,5,7
/proc/25503/task/25507/stat : 25507 (java) S 25501 25501 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475052646 15924805632 31676 33554432000 4194304 4196468 140726740860064 140102697802256 140103107794645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25508] ppid=25501 vsize=15551568 memory=1776 CPUtime=0 cores=1,3,5,7
/proc/25503/task/25508/stat : 25508 (java) S 25501 25501 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475052646 15924805632 31676 33554432000 4194304 4196468 140726740860064 140102696749712 140103107794645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25509] ppid=25501 vsize=15551568 memory=1656 CPUtime=0 cores=1,3,5,7
/proc/25503/task/25509/stat : 25509 (java) S 25501 25501 25111 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 475052647 15924805632 31676 33554432000 4194304 4196468 140726740860064 140102643636720 140103107795586 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25510] ppid=25501 vsize=15551568 memory=804 CPUtime=0 cores=1,3,5,7
/proc/25503/task/25510/stat : 25510 (java) S 25501 25501 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475052647 15924805632 31676 33554432000 4194304 4196468 140726740860064 140102642582944 140103107794645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25511] ppid=25501 vsize=15551568 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/25503/task/25511/stat : 25511 (java) S 25501 25501 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475052648 15924805632 31676 33554432000 4194304 4196468 140726740860064 140102641530352 140103107794645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25512] ppid=25501 vsize=15551568 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/25503/task/25512/stat : 25512 (java) S 25501 25501 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475052650 15924805632 31676 33554432000 4194304 4196468 140726740860064 140102640478928 140103107803035 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25513] ppid=25501 vsize=15551568 memory=2676 CPUtime=0.22 cores=1,3,5,7
/proc/25503/task/25513/stat : 25513 (java) R 25501 25501 25111 0 -1 4202560 1211 0 0 0 22 0 0 0 20 0 19 0 475052650 15924805632 31676 33554432000 4194304 4196468 140726740860064 140102571371136 140103088420323 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25514] ppid=25501 vsize=15551568 memory=1764 CPUtime=0.19 cores=1,3,5,7
/proc/25503/task/25514/stat : 25514 (java) R 25501 25501 25111 0 -1 4202560 836 0 0 0 19 0 0 0 20 0 19 0 475052650 15924805632 31676 33554432000 4194304 4196468 140726740860064 140102570321104 140103107805786 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25515] ppid=25501 vsize=15551568 memory=111632 CPUtime=0.4 cores=1,3,5,7
/proc/25503/task/25515/stat : 25515 (java) S 25501 25501 25111 0 -1 1077944384 1783 0 0 0 40 0 0 0 20 0 19 0 475052650 15924805632 31676 33554432000 4194304 4196468 140726740860064 140102569279568 140103107794645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25516] ppid=25501 vsize=15551568 memory=796 CPUtime=0 cores=1,3,5,7
/proc/25503/task/25516/stat : 25516 (java) S 25501 25501 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475052650 15924805632 31676 33554432000 4194304 4196468 140726740860064 140102568229472 140103107794645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25517] ppid=25501 vsize=15551568 memory=4096 CPUtime=0 cores=1,3,5,7
/proc/25503/task/25517/stat : 25517 (java) S 25501 25501 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475052650 15924805632 31676 33554432000 4194304 4196468 140726740860064 140102567177008 140103107795586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
Current children cumulated CPU time: 1.59 s
Current children cumulated vsize: 15664696 KiB
Current children cumulated memory: 128160 KiB
[startup+1.50243 s]
/proc/loadavg: 5.46 2.16 1.49 14/237 25565
/proc/meminfo: memFree=5438184/32770624 swapFree=67002236/67108860
[pid=25501] ppid=25498 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/25501/stat : 25501 (xcsp3-exec) S 25498 25501 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475052644 115843072 364 33554432000 4194304 5098028 140732732365520 140732732363624 139857441514108 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10559488 140732732371799 140732732372057 140732732372057 140732732374982 0
/proc/25501/statm: 28282 364 305 221 0 87 0
################
# More data... #
################
/proc/25503/task/25513/stat : 25513 (java) R 25501 25501 25111 0 -1 4202560 3494 0 0 0 81 0 0 0 20 0 19 0 475052650 15924805632 47060 33554432000 4194304 4196468 140726740860064 140102571371600 140103091283308 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25514] ppid=25501 vsize=15551568 memory=776 CPUtime=0.86 cores=1,3,5,7
/proc/25503/task/25514/stat : 25514 (java) R 25501 25501 25111 0 -1 4202560 2252 0 0 0 86 0 0 0 20 0 19 0 475052650 15924805632 47060 33554432000 4194304 4196468 140726740860064 140102570320864 140103107798326 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25515] ppid=25501 vsize=15551568 memory=3540 CPUtime=0.52 cores=1,3,5,7
/proc/25503/task/25515/stat : 25515 (java) S 25501 25501 25111 0 -1 1077944384 2556 0 0 0 52 0 0 0 20 0 19 0 475052650 15924805632 47060 33554432000 4194304 4196468 140726740860064 140102569281776 140103107795586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25516] ppid=25501 vsize=15551568 memory=1220 CPUtime=0 cores=1,3,5,7
/proc/25503/task/25516/stat : 25516 (java) S 25501 25501 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475052650 15924805632 47060 33554432000 4194304 4196468 140726740860064 140102568229472 140103107794645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25517] ppid=25501 vsize=15551568 memory=10600 CPUtime=0 cores=1,3,5,7
/proc/25503/task/25517/stat : 25517 (java) S 25501 25501 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475052650 15924805632 47060 33554432000 4194304 4196468 140726740860064 140102567177008 140103107795586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
Current children cumulated CPU time: 4.73 s
Current children cumulated vsize: 15664696 KiB
Current children cumulated memory: 189696 KiB
[startup+2.25504 s]
# the end of solver process 25501 was just reported to runsolver
# cumulated CPU time of all completed processes: user=7.55186 s, system=0.100795 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60143 s]
/proc/loadavg: 5.46 2.16 1.49 14/237 25565
/proc/meminfo: memFree=5438184/32770624 swapFree=67002236/67108860
[pid=25501] ppid=25498 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/25501/stat : 25501 (xcsp3-exec) S 25498 25501 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475052644 115843072 364 33554432000 4194304 5098028 140732732365520 140732732363624 139857441514108 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10559488 140732732371799 140732732372057 140732732372057 140732732374982 0
/proc/25501/statm: 28282 364 305 221 0 87 0
[pid=25503] ppid=25501 vsize=15551568 memory=193652 CPUtime=5.12 cores=1,3,5,7
/proc/25503/stat : 25503 (java) S 25501 25501 25111 0 -1 1077944320 21011 0 0 0 504 8 0 0 20 0 19 0 475052645 15924805632 48413 33554432000 4194304 4196468 140726740860064 140726740842608 140103107784439 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
/proc/25503/statm: 3887892 48413 3509 1 0 3848992 0
[pid=25503/tid=25504] ppid=25501 vsize=15551568 memory=636 CPUtime=0.61 cores=1,3,5,7
/proc/25503/task/25504/stat : 25504 (java) S 25501 25501 25111 0 -1 1077944384 9289 0 0 0 57 4 0 0 20 0 19 0 475052645 15924805632 48413 33554432000 4194304 4196468 140726740860064 140103112025216 140103107794645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25505] ppid=25501 vsize=15551568 memory=2836 CPUtime=0 cores=1,3,5,7
/proc/25503/task/25505/stat : 25505 (java) S 25501 25501 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475052646 15924805632 48413 33554432000 4194304 4196468 140726740860064 140103044020496 140103107794645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25506] ppid=25501 vsize=15551568 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/25503/task/25506/stat : 25506 (java) S 25501 25501 25111 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 19 0 475052646 15924805632 48413 33554432000 4194304 4196468 140726740860064 140103042967952 140103107794645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25507] ppid=25501 vsize=15551568 memory=1568 CPUtime=0.01 cores=1,3,5,7
/proc/25503/task/25507/stat : 25507 (java) S 25501 25501 25111 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 19 0 475052646 15924805632 48413 33554432000 4194304 4196468 140726740860064 140102697802256 140103107794645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25508] ppid=25501 vsize=15551568 memory=1048 CPUtime=0 cores=1,3,5,7
/proc/25503/task/25508/stat : 25508 (java) S 25501 25501 25111 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 475052646 15924805632 48413 33554432000 4194304 4196468 140726740860064 140102696749712 140103107794645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25509] ppid=25501 vsize=15551568 memory=988 CPUtime=0 cores=1,3,5,7
/proc/25503/task/25509/stat : 25509 (java) S 25501 25501 25111 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 19 0 475052647 15924805632 48413 33554432000 4194304 4196468 140726740860064 140102643636720 140103107795586 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25510] ppid=25501 vsize=15551568 memory=2024 CPUtime=0 cores=1,3,5,7
/proc/25503/task/25510/stat : 25510 (java) S 25501 25501 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475052647 15924805632 48413 33554432000 4194304 4196468 140726740860064 140102642582944 140103107794645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25511] ppid=25501 vsize=15551568 memory=1416 CPUtime=0 cores=1,3,5,7
/proc/25503/task/25511/stat : 25511 (java) S 25501 25501 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475052648 15924805632 48413 33554432000 4194304 4196468 140726740860064 140102641530352 140103107794645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25512] ppid=25501 vsize=15551568 memory=776 CPUtime=0 cores=1,3,5,7
/proc/25503/task/25512/stat : 25512 (java) S 25501 25501 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475052650 15924805632 48413 33554432000 4194304 4196468 140726740860064 140102640478928 140103107803035 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25513] ppid=25501 vsize=15551568 memory=3540 CPUtime=0.88 cores=1,3,5,7
/proc/25503/task/25513/stat : 25513 (java) R 25501 25501 25111 0 -1 4202560 3946 0 0 0 88 0 0 0 20 0 19 0 475052650 15924805632 48413 33554432000 4194304 4196468 140726740860064 140102571372888 140103092892018 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25514] ppid=25501 vsize=15551568 memory=1220 CPUtime=0.94 cores=1,3,5,7
/proc/25503/task/25514/stat : 25514 (java) R 25501 25501 25111 0 -1 4202560 2551 0 0 0 94 0 0 0 20 0 19 0 475052650 15924805632 48413 33554432000 4194304 4196468 140726740860064 140102570323512 140103092178269 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25515] ppid=25501 vsize=15551568 memory=10600 CPUtime=0.53 cores=1,3,5,7
/proc/25503/task/25515/stat : 25515 (java) S 25501 25501 25111 0 -1 1077944384 2625 0 0 0 53 0 0 0 20 0 19 0 475052650 15924805632 48413 33554432000 4194304 4196468 140726740860064 140102569281776 140103107795586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25516] ppid=25501 vsize=15551568 memory=1736 CPUtime=0 cores=1,3,5,7
/proc/25503/task/25516/stat : 25516 (java) S 25501 25501 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475052650 15924805632 48413 33554432000 4194304 4196468 140726740860064 140102568229472 140103107794645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25517] ppid=25501 vsize=15551568 memory=6068 CPUtime=0 cores=1,3,5,7
/proc/25503/task/25517/stat : 25517 (java) S 25501 25501 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475052650 15924805632 48413 33554432000 4194304 4196468 140726740860064 140102567177008 140103107795586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
Current children cumulated CPU time: 5.12 s
Current children cumulated vsize: 15664696 KiB
Current children cumulated memory: 195108 KiB
[startup+2.00143 s]*
/proc/loadavg: 5.46 2.16 1.49 12/237 25573
/proc/meminfo: memFree=5414152/32770624 swapFree=67002236/67108860
[pid=25501] ppid=25498 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/25501/stat : 25501 (xcsp3-exec) S 25498 25501 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475052644 115843072 364 33554432000 4194304 5098028 140732732365520 140732732363624 139857441514108 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10559488 140732732371799 140732732372057 140732732372057 140732732374982 0
/proc/25501/statm: 28282 364 305 221 0 87 0
[pid=25503] ppid=25501 vsize=15553616 memory=209292 CPUtime=6.75 cores=1,3,5,7
/proc/25503/stat : 25503 (java) S 25501 25501 25111 0 -1 1077944320 23442 0 0 0 666 9 0 0 20 0 19 0 475052645 15926902784 52323 33554432000 4194304 4196468 140726740860064 140726740842608 140103107784439 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
/proc/25503/statm: 3888404 52323 3509 1 0 3849504 0
[pid=25503/tid=25504] ppid=25501 vsize=15553616 memory=6944656592455359580 CPUtime=0.61 cores=1,3,5,7
/proc/25503/task/25504/stat : 25504 (java) S 25501 25501 25111 0 -1 1077944384 9289 0 0 0 57 4 0 0 20 0 19 0 475052645 15926902784 52323 33554432000 4194304 4196468 140726740860064 140103112025216 140103107794645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25505] ppid=25501 vsize=15553616 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25503/task/25505/stat : 25505 (java) S 25501 25501 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475052646 15926902784 52323 33554432000 4194304 4196468 140726740860064 140103044020496 140103107794645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25506] ppid=25501 vsize=15553616 memory=139892231726729 CPUtime=0 cores=1,3,5,7
/proc/25503/task/25506/stat : 25506 (java) S 25501 25501 25111 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 19 0 475052646 15926902784 52323 33554432000 4194304 4196468 140726740860064 140103042967952 140103107794645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25507] ppid=25501 vsize=15553616 memory=590288352154615925 CPUtime=0.01 cores=1,3,5,7
/proc/25503/task/25507/stat : 25507 (java) S 25501 25501 25111 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 19 0 475052646 15926902784 52323 33554432000 4194304 4196468 140726740860064 140102697802256 140103107794645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25508] ppid=25501 vsize=15553616 memory=288230591823085922 CPUtime=0 cores=1,3,5,7
/proc/25503/task/25508/stat : 25508 (java) S 25501 25501 25111 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 475052646 15926902784 52323 33554432000 4194304 4196468 140726740860064 140102696749712 140103107794645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25509] ppid=25501 vsize=15553616 memory=4339554902822092832 CPUtime=0 cores=1,3,5,7
/proc/25503/task/25509/stat : 25509 (java) S 25501 25501 25111 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 19 0 475052647 15926902784 52323 33554432000 4194304 4196468 140726740860064 140102643636720 140103107795586 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25510] ppid=25501 vsize=15553616 memory=7156651169872391316 CPUtime=0 cores=1,3,5,7
/proc/25503/task/25510/stat : 25510 (java) S 25501 25501 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475052647 15926902784 52323 33554432000 4194304 4196468 140726740860064 140102642582944 140103107794645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25511] ppid=25501 vsize=15553616 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25503/task/25511/stat : 25511 (java) S 25501 25501 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475052648 15926902784 52323 33554432000 4194304 4196468 140726740860064 140102641530352 140103107794645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25512] ppid=25501 vsize=15553616 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25503/task/25512/stat : 25512 (java) S 25501 25501 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475052650 15926902784 52323 33554432000 4194304 4196468 140726740860064 140102640478928 140103107803035 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25513] ppid=25501 vsize=15553616 memory=0 CPUtime=1.13 cores=1,3,5,7
/proc/25503/task/25513/stat : 25513 (java) R 25501 25501 25111 0 -1 4202560 5217 0 0 0 113 0 0 0 20 0 19 0 475052650 15926902784 52323 33554432000 4194304 4196468 140726740860064 140102571379768 140103088485093 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25514] ppid=25501 vsize=15553616 memory=0 CPUtime=1.16 cores=1,3,5,7
/proc/25503/task/25514/stat : 25514 (java) R 25501 25501 25111 0 -1 4202560 3654 0 0 0 115 1 0 0 20 0 19 0 475052650 15926902784 52323 33554432000 4194304 4196468 140726740860064 140102570321104 140103087091433 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25515] ppid=25501 vsize=15553616 memory=4123101775361290527 CPUtime=0.54 cores=1,3,5,7
/proc/25503/task/25515/stat : 25515 (java) R 25501 25501 25111 0 -1 1077944384 2676 0 0 0 54 0 0 0 20 0 19 0 475052650 15926902784 52323 33554432000 4194304 4196468 140726740860064 140102569281776 140103107795586 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25516] ppid=25501 vsize=15553616 memory=3760822589530060081 CPUtime=0 cores=1,3,5,7
/proc/25503/task/25516/stat : 25516 (java) S 25501 25501 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475052650 15926902784 52323 33554432000 4194304 4196468 140726740860064 140102568229472 140103107794645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25517] ppid=25501 vsize=15553616 memory=7164734856849610345 CPUtime=0 cores=1,3,5,7
/proc/25503/task/25517/stat : 25517 (java) R 25501 25501 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475052650 15926902784 52323 33554432000 4194304 4196468 140726740860064 140102567177008 140103107795586 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25570] ppid=25501 vsize=15553616 memory=8246799185632645993 CPUtime=0.39 cores=1,3,5,7
/proc/25503/task/25570/stat : 25570 (java) R 25501 25501 25111 0 -1 4202560 17 0 0 0 39 0 0 0 20 0 19 0 475052772 15926902784 52323 33554432000 4194304 4196468 140726740860064 140102555037560 140102727872072 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25571] ppid=25501 vsize=15553616 memory=-7522837415797432224 CPUtime=0.57 cores=1,3,5,7
/proc/25503/task/25571/stat : 25571 (java) R 25501 25501 25111 0 -1 4202560 23 0 0 0 57 0 0 0 20 0 19 0 475052772 15926902784 52323 33554432000 4194304 4196468 140726740860064 140102556090344 140102725802271 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25572] ppid=25501 vsize=15553616 memory=-6876588461455810464 CPUtime=0.49 cores=1,3,5,7
/proc/25503/task/25572/stat : 25572 (java) R 25501 25501 25111 0 -1 4202560 20 0 0 0 49 0 0 0 20 0 19 0 475052772 15926902784 52323 33554432000 4194304 4196468 140726740860064 140102557143576 140103092161552 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25573] ppid=25501 vsize=15553616 memory=279696592369136 CPUtime=0.39 cores=1,3,5,7
/proc/25503/task/25573/stat : 25573 (java) R 25501 25501 25111 0 -1 4202560 17 0 0 0 39 0 0 0 20 0 19 0 475052772 15926902784 52323 33554432000 4194304 4196468 140726740860064 140102552931248 140102726989709 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
Current children cumulated CPU time: 6.75 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 210748 KiB
[startup+2.20143 s]
/proc/loadavg: 5.46 2.16 1.49 12/237 25573
/proc/meminfo: memFree=5414152/32770624 swapFree=67002236/67108860
[pid=25501] ppid=25498 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/25501/stat : 25501 (xcsp3-exec) S 25498 25501 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475052644 115843072 364 33554432000 4194304 5098028 140732732365520 140732732363624 139857441514108 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10559488 140732732371799 140732732372057 140732732372057 140732732374982 0
/proc/25501/statm: 28282 364 305 221 0 87 0
[pid=25503] ppid=25501 vsize=15553616 memory=212152 CPUtime=7.49 cores=1,3,5,7
/proc/25503/stat : 25503 (java) S 25501 25501 25111 0 -1 1077944320 23507 0 0 0 740 9 0 0 20 0 19 0 475052645 15926902784 53038 33554432000 4194304 4196468 140726740860064 140726740842608 140103107784439 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
/proc/25503/statm: 3888404 53038 3511 1 0 3849504 0
[pid=25503/tid=25504] ppid=25501 vsize=15553616 memory=7306640048263620439 CPUtime=0.61 cores=1,3,5,7
/proc/25503/task/25504/stat : 25504 (java) S 25501 25501 25111 0 -1 1077944384 9289 0 0 0 57 4 0 0 20 0 19 0 475052645 15926902784 53038 33554432000 4194304 4196468 140726740860064 140103112025216 140103107794645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25505] ppid=25501 vsize=15553616 memory=6153436965631979107 CPUtime=0 cores=1,3,5,7
/proc/25503/task/25505/stat : 25505 (java) S 25501 25501 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475052646 15926902784 53038 33554432000 4194304 4196468 140726740860064 140103044020496 140103107794645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25506] ppid=25501 vsize=15553616 memory=7307184289356141156 CPUtime=0 cores=1,3,5,7
/proc/25503/task/25506/stat : 25506 (java) S 25501 25501 25111 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 19 0 475052646 15926902784 53038 33554432000 4194304 4196468 140726740860064 140103042967952 140103107794645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25507] ppid=25501 vsize=15553616 memory=7162531440177276259 CPUtime=0.01 cores=1,3,5,7
/proc/25503/task/25507/stat : 25507 (java) S 25501 25501 25111 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 19 0 475052646 15926902784 53038 33554432000 4194304 4196468 140726740860064 140102697802256 140103107794645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25508] ppid=25501 vsize=15553616 memory=7013625606522945641 CPUtime=0 cores=1,3,5,7
/proc/25503/task/25508/stat : 25508 (java) S 25501 25501 25111 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 475052646 15926902784 53038 33554432000 4194304 4196468 140726740860064 140102696749712 140103107794645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25509] ppid=25501 vsize=15553616 memory=4640766332535986532 CPUtime=0 cores=1,3,5,7
/proc/25503/task/25509/stat : 25509 (java) S 25501 25501 25111 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 19 0 475052647 15926902784 53038 33554432000 4194304 4196468 140726740860064 140102643636720 140103107795586 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25510] ppid=25501 vsize=15553616 memory=-6081641124281807202 CPUtime=0 cores=1,3,5,7
/proc/25503/task/25510/stat : 25510 (java) S 25501 25501 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475052647 15926902784 53038 33554432000 4194304 4196468 140726740860064 140102642582944 140103107794645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25511] ppid=25501 vsize=15553616 memory=-7373070655709733690 CPUtime=0 cores=1,3,5,7
/proc/25503/task/25511/stat : 25511 (java) S 25501 25501 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475052648 15926902784 53038 33554432000 4194304 4196468 140726740860064 140102641530352 140103107794645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25512] ppid=25501 vsize=15553616 memory=4137282616176187523 CPUtime=0 cores=1,3,5,7
/proc/25503/task/25512/stat : 25512 (java) S 25501 25501 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475052650 15926902784 53038 33554432000 4194304 4196468 140726740860064 140102640478928 140103107803035 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25513] ppid=25501 vsize=15553616 memory=6944656575208382560 CPUtime=1.24 cores=1,3,5,7
/proc/25503/task/25513/stat : 25513 (java) R 25501 25501 25111 0 -1 4202560 5239 0 0 0 124 0 0 0 20 0 19 0 475052650 15926902784 53038 33554432000 4194304 4196468 140726740860064 140102571386864 140103091170186 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25514] ppid=25501 vsize=15553616 memory=6944656592387989600 CPUtime=1.27 cores=1,3,5,7
/proc/25503/task/25514/stat : 25514 (java) R 25501 25501 25111 0 -1 4202560 3669 0 0 0 126 1 0 0 20 0 19 0 475052650 15926902784 53038 33554432000 4194304 4196468 140726740860064 140102570334320 140103088979139 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25515] ppid=25501 vsize=15553616 memory=6944656592387989600 CPUtime=0.55 cores=1,3,5,7
/proc/25503/task/25515/stat : 25515 (java) R 25501 25501 25111 0 -1 1077944384 2701 0 0 0 55 0 0 0 20 0 19 0 475052650 15926902784 53038 33554432000 4194304 4196468 140726740860064 140102569281776 140103107795586 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25516] ppid=25501 vsize=15553616 memory=-2746958450906831424 CPUtime=0 cores=1,3,5,7
/proc/25503/task/25516/stat : 25516 (java) S 25501 25501 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475052650 15926902784 53038 33554432000 4194304 4196468 140726740860064 140102568229472 140103107794645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25517] ppid=25501 vsize=15553616 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/25503/task/25517/stat : 25517 (java) S 25501 25501 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475052650 15926902784 53038 33554432000 4194304 4196468 140726740860064 140102567177008 140103107795586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25570] ppid=25501 vsize=15553616 memory=6944652177228980320 CPUtime=0.48 cores=1,3,5,7
/proc/25503/task/25570/stat : 25570 (java) R 25501 25501 25111 0 -1 4202560 17 0 0 0 48 0 0 0 20 0 19 0 475052772 15926902784 53038 33554432000 4194304 4196468 140726740860064 140102555037560 140102725800918 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25571] ppid=25501 vsize=15553616 memory=6944656592455097440 CPUtime=0.71 cores=1,3,5,7
/proc/25503/task/25571/stat : 25571 (java) R 25501 25501 25111 0 -1 4202560 25 0 0 0 71 0 0 0 20 0 19 0 475052772 15926902784 53038 33554432000 4194304 4196468 140726740860064 140102556091176 140103087509648 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25572] ppid=25501 vsize=15553616 memory=8546823402028195750 CPUtime=0.63 cores=1,3,5,7
/proc/25503/task/25572/stat : 25572 (java) R 25501 25501 25111 0 -1 4202560 21 0 0 0 63 0 0 0 20 0 19 0 475052772 15926902784 53038 33554432000 4194304 4196468 140726740860064 140102557143992 140102723524750 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
[pid=25503/tid=25573] ppid=25501 vsize=15553616 memory=-7966001967256141664 CPUtime=0.54 cores=1,3,5,7
/proc/25503/task/25573/stat : 25573 (java) R 25501 25501 25111 0 -1 4202560 17 0 0 0 54 0 0 0 20 0 19 0 475052772 15926902784 53038 33554432000 4194304 4196468 140726740860064 140102552931432 140102725800216 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38014976 140726740866011 140726740866186 140726740866186 140726740869071 0
Current children cumulated CPU time: 7.49 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 213608 KiB
Child status: 0
Real time (s): 2.25509
CPU time (s): 7.65265
CPU user time (s): 7.55186
CPU system time (s): 0.100795
CPU usage (%): 339.35
Max. virtual memory (cumulated for all children) (KiB): 15666744
Max. memory (cumulated for all children) (KiB): 213608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.55186
system time used= 0.100795
maximum resident set size= 213032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24087
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2556
involuntary context switches= 481
# summary of solver processes directly reported to runsolver:
# pid: 25501
# total CPU time (s): 7.65265
# total CPU user time (s): 7.55186
# total CPU system time (s): 0.100795
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.036668 second user time and 0.072276 second system time
The end