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 (12255 MiB free)
  memory of node 1: 16384 MiB (15007 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263597-1502622577/watcher-4263597-1502622577 -o /tmp/evaluation-result-4263597-1502622577/solver-4263597-1502622577 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1502619271-1477 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263597-1502622577.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=1833, runsolver pid=1830

[startup+0.102358 s]*
/proc/loadavg: 1.95 2.00 2.15 3/216 1848
/proc/meminfo: memFree=27898748/32770624 swapFree=67108860/67108860
[pid=1833] ppid=1830 vsize=10555400 memory=30076 CPUtime=0.13 cores=1,3,5,7
/proc/1833/stat : 1833 (java) S 1830 1833 31095 0 -1 1077944320 6588 0 0 0 12 1 0 0 20 0 15 0 95345649 10808729600 7519 33554432000 4194304 4196468 140726915002960 140726914985504 140045633384183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
/proc/1833/statm: 2638850 7519 2818 1 0 2627263 0
[pid=1833/tid=1835] ppid=1830 vsize=10555400 memory=8326441112148417179 CPUtime=0.09 cores=1,3,5,7
/proc/1833/task/1835/stat : 1835 (java) R 1830 1833 31095 0 -1 4202560 4447 0 0 0 8 1 0 0 20 0 15 0 95345649 10808729600 7519 33554432000 4194304 4196468 140726915002960 140045637616912 140045618824832 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1836] ppid=1830 vsize=10555400 memory=-7025452035940392864 CPUtime=0 cores=1,3,5,7
/proc/1833/task/1836/stat : 1836 (java) S 1830 1833 31095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95345650 10808729600 7519 33554432000 4194304 4196468 140726915002960 140045240163344 140045633394389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1837] ppid=1830 vsize=10555400 memory=139917079754368 CPUtime=0 cores=1,3,5,7
/proc/1833/task/1837/stat : 1837 (java) S 1830 1833 31095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95345650 10808729600 7519 33554432000 4194304 4196468 140726915002960 140045239110800 140045633394389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1838] ppid=1830 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1833/task/1838/stat : 1838 (java) S 1830 1833 31095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95345650 10808729600 7519 33554432000 4194304 4196468 140726915002960 140045238057744 140045633394389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1839] ppid=1830 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1833/task/1839/stat : 1839 (java) S 1830 1833 31095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95345650 10808729600 7519 33554432000 4194304 4196468 140726915002960 140045237005200 140045633394389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1840] ppid=1830 vsize=10555400 memory=139917079754368 CPUtime=0 cores=1,3,5,7
/proc/1833/task/1840/stat : 1840 (java) S 1830 1833 31095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95345652 10808729600 7519 33554432000 4194304 4196468 140726915002960 140044870342896 140045633395330 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1841] ppid=1830 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1833/task/1841/stat : 1841 (java) S 1830 1833 31095 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95345652 10808729600 7519 33554432000 4194304 4196468 140726915002960 140044869289120 140045633394389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1842] ppid=1830 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1833/task/1842/stat : 1842 (java) S 1830 1833 31095 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95345652 10808729600 7519 33554432000 4194304 4196468 140726915002960 140044868236016 140045633394389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1843] ppid=1830 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1833/task/1843/stat : 1843 (java) S 1830 1833 31095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95345655 10808729600 7519 33554432000 4194304 4196468 140726915002960 140044867184592 140045633402779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1844] ppid=1830 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1833/task/1844/stat : 1844 (java) S 1830 1833 31095 0 -1 1077944384 429 0 0 0 0 0 0 0 20 0 15 0 95345655 10808729600 7519 33554432000 4194304 4196468 140726915002960 140044866132720 140045633395330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1845] ppid=1830 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1833/task/1845/stat : 1845 (java) S 1830 1833 31095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95345655 10808729600 7519 33554432000 4194304 4196468 140726915002960 140044865080176 140045633395330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1846] ppid=1830 vsize=10555400 memory=139917079754368 CPUtime=0.02 cores=1,3,5,7
/proc/1833/task/1846/stat : 1846 (java) R 1830 1833 31095 0 -1 4202560 362 0 0 0 2 0 0 0 20 0 15 0 95345655 10808729600 7519 33554432000 4194304 4196468 140726915002960 140044864027120 140045617464670 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1847] ppid=1830 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1833/task/1847/stat : 1847 (java) S 1830 1833 31095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95345655 10808729600 7519 33554432000 4194304 4196468 140726915002960 140044862974816 140045633394389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1848] ppid=1830 vsize=10555400 memory=139917079754368 CPUtime=0 cores=1,3,5,7
/proc/1833/task/1848/stat : 1848 (java) S 1830 1833 31095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95345655 10808729600 7519 33554432000 4194304 4196468 140726915002960 140044861921840 140045633395330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 30076 KiB

