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 (13702 MiB free)
memory of node 1: 16384 MiB (15651 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396027-1568405531/watcher-4396027-1568405531 -o /tmp/evaluation-result-4396027-1568405531/solver-4396027-1568405531 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1568402531-32745 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1012026206 HOME/instance-4396027-1568405531.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=1520, runsolver pid=1517
Current StackSize limit: 8192 KiB
[startup+0.100112 s]*
/proc/loadavg: 1.27 1.35 1.41 3/218 1577
/proc/meminfo: memFree=30050028/32770624 swapFree=66932076/67108860
[pid=1520] ppid=1517 vsize=9972712 memory=18596 CPUtime=0.09 cores=1,3,5,7
/proc/1520/stat : 1520 (java) S 1517 1520 32713 0 -1 1077944320 4377 13016 0 0 1 0 5 3 20 0 6 0 416820954 10212057088 4649 33554432000 4194304 4196468 140732210313824 140732210296368 139746596089591 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
/proc/1520/statm: 2493178 4649 1933 1 0 2481616 0
[pid=1520/tid=1573] ppid=1517 vsize=9972712 memory=-8171376296011865461 CPUtime=0.08 cores=1,3,5,7
/proc/1520/task/1573/stat : 1573 (java) R 1517 1520 32713 0 -1 4202560 2196 13016 0 0 0 0 5 3 20 0 6 0 416820963 10212057088 4649 33554432000 4194304 4196468 140732210313824 139746567926352 139746581157472 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1574] ppid=1517 vsize=9972712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/1520/task/1574/stat : 1574 (java) S 1517 1520 32713 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 6 0 416820964 10212057088 4649 33554432000 4194304 4196468 140732210313824 139746600332432 139746596099797 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1575] ppid=1517 vsize=9972712 memory=140275931170432 CPUtime=0.08 cores=1,3,5,7
/proc/1520/task/1575/stat : 1575 (java) S 1517 1520 32713 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 6 0 416820964 10212057088 4649 33554432000 4194304 4196468 140732210313824 139746499222544 139746596099797 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1576] ppid=1517 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1520/task/1576/stat : 1576 (java) S 1517 1520 32713 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 6 0 416820964 10212057088 4649 33554432000 4194304 4196468 140732210313824 139746498169744 139746596099797 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1577] ppid=1517 vsize=9972712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/1520/task/1577/stat : 1577 (java) S 1517 1520 32713 0 -1 1077944384 2 13016 0 0 0 0 5 3 20 0 6 0 416820964 10212057088 4649 33554432000 4194304 4196468 140732210313824 139746497116944 139746596099797 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18596 KiB
[startup+0.210248 s]*
/proc/loadavg: 1.27 1.35 1.41 3/227 1586
/proc/meminfo: memFree=30034236/32770624 swapFree=66932076/67108860
[pid=1520] ppid=1517 vsize=10819664 memory=36768 CPUtime=0.26 cores=1,3,5,7
/proc/1520/stat : 1520 (java) S 1517 1520 32713 0 -1 1077944320 7068 13016 0 0 17 1 5 3 20 0 15 0 416820954 11079335936 9192 33554432000 4194304 4196468 140732210313824 140732210296368 139746596089591 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
/proc/1520/statm: 2704916 9192 3155 1 0 2667149 0
[pid=1520/tid=1573] ppid=1517 vsize=10819664 memory=-8171376296011865461 CPUtime=0.2 cores=1,3,5,7
/proc/1520/task/1573/stat : 1573 (java) R 1517 1520 32713 0 -1 4202560 3536 13016 0 0 11 1 5 3 20 0 15 0 416820963 11079335936 9704 33554432000 4194304 4196468 140732210313824 139746567897200 139746596111517 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1574] ppid=1517 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/1520/task/1574/stat : 1574 (java) S 1517 1520 32713 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 416820964 11079335936 9704 33554432000 4194304 4196468 140732210313824 139746600332432 139746596099797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1575] ppid=1517 vsize=10819664 memory=140275931170432 CPUtime=0.08 cores=1,3,5,7
/proc/1520/task/1575/stat : 1575 (java) S 1517 1520 32713 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 416820964 11079335936 9704 33554432000 4194304 4196468 140732210313824 139746499222544 139746596099797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1576] ppid=1517 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1520/task/1576/stat : 1576 (java) S 1517 1520 32713 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 416820964 11079335936 9704 33554432000 4194304 4196468 140732210313824 139746498169744 139746596099797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1577] ppid=1517 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/1520/task/1577/stat : 1577 (java) S 1517 1520 32713 0 -1 1077944384 2 13016 0 0 0 0 5 3 20 0 15 0 416820964 11079335936 9704 33554432000 4194304 4196468 140732210313824 139746497116944 139746596099797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1578] ppid=1517 vsize=10819664 memory=140275931170432 CPUtime=0.08 cores=1,3,5,7
/proc/1520/task/1578/stat : 1578 (java) S 1517 1520 32713 0 -1 1077944384 2 13016 0 0 0 0 5 3 20 0 15 0 416820966 11079335936 9704 33554432000 4194304 4196468 140732210313824 139745599183216 139746596100738 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1579] ppid=1517 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/1520/task/1579/stat : 1579 (java) S 1517 1520 32713 0 -1 1077944384 33 13016 0 0 0 0 5 3 20 0 15 0 416820966 11079335936 9704 33554432000 4194304 4196468 140732210313824 139745598129184 139746596099797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1580] ppid=1517 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1520/task/1580/stat : 1580 (java) S 1517 1520 32713 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 416820966 11079335936 9704 33554432000 4194304 4196468 140732210313824 139745485120368 139746596099797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1581] ppid=1517 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1520/task/1581/stat : 1581 (java) S 1517 1520 32713 0 -1 1077944384 3 13016 0 0 0 0 5 3 20 0 15 0 416820969 11079335936 9704 33554432000 4194304 4196468 140732210313824 139745177720656 139746596108187 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1582] ppid=1517 vsize=10819664 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/1520/task/1582/stat : 1582 (java) S 1517 1520 32713 0 -1 1077944384 350 13016 0 0 1 0 5 3 20 0 15 0 416820969 11079335936 9704 33554432000 4194304 4196468 140732210313824 139745564572528 139746596100738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1583] ppid=1517 vsize=10819664 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/1520/task/1583/stat : 1583 (java) S 1517 1520 32713 0 -1 1077944384 315 13016 0 0 1 0 5 3 20 0 15 0 416820969 11079335936 9704 33554432000 4194304 4196468 140732210313824 139745563519728 139746596100738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1584] ppid=1517 vsize=10819664 memory=140275931170432 CPUtime=0.11 cores=1,3,5,7
/proc/1520/task/1584/stat : 1584 (java) R 1517 1520 32713 0 -1 4202560 628 13016 0 0 3 0 5 3 20 0 15 0 416820969 11079335936 9704 33554432000 4194304 4196468 140732210313824 139745562466928 139746580170078 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1585] ppid=1517 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/1520/task/1585/stat : 1585 (java) S 1517 1520 32713 0 -1 1077944384 3 13016 0 0 0 0 5 3 20 0 15 0 416820969 11079335936 9704 33554432000 4194304 4196468 140732210313824 139745144163040 139746596099797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1586] ppid=1517 vsize=10819664 memory=140275931170432 CPUtime=0.08 cores=1,3,5,7
/proc/1520/task/1586/stat : 1586 (java) S 1517 1520 32713 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 416820969 11079335936 9704 33554432000 4194304 4196468 140732210313824 139745561414320 139746596100738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 36768 KiB
[startup+0.3103 s]*
/proc/loadavg: 1.27 1.35 1.41 3/227 1586
/proc/meminfo: memFree=30021896/32770624 swapFree=66932076/67108860
[pid=1520] ppid=1517 vsize=10820148 memory=47884 CPUtime=0.4 cores=1,3,5,7
/proc/1520/stat : 1520 (java) S 1517 1520 32713 0 -1 1077944320 10783 13016 0 0 29 3 5 3 20 0 15 0 416820954 11079831552 11971 33554432000 4194304 4196468 140732210313824 140732210296368 139746596089591 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
/proc/1520/statm: 2705037 11971 3287 1 0 2667149 0
[pid=1520/tid=1573] ppid=1517 vsize=10820148 memory=6935054825532540783 CPUtime=0.29 cores=1,3,5,7
/proc/1520/task/1573/stat : 1573 (java) R 1517 1520 32713 0 -1 1077944384 7207 13016 0 0 19 2 5 3 20 0 15 0 416820963 11079831552 11971 33554432000 4194304 4196468 140732210313824 139746567885920 139746596099797 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1574] ppid=1517 vsize=10820148 memory=6944656592455097440 CPUtime=0.08 cores=1,3,5,7
/proc/1520/task/1574/stat : 1574 (java) S 1517 1520 32713 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 416820964 11079831552 11971 33554432000 4194304 4196468 140732210313824 139746600332432 139746596099797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1575] ppid=1517 vsize=10820148 memory=35809 CPUtime=0.08 cores=1,3,5,7
/proc/1520/task/1575/stat : 1575 (java) S 1517 1520 32713 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 416820964 11079831552 11971 33554432000 4194304 4196468 140732210313824 139746499222544 139746596099797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1576] ppid=1517 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1520/task/1576/stat : 1576 (java) S 1517 1520 32713 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 416820964 11079831552 11971 33554432000 4194304 4196468 140732210313824 139746498169744 139746596099797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1577] ppid=1517 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/1520/task/1577/stat : 1577 (java) S 1517 1520 32713 0 -1 1077944384 2 13016 0 0 0 0 5 3 20 0 15 0 416820964 11079831552 11971 33554432000 4194304 4196468 140732210313824 139746497116944 139746596099797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1578] ppid=1517 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1520/task/1578/stat : 1578 (java) S 1517 1520 32713 0 -1 1077944384 2 13016 0 0 0 0 5 3 20 0 15 0 416820966 11079831552 11971 33554432000 4194304 4196468 140732210313824 139745599183216 139746596100738 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1579] ppid=1517 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1520/task/1579/stat : 1579 (java) S 1517 1520 32713 0 -1 1077944384 33 13016 0 0 0 0 5 3 20 0 15 0 416820966 11079831552 11971 33554432000 4194304 4196468 140732210313824 139745598129184 139746596099797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1580] ppid=1517 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1520/task/1580/stat : 1580 (java) S 1517 1520 32713 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 416820966 11079831552 11971 33554432000 4194304 4196468 140732210313824 139745485120368 139746596099797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1581] ppid=1517 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1520/task/1581/stat : 1581 (java) S 1517 1520 32713 0 -1 1077944384 3 13016 0 0 0 0 5 3 20 0 15 0 416820969 11079831552 11971 33554432000 4194304 4196468 140732210313824 139745177720656 139746596108187 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1582] ppid=1517 vsize=10820148 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/1520/task/1582/stat : 1582 (java) S 1517 1520 32713 0 -1 1077944384 351 13016 0 0 1 0 5 3 20 0 15 0 416820969 11079831552 11971 33554432000 4194304 4196468 140732210313824 139745564572528 139746596100738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1583] ppid=1517 vsize=10820148 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/1520/task/1583/stat : 1583 (java) S 1517 1520 32713 0 -1 1077944384 324 13016 0 0 2 0 5 3 20 0 15 0 416820969 11079831552 11971 33554432000 4194304 4196468 140732210313824 139745563519728 139746596100738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1584] ppid=1517 vsize=10820148 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/1520/task/1584/stat : 1584 (java) S 1517 1520 32713 0 -1 1077944384 650 13016 0 0 5 0 5 3 20 0 15 0 416820969 11079831552 11971 33554432000 4194304 4196468 140732210313824 139745562466928 139746596100738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1585] ppid=1517 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1520/task/1585/stat : 1585 (java) S 1517 1520 32713 0 -1 1077944384 3 13016 0 0 0 0 5 3 20 0 15 0 416820969 11079831552 11971 33554432000 4194304 4196468 140732210313824 139745144163040 139746596099797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1586] ppid=1517 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1520/task/1586/stat : 1586 (java) S 1517 1520 32713 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 416820969 11079831552 11971 33554432000 4194304 4196468 140732210313824 139745561414320 139746596100738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 47884 KiB
[startup+0.700749 s]
/proc/loadavg: 1.27 1.35 1.41 3/227 1586
/proc/meminfo: memFree=30006264/32770624 swapFree=66932076/67108860
[pid=1520] ppid=1517 vsize=10824360 memory=81796 CPUtime=1.16 cores=1,3,5,7
/proc/1520/stat : 1520 (java) S 1517 1520 32713 0 -1 1077944320 15159 13016 0 0 102 6 5 3 20 0 15 0 416820954 11084144640 20449 33554432000 4194304 4196468 140732210313824 140732210296368 139746596089591 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
/proc/1520/statm: 2706090 20449 3509 1 0 2668173 0
[pid=1520/tid=1573] ppid=1517 vsize=10824360 memory=988 CPUtime=0.68 cores=1,3,5,7
/proc/1520/task/1573/stat : 1573 (java) R 1517 1520 32713 0 -1 4202560 10309 13016 0 0 55 5 5 3 20 0 15 0 416820963 11084144640 20449 33554432000 4194304 4196468 140732210313824 139746567898568 139746580170078 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1574] ppid=1517 vsize=10824360 memory=3620 CPUtime=0.08 cores=1,3,5,7
/proc/1520/task/1574/stat : 1574 (java) S 1517 1520 32713 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 416820964 11084144640 20449 33554432000 4194304 4196468 140732210313824 139746600332432 139746596099797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1575] ppid=1517 vsize=10824360 memory=2241 CPUtime=0.08 cores=1,3,5,7
/proc/1520/task/1575/stat : 1575 (java) S 1517 1520 32713 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 416820964 11084144640 20449 33554432000 4194304 4196468 140732210313824 139746499222544 139746596099797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1576] ppid=1517 vsize=10824360 memory=2244 CPUtime=0.08 cores=1,3,5,7
/proc/1520/task/1576/stat : 1576 (java) S 1517 1520 32713 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 416820964 11084144640 20449 33554432000 4194304 4196468 140732210313824 139746498169744 139746596099797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1577] ppid=1517 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1520/task/1577/stat : 1577 (java) S 1517 1520 32713 0 -1 1077944384 2 13016 0 0 0 0 5 3 20 0 15 0 416820964 11084144640 20449 33554432000 4194304 4196468 140732210313824 139746497116944 139746596099797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1578] ppid=1517 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1520/task/1578/stat : 1578 (java) S 1517 1520 32713 0 -1 1077944384 5 13016 0 0 0 0 5 3 20 0 15 0 416820966 11084144640 20449 33554432000 4194304 4196468 140732210313824 139745599183216 139746596100738 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1579] ppid=1517 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1520/task/1579/stat : 1579 (java) S 1517 1520 32713 0 -1 1077944384 33 13016 0 0 0 0 5 3 20 0 15 0 416820966 11084144640 20449 33554432000 4194304 4196468 140732210313824 139745598129184 139746596099797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1580] ppid=1517 vsize=10824360 memory=19265 CPUtime=0.08 cores=1,3,5,7
/proc/1520/task/1580/stat : 1580 (java) S 1517 1520 32713 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 416820966 11084144640 20449 33554432000 4194304 4196468 140732210313824 139745485120368 139746596099797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1581] ppid=1517 vsize=10824360 memory=280551558742256 CPUtime=0.08 cores=1,3,5,7
/proc/1520/task/1581/stat : 1581 (java) S 1517 1520 32713 0 -1 1077944384 3 13016 0 0 0 0 5 3 20 0 15 0 416820969 11084144640 20449 33554432000 4194304 4196468 140732210313824 139745177720656 139746596108187 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1582] ppid=1517 vsize=10824360 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/1520/task/1582/stat : 1582 (java) R 1517 1520 32713 0 -1 4202560 811 13016 0 0 12 0 5 3 20 0 15 0 416820969 11084144640 20449 33554432000 4194304 4196468 140732210313824 139745564572528 139746575746161 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1583] ppid=1517 vsize=10824360 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/1520/task/1583/stat : 1583 (java) S 1517 1520 32713 0 -1 1077944384 894 13016 0 0 15 0 5 3 20 0 15 0 416820969 11084144640 20449 33554432000 4194304 4196468 140732210313824 139745563519728 139746596100738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1584] ppid=1517 vsize=10824360 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/1520/task/1584/stat : 1584 (java) S 1517 1520 32713 0 -1 1077944384 885 13016 0 0 17 0 5 3 20 0 15 0 416820969 11084144640 20449 33554432000 4194304 4196468 140732210313824 139745562466928 139746596100738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1585] ppid=1517 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1520/task/1585/stat : 1585 (java) S 1517 1520 32713 0 -1 1077944384 3 13016 0 0 0 0 5 3 20 0 15 0 416820969 11084144640 20449 33554432000 4194304 4196468 140732210313824 139745144163040 139746596099797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1586] ppid=1517 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1520/task/1586/stat : 1586 (java) S 1517 1520 32713 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 416820969 11084144640 20449 33554432000 4194304 4196468 140732210313824 139745561414320 139746596100738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 81796 KiB
[startup+1.50078 s]
/proc/loadavg: 1.27 1.35 1.41 3/227 1586
/proc/meminfo: memFree=29961844/32770624 swapFree=66932076/67108860
[pid=1520] ppid=1517 vsize=10834676 memory=171628 CPUtime=2.46 cores=1,3,5,7
/proc/1520/stat : 1520 (java) S 1517 1520 32713 0 -1 1077944320 23847 13016 0 0 228 10 5 3 20 0 15 0 416820954 11094708224 42907 33554432000 4194304 4196468 140732210313824 140732210296368 139746596089591 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
/proc/1520/statm: 2708669 42907 3582 1 0 2670733 0
[pid=1520/tid=1573] ppid=1517 vsize=10834676 memory=0 CPUtime=1.44 cores=1,3,5,7
/proc/1520/task/1573/stat : 1573 (java) R 1517 1520 32713 0 -1 4202560 15705 13016 0 0 129 7 5 3 20 0 15 0 416820963 11094708224 42907 33554432000 4194304 4196468 140732210313824 139746567894816 139746596101526 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1574] ppid=1517 vsize=10834676 memory=7589503725372330069 CPUtime=0.09 cores=1,3,5,7
/proc/1520/task/1574/stat : 1574 (java) S 1517 1520 32713 0 -1 1077944384 396 13016 0 0 1 0 5 3 20 0 15 0 416820964 11094708224 42907 33554432000 4194304 4196468 140732210313824 139746600332432 139746596099797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1575] ppid=1517 vsize=10834676 memory=4580 CPUtime=0.09 cores=1,3,5,7
/proc/1520/task/1575/stat : 1575 (java) S 1517 1520 32713 0 -1 1077944384 65 13016 0 0 1 0 5 3 20 0 15 0 416820964 11094708224 42907 33554432000 4194304 4196468 140732210313824 139746499222544 139746596099797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1576] ppid=1517 vsize=10834676 memory=7598811100138176585 CPUtime=0.09 cores=1,3,5,7
/proc/1520/task/1576/stat : 1576 (java) S 1517 1520 32713 0 -1 1077944384 23 13016 0 0 1 0 5 3 20 0 15 0 416820964 11094708224 42907 33554432000 4194304 4196468 140732210313824 139746498169744 139746596099797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1577] ppid=1517 vsize=10834676 memory=21437 CPUtime=0.09 cores=1,3,5,7
/proc/1520/task/1577/stat : 1577 (java) S 1517 1520 32713 0 -1 1077944384 100 13016 0 0 1 0 5 3 20 0 15 0 416820964 11094708224 42907 33554432000 4194304 4196468 140732210313824 139746497116944 139746596099797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1578] ppid=1517 vsize=10834676 memory=8112282956445269571 CPUtime=0.09 cores=1,3,5,7
/proc/1520/task/1578/stat : 1578 (java) S 1517 1520 32713 0 -1 1077944384 1537 13016 0 0 1 0 5 3 20 0 15 0 416820966 11094708224 42907 33554432000 4194304 4196468 140732210313824 139745599183216 139746596100738 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1579] ppid=1517 vsize=10834676 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1520/task/1579/stat : 1579 (java) S 1517 1520 32713 0 -1 1077944384 33 13016 0 0 0 0 5 3 20 0 15 0 416820966 11094708224 42907 33554432000 4194304 4196468 140732210313824 139745598129248 139746596099797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1580] ppid=1517 vsize=10834676 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1520/task/1580/stat : 1580 (java) S 1517 1520 32713 0 -1 1077944384 2 13016 0 0 0 0 5 3 20 0 15 0 416820966 11094708224 42907 33554432000 4194304 4196468 140732210313824 139745485120384 139746596099797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1581] ppid=1517 vsize=10834676 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1520/task/1581/stat : 1581 (java) S 1517 1520 32713 0 -1 1077944384 3 13016 0 0 0 0 5 3 20 0 15 0 416820969 11094708224 42907 33554432000 4194304 4196468 140732210313824 139745177720656 139746596108187 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1582] ppid=1517 vsize=10834676 memory=0 CPUtime=0.32 cores=1,3,5,7
/proc/1520/task/1582/stat : 1582 (java) R 1517 1520 32713 0 -1 4202560 904 13016 0 0 24 0 5 3 20 0 15 0 416820969 11094708224 42907 33554432000 4194304 4196468 140732210313824 139745564572528 139746576789220 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1583] ppid=1517 vsize=10834676 memory=0 CPUtime=0.34 cores=1,3,5,7
/proc/1520/task/1583/stat : 1583 (java) R 1517 1520 32713 0 -1 1077944384 1129 13016 0 0 26 0 5 3 20 0 15 0 416820969 11094708224 42907 33554432000 4194304 4196468 140732210313824 139745563519728 139746596100738 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1584] ppid=1517 vsize=10834676 memory=0 CPUtime=0.48 cores=1,3,5,7
/proc/1520/task/1584/stat : 1584 (java) S 1517 1520 32713 0 -1 1077944384 1737 13016 0 0 40 0 5 3 20 0 15 0 416820969 11094708224 42907 33554432000 4194304 4196468 140732210313824 139745562466928 139746596100738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1585] ppid=1517 vsize=10834676 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1520/task/1585/stat : 1585 (java) S 1517 1520 32713 0 -1 1077944384 3 13016 0 0 0 0 5 3 20 0 15 0 416820969 11094708224 42907 33554432000 4194304 4196468 140732210313824 139745144163040 139746596099797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1586] ppid=1517 vsize=10834676 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1520/task/1586/stat : 1586 (java) S 1517 1520 32713 0 -1 1077944384 1 13016 0 0 0 0 5 3 20 0 15 0 416820969 11094708224 42907 33554432000 4194304 4196468 140732210313824 139745561414320 139746596100738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
Current children cumulated CPU time: 2.46 s
Current children cumulated vsize: 10834676 KiB
################
# More data... #
################
/proc/1520/task/1573/stat : 1573 (java) R 1517 1520 32713 0 -1 4202560 104570 13016 0 0 235638 53 5 3 20 0 15 0 416820963 11109421056 103905 33554432000 4194304 4196468 140732210313824 139746567924832 139746186059998 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1574] ppid=1517 vsize=10849044 memory=416648 CPUtime=13.17 cores=1,3,5,7
/proc/1520/task/1574/stat : 1574 (java) S 1517 1520 32713 0 -1 1077944384 12368 13016 0 0 1249 60 5 3 20 0 15 0 416820964 11109421056 103905 33554432000 4194304 4196468 140732210313824 139746600332432 139746596099797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1575] ppid=1517 vsize=10849044 memory=415620 CPUtime=13.16 cores=1,3,5,7
/proc/1520/task/1575/stat : 1575 (java) S 1517 1520 32713 0 -1 1077944384 12751 13016 0 0 1250 58 5 3 20 0 15 0 416820964 11109421056 103905 33554432000 4194304 4196468 140732210313824 139746499222544 139746596099797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1576] ppid=1517 vsize=10849044 memory=415620 CPUtime=13.18 cores=1,3,5,7
/proc/1520/task/1576/stat : 1576 (java) S 1517 1520 32713 0 -1 1077944384 13584 13016 0 0 1255 55 5 3 20 0 15 0 416820964 11109421056 103905 33554432000 4194304 4196468 140732210313824 139746498169744 139746596099797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1577] ppid=1517 vsize=10849044 memory=8 CPUtime=13.15 cores=1,3,5,7
/proc/1520/task/1577/stat : 1577 (java) S 1517 1520 32713 0 -1 1077944384 11036 13016 0 0 1250 57 5 3 20 0 15 0 416820964 11109421056 103905 33554432000 4194304 4196468 140732210313824 139746497116944 139746596099797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1578] ppid=1517 vsize=10849044 memory=280551560271120 CPUtime=9.47 cores=1,3,5,7
/proc/1520/task/1578/stat : 1578 (java) S 1517 1520 32713 0 -1 1077944384 10279 13016 0 0 876 63 5 3 20 0 15 0 416820966 11109421056 103905 33554432000 4194304 4196468 140732210313824 139745599183216 139746596100738 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1579] ppid=1517 vsize=10849044 memory=4100 CPUtime=0.08 cores=1,3,5,7
/proc/1520/task/1579/stat : 1579 (java) S 1517 1520 32713 0 -1 1077944384 40 13016 0 0 0 0 5 3 20 0 15 0 416820966 11109421056 103905 33554432000 4194304 4196468 140732210313824 139745598129248 139746596099797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1580] ppid=1517 vsize=10849044 memory=288293289772450988 CPUtime=0.08 cores=1,3,5,7
/proc/1520/task/1580/stat : 1580 (java) S 1517 1520 32713 0 -1 1077944384 5 13016 0 0 0 0 5 3 20 0 15 0 416820966 11109421056 103905 33554432000 4194304 4196468 140732210313824 139745485120384 139746596099797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1581] ppid=1517 vsize=10849044 memory=6655300316396806240 CPUtime=0.08 cores=1,3,5,7
/proc/1520/task/1581/stat : 1581 (java) S 1517 1520 32713 0 -1 1077944384 3 13016 0 0 0 0 5 3 20 0 15 0 416820969 11109421056 103905 33554432000 4194304 4196468 140732210313824 139745177720656 139746596108187 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1582] ppid=1517 vsize=10849044 memory=426912 CPUtime=5.92 cores=1,3,5,7
/proc/1520/task/1582/stat : 1582 (java) S 1517 1520 32713 0 -1 1077944384 22013 13016 0 0 579 5 5 3 20 0 15 0 416820969 11109421056 103905 33554432000 4194304 4196468 140732210313824 139745564572528 139746596100738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1583] ppid=1517 vsize=10849044 memory=3620 CPUtime=5.6 cores=1,3,5,7
/proc/1520/task/1583/stat : 1583 (java) S 1517 1520 32713 0 -1 1077944384 27512 13016 0 0 545 7 5 3 20 0 15 0 416820969 11109421056 103905 33554432000 4194304 4196468 140732210313824 139745563519728 139746596100738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1584] ppid=1517 vsize=10849044 memory=415620 CPUtime=5.3 cores=1,3,5,7
/proc/1520/task/1584/stat : 1584 (java) S 1517 1520 32713 0 -1 1077944384 27395 13016 0 0 514 8 5 3 20 0 15 0 416820969 11109421056 103905 33554432000 4194304 4196468 140732210313824 139745562466928 139746596100738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1585] ppid=1517 vsize=10849044 memory=1676 CPUtime=0.08 cores=1,3,5,7
/proc/1520/task/1585/stat : 1585 (java) S 1517 1520 32713 0 -1 1077944384 3 13016 0 0 0 0 5 3 20 0 15 0 416820969 11109421056 103905 33554432000 4194304 4196468 140732210313824 139745144163040 139746596099797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1586] ppid=1517 vsize=10849044 memory=772 CPUtime=1.45 cores=1,3,5,7
/proc/1520/task/1586/stat : 1586 (java) S 1517 1520 32713 0 -1 1077944384 1466 13016 0 0 62 75 5 3 20 0 15 0 416820969 11109421056 103905 33554432000 4194304 4196468 140732210313824 139745561414320 139746596100738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
Current children cumulated CPU time: 2436.78 s
Current children cumulated vsize: 10849044 KiB
Current children cumulated memory: 415620 KiB
[startup+2442.3 s]
/proc/loadavg: 1.72 1.72 1.60 3/226 1962
/proc/meminfo: memFree=27011640/32770624 swapFree=66932092/67108860
[pid=1520] ppid=1517 vsize=10849044 memory=416652 CPUtime=2497.82 cores=1,3,5,7
/proc/1520/stat : 1520 (java) S 1517 1520 32713 0 -1 1077944320 246712 13016 0 0 249381 393 5 3 20 0 15 0 416820954 11109421056 104163 33554432000 4194304 4196468 140732210313824 140732210296368 139746596089591 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
/proc/1520/statm: 2712261 104163 3634 1 0 2674317 0
[pid=1520/tid=1573] ppid=1517 vsize=10849044 memory=417164 CPUtime=2416.33 cores=1,3,5,7
/proc/1520/task/1573/stat : 1573 (java) R 1517 1520 32713 0 -1 4202560 105617 13016 0 0 241570 55 5 3 20 0 15 0 416820963 11109421056 104163 33554432000 4194304 4196468 140732210313824 139746567925504 139746185017262 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1574] ppid=1517 vsize=10849044 memory=420756 CPUtime=13.53 cores=1,3,5,7
/proc/1520/task/1574/stat : 1574 (java) S 1517 1520 32713 0 -1 1077944384 12457 13016 0 0 1284 61 5 3 20 0 15 0 416820964 11109421056 104163 33554432000 4194304 4196468 140732210313824 139746600332432 139746596099797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1575] ppid=1517 vsize=10849044 memory=421268 CPUtime=13.53 cores=1,3,5,7
/proc/1520/task/1575/stat : 1575 (java) S 1517 1520 32713 0 -1 1077944384 12782 13016 0 0 1286 59 5 3 20 0 15 0 416820964 11109421056 104163 33554432000 4194304 4196468 140732210313824 139746499222544 139746596099797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1576] ppid=1517 vsize=10849044 memory=422292 CPUtime=13.54 cores=1,3,5,7
/proc/1520/task/1576/stat : 1576 (java) S 1517 1520 32713 0 -1 1077944384 13694 13016 0 0 1290 56 5 3 20 0 15 0 416820964 11109421056 104163 33554432000 4194304 4196468 140732210313824 139746498169744 139746596099797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1577] ppid=1517 vsize=10849044 memory=420756 CPUtime=13.51 cores=1,3,5,7
/proc/1520/task/1577/stat : 1577 (java) S 1517 1520 32713 0 -1 1077944384 11040 13016 0 0 1285 58 5 3 20 0 15 0 416820964 11109421056 104163 33554432000 4194304 4196468 140732210313824 139746497116944 139746596099797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1578] ppid=1517 vsize=10849044 memory=418188 CPUtime=9.7 cores=1,3,5,7
/proc/1520/task/1578/stat : 1578 (java) S 1517 1520 32713 0 -1 1077944384 10463 13016 0 0 898 64 5 3 20 0 15 0 416820966 11109421056 104163 33554432000 4194304 4196468 140732210313824 139745599183216 139746596100738 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1579] ppid=1517 vsize=10849044 memory=417676 CPUtime=0.08 cores=1,3,5,7
/proc/1520/task/1579/stat : 1579 (java) S 1517 1520 32713 0 -1 1077944384 40 13016 0 0 0 0 5 3 20 0 15 0 416820966 11109421056 104163 33554432000 4194304 4196468 140732210313824 139745598129248 139746596099797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1580] ppid=1517 vsize=10849044 memory=417164 CPUtime=0.08 cores=1,3,5,7
/proc/1520/task/1580/stat : 1580 (java) S 1517 1520 32713 0 -1 1077944384 5 13016 0 0 0 0 5 3 20 0 15 0 416820966 11109421056 104163 33554432000 4194304 4196468 140732210313824 139745485120384 139746596099797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1581] ppid=1517 vsize=10849044 memory=422172 CPUtime=0.08 cores=1,3,5,7
/proc/1520/task/1581/stat : 1581 (java) S 1517 1520 32713 0 -1 1077944384 3 13016 0 0 0 0 5 3 20 0 15 0 416820969 11109421056 104163 33554432000 4194304 4196468 140732210313824 139745177720656 139746596108187 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1582] ppid=1517 vsize=10849044 memory=3620 CPUtime=5.92 cores=1,3,5,7
/proc/1520/task/1582/stat : 1582 (java) S 1517 1520 32713 0 -1 1077944384 22013 13016 0 0 579 5 5 3 20 0 15 0 416820969 11109421056 104163 33554432000 4194304 4196468 140732210313824 139745564572528 139746596100738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1583] ppid=1517 vsize=10849044 memory=39456 CPUtime=5.6 cores=1,3,5,7
/proc/1520/task/1583/stat : 1583 (java) S 1517 1520 32713 0 -1 1077944384 27512 13016 0 0 545 7 5 3 20 0 15 0 416820969 11109421056 104163 33554432000 4194304 4196468 140732210313824 139745563519728 139746596100738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1584] ppid=1517 vsize=10849044 memory=418704 CPUtime=5.3 cores=1,3,5,7
/proc/1520/task/1584/stat : 1584 (java) S 1517 1520 32713 0 -1 1077944384 27395 13016 0 0 514 8 5 3 20 0 15 0 416820969 11109421056 104163 33554432000 4194304 4196468 140732210313824 139745562466928 139746596100738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1585] ppid=1517 vsize=10849044 memory=3620 CPUtime=0.08 cores=1,3,5,7
/proc/1520/task/1585/stat : 1585 (java) S 1517 1520 32713 0 -1 1077944384 3 13016 0 0 0 0 5 3 20 0 15 0 416820969 11109421056 104163 33554432000 4194304 4196468 140732210313824 139745144163040 139746596099797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1586] ppid=1517 vsize=10849044 memory=417676 CPUtime=1.49 cores=1,3,5,7
/proc/1520/task/1586/stat : 1586 (java) S 1517 1520 32713 0 -1 1077944384 1479 13016 0 0 64 77 5 3 20 0 15 0 416820969 11109421056 104163 33554432000 4194304 4196468 140732210313824 139745561414320 139746596100738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
Current children cumulated CPU time: 2497.82 s
Current children cumulated vsize: 10849044 KiB
Current children cumulated memory: 416652 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2464.11 s]
/proc/loadavg: 1.66 1.71 1.60 3/226 1962
/proc/meminfo: memFree=27039844/32770624 swapFree=66932092/67108860
[pid=1520] ppid=1517 vsize=10849044 memory=399208 CPUtime=2520.02 cores=1,3,5,7
/proc/1520/stat : 1520 (java) S 1517 1520 32713 0 -1 1077944320 246941 13016 0 0 251599 395 5 3 20 0 15 0 416820954 11109421056 99802 33554432000 4194304 4196468 140732210313824 140732210296368 139746596089591 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
/proc/1520/statm: 2712261 99802 3634 1 0 2674317 0
[pid=1520/tid=1573] ppid=1517 vsize=10849044 memory=402288 CPUtime=2437.88 cores=1,3,5,7
/proc/1520/task/1573/stat : 1573 (java) R 1517 1520 32713 0 -1 4202560 105745 13016 0 0 243725 55 5 3 20 0 15 0 416820963 11109421056 99802 33554432000 4194304 4196468 140732210313824 139746567924944 139746575288944 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1574] ppid=1517 vsize=10849044 memory=402288 CPUtime=13.67 cores=1,3,5,7
/proc/1520/task/1574/stat : 1574 (java) S 1517 1520 32713 0 -1 1077944384 12514 13016 0 0 1298 61 5 3 20 0 15 0 416820964 11109421056 99802 33554432000 4194304 4196468 140732210313824 139746600332432 139746596099797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1575] ppid=1517 vsize=10849044 memory=0 CPUtime=13.67 cores=1,3,5,7
/proc/1520/task/1575/stat : 1575 (java) S 1517 1520 32713 0 -1 1077944384 12782 13016 0 0 1299 60 5 3 20 0 15 0 416820964 11109421056 99802 33554432000 4194304 4196468 140732210313824 139746499222544 139746596099797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1576] ppid=1517 vsize=10849044 memory=399720 CPUtime=13.67 cores=1,3,5,7
/proc/1520/task/1576/stat : 1576 (java) S 1517 1520 32713 0 -1 1077944384 13701 13016 0 0 1303 56 5 3 20 0 15 0 416820964 11109421056 99802 33554432000 4194304 4196468 140732210313824 139746498169744 139746596099797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1577] ppid=1517 vsize=10849044 memory=433080 CPUtime=13.64 cores=1,3,5,7
/proc/1520/task/1577/stat : 1577 (java) S 1517 1520 32713 0 -1 1077944384 11071 13016 0 0 1298 58 5 3 20 0 15 0 416820964 11109421056 99802 33554432000 4194304 4196468 140732210313824 139746497116944 139746596099797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1578] ppid=1517 vsize=10849044 memory=1676 CPUtime=9.79 cores=1,3,5,7
/proc/1520/task/1578/stat : 1578 (java) S 1517 1520 32713 0 -1 1077944384 10469 13016 0 0 907 64 5 3 20 0 15 0 416820966 11109421056 99802 33554432000 4194304 4196468 140732210313824 139745599183216 139746596100738 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1579] ppid=1517 vsize=10849044 memory=1096 CPUtime=0.08 cores=1,3,5,7
/proc/1520/task/1579/stat : 1579 (java) S 1517 1520 32713 0 -1 1077944384 40 13016 0 0 0 0 5 3 20 0 15 0 416820966 11109421056 99802 33554432000 4194304 4196468 140732210313824 139745598129248 139746596099797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1580] ppid=1517 vsize=10849044 memory=2116 CPUtime=0.08 cores=1,3,5,7
/proc/1520/task/1580/stat : 1580 (java) S 1517 1520 32713 0 -1 1077944384 5 13016 0 0 0 0 5 3 20 0 15 0 416820966 11109421056 99802 33554432000 4194304 4196468 140732210313824 139745485120384 139746596099797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1581] ppid=1517 vsize=10849044 memory=11916 CPUtime=0.08 cores=1,3,5,7
/proc/1520/task/1581/stat : 1581 (java) S 1517 1520 32713 0 -1 1077944384 3 13016 0 0 0 0 5 3 20 0 15 0 416820969 11109421056 99802 33554432000 4194304 4196468 140732210313824 139745177720656 139746596108187 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1582] ppid=1517 vsize=10849044 memory=399720 CPUtime=5.92 cores=1,3,5,7
/proc/1520/task/1582/stat : 1582 (java) S 1517 1520 32713 0 -1 1077944384 22013 13016 0 0 579 5 5 3 20 0 15 0 416820969 11109421056 99802 33554432000 4194304 4196468 140732210313824 139745564572528 139746596100738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1583] ppid=1517 vsize=10849044 memory=402288 CPUtime=5.6 cores=1,3,5,7
/proc/1520/task/1583/stat : 1583 (java) S 1517 1520 32713 0 -1 1077944384 27512 13016 0 0 545 7 5 3 20 0 15 0 416820969 11109421056 99802 33554432000 4194304 4196468 140732210313824 139745563519728 139746596100738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1584] ppid=1517 vsize=10849044 memory=10708 CPUtime=5.3 cores=1,3,5,7
/proc/1520/task/1584/stat : 1584 (java) S 1517 1520 32713 0 -1 1077944384 27395 13016 0 0 514 8 5 3 20 0 15 0 416820969 11109421056 99802 33554432000 4194304 4196468 140732210313824 139745562466928 139746596100738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1585] ppid=1517 vsize=10849044 memory=1552 CPUtime=0.08 cores=1,3,5,7
/proc/1520/task/1585/stat : 1585 (java) S 1517 1520 32713 0 -1 1077944384 3 13016 0 0 0 0 5 3 20 0 15 0 416820969 11109421056 99802 33554432000 4194304 4196468 140732210313824 139745144163040 139746596099797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1586] ppid=1517 vsize=10849044 memory=4096 CPUtime=1.5 cores=1,3,5,7
/proc/1520/task/1586/stat : 1586 (java) S 1517 1520 32713 0 -1 1077944384 1479 13016 0 0 64 78 5 3 20 0 15 0 416820969 11109421056 99802 33554432000 4194304 4196468 140732210313824 139745561414320 139746596100738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10849044 KiB
Current children cumulated memory: 399208 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2464.13 s]
# the end of solver process 1520 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.06 s, system=3.99237 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2464.11 s]
/proc/loadavg: 1.66 1.71 1.60 3/226 1962
/proc/meminfo: memFree=27039844/32770624 swapFree=66932092/67108860
[pid=1520] ppid=1517 vsize=10849044 memory=399208 CPUtime=2520.02 cores=1,3,5,7
/proc/1520/stat : 1520 (java) S 1517 1520 32713 0 -1 1077944320 246941 13016 0 0 251599 395 5 3 20 0 15 0 416820954 11109421056 99802 33554432000 4194304 4196468 140732210313824 140732210296368 139746596089591 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
/proc/1520/statm: 2712261 99802 3634 1 0 2674317 0
[pid=1520/tid=1573] ppid=1517 vsize=10849044 memory=402288 CPUtime=2437.88 cores=1,3,5,7
/proc/1520/task/1573/stat : 1573 (java) R 1517 1520 32713 0 -1 4202560 105745 13016 0 0 243725 55 5 3 20 0 15 0 416820963 11109421056 99802 33554432000 4194304 4196468 140732210313824 139746567924944 139746575288944 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1574] ppid=1517 vsize=10849044 memory=402288 CPUtime=13.67 cores=1,3,5,7
/proc/1520/task/1574/stat : 1574 (java) S 1517 1520 32713 0 -1 1077944384 12514 13016 0 0 1298 61 5 3 20 0 15 0 416820964 11109421056 99802 33554432000 4194304 4196468 140732210313824 139746600332432 139746596099797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1575] ppid=1517 vsize=10849044 memory=0 CPUtime=13.67 cores=1,3,5,7
/proc/1520/task/1575/stat : 1575 (java) S 1517 1520 32713 0 -1 1077944384 12782 13016 0 0 1299 60 5 3 20 0 15 0 416820964 11109421056 99802 33554432000 4194304 4196468 140732210313824 139746499222544 139746596099797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1576] ppid=1517 vsize=10849044 memory=399720 CPUtime=13.67 cores=1,3,5,7
/proc/1520/task/1576/stat : 1576 (java) S 1517 1520 32713 0 -1 1077944384 13701 13016 0 0 1303 56 5 3 20 0 15 0 416820964 11109421056 99802 33554432000 4194304 4196468 140732210313824 139746498169744 139746596099797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1577] ppid=1517 vsize=10849044 memory=433080 CPUtime=13.64 cores=1,3,5,7
/proc/1520/task/1577/stat : 1577 (java) S 1517 1520 32713 0 -1 1077944384 11071 13016 0 0 1298 58 5 3 20 0 15 0 416820964 11109421056 99802 33554432000 4194304 4196468 140732210313824 139746497116944 139746596099797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1578] ppid=1517 vsize=10849044 memory=1676 CPUtime=9.79 cores=1,3,5,7
/proc/1520/task/1578/stat : 1578 (java) S 1517 1520 32713 0 -1 1077944384 10469 13016 0 0 907 64 5 3 20 0 15 0 416820966 11109421056 99802 33554432000 4194304 4196468 140732210313824 139745599183216 139746596100738 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1579] ppid=1517 vsize=10849044 memory=1096 CPUtime=0.08 cores=1,3,5,7
/proc/1520/task/1579/stat : 1579 (java) S 1517 1520 32713 0 -1 1077944384 40 13016 0 0 0 0 5 3 20 0 15 0 416820966 11109421056 99802 33554432000 4194304 4196468 140732210313824 139745598129248 139746596099797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1580] ppid=1517 vsize=10849044 memory=2116 CPUtime=0.08 cores=1,3,5,7
/proc/1520/task/1580/stat : 1580 (java) S 1517 1520 32713 0 -1 1077944384 5 13016 0 0 0 0 5 3 20 0 15 0 416820966 11109421056 99802 33554432000 4194304 4196468 140732210313824 139745485120384 139746596099797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1581] ppid=1517 vsize=10849044 memory=11916 CPUtime=0.08 cores=1,3,5,7
/proc/1520/task/1581/stat : 1581 (java) S 1517 1520 32713 0 -1 1077944384 3 13016 0 0 0 0 5 3 20 0 15 0 416820969 11109421056 99802 33554432000 4194304 4196468 140732210313824 139745177720656 139746596108187 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1582] ppid=1517 vsize=10849044 memory=399720 CPUtime=5.92 cores=1,3,5,7
/proc/1520/task/1582/stat : 1582 (java) S 1517 1520 32713 0 -1 1077944384 22013 13016 0 0 579 5 5 3 20 0 15 0 416820969 11109421056 99802 33554432000 4194304 4196468 140732210313824 139745564572528 139746596100738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1583] ppid=1517 vsize=10849044 memory=402288 CPUtime=5.6 cores=1,3,5,7
/proc/1520/task/1583/stat : 1583 (java) S 1517 1520 32713 0 -1 1077944384 27512 13016 0 0 545 7 5 3 20 0 15 0 416820969 11109421056 99802 33554432000 4194304 4196468 140732210313824 139745563519728 139746596100738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1584] ppid=1517 vsize=10849044 memory=10708 CPUtime=5.3 cores=1,3,5,7
/proc/1520/task/1584/stat : 1584 (java) S 1517 1520 32713 0 -1 1077944384 27395 13016 0 0 514 8 5 3 20 0 15 0 416820969 11109421056 99802 33554432000 4194304 4196468 140732210313824 139745562466928 139746596100738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1585] ppid=1517 vsize=10849044 memory=1552 CPUtime=0.08 cores=1,3,5,7
/proc/1520/task/1585/stat : 1585 (java) S 1517 1520 32713 0 -1 1077944384 3 13016 0 0 0 0 5 3 20 0 15 0 416820969 11109421056 99802 33554432000 4194304 4196468 140732210313824 139745144163040 139746596099797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
[pid=1520/tid=1586] ppid=1517 vsize=10849044 memory=4096 CPUtime=1.5 cores=1,3,5,7
/proc/1520/task/1586/stat : 1586 (java) S 1517 1520 32713 0 -1 1077944384 1479 13016 0 0 64 78 5 3 20 0 15 0 416820969 11109421056 99802 33554432000 4194304 4196468 140732210313824 139745561414320 139746596100738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29675520 140732210318063 140732210320581 140732210320581 140732210323407 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10849044 KiB
Current children cumulated memory: 399208 KiB
Child status: 143
Real time (s): 2464.13
CPU time (s): 2520.05
CPU user time (s): 2516.06
CPU system time (s): 3.99237
CPU usage (%): 102.269
Max. virtual memory (cumulated for all children) (KiB): 10853204
Max. memory (cumulated for all children) (KiB): 847668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.06
system time used= 3.99237
maximum resident set size= 848708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 260751
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 272868
involuntary context switches= 6317
# summary of solver processes directly reported to runsolver:
# pid: 1520
# total CPU time (s): 2520.05
# total CPU user time (s): 2516.06
# total CPU system time (s): 3.99237
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.8533 second user time and 23.065 second system time
The end