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 (7190 MiB free)
memory of node 1: 16384 MiB (13023 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290709-1532250607/watcher-4290709-1532250607 -o /tmp/evaluation-result-4290709-1532250607/solver-4290709-1532250607 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532226532-30726 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 448384454 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4290709-1532250607.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
Current StackSize limit: 8192 KiB
solver pid=1580, runsolver pid=1576
[startup+0.100091 s]*
/proc/loadavg: 1.25 1.41 1.41 3/219 1595
/proc/meminfo: memFree=20682484/32770624 swapFree=67108860/67108860
[pid=1580] ppid=1576 vsize=14082740 memory=30616 CPUtime=0.11 cores=0,2,4,6
/proc/1580/stat : 1580 (java) S 1576 1580 30695 0 -1 1077944320 6567 0 0 0 11 0 0 0 20 0 15 0 42623923 14420725760 7654 33554432000 4194304 4196468 140735675096960 140735675079504 140638206136055 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
/proc/1580/statm: 3520685 7654 3152 1 0 3482761 0
[pid=1580/tid=1582] ppid=1576 vsize=14082740 memory=576460756329955604 CPUtime=0.09 cores=0,2,4,6
/proc/1580/task/1582/stat : 1582 (java) R 1576 1580 30695 0 -1 4202560 4613 0 0 0 9 0 0 0 20 0 15 0 42623923 14420725760 7654 33554432000 4194304 4196468 140735675096960 140638210347856 140638190216542 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1583] ppid=1576 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1580/task/1583/stat : 1583 (java) S 1576 1580 30695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42623924 14420725760 7654 33554432000 4194304 4196468 140735675096960 140638169242256 140638206146261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1584] ppid=1576 vsize=14082740 memory=4049914965648474144 CPUtime=0 cores=0,2,4,6
/proc/1580/task/1584/stat : 1584 (java) S 1576 1580 30695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42623924 14420725760 7654 33554432000 4194304 4196468 140735675096960 140637800426000 140638206146261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1585] ppid=1576 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1580/task/1585/stat : 1585 (java) S 1576 1580 30695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42623924 14420725760 7654 33554432000 4194304 4196468 140735675096960 140637799373200 140638206146261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1586] ppid=1576 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1580/task/1586/stat : 1586 (java) S 1576 1580 30695 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42623924 14420725760 7654 33554432000 4194304 4196468 140735675096960 140637798320400 140638206146261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1587] ppid=1576 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1580/task/1587/stat : 1587 (java) S 1576 1580 30695 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42623926 14420725760 7654 33554432000 4194304 4196468 140735675096960 140637680794480 140638206147202 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1588] ppid=1576 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1580/task/1588/stat : 1588 (java) S 1576 1580 30695 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 42623926 14420725760 7654 33554432000 4194304 4196468 140735675096960 140637679740448 140638206146261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1589] ppid=1576 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1580/task/1589/stat : 1589 (java) S 1576 1580 30695 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 42623926 14420725760 7654 33554432000 4194304 4196468 140735675096960 140637678687600 140638206146261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1590] ppid=1576 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1580/task/1590/stat : 1590 (java) S 1576 1580 30695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42623928 14420725760 7654 33554432000 4194304 4196468 140735675096960 140637677635920 140638206154651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1591] ppid=1576 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1580/task/1591/stat : 1591 (java) S 1576 1580 30695 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 42623928 14420725760 7654 33554432000 4194304 4196468 140735675096960 140637676583280 140638206147202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1592] ppid=1576 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1580/task/1592/stat : 1592 (java) S 1576 1580 30695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42623928 14420725760 7654 33554432000 4194304 4196468 140735675096960 140637675530480 140638206147202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1593] ppid=1576 vsize=14082740 memory=140088741025408 CPUtime=0.01 cores=0,2,4,6
/proc/1580/task/1593/stat : 1593 (java) S 1576 1580 30695 0 -1 1077944384 286 0 0 0 1 0 0 0 20 0 15 0 42623929 14420725760 7654 33554432000 4194304 4196468 140735675096960 140637674477680 140638206147202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1594] ppid=1576 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1580/task/1594/stat : 1594 (java) S 1576 1580 30695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42623929 14420725760 7654 33554432000 4194304 4196468 140735675096960 140637673425120 140638206146261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1595] ppid=1576 vsize=14082740 memory=140088741025408 CPUtime=0 cores=0,2,4,6
/proc/1580/task/1595/stat : 1595 (java) S 1576 1580 30695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42623929 14420725760 7654 33554432000 4194304 4196468 140735675096960 140637672373424 140638206147202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 30616 KiB
[startup+0.210721 s]*
/proc/loadavg: 1.25 1.41 1.41 5/219 1595
/proc/meminfo: memFree=20666484/32770624 swapFree=67108860/67108860
[pid=1580] ppid=1576 vsize=14082740 memory=46976 CPUtime=0.3 cores=0,2,4,6
/proc/1580/stat : 1580 (java) S 1576 1580 30695 0 -1 1077944320 10336 0 0 0 28 2 0 0 20 0 15 0 42623923 14420725760 11744 33554432000 4194304 4196468 140735675096960 140735675079504 140638206136055 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
/proc/1580/statm: 3520685 11744 3337 1 0 3482761 0
[pid=1580/tid=1582] ppid=1576 vsize=14082740 memory=8389772277269004345 CPUtime=0.2 cores=0,2,4,6
/proc/1580/task/1582/stat : 1582 (java) R 1576 1580 30695 0 -1 4202560 8084 0 0 0 19 1 0 0 20 0 15 0 42623923 14420725760 11810 33554432000 4194304 4196468 140735675096960 140638210358272 140637842066136 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1583] ppid=1576 vsize=14082740 memory=4294967660 CPUtime=0 cores=0,2,4,6
/proc/1580/task/1583/stat : 1583 (java) S 1576 1580 30695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42623924 14420725760 11810 33554432000 4194304 4196468 140735675096960 140638169242256 140638206146261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1584] ppid=1576 vsize=14082740 memory=140088741202268 CPUtime=0 cores=0,2,4,6
/proc/1580/task/1584/stat : 1584 (java) S 1576 1580 30695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42623924 14420725760 11810 33554432000 4194304 4196468 140735675096960 140637800426000 140638206146261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1585] ppid=1576 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1580/task/1585/stat : 1585 (java) S 1576 1580 30695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42623924 14420725760 11810 33554432000 4194304 4196468 140735675096960 140637799373200 140638206146261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1586] ppid=1576 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1580/task/1586/stat : 1586 (java) S 1576 1580 30695 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42623924 14420725760 11810 33554432000 4194304 4196468 140735675096960 140637798320400 140638206146261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1587] ppid=1576 vsize=14082740 memory=140088741025408 CPUtime=0 cores=0,2,4,6
/proc/1580/task/1587/stat : 1587 (java) S 1576 1580 30695 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 42623926 14420725760 11810 33554432000 4194304 4196468 140735675096960 140637680794480 140638206147202 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1588] ppid=1576 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1580/task/1588/stat : 1588 (java) S 1576 1580 30695 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 42623926 14420725760 11810 33554432000 4194304 4196468 140735675096960 140637679740448 140638206146261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1589] ppid=1576 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1580/task/1589/stat : 1589 (java) S 1576 1580 30695 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 42623926 14420725760 11810 33554432000 4194304 4196468 140735675096960 140637678687600 140638206146261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1590] ppid=1576 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1580/task/1590/stat : 1590 (java) S 1576 1580 30695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42623928 14420725760 11810 33554432000 4194304 4196468 140735675096960 140637677635920 140638206154651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1591] ppid=1576 vsize=14082740 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/1580/task/1591/stat : 1591 (java) R 1576 1580 30695 0 -1 1077944384 427 0 0 0 1 0 0 0 20 0 15 0 42623928 14420725760 11810 33554432000 4194304 4196468 140735675096960 140637676583280 140638206147202 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1592] ppid=1576 vsize=14082740 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/1580/task/1592/stat : 1592 (java) R 1576 1580 30695 0 -1 4202560 148 0 0 0 1 0 0 0 20 0 15 0 42623928 14420725760 11810 33554432000 4194304 4196468 140735675096960 140637675528880 140638187680231 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1593] ppid=1576 vsize=14082740 memory=140088741025408 CPUtime=0.06 cores=0,2,4,6
/proc/1580/task/1593/stat : 1593 (java) R 1576 1580 30695 0 -1 4202560 343 0 0 0 6 0 0 0 20 0 15 0 42623929 14420725760 11810 33554432000 4194304 4196468 140735675096960 140637674477680 140638184627280 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1594] ppid=1576 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1580/task/1594/stat : 1594 (java) S 1576 1580 30695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42623929 14420725760 11810 33554432000 4194304 4196468 140735675096960 140637673425120 140638206146261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1595] ppid=1576 vsize=14082740 memory=140088741025408 CPUtime=0 cores=0,2,4,6
/proc/1580/task/1595/stat : 1595 (java) S 1576 1580 30695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42623929 14420725760 11810 33554432000 4194304 4196468 140735675096960 140637672373424 140638206147202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 46976 KiB
[startup+0.310855 s]*
/proc/loadavg: 1.25 1.41 1.41 4/219 1595
/proc/meminfo: memFree=20662404/32770624 swapFree=67108860/67108860
[pid=1580] ppid=1576 vsize=14082740 memory=50512 CPUtime=0.44 cores=0,2,4,6
/proc/1580/stat : 1580 (java) S 1576 1580 30695 0 -1 1077944320 10803 0 0 0 42 2 0 0 20 0 15 0 42623923 14420725760 12628 33554432000 4194304 4196468 140735675096960 140735675079504 140638206136055 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
/proc/1580/statm: 3520685 12628 3373 1 0 3482761 0
[pid=1580/tid=1582] ppid=1576 vsize=14082740 memory=8389772277269004345 CPUtime=0.3 cores=0,2,4,6
/proc/1580/task/1582/stat : 1582 (java) R 1576 1580 30695 0 -1 4202560 8447 0 0 0 29 1 0 0 20 0 15 0 42623923 14420725760 12679 33554432000 4194304 4196468 140735675096960 140638210347568 140638190216542 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1583] ppid=1576 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1580/task/1583/stat : 1583 (java) S 1576 1580 30695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42623924 14420725760 12679 33554432000 4194304 4196468 140735675096960 140638169242256 140638206146261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1584] ppid=1576 vsize=14082740 memory=140088741202715 CPUtime=0 cores=0,2,4,6
/proc/1580/task/1584/stat : 1584 (java) S 1576 1580 30695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42623924 14420725760 12679 33554432000 4194304 4196468 140735675096960 140637800426000 140638206146261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1585] ppid=1576 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1580/task/1585/stat : 1585 (java) S 1576 1580 30695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42623924 14420725760 12679 33554432000 4194304 4196468 140735675096960 140637799373200 140638206146261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1586] ppid=1576 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1580/task/1586/stat : 1586 (java) S 1576 1580 30695 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42623924 14420725760 12679 33554432000 4194304 4196468 140735675096960 140637798320400 140638206146261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1587] ppid=1576 vsize=14082740 memory=140088741025408 CPUtime=0 cores=0,2,4,6
/proc/1580/task/1587/stat : 1587 (java) S 1576 1580 30695 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 42623926 14420725760 12679 33554432000 4194304 4196468 140735675096960 140637680794480 140638206147202 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1588] ppid=1576 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1580/task/1588/stat : 1588 (java) S 1576 1580 30695 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 42623926 14420725760 12679 33554432000 4194304 4196468 140735675096960 140637679740448 140638206146261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1589] ppid=1576 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1580/task/1589/stat : 1589 (java) S 1576 1580 30695 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 42623926 14420725760 12679 33554432000 4194304 4196468 140735675096960 140637678687600 140638206146261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1590] ppid=1576 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1580/task/1590/stat : 1590 (java) S 1576 1580 30695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42623928 14420725760 12679 33554432000 4194304 4196468 140735675096960 140637677635920 140638206154651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1591] ppid=1576 vsize=14082740 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/1580/task/1591/stat : 1591 (java) S 1576 1580 30695 0 -1 1077944384 443 0 0 0 1 0 0 0 20 0 15 0 42623928 14420725760 12679 33554432000 4194304 4196468 140735675096960 140637676583280 140638206147202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1592] ppid=1576 vsize=14082740 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/1580/task/1592/stat : 1592 (java) S 1576 1580 30695 0 -1 1077944384 173 0 0 0 3 0 0 0 20 0 15 0 42623928 14420725760 12679 33554432000 4194304 4196468 140735675096960 140637675530480 140638206147202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1593] ppid=1576 vsize=14082740 memory=140088741025408 CPUtime=0.08 cores=0,2,4,6
/proc/1580/task/1593/stat : 1593 (java) S 1576 1580 30695 0 -1 1077944384 366 0 0 0 8 0 0 0 20 0 15 0 42623929 14420725760 12679 33554432000 4194304 4196468 140735675096960 140637674477680 140638206147202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1594] ppid=1576 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1580/task/1594/stat : 1594 (java) S 1576 1580 30695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42623929 14420725760 12679 33554432000 4194304 4196468 140735675096960 140637673425120 140638206146261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1595] ppid=1576 vsize=14082740 memory=140088741025408 CPUtime=0 cores=0,2,4,6
/proc/1580/task/1595/stat : 1595 (java) S 1576 1580 30695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42623929 14420725760 12679 33554432000 4194304 4196468 140735675096960 140637672373424 140638206147202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50512 KiB
[startup+0.700669 s]
/proc/loadavg: 1.25 1.41 1.41 3/219 1595
/proc/meminfo: memFree=20638096/32770624 swapFree=67108860/67108860
[pid=1580] ppid=1576 vsize=14084808 memory=88856 CPUtime=0.99 cores=0,2,4,6
/proc/1580/stat : 1580 (java) S 1576 1580 30695 0 -1 1077944320 17592 0 0 0 94 5 0 0 20 0 15 0 42623923 14422843392 22214 33554432000 4194304 4196468 140735675096960 140735675079504 140638206136055 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
/proc/1580/statm: 3521202 22214 3507 1 0 3483273 0
[pid=1580/tid=1582] ppid=1576 vsize=14084808 memory=14716 CPUtime=0.67 cores=0,2,4,6
/proc/1580/task/1582/stat : 1582 (java) R 1576 1580 30695 0 -1 4202560 14875 0 0 0 64 3 0 0 20 0 15 0 42623923 14422843392 22214 33554432000 4194304 4196468 140735675096960 140638210350960 140638191051729 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1583] ppid=1576 vsize=14084808 memory=4644 CPUtime=0 cores=0,2,4,6
/proc/1580/task/1583/stat : 1583 (java) S 1576 1580 30695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42623924 14422843392 22214 33554432000 4194304 4196468 140735675096960 140638169242256 140638206146261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1584] ppid=1576 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1580/task/1584/stat : 1584 (java) S 1576 1580 30695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42623924 14422843392 22214 33554432000 4194304 4196468 140735675096960 140637800426000 140638206146261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1585] ppid=1576 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1580/task/1585/stat : 1585 (java) S 1576 1580 30695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42623924 14422843392 22214 33554432000 4194304 4196468 140735675096960 140637799373200 140638206146261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1586] ppid=1576 vsize=14084808 memory=1948 CPUtime=0 cores=0,2,4,6
/proc/1580/task/1586/stat : 1586 (java) S 1576 1580 30695 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42623924 14422843392 22214 33554432000 4194304 4196468 140735675096960 140637798320400 140638206146261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1587] ppid=1576 vsize=14084808 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/1580/task/1587/stat : 1587 (java) S 1576 1580 30695 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 42623926 14422843392 22214 33554432000 4194304 4196468 140735675096960 140637680794480 140638206147202 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1588] ppid=1576 vsize=14084808 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/1580/task/1588/stat : 1588 (java) S 1576 1580 30695 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 42623926 14422843392 22214 33554432000 4194304 4196468 140735675096960 140637679740448 140638206146261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1589] ppid=1576 vsize=14084808 memory=1424 CPUtime=0 cores=0,2,4,6
/proc/1580/task/1589/stat : 1589 (java) S 1576 1580 30695 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 42623926 14422843392 22214 33554432000 4194304 4196468 140735675096960 140637678687600 140638206146261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1590] ppid=1576 vsize=14084808 memory=796 CPUtime=0 cores=0,2,4,6
/proc/1580/task/1590/stat : 1590 (java) S 1576 1580 30695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42623928 14422843392 22214 33554432000 4194304 4196468 140735675096960 140637677635920 140638206154651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1591] ppid=1576 vsize=14084808 memory=8380 CPUtime=0.07 cores=0,2,4,6
/proc/1580/task/1591/stat : 1591 (java) S 1576 1580 30695 0 -1 1077944384 604 0 0 0 7 0 0 0 20 0 15 0 42623928 14422843392 22214 33554432000 4194304 4196468 140735675096960 140637676583280 140638206147202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1592] ppid=1576 vsize=14084808 memory=5404 CPUtime=0.07 cores=0,2,4,6
/proc/1580/task/1592/stat : 1592 (java) S 1576 1580 30695 0 -1 1077944384 304 0 0 0 7 0 0 0 20 0 15 0 42623928 14422843392 22214 33554432000 4194304 4196468 140735675096960 140637675530480 140638206147202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1593] ppid=1576 vsize=14084808 memory=280177225558720 CPUtime=0.15 cores=0,2,4,6
/proc/1580/task/1593/stat : 1593 (java) S 1576 1580 30695 0 -1 1077944384 427 0 0 0 15 0 0 0 20 0 15 0 42623929 14422843392 22214 33554432000 4194304 4196468 140735675096960 140637674477680 140638206147202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1594] ppid=1576 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1580/task/1594/stat : 1594 (java) S 1576 1580 30695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42623929 14422843392 22214 33554432000 4194304 4196468 140735675096960 140637673425120 140638206146261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1595] ppid=1576 vsize=14084808 memory=140088612783856 CPUtime=0 cores=0,2,4,6
/proc/1580/task/1595/stat : 1595 (java) S 1576 1580 30695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42623929 14422843392 22214 33554432000 4194304 4196468 140735675096960 140637672373424 140638206147202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 88856 KiB
[startup+1.50099 s]
/proc/loadavg: 1.25 1.41 1.41 3/219 1595
/proc/meminfo: memFree=20604800/32770624 swapFree=67108860/67108860
[pid=1580] ppid=1576 vsize=14090952 memory=150212 CPUtime=3.09 cores=0,2,4,6
/proc/1580/stat : 1580 (java) S 1576 1580 30695 0 -1 1077944320 26699 0 0 0 301 8 0 0 20 0 15 0 42623923 14429134848 37553 33554432000 4194304 4196468 140735675096960 140735675079504 140638206136055 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
/proc/1580/statm: 3522738 37553 3547 1 0 3484809 0
[pid=1580/tid=1582] ppid=1576 vsize=14090952 memory=14716 CPUtime=1.47 cores=0,2,4,6
/proc/1580/task/1582/stat : 1582 (java) R 1576 1580 30695 0 -1 4202560 19658 0 0 0 142 5 0 0 20 0 15 0 42623923 14429134848 37553 33554432000 4194304 4196468 140735675096960 140638210371816 140637848260329 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1583] ppid=1576 vsize=14090952 memory=280177225512032 CPUtime=0 cores=0,2,4,6
/proc/1580/task/1583/stat : 1583 (java) S 1576 1580 30695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42623924 14429134848 37553 33554432000 4194304 4196468 140735675096960 140638169242256 140638206146261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1584] ppid=1576 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1580/task/1584/stat : 1584 (java) S 1576 1580 30695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42623924 14429134848 37553 33554432000 4194304 4196468 140735675096960 140637800426000 140638206146261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1585] ppid=1576 vsize=14090952 memory=140088612763584 CPUtime=0 cores=0,2,4,6
/proc/1580/task/1585/stat : 1585 (java) S 1576 1580 30695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42623924 14429134848 37553 33554432000 4194304 4196468 140735675096960 140637799373200 140638206146261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1586] ppid=1576 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1580/task/1586/stat : 1586 (java) S 1576 1580 30695 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42623924 14429134848 37553 33554432000 4194304 4196468 140735675096960 140637798320400 140638206146261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1587] ppid=1576 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1580/task/1587/stat : 1587 (java) S 1576 1580 30695 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 42623926 14429134848 37553 33554432000 4194304 4196468 140735675096960 140637680794480 140638206147202 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1588] ppid=1576 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1580/task/1588/stat : 1588 (java) S 1576 1580 30695 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 42623926 14429134848 37553 33554432000 4194304 4196468 140735675096960 140637679740448 140638206146261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1589] ppid=1576 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1580/task/1589/stat : 1589 (java) S 1576 1580 30695 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 42623926 14429134848 37553 33554432000 4194304 4196468 140735675096960 140637678687600 140638206146261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1590] ppid=1576 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1580/task/1590/stat : 1590 (java) S 1576 1580 30695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42623928 14429134848 37553 33554432000 4194304 4196468 140735675096960 140637677635920 140638206154651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1591] ppid=1576 vsize=14090952 memory=15 CPUtime=0.41 cores=0,2,4,6
/proc/1580/task/1591/stat : 1591 (java) R 1576 1580 30695 0 -1 4202560 1437 0 0 0 41 0 0 0 20 0 15 0 42623928 14429134848 37553 33554432000 4194304 4196468 140735675096960 140637676568928 140638187680269 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1592] ppid=1576 vsize=14090952 memory=18 CPUtime=0.56 cores=0,2,4,6
/proc/1580/task/1592/stat : 1592 (java) R 1576 1580 30695 0 -1 4202560 1668 0 0 0 56 0 0 0 20 0 15 0 42623928 14429134848 37553 33554432000 4194304 4196468 140735675096960 140637675511472 140638190529404 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1593] ppid=1576 vsize=14090952 memory=30 CPUtime=0.61 cores=0,2,4,6
/proc/1580/task/1593/stat : 1593 (java) R 1576 1580 30695 0 -1 4202560 2515 0 0 0 60 1 0 0 20 0 15 0 42623929 14429134848 37553 33554432000 4194304 4196468 140735675096960 140637674477680 140638199232891 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1594] ppid=1576 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1580/task/1594/stat : 1594 (java) S 1576 1580 30695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42623929 14429134848 37553 33554432000 4194304 4196468 140735675096960 140637673425120 140638206146261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1595] ppid=1576 vsize=14090952 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/1580/task/1595/stat : 1595 (java) S 1576 1580 30695 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 42623929 14429134848 37553 33554432000 4194304 4196468 140735675096960 140637672373424 140638206147202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 150212 KiB
[startup+1.57682 s]
# the end of solver process 1580 was just reported to runsolver
# cumulated CPU time of all completed processes: user=3.21463 s, system=0.08702 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.50099 s]
/proc/loadavg: 1.25 1.41 1.41 3/219 1595
/proc/meminfo: memFree=20604800/32770624 swapFree=67108860/67108860
[pid=1580] ppid=1576 vsize=14090952 memory=150212 CPUtime=3.09 cores=0,2,4,6
/proc/1580/stat : 1580 (java) S 1576 1580 30695 0 -1 1077944320 26699 0 0 0 301 8 0 0 20 0 15 0 42623923 14429134848 37553 33554432000 4194304 4196468 140735675096960 140735675079504 140638206136055 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
/proc/1580/statm: 3522738 37553 3547 1 0 3484809 0
[pid=1580/tid=1582] ppid=1576 vsize=14090952 memory=14716 CPUtime=1.47 cores=0,2,4,6
/proc/1580/task/1582/stat : 1582 (java) R 1576 1580 30695 0 -1 4202560 19658 0 0 0 142 5 0 0 20 0 15 0 42623923 14429134848 37553 33554432000 4194304 4196468 140735675096960 140638210371816 140637848260329 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1583] ppid=1576 vsize=14090952 memory=280177225512032 CPUtime=0 cores=0,2,4,6
/proc/1580/task/1583/stat : 1583 (java) S 1576 1580 30695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42623924 14429134848 37553 33554432000 4194304 4196468 140735675096960 140638169242256 140638206146261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1584] ppid=1576 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1580/task/1584/stat : 1584 (java) S 1576 1580 30695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42623924 14429134848 37553 33554432000 4194304 4196468 140735675096960 140637800426000 140638206146261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1585] ppid=1576 vsize=14090952 memory=140088612763584 CPUtime=0 cores=0,2,4,6
/proc/1580/task/1585/stat : 1585 (java) S 1576 1580 30695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42623924 14429134848 37553 33554432000 4194304 4196468 140735675096960 140637799373200 140638206146261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1586] ppid=1576 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1580/task/1586/stat : 1586 (java) S 1576 1580 30695 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42623924 14429134848 37553 33554432000 4194304 4196468 140735675096960 140637798320400 140638206146261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1587] ppid=1576 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1580/task/1587/stat : 1587 (java) S 1576 1580 30695 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 42623926 14429134848 37553 33554432000 4194304 4196468 140735675096960 140637680794480 140638206147202 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1588] ppid=1576 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1580/task/1588/stat : 1588 (java) S 1576 1580 30695 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 42623926 14429134848 37553 33554432000 4194304 4196468 140735675096960 140637679740448 140638206146261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1589] ppid=1576 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1580/task/1589/stat : 1589 (java) S 1576 1580 30695 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 42623926 14429134848 37553 33554432000 4194304 4196468 140735675096960 140637678687600 140638206146261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1590] ppid=1576 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1580/task/1590/stat : 1590 (java) S 1576 1580 30695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42623928 14429134848 37553 33554432000 4194304 4196468 140735675096960 140637677635920 140638206154651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1591] ppid=1576 vsize=14090952 memory=15 CPUtime=0.41 cores=0,2,4,6
/proc/1580/task/1591/stat : 1591 (java) R 1576 1580 30695 0 -1 4202560 1437 0 0 0 41 0 0 0 20 0 15 0 42623928 14429134848 37553 33554432000 4194304 4196468 140735675096960 140637676568928 140638187680269 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1592] ppid=1576 vsize=14090952 memory=18 CPUtime=0.56 cores=0,2,4,6
/proc/1580/task/1592/stat : 1592 (java) R 1576 1580 30695 0 -1 4202560 1668 0 0 0 56 0 0 0 20 0 15 0 42623928 14429134848 37553 33554432000 4194304 4196468 140735675096960 140637675511472 140638190529404 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1593] ppid=1576 vsize=14090952 memory=30 CPUtime=0.61 cores=0,2,4,6
/proc/1580/task/1593/stat : 1593 (java) R 1576 1580 30695 0 -1 4202560 2515 0 0 0 60 1 0 0 20 0 15 0 42623929 14429134848 37553 33554432000 4194304 4196468 140735675096960 140637674477680 140638199232891 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1594] ppid=1576 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1580/task/1594/stat : 1594 (java) S 1576 1580 30695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42623929 14429134848 37553 33554432000 4194304 4196468 140735675096960 140637673425120 140638206146261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
[pid=1580/tid=1595] ppid=1576 vsize=14090952 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/1580/task/1595/stat : 1595 (java) S 1576 1580 30695 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 42623929 14429134848 37553 33554432000 4194304 4196468 140735675096960 140637672373424 140638206147202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36569088 140735675102281 140735675102473 140735675102473 140735675105231 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 150212 KiB
Child status: 0
Real time (s): 1.57686
CPU time (s): 3.30165
CPU user time (s): 3.21463
CPU system time (s): 0.08702
CPU usage (%): 209.381
Max. virtual memory (cumulated for all children) (KiB): 14090952
Max. memory (cumulated for all children) (KiB): 150212
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.21463
system time used= 0.08702
maximum resident set size= 155128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27049
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= 2688
involuntary context switches= 19
# summary of solver processes directly reported to runsolver:
# pid: 1580
# total CPU time (s): 3.30165
# total CPU user time (s): 3.21463
# total CPU system time (s): 0.08702
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.0271 second user time and 0.064238 second system time
The end