[startup+0.21932 s]*
/proc/loadavg: 1.95 2.00 2.15 6/216 1848
/proc/meminfo: memFree=27889204/32770624 swapFree=67108860/67108860
[pid=1833] ppid=1830 vsize=10555400 memory=42180 CPUtime=0.36 cores=1,3,5,7
/proc/1833/stat : 1833 (java) S 1830 1833 31095 0 -1 1077944320 8210 0 0 0 34 2 0 0 20 0 15 0 95345649 10808729600 10545 33554432000 4194304 4196468 140726915002960 140726914985504 140045633384183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
/proc/1833/statm: 2638850 10545 3000 1 0 2627263 0
[pid=1833/tid=1835] ppid=1830 vsize=10555400 memory=7022364594140610616 CPUtime=0.21 cores=1,3,5,7
/proc/1833/task/1835/stat : 1835 (java) R 1830 1833 31095 0 -1 4202560 5045 0 0 0 20 1 0 0 20 0 15 0 95345649 10808729600 10611 33554432000 4194304 4196468 140726915002960 140045637619088 140045272237683 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1836] ppid=1830 vsize=10555400 memory=342 CPUtime=0 cores=1,3,5,7
/proc/1833/task/1836/stat : 1836 (java) S 1830 1833 31095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95345650 10808729600 10611 33554432000 4194304 4196468 140726915002960 140045240163344 140045633394389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1837] ppid=1830 vsize=10555400 memory=139917079768580 CPUtime=0 cores=1,3,5,7
/proc/1833/task/1837/stat : 1837 (java) S 1830 1833 31095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95345650 10808729600 10611 33554432000 4194304 4196468 140726915002960 140045239110800 140045633394389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1838] ppid=1830 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1833/task/1838/stat : 1838 (java) S 1830 1833 31095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95345650 10808729600 10611 33554432000 4194304 4196468 140726915002960 140045238057744 140045633394389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1839] ppid=1830 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1833/task/1839/stat : 1839 (java) S 1830 1833 31095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95345650 10808729600 10611 33554432000 4194304 4196468 140726915002960 140045237005200 140045633394389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1840] ppid=1830 vsize=10555400 memory=139917079754368 CPUtime=0 cores=1,3,5,7
/proc/1833/task/1840/stat : 1840 (java) S 1830 1833 31095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95345652 10808729600 10611 33554432000 4194304 4196468 140726915002960 140044870342896 140045633395330 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1841] ppid=1830 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1833/task/1841/stat : 1841 (java) S 1830 1833 31095 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95345652 10808729600 10611 33554432000 4194304 4196468 140726915002960 140044869289120 140045633394389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1842] ppid=1830 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1833/task/1842/stat : 1842 (java) S 1830 1833 31095 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95345652 10808729600 10611 33554432000 4194304 4196468 140726915002960 140044868236016 140045633394389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1843] ppid=1830 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1833/task/1843/stat : 1843 (java) S 1830 1833 31095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95345655 10808729600 10611 33554432000 4194304 4196468 140726915002960 140044867184592 140045633402779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1844] ppid=1830 vsize=10555400 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/1833/task/1844/stat : 1844 (java) R 1830 1833 31095 0 -1 4202560 767 0 0 0 4 0 0 0 20 0 15 0 95345655 10808729600 10611 33554432000 4194304 4196468 140726915002960 140044866131904 140045625673632 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1845] ppid=1830 vsize=10555400 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/1833/task/1845/stat : 1845 (java) R 1830 1833 31095 0 -1 4202560 250 0 0 0 2 0 0 0 20 0 15 0 95345655 10808729600 10611 33554432000 4194304 4196468 140726915002960 140044865071456 140045613038752 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1846] ppid=1830 vsize=10555400 memory=139917079754368 CPUtime=0.08 cores=1,3,5,7
/proc/1833/task/1846/stat : 1846 (java) R 1830 1833 31095 0 -1 4202560 857 0 0 0 8 0 0 0 20 0 15 0 95345655 10808729600 10611 33554432000 4194304 4196468 140726915002960 140044864021496 140045612341425 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1847] ppid=1830 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1833/task/1847/stat : 1847 (java) S 1830 1833 31095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95345655 10808729600 10611 33554432000 4194304 4196468 140726915002960 140044862974816 140045633394389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1848] ppid=1830 vsize=10555400 memory=139917079754368 CPUtime=0 cores=1,3,5,7
/proc/1833/task/1848/stat : 1848 (java) S 1830 1833 31095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95345655 10808729600 10611 33554432000 4194304 4196468 140726915002960 140044861921840 140045633395330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 42180 KiB

