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 (7758 MiB free)
memory of node 1: 16384 MiB (13979 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290440-1532230113/watcher-4290440-1532230113 -o /tmp/evaluation-result-4290440-1532230113/solver-4290440-1532230113 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532225337-28654 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 366661066 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4290440-1532230113.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=29410, runsolver pid=29407
Current StackSize limit: 8192 KiB
[startup+0.100091 s]*
/proc/loadavg: 1.85 1.56 1.51 5/215 29425
/proc/meminfo: memFree=22234196/32770624 swapFree=67108860/67108860
[pid=29410] ppid=29407 vsize=14082740 memory=30452 CPUtime=0.12 cores=0,2,4,6
/proc/29410/stat : 29410 (java) S 29407 29410 28623 0 -1 1077944320 6546 0 0 0 11 1 0 0 20 0 15 0 40574626 14420725760 7613 33554432000 4194304 4196468 140720778484560 140720778467104 139642994224887 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
/proc/29410/statm: 3520685 7613 3153 1 0 3482761 0
[pid=29410/tid=29412] ppid=29407 vsize=14082740 memory=-8773748148830244991 CPUtime=0.09 cores=0,2,4,6
/proc/29410/task/29412/stat : 29412 (java) R 29407 29410 28623 0 -1 4202560 4571 0 0 0 9 0 0 0 20 0 15 0 40574626 14420725760 7613 33554432000 4194304 4196468 140720778484560 139642998445952 139642978305374 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29413] ppid=29407 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29410/task/29413/stat : 29413 (java) S 29407 29410 28623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40574627 14420725760 7613 33554432000 4194304 4196468 140720778484560 139642946845584 139642994235093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29414] ppid=29407 vsize=14082740 memory=140403853125248 CPUtime=0 cores=0,2,4,6
/proc/29410/task/29414/stat : 29414 (java) S 29407 29410 28623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40574627 14420725760 7613 33554432000 4194304 4196468 140720778484560 139642945792784 139642994235093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29415] ppid=29407 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29410/task/29415/stat : 29415 (java) S 29407 29410 28623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40574627 14420725760 7613 33554432000 4194304 4196468 140720778484560 139642944740496 139642994235093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29416] ppid=29407 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29410/task/29416/stat : 29416 (java) S 29407 29410 28623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40574627 14420725760 7613 33554432000 4194304 4196468 140720778484560 139642586459152 139642994235093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29417] ppid=29407 vsize=14082740 memory=140403853125248 CPUtime=0 cores=0,2,4,6
/proc/29410/task/29417/stat : 29417 (java) S 29407 29410 28623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40574628 14420725760 7613 33554432000 4194304 4196468 140720778484560 139641974138992 139642994236034 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29418] ppid=29407 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29410/task/29418/stat : 29418 (java) S 29407 29410 28623 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 40574629 14420725760 7613 33554432000 4194304 4196468 140720778484560 139641973084960 139642994235093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29419] ppid=29407 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29410/task/29419/stat : 29419 (java) S 29407 29410 28623 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 40574629 14420725760 7613 33554432000 4194304 4196468 140720778484560 139641972032624 139642994235093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29420] ppid=29407 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29410/task/29420/stat : 29420 (java) S 29407 29410 28623 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40574631 14420725760 7613 33554432000 4194304 4196468 140720778484560 139641970980944 139642994243483 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29421] ppid=29407 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29410/task/29421/stat : 29421 (java) S 29407 29410 28623 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 40574631 14420725760 7613 33554432000 4194304 4196468 140720778484560 139641969928816 139642994236034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29422] ppid=29407 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29410/task/29422/stat : 29422 (java) S 29407 29410 28623 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40574631 14420725760 7613 33554432000 4194304 4196468 140720778484560 139641968876016 139642994236034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29423] ppid=29407 vsize=14082740 memory=140403853125248 CPUtime=0.01 cores=0,2,4,6
/proc/29410/task/29423/stat : 29423 (java) S 29407 29410 28623 0 -1 1077944384 295 0 0 0 1 0 0 0 20 0 15 0 40574631 14420725760 7613 33554432000 4194304 4196468 140720778484560 139641967823728 139642994236034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29424] ppid=29407 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29410/task/29424/stat : 29424 (java) S 29407 29410 28623 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40574632 14420725760 7613 33554432000 4194304 4196468 140720778484560 139641966771168 139642994235093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29425] ppid=29407 vsize=14082740 memory=140403853125248 CPUtime=0 cores=0,2,4,6
/proc/29410/task/29425/stat : 29425 (java) S 29407 29410 28623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40574632 14420725760 7613 33554432000 4194304 4196468 140720778484560 139641965717936 139642994236034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 30452 KiB
[startup+0.21035 s]*
/proc/loadavg: 1.85 1.56 1.51 7/215 29425
/proc/meminfo: memFree=22152596/32770624 swapFree=67108860/67108860
[pid=29410] ppid=29407 vsize=14082740 memory=46840 CPUtime=0.29 cores=0,2,4,6
/proc/29410/stat : 29410 (java) S 29407 29410 28623 0 -1 1077944320 10274 0 0 0 26 3 0 0 20 0 15 0 40574626 14420725760 11710 33554432000 4194304 4196468 140720778484560 140720778467104 139642994224887 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
/proc/29410/statm: 3520685 11710 3329 1 0 3482761 0
[pid=29410/tid=29412] ppid=29407 vsize=14082740 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/29410/task/29412/stat : 29412 (java) R 29407 29410 28623 0 -1 4202560 8032 0 0 0 18 2 0 0 20 0 15 0 40574626 14420725760 11710 33554432000 4194304 4196468 140720778484560 139642998447696 139642986462014 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29413] ppid=29407 vsize=14082740 memory=340 CPUtime=0 cores=0,2,4,6
/proc/29410/task/29413/stat : 29413 (java) S 29407 29410 28623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40574627 14420725760 11710 33554432000 4194304 4196468 140720778484560 139642946845584 139642994235093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29414] ppid=29407 vsize=14082740 memory=140403853329913 CPUtime=0 cores=0,2,4,6
/proc/29410/task/29414/stat : 29414 (java) S 29407 29410 28623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40574627 14420725760 11710 33554432000 4194304 4196468 140720778484560 139642945792784 139642994235093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29415] ppid=29407 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29410/task/29415/stat : 29415 (java) S 29407 29410 28623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40574627 14420725760 11710 33554432000 4194304 4196468 140720778484560 139642944740496 139642994235093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29416] ppid=29407 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29410/task/29416/stat : 29416 (java) S 29407 29410 28623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40574627 14420725760 11710 33554432000 4194304 4196468 140720778484560 139642586459152 139642994235093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29417] ppid=29407 vsize=14082740 memory=140403853125248 CPUtime=0 cores=0,2,4,6
/proc/29410/task/29417/stat : 29417 (java) S 29407 29410 28623 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 40574628 14420725760 11710 33554432000 4194304 4196468 140720778484560 139641974138992 139642994236034 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29418] ppid=29407 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29410/task/29418/stat : 29418 (java) S 29407 29410 28623 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 40574629 14420725760 11710 33554432000 4194304 4196468 140720778484560 139641973084960 139642994235093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29419] ppid=29407 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29410/task/29419/stat : 29419 (java) S 29407 29410 28623 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 40574629 14420725760 11710 33554432000 4194304 4196468 140720778484560 139641972032624 139642994235093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29420] ppid=29407 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29410/task/29420/stat : 29420 (java) S 29407 29410 28623 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40574631 14420725760 11710 33554432000 4194304 4196468 140720778484560 139641970980944 139642994243483 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29421] ppid=29407 vsize=14082740 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/29410/task/29421/stat : 29421 (java) R 29407 29410 28623 0 -1 4202560 343 0 0 0 1 0 0 0 20 0 15 0 40574631 14420725760 11710 33554432000 4194304 4196468 140720778484560 139641969928816 139642979334870 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29422] ppid=29407 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29410/task/29422/stat : 29422 (java) R 29407 29410 28623 0 -1 1077944384 176 0 0 0 0 0 0 0 20 0 15 0 40574631 14420725760 11710 33554432000 4194304 4196468 140720778484560 139641968876016 139642994236034 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29423] ppid=29407 vsize=14082740 memory=140403853125248 CPUtime=0.05 cores=0,2,4,6
/proc/29410/task/29423/stat : 29423 (java) R 29407 29410 28623 0 -1 4202560 341 0 0 0 5 0 0 0 20 0 15 0 40574631 14420725760 11710 33554432000 4194304 4196468 140720778484560 139641967821536 139642994246234 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29424] ppid=29407 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29410/task/29424/stat : 29424 (java) S 29407 29410 28623 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40574632 14420725760 11710 33554432000 4194304 4196468 140720778484560 139641966771168 139642994235093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29425] ppid=29407 vsize=14082740 memory=140403853125248 CPUtime=0 cores=0,2,4,6
/proc/29410/task/29425/stat : 29425 (java) S 29407 29410 28623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40574632 14420725760 11710 33554432000 4194304 4196468 140720778484560 139641965717936 139642994236034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 46840 KiB
[startup+0.310318 s]*
/proc/loadavg: 1.85 1.56 1.51 3/215 29425
/proc/meminfo: memFree=22147168/32770624 swapFree=67108860/67108860
[pid=29410] ppid=29407 vsize=14082740 memory=50388 CPUtime=0.44 cores=0,2,4,6
/proc/29410/stat : 29410 (java) S 29407 29410 28623 0 -1 1077944320 10729 0 0 0 40 4 0 0 20 0 15 0 40574626 14420725760 12597 33554432000 4194304 4196468 140720778484560 140720778467104 139642994224887 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
/proc/29410/statm: 3520685 12597 3425 1 0 3482761 0
[pid=29410/tid=29412] ppid=29407 vsize=14082740 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/29410/task/29412/stat : 29412 (java) R 29407 29410 28623 0 -1 4202560 8360 0 0 0 27 3 0 0 20 0 15 0 40574626 14420725760 12597 33554432000 4194304 4196468 140720778484560 139642998432720 139642975788468 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29413] ppid=29407 vsize=14082740 memory=4294977867 CPUtime=0 cores=0,2,4,6
/proc/29410/task/29413/stat : 29413 (java) S 29407 29410 28623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40574627 14420725760 12597 33554432000 4194304 4196468 140720778484560 139642946845584 139642994235093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29414] ppid=29407 vsize=14082740 memory=140403853345626 CPUtime=0 cores=0,2,4,6
/proc/29410/task/29414/stat : 29414 (java) S 29407 29410 28623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40574627 14420725760 12597 33554432000 4194304 4196468 140720778484560 139642945792784 139642994235093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29415] ppid=29407 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29410/task/29415/stat : 29415 (java) S 29407 29410 28623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40574627 14420725760 12597 33554432000 4194304 4196468 140720778484560 139642944740496 139642994235093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29416] ppid=29407 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29410/task/29416/stat : 29416 (java) S 29407 29410 28623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40574627 14420725760 12597 33554432000 4194304 4196468 140720778484560 139642586459152 139642994235093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29417] ppid=29407 vsize=14082740 memory=140403853125248 CPUtime=0 cores=0,2,4,6
/proc/29410/task/29417/stat : 29417 (java) S 29407 29410 28623 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 40574628 14420725760 12597 33554432000 4194304 4196468 140720778484560 139641974138992 139642994236034 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29418] ppid=29407 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29410/task/29418/stat : 29418 (java) S 29407 29410 28623 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 40574629 14420725760 12597 33554432000 4194304 4196468 140720778484560 139641973084960 139642994235093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29419] ppid=29407 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29410/task/29419/stat : 29419 (java) S 29407 29410 28623 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 40574629 14420725760 12597 33554432000 4194304 4196468 140720778484560 139641972032624 139642994235093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29420] ppid=29407 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29410/task/29420/stat : 29420 (java) S 29407 29410 28623 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40574631 14420725760 12597 33554432000 4194304 4196468 140720778484560 139641970980944 139642994243483 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29421] ppid=29407 vsize=14082740 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/29410/task/29421/stat : 29421 (java) S 29407 29410 28623 0 -1 1077944384 351 0 0 0 2 0 0 0 20 0 15 0 40574631 14420725760 12597 33554432000 4194304 4196468 140720778484560 139641969928816 139642994236034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29422] ppid=29407 vsize=14082740 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/29410/task/29422/stat : 29422 (java) S 29407 29410 28623 0 -1 1077944384 267 0 0 0 2 0 0 0 20 0 15 0 40574631 14420725760 12597 33554432000 4194304 4196468 140720778484560 139641968876016 139642994236034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29423] ppid=29407 vsize=14082740 memory=140403853125248 CPUtime=0.07 cores=0,2,4,6
/proc/29410/task/29423/stat : 29423 (java) S 29407 29410 28623 0 -1 1077944384 367 0 0 0 7 0 0 0 20 0 15 0 40574631 14420725760 12597 33554432000 4194304 4196468 140720778484560 139641967823728 139642994236034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29424] ppid=29407 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29410/task/29424/stat : 29424 (java) S 29407 29410 28623 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40574632 14420725760 12597 33554432000 4194304 4196468 140720778484560 139641966771168 139642994235093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29425] ppid=29407 vsize=14082740 memory=140403853125248 CPUtime=0 cores=0,2,4,6
/proc/29410/task/29425/stat : 29425 (java) S 29407 29410 28623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40574632 14420725760 12597 33554432000 4194304 4196468 140720778484560 139641965717936 139642994236034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50388 KiB
[startup+0.700641 s]
/proc/loadavg: 1.85 1.56 1.51 4/215 29425
/proc/meminfo: memFree=22116152/32770624 swapFree=67108860/67108860
[pid=29410] ppid=29407 vsize=14084808 memory=86636 CPUtime=0.98 cores=0,2,4,6
/proc/29410/stat : 29410 (java) S 29407 29410 28623 0 -1 1077944320 17517 0 0 0 91 7 0 0 20 0 15 0 40574626 14422843392 21659 33554432000 4194304 4196468 140720778484560 140720778467104 139642994224887 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
/proc/29410/statm: 3521202 21659 3506 1 0 3483273 0
[pid=29410/tid=29412] ppid=29407 vsize=14084808 memory=266748808955464 CPUtime=0.68 cores=0,2,4,6
/proc/29410/task/29412/stat : 29412 (java) R 29407 29410 28623 0 -1 4202560 14747 0 0 0 62 6 0 0 20 0 15 0 40574626 14422843392 21659 33554432000 4194304 4196468 140720778484560 139642998449104 139642994246813 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29413] ppid=29407 vsize=14084808 memory=4265253205551874080 CPUtime=0 cores=0,2,4,6
/proc/29410/task/29413/stat : 29413 (java) S 29407 29410 28623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40574627 14422843392 21659 33554432000 4194304 4196468 140720778484560 139642946845584 139642994235093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29414] ppid=29407 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29410/task/29414/stat : 29414 (java) S 29407 29410 28623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40574627 14422843392 21659 33554432000 4194304 4196468 140720778484560 139642945792784 139642994235093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29415] ppid=29407 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29410/task/29415/stat : 29415 (java) S 29407 29410 28623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40574627 14422843392 21659 33554432000 4194304 4196468 140720778484560 139642944740496 139642994235093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29416] ppid=29407 vsize=14084808 memory=7809523229951467572 CPUtime=0 cores=0,2,4,6
/proc/29410/task/29416/stat : 29416 (java) S 29407 29410 28623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40574627 14422843392 21659 33554432000 4194304 4196468 140720778484560 139642586459152 139642994235093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29417] ppid=29407 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29410/task/29417/stat : 29417 (java) S 29407 29410 28623 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 40574628 14422843392 21659 33554432000 4194304 4196468 140720778484560 139641974138992 139642994236034 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29418] ppid=29407 vsize=14084808 memory=-3472574513799858008 CPUtime=0 cores=0,2,4,6
/proc/29410/task/29418/stat : 29418 (java) S 29407 29410 28623 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 40574629 14422843392 21659 33554432000 4194304 4196468 140720778484560 139641973084960 139642994235093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29419] ppid=29407 vsize=14084808 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/29410/task/29419/stat : 29419 (java) S 29407 29410 28623 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 40574629 14422843392 21659 33554432000 4194304 4196468 140720778484560 139641972032624 139642994235093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29420] ppid=29407 vsize=14084808 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/29410/task/29420/stat : 29420 (java) S 29407 29410 28623 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40574631 14422843392 21659 33554432000 4194304 4196468 140720778484560 139641970980944 139642994243483 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29421] ppid=29407 vsize=14084808 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29410/task/29421/stat : 29421 (java) S 29407 29410 28623 0 -1 1077944384 527 0 0 0 7 0 0 0 20 0 15 0 40574631 14422843392 21659 33554432000 4194304 4196468 140720778484560 139641969928816 139642994236034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29422] ppid=29407 vsize=14084808 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29410/task/29422/stat : 29422 (java) R 29407 29410 28623 0 -1 4202560 406 0 0 0 7 0 0 0 20 0 15 0 40574631 14422843392 21659 33554432000 4194304 4196468 140720778484560 139641968875936 139642975747111 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29423] ppid=29407 vsize=14084808 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/29410/task/29423/stat : 29423 (java) S 29407 29410 28623 0 -1 1077944384 453 0 0 0 14 0 0 0 20 0 15 0 40574631 14422843392 21659 33554432000 4194304 4196468 140720778484560 139641967823728 139642994236034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29424] ppid=29407 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29410/task/29424/stat : 29424 (java) S 29407 29410 28623 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40574632 14422843392 21659 33554432000 4194304 4196468 140720778484560 139641966771168 139642994235093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29425] ppid=29407 vsize=14084808 memory=18464 CPUtime=0 cores=0,2,4,6
/proc/29410/task/29425/stat : 29425 (java) S 29407 29410 28623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40574632 14422843392 21659 33554432000 4194304 4196468 140720778484560 139641965717936 139642994236034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 86636 KiB
[startup+1.50064 s]
/proc/loadavg: 1.85 1.56 1.51 6/215 29425
/proc/meminfo: memFree=22045160/32770624 swapFree=67108860/67108860
[pid=29410] ppid=29407 vsize=14088904 memory=186944 CPUtime=3.28 cores=0,2,4,6
/proc/29410/stat : 29410 (java) S 29407 29410 28623 0 -1 1077944320 23127 0 0 0 316 12 0 0 20 0 15 0 40574626 14427037696 46736 33554432000 4194304 4196468 140720778484560 140720778467104 139642994224887 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
/proc/29410/statm: 3522226 46736 3543 1 0 3484297 0
[pid=29410/tid=29412] ppid=29407 vsize=14088904 memory=10799 CPUtime=1.47 cores=0,2,4,6
/proc/29410/task/29412/stat : 29412 (java) R 29407 29410 28623 0 -1 4202560 16485 0 0 0 138 9 0 0 20 0 15 0 40574626 14427037696 46736 33554432000 4194304 4196468 140720778484560 139642998459632 139642994236822 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29413] ppid=29407 vsize=14088904 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/29410/task/29413/stat : 29413 (java) S 29407 29410 28623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40574627 14427037696 46736 33554432000 4194304 4196468 140720778484560 139642946845584 139642994235093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29414] ppid=29407 vsize=14088904 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29410/task/29414/stat : 29414 (java) S 29407 29410 28623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40574627 14427037696 46736 33554432000 4194304 4196468 140720778484560 139642945792784 139642994235093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29415] ppid=29407 vsize=14088904 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29410/task/29415/stat : 29415 (java) S 29407 29410 28623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40574627 14427037696 46736 33554432000 4194304 4196468 140720778484560 139642944740496 139642994235093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29416] ppid=29407 vsize=14088904 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29410/task/29416/stat : 29416 (java) S 29407 29410 28623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40574627 14427037696 46736 33554432000 4194304 4196468 140720778484560 139642586459152 139642994235093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29417] ppid=29407 vsize=14088904 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29410/task/29417/stat : 29417 (java) S 29407 29410 28623 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 40574628 14427037696 46736 33554432000 4194304 4196468 140720778484560 139641974138992 139642994236034 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29418] ppid=29407 vsize=14088904 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29410/task/29418/stat : 29418 (java) S 29407 29410 28623 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 40574629 14427037696 46736 33554432000 4194304 4196468 140720778484560 139641973084960 139642994235093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29419] ppid=29407 vsize=14088904 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29410/task/29419/stat : 29419 (java) S 29407 29410 28623 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 40574629 14427037696 46736 33554432000 4194304 4196468 140720778484560 139641972032624 139642994235093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29420] ppid=29407 vsize=14088904 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29410/task/29420/stat : 29420 (java) S 29407 29410 28623 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40574631 14427037696 46736 33554432000 4194304 4196468 140720778484560 139641970980944 139642994243483 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29421] ppid=29407 vsize=14088904 memory=0 CPUtime=0.59 cores=0,2,4,6
/proc/29410/task/29421/stat : 29421 (java) R 29407 29410 28623 0 -1 4202560 1470 0 0 0 59 0 0 0 20 0 15 0 40574631 14427037696 46736 33554432000 4194304 4196468 140720778484560 139641969920144 139642978126101 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29422] ppid=29407 vsize=14088904 memory=0 CPUtime=0.56 cores=0,2,4,6
/proc/29410/task/29422/stat : 29422 (java) R 29407 29410 28623 0 -1 4202560 1751 0 0 0 55 1 0 0 20 0 15 0 40574631 14427037696 46736 33554432000 4194304 4196468 140720778484560 139641968863456 139642994246234 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29423] ppid=29407 vsize=14088904 memory=0 CPUtime=0.63 cores=0,2,4,6
/proc/29410/task/29423/stat : 29423 (java) R 29407 29410 28623 0 -1 1077944384 2021 0 0 0 62 1 0 0 20 0 15 0 40574631 14427037696 46736 33554432000 4194304 4196468 140720778484560 139641967823728 139642994236034 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29424] ppid=29407 vsize=14088904 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29410/task/29424/stat : 29424 (java) S 29407 29410 28623 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40574632 14427037696 46736 33554432000 4194304 4196468 140720778484560 139641966771168 139642994235093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29425] ppid=29407 vsize=14088904 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29410/task/29425/stat : 29425 (java) S 29407 29410 28623 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 40574632 14427037696 46736 33554432000 4194304 4196468 140720778484560 139641965717936 139642994236034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
Current children cumulated CPU time: 3.28 s
Current children cumulated vsize: 14088904 KiB
Current children cumulated memory: 186944 KiB
[startup+2.04036 s]
# the end of solver process 29410 was just reported to runsolver
# cumulated CPU time of all completed processes: user=4.4198 s, system=0.169874 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60085 s]
/proc/loadavg: 1.85 1.56 1.51 6/215 29425
/proc/meminfo: memFree=22045160/32770624 swapFree=67108860/67108860
[pid=29410] ppid=29407 vsize=14088904 memory=192512 CPUtime=3.47 cores=0,2,4,6
/proc/29410/stat : 29410 (java) S 29407 29410 28623 0 -1 1077944320 23538 0 0 0 335 12 0 0 20 0 15 0 40574626 14427037696 48128 33554432000 4194304 4196468 140720778484560 140720778467104 139642994224887 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
/proc/29410/statm: 3522226 48128 3543 1 0 3484297 0
[pid=29410/tid=29412] ppid=29407 vsize=14088904 memory=140403853151441 CPUtime=1.57 cores=0,2,4,6
/proc/29410/task/29412/stat : 29412 (java) R 29407 29410 28623 0 -1 4202560 16814 0 0 0 148 9 0 0 20 0 15 0 40574626 14427037696 48128 33554432000 4194304 4196468 140720778484560 139642998461168 139642977588658 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29413] ppid=29407 vsize=14088904 memory=280807512199824 CPUtime=0 cores=0,2,4,6
/proc/29410/task/29413/stat : 29413 (java) S 29407 29410 28623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40574627 14427037696 48128 33554432000 4194304 4196468 140720778484560 139642946845584 139642994235093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29414] ppid=29407 vsize=14088904 memory=140403756114681 CPUtime=0 cores=0,2,4,6
/proc/29410/task/29414/stat : 29414 (java) S 29407 29410 28623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40574627 14427037696 48128 33554432000 4194304 4196468 140720778484560 139642945792784 139642994235093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29415] ppid=29407 vsize=14088904 memory=151605570821120 CPUtime=0 cores=0,2,4,6
/proc/29410/task/29415/stat : 29415 (java) S 29407 29410 28623 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40574627 14427037696 48128 33554432000 4194304 4196468 140720778484560 139642944740496 139642994235093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29416] ppid=29407 vsize=14088904 memory=6154282490091891024 CPUtime=0 cores=0,2,4,6
/proc/29410/task/29416/stat : 29416 (java) S 29407 29410 28623 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40574627 14427037696 48128 33554432000 4194304 4196468 140720778484560 139642586459152 139642994235093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29417] ppid=29407 vsize=14088904 memory=7805107943675160912 CPUtime=0 cores=0,2,4,6
/proc/29410/task/29417/stat : 29417 (java) S 29407 29410 28623 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 40574628 14427037696 48128 33554432000 4194304 4196468 140720778484560 139641974138992 139642994236034 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29418] ppid=29407 vsize=14088904 memory=4638778398332698720 CPUtime=0 cores=0,2,4,6
/proc/29410/task/29418/stat : 29418 (java) S 29407 29410 28623 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 40574629 14427037696 48128 33554432000 4194304 4196468 140720778484560 139641973084960 139642994235093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29419] ppid=29407 vsize=14088904 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29410/task/29419/stat : 29419 (java) S 29407 29410 28623 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 40574629 14427037696 48128 33554432000 4194304 4196468 140720778484560 139641972032624 139642994235093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29420] ppid=29407 vsize=14088904 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29410/task/29420/stat : 29420 (java) S 29407 29410 28623 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40574631 14427037696 48128 33554432000 4194304 4196468 140720778484560 139641970980944 139642994243483 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29421] ppid=29407 vsize=14088904 memory=0 CPUtime=0.62 cores=0,2,4,6
/proc/29410/task/29421/stat : 29421 (java) S 29407 29410 28623 0 -1 1077944384 1478 0 0 0 62 0 0 0 20 0 15 0 40574631 14427037696 48128 33554432000 4194304 4196468 140720778484560 139641969928816 139642994236034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29422] ppid=29407 vsize=14088904 memory=6655300316396806240 CPUtime=0.6 cores=0,2,4,6
/proc/29410/task/29422/stat : 29422 (java) S 29407 29410 28623 0 -1 1077944384 1764 0 0 0 59 1 0 0 20 0 15 0 40574631 14427037696 48128 33554432000 4194304 4196468 140720778484560 139641968876016 139642994236034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29423] ppid=29407 vsize=14088904 memory=6944656592387989600 CPUtime=0.66 cores=0,2,4,6
/proc/29410/task/29423/stat : 29423 (java) S 29407 29410 28623 0 -1 1077944384 2082 0 0 0 65 1 0 0 20 0 15 0 40574631 14427037696 48128 33554432000 4194304 4196468 140720778484560 139641967823728 139642994236034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29424] ppid=29407 vsize=14088904 memory=11763915425922 CPUtime=0 cores=0,2,4,6
/proc/29410/task/29424/stat : 29424 (java) S 29407 29410 28623 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40574632 14427037696 48128 33554432000 4194304 4196468 140720778484560 139641966771168 139642994235093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29425] ppid=29407 vsize=14088904 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29410/task/29425/stat : 29425 (java) S 29407 29410 28623 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 40574632 14427037696 48128 33554432000 4194304 4196468 140720778484560 139641965717936 139642994236034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
Current children cumulated CPU time: 3.47 s
Current children cumulated vsize: 14088904 KiB
Current children cumulated memory: 192512 KiB
[startup+2.00117 s]*
/proc/loadavg: 1.85 1.56 1.51 5/215 29501
/proc/meminfo: memFree=22082608/32770624 swapFree=67108860/67108860
[pid=29410] ppid=29407 vsize=14093000 memory=234784 CPUtime=4.53 cores=0,2,4,6
/proc/29410/stat : 29410 (java) S 29407 29410 28623 0 -1 1077944320 26404 0 0 0 437 16 0 0 20 0 15 0 40574626 14431232000 58696 33554432000 4194304 4196468 140720778484560 140720778467104 139642994224887 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
/proc/29410/statm: 3523250 58696 3549 1 0 3485321 0
[pid=29410/tid=29412] ppid=29407 vsize=14093000 memory=6791534058613427641 CPUtime=1.96 cores=0,2,4,6
/proc/29410/task/29412/stat : 29412 (java) R 29407 29410 28623 0 -1 4202560 18402 0 0 0 186 10 0 0 20 0 15 0 40574626 14431232000 58696 33554432000 4194304 4196468 140720778484560 139642998442432 139642978305374 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29413] ppid=29407 vsize=14093000 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29410/task/29413/stat : 29413 (java) S 29407 29410 28623 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 40574627 14431232000 58696 33554432000 4194304 4196468 140720778484560 139642946845584 139642994235093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29414] ppid=29407 vsize=14093000 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29410/task/29414/stat : 29414 (java) S 29407 29410 28623 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 40574627 14431232000 58696 33554432000 4194304 4196468 140720778484560 139642945792784 139642994235093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29415] ppid=29407 vsize=14093000 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29410/task/29415/stat : 29415 (java) S 29407 29410 28623 0 -1 1077944384 109 0 0 0 0 0 0 0 20 0 15 0 40574627 14431232000 58696 33554432000 4194304 4196468 140720778484560 139642944740496 139642994235093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29416] ppid=29407 vsize=14093000 memory=2867565960586600 CPUtime=0 cores=0,2,4,6
/proc/29410/task/29416/stat : 29416 (java) S 29407 29410 28623 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 40574627 14431232000 58696 33554432000 4194304 4196468 140720778484560 139642586459152 139642994235093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29417] ppid=29407 vsize=14093000 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/29410/task/29417/stat : 29417 (java) S 29407 29410 28623 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 40574628 14431232000 58696 33554432000 4194304 4196468 140720778484560 139641974138992 139642994236034 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29418] ppid=29407 vsize=14093000 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29410/task/29418/stat : 29418 (java) S 29407 29410 28623 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 40574629 14431232000 58696 33554432000 4194304 4196468 140720778484560 139641973085024 139642994235093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29419] ppid=29407 vsize=14093000 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29410/task/29419/stat : 29419 (java) S 29407 29410 28623 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 40574629 14431232000 58696 33554432000 4194304 4196468 140720778484560 139641972032640 139642994235093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29420] ppid=29407 vsize=14093000 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29410/task/29420/stat : 29420 (java) S 29407 29410 28623 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40574631 14431232000 58696 33554432000 4194304 4196468 140720778484560 139641970980944 139642994243483 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29421] ppid=29407 vsize=14093000 memory=0 CPUtime=0.8 cores=0,2,4,6
/proc/29410/task/29421/stat : 29421 (java) R 29407 29410 28623 0 -1 4202560 1554 0 0 0 80 0 0 0 20 0 15 0 40574631 14431232000 58696 33554432000 4194304 4196468 140720778484560 139641969915360 139642975748222 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29422] ppid=29407 vsize=14093000 memory=0 CPUtime=0.79 cores=0,2,4,6
/proc/29410/task/29422/stat : 29422 (java) R 29407 29410 28623 0 -1 4202560 1863 0 0 0 78 1 0 0 20 0 15 0 40574631 14431232000 58696 33554432000 4194304 4196468 140720778484560 139641968865008 139642977635688 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29423] ppid=29407 vsize=14093000 memory=3472468700080805552 CPUtime=0.89 cores=0,2,4,6
/proc/29410/task/29423/stat : 29423 (java) S 29407 29410 28623 0 -1 1077944384 2936 0 0 0 88 1 0 0 20 0 15 0 40574631 14431232000 58696 33554432000 4194304 4196468 140720778484560 139641967823728 139642994236034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29424] ppid=29407 vsize=14093000 memory=734139722786418735 CPUtime=0 cores=0,2,4,6
/proc/29410/task/29424/stat : 29424 (java) S 29407 29410 28623 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40574632 14431232000 58696 33554432000 4194304 4196468 140720778484560 139641966771168 139642994235093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
[pid=29410/tid=29425] ppid=29407 vsize=14093000 memory=3472750175057516208 CPUtime=0 cores=0,2,4,6
/proc/29410/task/29425/stat : 29425 (java) S 29407 29410 28623 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 40574632 14431232000 58696 33554432000 4194304 4196468 140720778484560 139641965717936 139642994236034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32608256 140720778486857 140720778487049 140720778487049 140720778489807 0
Current children cumulated CPU time: 4.53 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 234784 KiB
Child status: 0
Real time (s): 2.04042
CPU time (s): 4.58967
CPU user time (s): 4.4198
CPU system time (s): 0.169874
CPU usage (%): 224.938
Max. virtual memory (cumulated for all children) (KiB): 14093000
Max. memory (cumulated for all children) (KiB): 234784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.4198
system time used= 0.169874
maximum resident set size= 235860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26521
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3704
involuntary context switches= 85
# summary of solver processes directly reported to runsolver:
# pid: 29410
# total CPU time (s): 4.58967
# total CPU user time (s): 4.4198
# total CPU system time (s): 0.169874
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.030014 second user time and 0.069877 second system time
The end