[startup+0.311648 s]*
/proc/loadavg: 1.95 2.00 2.15 6/216 1848
/proc/meminfo: memFree=27876144/32770624 swapFree=67108860/67108860
[pid=1833] ppid=1830 vsize=10555400 memory=53140 CPUtime=0.64 cores=1,3,5,7
/proc/1833/stat : 1833 (java) S 1830 1833 31095 0 -1 1077944320 10016 0 0 0 62 2 0 0 20 0 15 0 95345649 10808729600 13285 33554432000 4194304 4196468 140726915002960 140726914985504 140045633384183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
/proc/1833/statm: 2638850 13285 3035 1 0 2627263 0
[pid=1833/tid=1835] ppid=1830 vsize=10555400 memory=6935054825532540783 CPUtime=0.29 cores=1,3,5,7
/proc/1833/task/1835/stat : 1835 (java) R 1830 1833 31095 0 -1 4202560 5434 0 0 0 28 1 0 0 20 0 15 0 95345649 10808729600 13285 33554432000 4194304 4196468 140726915002960 140045637604832 140045270782194 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1836] ppid=1830 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1833/task/1836/stat : 1836 (java) S 1830 1833 31095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95345650 10808729600 13285 33554432000 4194304 4196468 140726915002960 140045240163344 140045633394389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1837] ppid=1830 vsize=10555400 memory=139916948374991 CPUtime=0 cores=1,3,5,7
/proc/1833/task/1837/stat : 1837 (java) S 1830 1833 31095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95345650 10808729600 13285 33554432000 4194304 4196468 140726915002960 140045239110800 140045633394389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1838] ppid=1830 vsize=10555400 memory=67 CPUtime=0 cores=1,3,5,7
/proc/1833/task/1838/stat : 1838 (java) S 1830 1833 31095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95345650 10808729600 13285 33554432000 4194304 4196468 140726915002960 140045238057744 140045633394389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1839] ppid=1830 vsize=10555400 memory=35 CPUtime=0 cores=1,3,5,7
/proc/1833/task/1839/stat : 1839 (java) S 1830 1833 31095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95345650 10808729600 13285 33554432000 4194304 4196468 140726915002960 140045237005200 140045633394389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1840] ppid=1830 vsize=10555400 memory=139917079807776 CPUtime=0 cores=1,3,5,7
/proc/1833/task/1840/stat : 1840 (java) S 1830 1833 31095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95345652 10808729600 13285 33554432000 4194304 4196468 140726915002960 140044870342896 140045633395330 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1841] ppid=1830 vsize=10555400 memory=35 CPUtime=0 cores=1,3,5,7
/proc/1833/task/1841/stat : 1841 (java) S 1830 1833 31095 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95345652 10808729600 13285 33554432000 4194304 4196468 140726915002960 140044869289120 140045633394389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1842] ppid=1830 vsize=10555400 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/1833/task/1842/stat : 1842 (java) S 1830 1833 31095 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95345652 10808729600 13285 33554432000 4194304 4196468 140726915002960 140044868236016 140045633394389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1843] ppid=1830 vsize=10555400 memory=60356 CPUtime=0 cores=1,3,5,7
/proc/1833/task/1843/stat : 1843 (java) S 1830 1833 31095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95345655 10808729600 13285 33554432000 4194304 4196468 140726915002960 140044867184592 140045633402779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1844] ppid=1830 vsize=10555400 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/1833/task/1844/stat : 1844 (java) R 1830 1833 31095 0 -1 4202560 1109 0 0 0 13 0 0 0 20 0 15 0 95345655 10808729600 13285 33554432000 4194304 4196468 140726915002960 140044866122640 140045618264416 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1845] ppid=1830 vsize=10555400 memory=139916948318575 CPUtime=0.1 cores=1,3,5,7
/proc/1833/task/1845/stat : 1845 (java) R 1830 1833 31095 0 -1 4202560 1012 0 0 0 10 0 0 0 20 0 15 0 95345655 10808729600 13285 33554432000 4194304 4196468 140726915002960 140044865067024 140045614067679 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1846] ppid=1830 vsize=10555400 memory=139917079756159 CPUtime=0.1 cores=1,3,5,7
/proc/1833/task/1846/stat : 1846 (java) R 1830 1833 31095 0 -1 1077944384 1094 0 0 0 10 0 0 0 20 0 15 0 95345655 10808729600 13285 33554432000 4194304 4196468 140726915002960 140044864027120 140045633395330 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1847] ppid=1830 vsize=10555400 memory=139916948393423 CPUtime=0 cores=1,3,5,7
/proc/1833/task/1847/stat : 1847 (java) S 1830 1833 31095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95345655 10808729600 13285 33554432000 4194304 4196468 140726915002960 140044862974816 140045633394389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1848] ppid=1830 vsize=10555400 memory=279834028166304 CPUtime=0 cores=1,3,5,7
/proc/1833/task/1848/stat : 1848 (java) S 1830 1833 31095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95345655 10808729600 13285 33554432000 4194304 4196468 140726915002960 140044861921840 140045633395330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 53140 KiB

[startup+0.700812 s]
/proc/loadavg: 1.95 2.00 2.15 5/216 1848
/proc/meminfo: memFree=27857156/32770624 swapFree=67108860/67108860
[pid=1833] ppid=1830 vsize=10555476 memory=126064 CPUtime=1.79 cores=1,3,5,7
/proc/1833/stat : 1833 (java) S 1830 1833 31095 0 -1 1077944320 11312 0 0 0 176 3 0 0 20 0 15 0 95345649 10808807424 31516 33554432000 4194304 4196468 140726915002960 140726914985504 140045633384183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
/proc/1833/statm: 2638869 31516 3089 1 0 2627263 0
[pid=1833/tid=1835] ppid=1830 vsize=10555476 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/1833/task/1835/stat : 1835 (java) R 1830 1833 31095 0 -1 4202560 5828 0 0 0 64 2 0 0 20 0 15 0 95345649 10808807424 31516 33554432000 4194304 4196468 140726915002960 140045637620480 140045274306884 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1836] ppid=1830 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1833/task/1836/stat : 1836 (java) S 1830 1833 31095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95345650 10808807424 31516 33554432000 4194304 4196468 140726915002960 140045240163344 140045633394389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1837] ppid=1830 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1833/task/1837/stat : 1837 (java) S 1830 1833 31095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95345650 10808807424 31516 33554432000 4194304 4196468 140726915002960 140045239110800 140045633394389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1838] ppid=1830 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1833/task/1838/stat : 1838 (java) S 1830 1833 31095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95345650 10808807424 31516 33554432000 4194304 4196468 140726915002960 140045238057744 140045633394389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1839] ppid=1830 vsize=10555476 memory=8319106358720411445 CPUtime=0 cores=1,3,5,7
/proc/1833/task/1839/stat : 1839 (java) S 1830 1833 31095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95345650 10808807424 31516 33554432000 4194304 4196468 140726915002960 140045237005200 140045633394389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1840] ppid=1830 vsize=10555476 memory=5859271451652345961 CPUtime=0 cores=1,3,5,7
/proc/1833/task/1840/stat : 1840 (java) S 1830 1833 31095 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95345652 10808807424 31516 33554432000 4194304 4196468 140726915002960 140044870342896 140045633395330 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1841] ppid=1830 vsize=10555476 memory=6370158477097656664 CPUtime=0 cores=1,3,5,7
/proc/1833/task/1841/stat : 1841 (java) S 1830 1833 31095 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95345652 10808807424 31516 33554432000 4194304 4196468 140726915002960 140044869289120 140045633394389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1842] ppid=1830 vsize=10555476 memory=1420 CPUtime=0 cores=1,3,5,7
/proc/1833/task/1842/stat : 1842 (java) S 1830 1833 31095 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95345652 10808807424 31516 33554432000 4194304 4196468 140726915002960 140044868236016 140045633394389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1843] ppid=1830 vsize=10555476 memory=15872 CPUtime=0 cores=1,3,5,7
/proc/1833/task/1843/stat : 1843 (java) S 1830 1833 31095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95345655 10808807424 31516 33554432000 4194304 4196468 140726915002960 140044867184592 140045633402779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1844] ppid=1830 vsize=10555476 memory=16448 CPUtime=0.42 cores=1,3,5,7
/proc/1833/task/1844/stat : 1844 (java) R 1830 1833 31095 0 -1 4202560 1510 0 0 0 42 0 0 0 20 0 15 0 95345655 10808807424 31516 33554432000 4194304 4196468 140726915002960 140044866118744 140045618492136 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1845] ppid=1830 vsize=10555476 memory=2241 CPUtime=0.4 cores=1,3,5,7
/proc/1833/task/1845/stat : 1845 (java) R 1830 1833 31095 0 -1 4202560 1100 0 0 0 40 0 0 0 20 0 15 0 95345655 10808807424 31516 33554432000 4194304 4196468 140726915002960 140044865067728 140045619401729 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1846] ppid=1830 vsize=10555476 memory=2244 CPUtime=0.28 cores=1,3,5,7
/proc/1833/task/1846/stat : 1846 (java) S 1830 1833 31095 0 -1 1077944384 1504 0 0 0 28 0 0 0 20 0 15 0 95345655 10808807424 31516 33554432000 4194304 4196468 140726915002960 140044864027120 140045633395330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1847] ppid=1830 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1833/task/1847/stat : 1847 (java) S 1830 1833 31095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95345655 10808807424 31516 33554432000 4194304 4196468 140726915002960 140044862974816 140045633394389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1848] ppid=1830 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1833/task/1848/stat : 1848 (java) S 1830 1833 31095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95345655 10808807424 31516 33554432000 4194304 4196468 140726915002960 140044861921840 140045633395330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
Current children cumulated CPU time: 1.79 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 126064 KiB

[startup+1.50083 s]
/proc/loadavg: 1.95 2.00 2.15 6/216 1848
/proc/meminfo: memFree=27724724/32770624 swapFree=67108860/67108860
[pid=1833] ppid=1830 vsize=10555476 memory=313388 CPUtime=4.27 cores=1,3,5,7
/proc/1833/stat : 1833 (java) S 1830 1833 31095 0 -1 1077944320 18535 0 0 0 417 10 0 0 20 0 15 0 95345649 10808807424 78347 33554432000 4194304 4196468 140726915002960 140726914985504 140045633384183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
/proc/1833/statm: 2638869 78347 3121 1 0 2627263 0
[pid=1833/tid=1835] ppid=1830 vsize=10555476 memory=279833897030432 CPUtime=1.42 cores=1,3,5,7
/proc/1833/task/1835/stat : 1835 (java) R 1830 1833 31095 0 -1 4202560 6095 0 0 0 138 4 0 0 20 0 15 0 95345649 10808807424 78347 33554432000 4194304 4196468 140726915002960 140045637616472 140045275481494 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1836] ppid=1830 vsize=10555476 memory=139916948397936 CPUtime=0 cores=1,3,5,7
/proc/1833/task/1836/stat : 1836 (java) S 1830 1833 31095 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 95345650 10808807424 78347 33554432000 4194304 4196468 140726915002960 140045240163344 140045633394389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1837] ppid=1830 vsize=10555476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/1833/task/1837/stat : 1837 (java) S 1830 1833 31095 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 15 0 95345650 10808807424 78347 33554432000 4194304 4196468 140726915002960 140045239110800 140045633394389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1838] ppid=1830 vsize=10555476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/1833/task/1838/stat : 1838 (java) S 1830 1833 31095 0 -1 1077944384 35 0 0 0 1 0 0 0 20 0 15 0 95345650 10808807424 78347 33554432000 4194304 4196468 140726915002960 140045238057744 140045633394389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1839] ppid=1830 vsize=10555476 memory=279833897082912 CPUtime=0 cores=1,3,5,7
/proc/1833/task/1839/stat : 1839 (java) S 1830 1833 31095 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 95345650 10808807424 78347 33554432000 4194304 4196468 140726915002960 140045237005200 140045633394389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1840] ppid=1830 vsize=10555476 memory=188872 CPUtime=0 cores=1,3,5,7
/proc/1833/task/1840/stat : 1840 (java) S 1830 1833 31095 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 95345652 10808807424 78347 33554432000 4194304 4196468 140726915002960 140044870342896 140045633395330 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0

################
# More data... #
################

/proc/1833/stat : 1833 (java) S 1830 1833 31095 0 -1 1077944320 55309 0 0 0 88826 73 0 0 20 0 16 0 95345649 10876968960 224001 33554432000 4194304 4196468 140726915002960 140726914985504 140045633384183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
/proc/1833/statm: 2655510 224001 3160 1 0 2643904 0
[pid=1833/tid=1835] ppid=1830 vsize=10622040 memory=896004 CPUtime=881.92 cores=1,3,5,7
/proc/1833/task/1835/stat : 1835 (java) R 1830 1833 31095 0 -1 4202560 18864 0 0 0 88183 9 0 0 20 0 16 0 95345649 10876968960 224001 33554432000 4194304 4196468 140726915002960 140045637620632 140045276531456 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1836] ppid=1830 vsize=10622040 memory=896004 CPUtime=0.34 cores=1,3,5,7
/proc/1833/task/1836/stat : 1836 (java) S 1830 1833 31095 0 -1 1077944384 323 0 0 0 25 9 0 0 20 0 16 0 95345650 10876968960 224001 33554432000 4194304 4196468 140726915002960 140045240163344 140045633394389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1837] ppid=1830 vsize=10622040 memory=896004 CPUtime=0.35 cores=1,3,5,7
/proc/1833/task/1837/stat : 1837 (java) S 1830 1833 31095 0 -1 1077944384 290 0 0 0 27 8 0 0 20 0 16 0 95345650 10876968960 224001 33554432000 4194304 4196468 140726915002960 140045239110800 140045633394389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1838] ppid=1830 vsize=10622040 memory=896004 CPUtime=0.35 cores=1,3,5,7
/proc/1833/task/1838/stat : 1838 (java) S 1830 1833 31095 0 -1 1077944384 590 0 0 0 27 8 0 0 20 0 16 0 95345650 10876968960 224001 33554432000 4194304 4196468 140726915002960 140045238057744 140045633394389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1839] ppid=1830 vsize=10622040 memory=896004 CPUtime=0.35 cores=1,3,5,7
/proc/1833/task/1839/stat : 1839 (java) S 1830 1833 31095 0 -1 1077944384 405 0 0 0 26 9 0 0 20 0 16 0 95345650 10876968960 224001 33554432000 4194304 4196468 140726915002960 140045237005200 140045633394389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1840] ppid=1830 vsize=10622040 memory=896004 CPUtime=0.03 cores=1,3,5,7
/proc/1833/task/1840/stat : 1840 (java) S 1830 1833 31095 0 -1 1077944384 862 0 0 0 2 1 0 0 20 0 16 0 95345652 10876968960 224001 33554432000 4194304 4196468 140726915002960 140044870342896 140045633395330 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1841] ppid=1830 vsize=10622040 memory=896004 CPUtime=0 cores=1,3,5,7
/proc/1833/task/1841/stat : 1841 (java) S 1830 1833 31095 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 95345652 10876968960 224001 33554432000 4194304 4196468 140726915002960 140044869289184 140045633394389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1842] ppid=1830 vsize=10622040 memory=180 CPUtime=0 cores=1,3,5,7
/proc/1833/task/1842/stat : 1842 (java) S 1830 1833 31095 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 95345652 10876968960 224001 33554432000 4194304 4196468 140726915002960 140044868236016 140045633394389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1843] ppid=1830 vsize=10622040 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1833/task/1843/stat : 1843 (java) S 1830 1833 31095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95345655 10876968960 224001 33554432000 4194304 4196468 140726915002960 140044867184592 140045633402779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1844] ppid=1830 vsize=10622040 memory=896004 CPUtime=2.44 cores=1,3,5,7
/proc/1833/task/1844/stat : 1844 (java) S 1830 1833 31095 0 -1 1077944384 14469 0 0 0 243 1 0 0 20 0 16 0 95345655 10876968960 224001 33554432000 4194304 4196468 140726915002960 140044866132720 140045633395330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1845] ppid=1830 vsize=10622040 memory=896004 CPUtime=2.11 cores=1,3,5,7
/proc/1833/task/1845/stat : 1845 (java) S 1830 1833 31095 0 -1 1077944384 12411 0 0 0 210 1 0 0 20 0 16 0 95345655 10876968960 224001 33554432000 4194304 4196468 140726915002960 140044865080176 140045633395330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1846] ppid=1830 vsize=10622040 memory=896004 CPUtime=0.51 cores=1,3,5,7
/proc/1833/task/1846/stat : 1846 (java) S 1830 1833 31095 0 -1 1077944384 4770 0 0 0 50 1 0 0 20 0 16 0 95345655 10876968960 224001 33554432000 4194304 4196468 140726915002960 140044864027120 140045633395330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1847] ppid=1830 vsize=10622040 memory=11008 CPUtime=0 cores=1,3,5,7
/proc/1833/task/1847/stat : 1847 (java) S 1830 1833 31095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95345655 10876968960 224001 33554432000 4194304 4196468 140726915002960 140044862974816 140045633394389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1848] ppid=1830 vsize=10622040 memory=896004 CPUtime=0.51 cores=1,3,5,7
/proc/1833/task/1848/stat : 1848 (java) S 1830 1833 31095 0 -1 1077944384 944 0 0 0 23 28 0 0 20 0 16 0 95345655 10876968960 224001 33554432000 4194304 4196468 140726915002960 140044861921840 140045633395330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1849] ppid=1830 vsize=10622040 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/1833/task/1849/stat : 1849 (java) S 1830 1833 31095 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 95346055 10876968960 224001 33554432000 4194304 4196468 140726915002960 140044860867632 140045633395330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
Current children cumulated CPU time: 888.99 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 896004 KiB

[startup+942.301 s]
/proc/loadavg: 1.91 1.94 2.03 3/218 1987
/proc/meminfo: memFree=27201604/32770624 swapFree=67108860/67108860
[pid=1833] ppid=1830 vsize=10622040 memory=896012 CPUtime=949.04 cores=1,3,5,7
/proc/1833/stat : 1833 (java) S 1830 1833 31095 0 -1 1077944320 55758 0 0 0 94829 75 0 0 20 0 16 0 95345649 10876968960 224003 33554432000 4194304 4196468 140726915002960 140726914985504 140045633384183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
/proc/1833/statm: 2655510 224003 3160 1 0 2643904 0
[pid=1833/tid=1835] ppid=1830 vsize=10622040 memory=896004 CPUtime=941.93 cores=1,3,5,7
/proc/1833/task/1835/stat : 1835 (java) R 1830 1833 31095 0 -1 4202560 19284 0 0 0 94183 10 0 0 20 0 16 0 95345649 10876968960 224003 33554432000 4194304 4196468 140726915002960 140045637620632 140045276531456 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1836] ppid=1830 vsize=10622040 memory=896004 CPUtime=0.34 cores=1,3,5,7
/proc/1833/task/1836/stat : 1836 (java) S 1830 1833 31095 0 -1 1077944384 323 0 0 0 25 9 0 0 20 0 16 0 95345650 10876968960 224003 33554432000 4194304 4196468 140726915002960 140045240163344 140045633394389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1837] ppid=1830 vsize=10622040 memory=896004 CPUtime=0.35 cores=1,3,5,7
/proc/1833/task/1837/stat : 1837 (java) S 1830 1833 31095 0 -1 1077944384 290 0 0 0 27 8 0 0 20 0 16 0 95345650 10876968960 224003 33554432000 4194304 4196468 140726915002960 140045239110800 140045633394389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1838] ppid=1830 vsize=10622040 memory=896012 CPUtime=0.35 cores=1,3,5,7
/proc/1833/task/1838/stat : 1838 (java) S 1830 1833 31095 0 -1 1077944384 590 0 0 0 27 8 0 0 20 0 16 0 95345650 10876968960 224003 33554432000 4194304 4196468 140726915002960 140045238057744 140045633394389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1839] ppid=1830 vsize=10622040 memory=896012 CPUtime=0.35 cores=1,3,5,7
/proc/1833/task/1839/stat : 1839 (java) S 1830 1833 31095 0 -1 1077944384 405 0 0 0 26 9 0 0 20 0 16 0 95345650 10876968960 224003 33554432000 4194304 4196468 140726915002960 140045237005200 140045633394389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1840] ppid=1830 vsize=10622040 memory=896012 CPUtime=0.03 cores=1,3,5,7
/proc/1833/task/1840/stat : 1840 (java) S 1830 1833 31095 0 -1 1077944384 864 0 0 0 2 1 0 0 20 0 16 0 95345652 10876968960 224003 33554432000 4194304 4196468 140726915002960 140044870342896 140045633395330 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1841] ppid=1830 vsize=10622040 memory=896012 CPUtime=0 cores=1,3,5,7
/proc/1833/task/1841/stat : 1841 (java) S 1830 1833 31095 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 95345652 10876968960 224003 33554432000 4194304 4196468 140726915002960 140044869289184 140045633394389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1842] ppid=1830 vsize=10622040 memory=896012 CPUtime=0 cores=1,3,5,7
/proc/1833/task/1842/stat : 1842 (java) S 1830 1833 31095 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 95345652 10876968960 224003 33554432000 4194304 4196468 140726915002960 140044868236016 140045633394389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1843] ppid=1830 vsize=10622040 memory=896004 CPUtime=0 cores=1,3,5,7
/proc/1833/task/1843/stat : 1843 (java) S 1830 1833 31095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95345655 10876968960 224003 33554432000 4194304 4196468 140726915002960 140044867184592 140045633402779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1844] ppid=1830 vsize=10622040 memory=896004 CPUtime=2.44 cores=1,3,5,7
/proc/1833/task/1844/stat : 1844 (java) S 1830 1833 31095 0 -1 1077944384 14471 0 0 0 243 1 0 0 20 0 16 0 95345655 10876968960 224003 33554432000 4194304 4196468 140726915002960 140044866132720 140045633395330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1845] ppid=1830 vsize=10622040 memory=896004 CPUtime=2.11 cores=1,3,5,7
/proc/1833/task/1845/stat : 1845 (java) S 1830 1833 31095 0 -1 1077944384 12413 0 0 0 210 1 0 0 20 0 16 0 95345655 10876968960 224003 33554432000 4194304 4196468 140726915002960 140044865080176 140045633395330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1846] ppid=1830 vsize=10622040 memory=896004 CPUtime=0.51 cores=1,3,5,7
/proc/1833/task/1846/stat : 1846 (java) S 1830 1833 31095 0 -1 1077944384 4772 0 0 0 50 1 0 0 20 0 16 0 95345655 10876968960 224003 33554432000 4194304 4196468 140726915002960 140044864027120 140045633395330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1847] ppid=1830 vsize=10622040 memory=896012 CPUtime=0 cores=1,3,5,7
/proc/1833/task/1847/stat : 1847 (java) S 1830 1833 31095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95345655 10876968960 224003 33554432000 4194304 4196468 140726915002960 140044862974816 140045633394389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1848] ppid=1830 vsize=10622040 memory=15872 CPUtime=0.54 cores=1,3,5,7
/proc/1833/task/1848/stat : 1848 (java) S 1830 1833 31095 0 -1 1077944384 965 0 0 0 25 29 0 0 20 0 16 0 95345655 10876968960 224003 33554432000 4194304 4196468 140726915002960 140044861921840 140045633395330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1849] ppid=1830 vsize=10622040 memory=16448 CPUtime=0 cores=1,3,5,7
/proc/1833/task/1849/stat : 1849 (java) S 1830 1833 31095 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 95346055 10876968960 224003 33554432000 4194304 4196468 140726915002960 140044860867632 140045633395330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
Current children cumulated CPU time: 949.04 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 896012 KiB

[startup+1002.3 s]
/proc/loadavg: 1.97 1.95 2.03 4/218 1988
/proc/meminfo: memFree=27226236/32770624 swapFree=67108860/67108860
[pid=1833] ppid=1830 vsize=10755168 memory=896176 CPUtime=1009.08 cores=1,3,5,7
/proc/1833/stat : 1833 (java) S 1830 1833 31095 0 -1 1077944320 59017 0 0 0 100832 76 0 0 20 0 16 0 95345649 11013292032 224044 33554432000 4194304 4196468 140726915002960 140726914985504 140045633384183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
/proc/1833/statm: 2688792 224044 3162 1 0 2677186 0
[pid=1833/tid=1835] ppid=1830 vsize=10755168 memory=896012 CPUtime=1001.85 cores=1,3,5,7
/proc/1833/task/1835/stat : 1835 (java) S 1830 1833 31095 0 -1 1077944384 20412 0 0 0 100175 10 0 0 20 0 16 0 95345649 11013292032 224044 33554432000 4194304 4196468 140726915002960 140045637624864 140045633394389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1836] ppid=1830 vsize=10755168 memory=896012 CPUtime=0.34 cores=1,3,5,7
/proc/1833/task/1836/stat : 1836 (java) S 1830 1833 31095 0 -1 1077944384 323 0 0 0 25 9 0 0 20 0 16 0 95345650 11013292032 224044 33554432000 4194304 4196468 140726915002960 140045240163344 140045633394389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1837] ppid=1830 vsize=10755168 memory=896012 CPUtime=0.35 cores=1,3,5,7
/proc/1833/task/1837/stat : 1837 (java) S 1830 1833 31095 0 -1 1077944384 290 0 0 0 27 8 0 0 20 0 16 0 95345650 11013292032 224044 33554432000 4194304 4196468 140726915002960 140045239110800 140045633394389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1838] ppid=1830 vsize=10755168 memory=0 CPUtime=0.35 cores=1,3,5,7
/proc/1833/task/1838/stat : 1838 (java) S 1830 1833 31095 0 -1 1077944384 590 0 0 0 27 8 0 0 20 0 16 0 95345650 11013292032 224044 33554432000 4194304 4196468 140726915002960 140045238057744 140045633394389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1839] ppid=1830 vsize=10755168 memory=896024 CPUtime=0.35 cores=1,3,5,7
/proc/1833/task/1839/stat : 1839 (java) S 1830 1833 31095 0 -1 1077944384 405 0 0 0 26 9 0 0 20 0 16 0 95345650 11013292032 224044 33554432000 4194304 4196468 140726915002960 140045237005200 140045633394389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1840] ppid=1830 vsize=10755168 memory=4140 CPUtime=0.03 cores=1,3,5,7
/proc/1833/task/1840/stat : 1840 (java) S 1830 1833 31095 0 -1 1077944384 890 0 0 0 2 1 0 0 20 0 16 0 95345652 11013292032 224044 33554432000 4194304 4196468 140726915002960 140044870342896 140045633395330 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1841] ppid=1830 vsize=10755168 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1833/task/1841/stat : 1841 (java) S 1830 1833 31095 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 95345652 11013292032 224044 33554432000 4194304 4196468 140726915002960 140044869289184 140045633394389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1842] ppid=1830 vsize=10755168 memory=2257 CPUtime=0 cores=1,3,5,7
/proc/1833/task/1842/stat : 1842 (java) S 1830 1833 31095 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 95345652 11013292032 224044 33554432000 4194304 4196468 140726915002960 140044868236016 140045633394389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1843] ppid=1830 vsize=10755168 memory=896012 CPUtime=0 cores=1,3,5,7
/proc/1833/task/1843/stat : 1843 (java) S 1830 1833 31095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95345655 11013292032 224044 33554432000 4194304 4196468 140726915002960 140044867184592 140045633402779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1844] ppid=1830 vsize=10755168 memory=896012 CPUtime=2.48 cores=1,3,5,7
/proc/1833/task/1844/stat : 1844 (java) S 1830 1833 31095 0 -1 1077944384 15222 0 0 0 247 1 0 0 20 0 16 0 95345655 11013292032 224044 33554432000 4194304 4196468 140726915002960 140044866132720 140045633395330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1845] ppid=1830 vsize=10755168 memory=896012 CPUtime=2.15 cores=1,3,5,7
/proc/1833/task/1845/stat : 1845 (java) S 1830 1833 31095 0 -1 1077944384 13341 0 0 0 214 1 0 0 20 0 16 0 95345655 11013292032 224044 33554432000 4194304 4196468 140726915002960 140044865080176 140045633395330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1846] ppid=1830 vsize=10755168 memory=16448 CPUtime=0.52 cores=1,3,5,7
/proc/1833/task/1846/stat : 1846 (java) S 1830 1833 31095 0 -1 1077944384 5007 0 0 0 51 1 0 0 20 0 16 0 95345655 11013292032 224044 33554432000 4194304 4196468 140726915002960 140044864027120 140045633395330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1847] ppid=1830 vsize=10755168 memory=15480 CPUtime=0 cores=1,3,5,7
/proc/1833/task/1847/stat : 1847 (java) S 1830 1833 31095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95345655 11013292032 224044 33554432000 4194304 4196468 140726915002960 140044862974816 140045633394389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1848] ppid=1830 vsize=10755168 memory=896012 CPUtime=0.57 cores=1,3,5,7
/proc/1833/task/1848/stat : 1848 (java) S 1830 1833 31095 0 -1 1077944384 1004 0 0 0 26 31 0 0 20 0 16 0 95345655 11013292032 224044 33554432000 4194304 4196468 140726915002960 140044861921840 140045633395330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
Current children cumulated CPU time: 1009.08 s
Current children cumulated vsize: 10755168 KiB
Current children cumulated memory: 896176 KiB

[startup+1002.47 s]
# the end of solver process 1833 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1008.36 s, system=0.777209 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1002.4 s]
/proc/loadavg: 1.97 1.95 2.03 4/218 1988
/proc/meminfo: memFree=27226236/32770624 swapFree=67108860/67108860
[pid=1833] ppid=1830 vsize=10755168 memory=896176 CPUtime=1009.08 cores=1,3,5,7
/proc/1833/stat : 1833 (java) S 1830 1833 31095 0 -1 1077944320 59019 0 0 0 100832 76 0 0 20 0 16 0 95345649 11013292032 224044 33554432000 4194304 4196468 140726915002960 140726914985504 140045633384183 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
/proc/1833/statm: 2688792 224044 3162 1 0 2677186 0
[pid=1833/tid=1835] ppid=1830 vsize=10755168 memory=3054156605268465310 CPUtime=1001.85 cores=1,3,5,7
/proc/1833/task/1835/stat : 1835 (java) S 1830 1833 31095 0 -1 1077944384 20412 0 0 0 100175 10 0 0 20 0 16 0 95345649 11013292032 224044 33554432000 4194304 4196468 140726915002960 140045637624864 140045633394389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1836] ppid=1830 vsize=10755168 memory=7822038051842261661 CPUtime=0.34 cores=1,3,5,7
/proc/1833/task/1836/stat : 1836 (java) S 1830 1833 31095 0 -1 1077944384 323 0 0 0 25 9 0 0 20 0 16 0 95345650 11013292032 224044 33554432000 4194304 4196468 140726915002960 140045240163344 140045633394389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1837] ppid=1830 vsize=10755168 memory=8112282956445269571 CPUtime=0.35 cores=1,3,5,7
/proc/1833/task/1837/stat : 1837 (java) S 1830 1833 31095 0 -1 1077944384 290 0 0 0 27 8 0 0 20 0 16 0 95345650 11013292032 224044 33554432000 4194304 4196468 140726915002960 140045239110800 140045633394389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1838] ppid=1830 vsize=10755168 memory=35 CPUtime=0.35 cores=1,3,5,7
/proc/1833/task/1838/stat : 1838 (java) S 1830 1833 31095 0 -1 1077944384 590 0 0 0 27 8 0 0 20 0 16 0 95345650 11013292032 224044 33554432000 4194304 4196468 140726915002960 140045238057744 140045633394389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1839] ppid=1830 vsize=10755168 memory=35 CPUtime=0.35 cores=1,3,5,7
/proc/1833/task/1839/stat : 1839 (java) S 1830 1833 31095 0 -1 1077944384 405 0 0 0 26 9 0 0 20 0 16 0 95345650 11013292032 224044 33554432000 4194304 4196468 140726915002960 140045237005200 140045633394389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1840] ppid=1830 vsize=10755168 memory=3 CPUtime=0.03 cores=1,3,5,7
/proc/1833/task/1840/stat : 1840 (java) S 1830 1833 31095 0 -1 1077944384 890 0 0 0 2 1 0 0 20 0 16 0 95345652 11013292032 224044 33554432000 4194304 4196468 140726915002960 140044870342896 140045633395330 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1841] ppid=1830 vsize=10755168 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/1833/task/1841/stat : 1841 (java) S 1830 1833 31095 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 95345652 11013292032 224044 33554432000 4194304 4196468 140726915002960 140044869289184 140045633394389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1842] ppid=1830 vsize=10755168 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/1833/task/1842/stat : 1842 (java) S 1830 1833 31095 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 95345652 11013292032 224044 33554432000 4194304 4196468 140726915002960 140044868236016 140045633394389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1843] ppid=1830 vsize=10755168 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/1833/task/1843/stat : 1843 (java) S 1830 1833 31095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95345655 11013292032 224044 33554432000 4194304 4196468 140726915002960 140044867184592 140045633402779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1844] ppid=1830 vsize=10755168 memory=896012 CPUtime=2.48 cores=1,3,5,7
/proc/1833/task/1844/stat : 1844 (java) S 1830 1833 31095 0 -1 1077944384 15222 0 0 0 247 1 0 0 20 0 16 0 95345655 11013292032 224044 33554432000 4194304 4196468 140726915002960 140044866132720 140045633395330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1845] ppid=1830 vsize=10755168 memory=4140 CPUtime=2.15 cores=1,3,5,7
/proc/1833/task/1845/stat : 1845 (java) S 1830 1833 31095 0 -1 1077944384 13341 0 0 0 214 1 0 0 20 0 16 0 95345655 11013292032 224044 33554432000 4194304 4196468 140726915002960 140044865080176 140045633395330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1846] ppid=1830 vsize=10755168 memory=27612 CPUtime=0.52 cores=1,3,5,7
/proc/1833/task/1846/stat : 1846 (java) S 1830 1833 31095 0 -1 1077944384 5007 0 0 0 51 1 0 0 20 0 16 0 95345655 11013292032 224044 33554432000 4194304 4196468 140726915002960 140044864027120 140045633395330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1847] ppid=1830 vsize=10755168 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/1833/task/1847/stat : 1847 (java) S 1830 1833 31095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95345655 11013292032 224044 33554432000 4194304 4196468 140726915002960 140044862974816 140045633394389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
[pid=1833/tid=1848] ppid=1830 vsize=10755168 memory=2428 CPUtime=0.57 cores=1,3,5,7
/proc/1833/task/1848/stat : 1848 (java) S 1830 1833 31095 0 -1 1077944384 1006 0 0 0 26 31 0 0 20 0 16 0 95345655 11013292032 224044 33554432000 4194304 4196468 140726915002960 140044861921840 140045633395330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19812352 140726915007622 140726915007775 140726915007775 140726915010511 0
Current children cumulated CPU time: 1009.08 s
Current children cumulated vsize: 10755168 KiB
Current children cumulated memory: 896176 KiB

Child status: 0
Real time (s): 1002.47
CPU time (s): 1009.14
CPU user time (s): 1008.36
CPU system time (s): 0.777209
CPU usage (%): 100.666
Max. virtual memory (cumulated for all children) (KiB): 10755168
Max. memory (cumulated for all children) (KiB): 896176

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1008.36
system time used= 0.777209
maximum resident set size= 897084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59459
page faults= 0
swaps= 0
block input operations= 0
block output operations= 792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24029
involuntary context switches= 322


# summary of solver processes directly reported to runsolver:
#   pid: 1833
#   total CPU time (s): 1009.14
#   total CPU user time (s): 1008.36
#   total CPU system time (s): 0.777209

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.44155 second user time and 9.77536 second system time

The end