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 (2485 MiB free)
memory of node 1: 16384 MiB (5859 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290172-1532601714/watcher-4290172-1532601714 -o /tmp/evaluation-result-4290172-1532601714/solver-4290172-1532601714 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532594608-1082 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4290172-1532601714.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=1824, runsolver pid=1821
Current StackSize limit: 8192 KiB
[startup+0.100845 s]*
/proc/loadavg: 2.00 2.05 2.05 2/218 1840
/proc/meminfo: memFree=8526352/32770624 swapFree=67108860/67108860
[pid=1824] ppid=1821 vsize=10659012 memory=30628 CPUtime=0.12 cores=0,2,4,6
/proc/1824/stat : 1824 (java) S 1821 1824 32243 0 -1 1077944320 6730 0 0 0 10 2 0 0 20 0 15 0 77734291 10914828288 7657 33554432000 4194304 4196468 140727699182784 140727699165328 140623197343479 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
/proc/1824/statm: 2664753 7657 2845 1 0 2627263 0
[pid=1824/tid=1826] ppid=1821 vsize=10659012 memory=7022364594140610616 CPUtime=0.09 cores=0,2,4,6
/proc/1824/task/1826/stat : 1826 (java) R 1821 1824 32243 0 -1 4202560 4565 0 0 0 8 1 0 0 20 0 15 0 77734292 10914828288 7657 33554432000 4194304 4196468 140727699182784 140623201557472 140623181423966 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1827] ppid=1821 vsize=10659012 memory=343 CPUtime=0 cores=0,2,4,6
/proc/1824/task/1827/stat : 1827 (java) S 1821 1824 32243 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77734293 10914828288 7657 33554432000 4194304 4196468 140727699182784 140623139347600 140623197353685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1828] ppid=1821 vsize=10659012 memory=139788941981507 CPUtime=0 cores=0,2,4,6
/proc/1824/task/1828/stat : 1828 (java) S 1821 1824 32243 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77734293 10914828288 7657 33554432000 4194304 4196468 140727699182784 140623138294800 140623197353685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1829] ppid=1821 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1824/task/1829/stat : 1829 (java) S 1821 1824 32243 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77734293 10914828288 7657 33554432000 4194304 4196468 140727699182784 140623137242000 140623197353685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1831] ppid=1821 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1824/task/1831/stat : 1831 (java) S 1821 1824 32243 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77734293 10914828288 7657 33554432000 4194304 4196468 140727699182784 140623136189200 140623197353685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1832] ppid=1821 vsize=10659012 memory=139788941956736 CPUtime=0 cores=0,2,4,6
/proc/1824/task/1832/stat : 1832 (java) S 1821 1824 32243 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77734294 10914828288 7657 33554432000 4194304 4196468 140727699182784 140622689667440 140623197354626 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1833] ppid=1821 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1824/task/1833/stat : 1833 (java) S 1821 1824 32243 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 77734294 10914828288 7657 33554432000 4194304 4196468 140727699182784 140622688613408 140623197353685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1834] ppid=1821 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1824/task/1834/stat : 1834 (java) S 1821 1824 32243 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 77734295 10914828288 7657 33554432000 4194304 4196468 140727699182784 140622687560560 140623197353685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1835] ppid=1821 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1824/task/1835/stat : 1835 (java) S 1821 1824 32243 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77734297 10914828288 7657 33554432000 4194304 4196468 140727699182784 140622686508880 140623197362075 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1836] ppid=1821 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1824/task/1836/stat : 1836 (java) S 1821 1824 32243 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 77734297 10914828288 7657 33554432000 4194304 4196468 140727699182784 140622685457264 140623197354626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1837] ppid=1821 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1824/task/1837/stat : 1837 (java) S 1821 1824 32243 0 -1 1077944384 146 0 0 0 0 0 0 0 20 0 15 0 77734297 10914828288 7657 33554432000 4194304 4196468 140727699182784 140622684404464 140623197354626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1838] ppid=1821 vsize=10659012 memory=139788941956736 CPUtime=0.01 cores=0,2,4,6
/proc/1824/task/1838/stat : 1838 (java) R 1821 1824 32243 0 -1 1077944384 359 0 0 0 1 0 0 0 20 0 15 0 77734297 10914828288 7657 33554432000 4194304 4196468 140727699182784 140622683351664 140623197354626 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1839] ppid=1821 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1824/task/1839/stat : 1839 (java) S 1821 1824 32243 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77734297 10914828288 7657 33554432000 4194304 4196468 140727699182784 140622682299104 140623197353685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1840] ppid=1821 vsize=10659012 memory=139788941956736 CPUtime=0 cores=0,2,4,6
/proc/1824/task/1840/stat : 1840 (java) S 1821 1824 32243 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77734297 10914828288 7657 33554432000 4194304 4196468 140727699182784 140622681246384 140623197354626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30628 KiB
[startup+0.210502 s]*
/proc/loadavg: 2.00 2.05 2.05 4/218 1840
/proc/meminfo: memFree=8518512/32770624 swapFree=67108860/67108860
[pid=1824] ppid=1821 vsize=10659012 memory=41836 CPUtime=0.32 cores=0,2,4,6
/proc/1824/stat : 1824 (java) S 1821 1824 32243 0 -1 1077944320 8097 0 0 0 30 2 0 0 20 0 15 0 77734291 10914828288 10459 33554432000 4194304 4196468 140727699182784 140727699165328 140623197343479 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
/proc/1824/statm: 2664753 10459 3002 1 0 2627263 0
[pid=1824/tid=1826] ppid=1821 vsize=10659012 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/1824/task/1826/stat : 1826 (java) R 1821 1824 32243 0 -1 4202560 5025 0 0 0 18 1 0 0 20 0 15 0 77734292 10914828288 10459 33554432000 4194304 4196468 140727699182784 140623201570736 140623181387109 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1827] ppid=1821 vsize=10659012 memory=343 CPUtime=0 cores=0,2,4,6
/proc/1824/task/1827/stat : 1827 (java) S 1821 1824 32243 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77734293 10914828288 10459 33554432000 4194304 4196468 140727699182784 140623139347600 140623197353685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1828] ppid=1821 vsize=10659012 memory=139788941981507 CPUtime=0 cores=0,2,4,6
/proc/1824/task/1828/stat : 1828 (java) S 1821 1824 32243 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77734293 10914828288 10459 33554432000 4194304 4196468 140727699182784 140623138294800 140623197353685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1829] ppid=1821 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1824/task/1829/stat : 1829 (java) S 1821 1824 32243 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77734293 10914828288 10459 33554432000 4194304 4196468 140727699182784 140623137242000 140623197353685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1831] ppid=1821 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1824/task/1831/stat : 1831 (java) S 1821 1824 32243 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77734293 10914828288 10459 33554432000 4194304 4196468 140727699182784 140623136189200 140623197353685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1832] ppid=1821 vsize=10659012 memory=139788941956736 CPUtime=0 cores=0,2,4,6
/proc/1824/task/1832/stat : 1832 (java) S 1821 1824 32243 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77734294 10914828288 10459 33554432000 4194304 4196468 140727699182784 140622689667440 140623197354626 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1833] ppid=1821 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1824/task/1833/stat : 1833 (java) S 1821 1824 32243 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 77734294 10914828288 10459 33554432000 4194304 4196468 140727699182784 140622688613408 140623197353685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1834] ppid=1821 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1824/task/1834/stat : 1834 (java) S 1821 1824 32243 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 77734295 10914828288 10459 33554432000 4194304 4196468 140727699182784 140622687560560 140623197353685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1835] ppid=1821 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1824/task/1835/stat : 1835 (java) S 1821 1824 32243 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77734297 10914828288 10459 33554432000 4194304 4196468 140727699182784 140622686508880 140623197362075 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1836] ppid=1821 vsize=10659012 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/1824/task/1836/stat : 1836 (java) S 1821 1824 32243 0 -1 1077944384 653 0 0 0 2 0 0 0 20 0 15 0 77734297 10914828288 10459 33554432000 4194304 4196468 140727699182784 140622685457264 140623197354626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1837] ppid=1821 vsize=10659012 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/1824/task/1837/stat : 1837 (java) S 1821 1824 32243 0 -1 1077944384 366 0 0 0 1 0 0 0 20 0 15 0 77734297 10914828288 10459 33554432000 4194304 4196468 140727699182784 140622684404464 140623197354626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1838] ppid=1821 vsize=10659012 memory=139788941956736 CPUtime=0.07 cores=0,2,4,6
/proc/1824/task/1838/stat : 1838 (java) R 1821 1824 32243 0 -1 4202560 696 0 0 0 7 0 0 0 20 0 15 0 77734297 10914828288 10459 33554432000 4194304 4196468 140727699182784 140622683351664 140623189580606 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1839] ppid=1821 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1824/task/1839/stat : 1839 (java) S 1821 1824 32243 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77734297 10914828288 10459 33554432000 4194304 4196468 140727699182784 140622682299104 140623197353685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1840] ppid=1821 vsize=10659012 memory=139788941956736 CPUtime=0 cores=0,2,4,6
/proc/1824/task/1840/stat : 1840 (java) S 1821 1824 32243 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77734297 10914828288 10459 33554432000 4194304 4196468 140727699182784 140622681246384 140623197354626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 41836 KiB
[startup+0.310603 s]*
/proc/loadavg: 2.00 2.05 2.05 4/218 1840
/proc/meminfo: memFree=8510520/32770624 swapFree=67108860/67108860
[pid=1824] ppid=1821 vsize=10659088 memory=47744 CPUtime=0.53 cores=0,2,4,6
/proc/1824/stat : 1824 (java) S 1821 1824 32243 0 -1 1077944320 9022 0 0 0 50 3 0 0 20 0 15 0 77734291 10914906112 11936 33554432000 4194304 4196468 140727699182784 140727699165328 140623197343479 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
/proc/1824/statm: 2664772 11936 3063 1 0 2627263 0
[pid=1824/tid=1826] ppid=1821 vsize=10659088 memory=6935054825532540783 CPUtime=0.3 cores=0,2,4,6
/proc/1824/task/1826/stat : 1826 (java) R 1821 1824 32243 0 -1 4202560 5590 0 0 0 28 2 0 0 20 0 15 0 77734292 10914906112 12000 33554432000 4194304 4196468 140727699182784 140623201580144 140623197355414 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1827] ppid=1821 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1824/task/1827/stat : 1827 (java) S 1821 1824 32243 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77734293 10914906112 12000 33554432000 4194304 4196468 140727699182784 140623139347600 140623197353685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1828] ppid=1821 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1824/task/1828/stat : 1828 (java) S 1821 1824 32243 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77734293 10914906112 12000 33554432000 4194304 4196468 140727699182784 140623138294800 140623197353685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1829] ppid=1821 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1824/task/1829/stat : 1829 (java) S 1821 1824 32243 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77734293 10914906112 12000 33554432000 4194304 4196468 140727699182784 140623137242000 140623197353685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1831] ppid=1821 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1824/task/1831/stat : 1831 (java) S 1821 1824 32243 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 77734293 10914906112 12000 33554432000 4194304 4196468 140727699182784 140623136189200 140623197353685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1832] ppid=1821 vsize=10659088 memory=67 CPUtime=0 cores=0,2,4,6
/proc/1824/task/1832/stat : 1832 (java) S 1821 1824 32243 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 77734294 10914906112 12000 33554432000 4194304 4196468 140727699182784 140622689667440 140623197354626 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1833] ppid=1821 vsize=10659088 memory=35 CPUtime=0 cores=0,2,4,6
/proc/1824/task/1833/stat : 1833 (java) S 1821 1824 32243 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 77734294 10914906112 12000 33554432000 4194304 4196468 140727699182784 140622688613408 140623197353685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1834] ppid=1821 vsize=10659088 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/1824/task/1834/stat : 1834 (java) S 1821 1824 32243 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 77734295 10914906112 12000 33554432000 4194304 4196468 140727699182784 140622687560560 140623197353685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1835] ppid=1821 vsize=10659088 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/1824/task/1835/stat : 1835 (java) S 1821 1824 32243 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77734297 10914906112 12000 33554432000 4194304 4196468 140727699182784 140622686508880 140623197362075 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1836] ppid=1821 vsize=10659088 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/1824/task/1836/stat : 1836 (java) R 1821 1824 32243 0 -1 4202560 808 0 0 0 5 0 0 0 20 0 15 0 77734297 10914906112 12000 33554432000 4194304 4196468 140727699182784 140622685457264 140623175335035 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1837] ppid=1821 vsize=10659088 memory=139788837553711 CPUtime=0.04 cores=0,2,4,6
/proc/1824/task/1837/stat : 1837 (java) R 1821 1824 32243 0 -1 4202560 488 0 0 0 4 0 0 0 20 0 15 0 77734297 10914906112 12000 33554432000 4194304 4196468 140727699182784 140622684394848 140623180843685 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1838] ppid=1821 vsize=10659088 memory=139788941958408 CPUtime=0.13 cores=0,2,4,6
/proc/1824/task/1838/stat : 1838 (java) R 1821 1824 32243 0 -1 1077944384 797 0 0 0 13 0 0 0 20 0 15 0 77734297 10914906112 12000 33554432000 4194304 4196468 140727699182784 140622683351664 140623197354626 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1839] ppid=1821 vsize=10659088 memory=139788837558255 CPUtime=0 cores=0,2,4,6
/proc/1824/task/1839/stat : 1839 (java) S 1821 1824 32243 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 77734297 10914906112 12000 33554432000 4194304 4196468 140727699182784 140622682299104 140623197353685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1840] ppid=1821 vsize=10659088 memory=279577779415808 CPUtime=0 cores=0,2,4,6
/proc/1824/task/1840/stat : 1840 (java) S 1821 1824 32243 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 77734297 10914906112 12000 33554432000 4194304 4196468 140727699182784 140622681246384 140623197354626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 47744 KiB
[startup+0.700662 s]
/proc/loadavg: 2.00 2.05 2.05 5/218 1840
/proc/meminfo: memFree=8460900/32770624 swapFree=67108860/67108860
[pid=1824] ppid=1821 vsize=10725652 memory=141136 CPUtime=1.84 cores=0,2,4,6
/proc/1824/stat : 1824 (java) S 1821 1824 32243 0 -1 1077944320 12557 0 0 0 179 5 0 0 20 0 16 0 77734291 10983067648 35284 33554432000 4194304 4196468 140727699182784 140727699165328 140623197343479 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
/proc/1824/statm: 2681413 35284 3107 1 0 2643904 0
[pid=1824/tid=1826] ppid=1821 vsize=10725652 memory=7301550374293618789 CPUtime=0.67 cores=0,2,4,6
/proc/1824/task/1826/stat : 1826 (java) R 1821 1824 32243 0 -1 4202560 5927 0 0 0 64 3 0 0 20 0 16 0 77734292 10983067648 35284 33554432000 4194304 4196468 140727699182784 140623201579728 140623197355414 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1827] ppid=1821 vsize=10725652 memory=7518026621751088993 CPUtime=0 cores=0,2,4,6
/proc/1824/task/1827/stat : 1827 (java) S 1821 1824 32243 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 77734293 10983067648 35284 33554432000 4194304 4196468 140727699182784 140623139347600 140623197353685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1828] ppid=1821 vsize=10725652 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1824/task/1828/stat : 1828 (java) S 1821 1824 32243 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 77734293 10983067648 35284 33554432000 4194304 4196468 140727699182784 140623138294800 140623197353685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1829] ppid=1821 vsize=10725652 memory=147657217681255 CPUtime=0 cores=0,2,4,6
/proc/1824/task/1829/stat : 1829 (java) S 1821 1824 32243 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 77734293 10983067648 35284 33554432000 4194304 4196468 140727699182784 140623137242000 140623197353685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1831] ppid=1821 vsize=10725652 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1824/task/1831/stat : 1831 (java) S 1821 1824 32243 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 77734293 10983067648 35284 33554432000 4194304 4196468 140727699182784 140623136189200 140623197353685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1832] ppid=1821 vsize=10725652 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1824/task/1832/stat : 1832 (java) S 1821 1824 32243 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 77734294 10983067648 35284 33554432000 4194304 4196468 140727699182784 140622689667440 140623197354626 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1833] ppid=1821 vsize=10725652 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1824/task/1833/stat : 1833 (java) S 1821 1824 32243 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 77734294 10983067648 35284 33554432000 4194304 4196468 140727699182784 140622688613408 140623197353685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1834] ppid=1821 vsize=10725652 memory=279577674907888 CPUtime=0 cores=0,2,4,6
/proc/1824/task/1834/stat : 1834 (java) S 1821 1824 32243 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 77734295 10983067648 35284 33554432000 4194304 4196468 140727699182784 140622687560560 140623197353685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1835] ppid=1821 vsize=10725652 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1824/task/1835/stat : 1835 (java) S 1821 1824 32243 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 77734297 10983067648 35284 33554432000 4194304 4196468 140727699182784 140622686508880 140623197362075 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1836] ppid=1821 vsize=10725652 memory=-6296172269985472297 CPUtime=0.4 cores=0,2,4,6
/proc/1824/task/1836/stat : 1836 (java) R 1821 1824 32243 0 -1 4202560 1947 0 0 0 40 0 0 0 20 0 16 0 77734297 10983067648 35284 33554432000 4194304 4196468 140727699182784 140622685447184 140623180837718 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1837] ppid=1821 vsize=10725652 memory=6944656592387989600 CPUtime=0.39 cores=0,2,4,6
/proc/1824/task/1837/stat : 1837 (java) R 1821 1824 32243 0 -1 4202560 1580 0 0 0 39 0 0 0 20 0 16 0 77734297 10983067648 35284 33554432000 4194304 4196468 140727699182784 140622684393264 140623180857504 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1838] ppid=1821 vsize=10725652 memory=6944656592455359580 CPUtime=0.34 cores=0,2,4,6
/proc/1824/task/1838/stat : 1838 (java) R 1821 1824 32243 0 -1 1077944384 1710 0 0 0 34 0 0 0 20 0 16 0 77734297 10983067648 35284 33554432000 4194304 4196468 140727699182784 140622683351664 140623197354626 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1839] ppid=1821 vsize=10725652 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/1824/task/1839/stat : 1839 (java) S 1821 1824 32243 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 77734297 10983067648 35284 33554432000 4194304 4196468 140727699182784 140622682299104 140623197353685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1840] ppid=1821 vsize=10725652 memory=-2461829820114675750 CPUtime=0 cores=0,2,4,6
/proc/1824/task/1840/stat : 1840 (java) S 1821 1824 32243 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 77734297 10983067648 35284 33554432000 4194304 4196468 140727699182784 140622681246384 140623197354626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
Current children cumulated CPU time: 1.84 s
Current children cumulated vsize: 10725652 KiB
Current children cumulated memory: 141136 KiB
[startup+1.50077 s]
/proc/loadavg: 2.00 2.05 2.05 4/219 1841
/proc/meminfo: memFree=8414280/32770624 swapFree=67108860/67108860
[pid=1824] ppid=1821 vsize=10725652 memory=148512 CPUtime=3.39 cores=0,2,4,6
/proc/1824/stat : 1824 (java) S 1821 1824 32243 0 -1 1077944320 15565 0 0 0 334 5 0 0 20 0 16 0 77734291 10983067648 37128 33554432000 4194304 4196468 140727699182784 140727699165328 140623197343479 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
/proc/1824/statm: 2681413 37128 3117 1 0 2643904 0
[pid=1824/tid=1826] ppid=1821 vsize=10725652 memory=279577675308000 CPUtime=1.47 cores=0,2,4,6
/proc/1824/task/1826/stat : 1826 (java) R 1821 1824 32243 0 -1 4202560 6331 0 0 0 144 3 0 0 20 0 16 0 77734292 10983067648 37128 33554432000 4194304 4196468 140727699182784 140623201580296 140622820299771 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1827] ppid=1821 vsize=10725652 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1824/task/1827/stat : 1827 (java) S 1821 1824 32243 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 77734293 10983067648 37128 33554432000 4194304 4196468 140727699182784 140623139347600 140623197353685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1828] ppid=1821 vsize=10725652 memory=28753 CPUtime=0 cores=0,2,4,6
/proc/1824/task/1828/stat : 1828 (java) S 1821 1824 32243 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 77734293 10983067648 37128 33554432000 4194304 4196468 140727699182784 140623138294800 140623197353685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1829] ppid=1821 vsize=10725652 memory=4420 CPUtime=0 cores=0,2,4,6
/proc/1824/task/1829/stat : 1829 (java) S 1821 1824 32243 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 77734293 10983067648 37128 33554432000 4194304 4196468 140727699182784 140623137242000 140623197353685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1831] ppid=1821 vsize=10725652 memory=6628 CPUtime=0 cores=0,2,4,6
/proc/1824/task/1831/stat : 1831 (java) S 1821 1824 32243 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 77734293 10983067648 37128 33554432000 4194304 4196468 140727699182784 140623136189200 140623197353685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1832] ppid=1821 vsize=10725652 memory=8836 CPUtime=0 cores=0,2,4,6
/proc/1824/task/1832/stat : 1832 (java) S 1821 1824 32243 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 77734294 10983067648 37128 33554432000 4194304 4196468 140727699182784 140622689667440 140623197354626 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
################
# More data... #
################
/proc/1824/task/1828/stat : 1828 (java) S 1821 1824 32243 0 -1 1077944384 5504 0 0 0 97 19 0 0 20 0 16 0 77734293 10983067648 145251 33554432000 4194304 4196468 140727699182784 140623138294800 140623197353685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1829] ppid=1821 vsize=10725652 memory=581004 CPUtime=1.17 cores=0,2,4,6
/proc/1824/task/1829/stat : 1829 (java) S 1821 1824 32243 0 -1 1077944384 4295 0 0 0 99 18 0 0 20 0 16 0 77734293 10983067648 145251 33554432000 4194304 4196468 140727699182784 140623137242000 140623197353685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1831] ppid=1821 vsize=10725652 memory=581004 CPUtime=1.18 cores=0,2,4,6
/proc/1824/task/1831/stat : 1831 (java) S 1821 1824 32243 0 -1 1077944384 5796 0 0 0 100 18 0 0 20 0 16 0 77734293 10983067648 145251 33554432000 4194304 4196468 140727699182784 140623136189200 140623197353685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1832] ppid=1821 vsize=10725652 memory=581004 CPUtime=0.14 cores=0,2,4,6
/proc/1824/task/1832/stat : 1832 (java) S 1821 1824 32243 0 -1 1077944384 10625 0 0 0 11 3 0 0 20 0 16 0 77734294 10983067648 145251 33554432000 4194304 4196468 140727699182784 140622689667440 140623197354626 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1833] ppid=1821 vsize=10725652 memory=581004 CPUtime=0 cores=0,2,4,6
/proc/1824/task/1833/stat : 1833 (java) S 1821 1824 32243 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 16 0 77734294 10983067648 145251 33554432000 4194304 4196468 140727699182784 140622688613472 140623197353685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1834] ppid=1821 vsize=10725652 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/1824/task/1834/stat : 1834 (java) S 1821 1824 32243 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 16 0 77734295 10983067648 145251 33554432000 4194304 4196468 140727699182784 140622687560576 140623197353685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1835] ppid=1821 vsize=10725652 memory=23252 CPUtime=0 cores=0,2,4,6
/proc/1824/task/1835/stat : 1835 (java) S 1821 1824 32243 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 77734297 10983067648 145251 33554432000 4194304 4196468 140727699182784 140622686508880 140623197362075 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1836] ppid=1821 vsize=10725652 memory=581004 CPUtime=1.02 cores=0,2,4,6
/proc/1824/task/1836/stat : 1836 (java) S 1821 1824 32243 0 -1 1077944384 5998 0 0 0 101 1 0 0 20 0 16 0 77734297 10983067648 145251 33554432000 4194304 4196468 140727699182784 140622685457264 140623197354626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1837] ppid=1821 vsize=10725652 memory=4140 CPUtime=1.07 cores=0,2,4,6
/proc/1824/task/1837/stat : 1837 (java) S 1821 1824 32243 0 -1 1077944384 5848 0 0 0 106 1 0 0 20 0 16 0 77734297 10983067648 145251 33554432000 4194304 4196468 140727699182784 140622684404464 140623197354626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1838] ppid=1821 vsize=10725652 memory=581004 CPUtime=0.4 cores=0,2,4,6
/proc/1824/task/1838/stat : 1838 (java) S 1821 1824 32243 0 -1 1077944384 3078 0 0 0 39 1 0 0 20 0 16 0 77734297 10983067648 145251 33554432000 4194304 4196468 140727699182784 140622683351664 140623197354626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1839] ppid=1821 vsize=10725652 memory=1444 CPUtime=0 cores=0,2,4,6
/proc/1824/task/1839/stat : 1839 (java) S 1821 1824 32243 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 77734297 10983067648 145251 33554432000 4194304 4196468 140727699182784 140622682299104 140623197353685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1840] ppid=1821 vsize=10725652 memory=5668 CPUtime=1.23 cores=0,2,4,6
/proc/1824/task/1840/stat : 1840 (java) S 1821 1824 32243 0 -1 1077944384 1718 0 0 0 61 62 0 0 20 0 16 0 77734297 10983067648 145251 33554432000 4194304 4196468 140727699182784 140622681246384 140623197354626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1841] ppid=1821 vsize=10725652 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/1824/task/1841/stat : 1841 (java) S 1821 1824 32243 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 77734359 10983067648 145251 33554432000 4194304 4196468 140727699182784 140622680191920 140623197354626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
Current children cumulated CPU time: 2389.25 s
Current children cumulated vsize: 10725652 KiB
Current children cumulated memory: 581004 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2393.11 s]
/proc/loadavg: 1.94 1.97 2.03 3/218 2017
/proc/meminfo: memFree=8066160/32770624 swapFree=67108860/67108860
[pid=1824] ppid=1821 vsize=10725652 memory=581004 CPUtime=2400.07 cores=0,2,4,6
/proc/1824/stat : 1824 (java) S 1821 1824 32243 0 -1 1077944320 69816 0 0 0 239870 137 0 0 20 0 16 0 77734291 10983067648 145251 33554432000 4194304 4196468 140727699182784 140727699165328 140623197343479 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
/proc/1824/statm: 2681413 145251 3177 1 0 2643904 0
[pid=1824/tid=1826] ppid=1821 vsize=10725652 memory=3472328296227679313 CPUtime=2391.43 cores=0,2,4,6
/proc/1824/task/1826/stat : 1826 (java) R 1821 1824 32243 0 -1 4202560 19753 0 0 0 239136 7 0 0 20 0 16 0 77734292 10983067648 145251 33554432000 4194304 4196468 140727699182784 140623201582416 140622820887381 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1827] ppid=1821 vsize=10725652 memory=581004 CPUtime=1.18 cores=0,2,4,6
/proc/1824/task/1827/stat : 1827 (java) S 1821 1824 32243 0 -1 1077944384 5707 0 0 0 100 18 0 0 20 0 16 0 77734293 10983067648 145251 33554432000 4194304 4196468 140727699182784 140623139347600 140623197353685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1828] ppid=1821 vsize=10725652 memory=581004 CPUtime=1.16 cores=0,2,4,6
/proc/1824/task/1828/stat : 1828 (java) S 1821 1824 32243 0 -1 1077944384 5504 0 0 0 97 19 0 0 20 0 16 0 77734293 10983067648 145251 33554432000 4194304 4196468 140727699182784 140623138294800 140623197353685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1829] ppid=1821 vsize=10725652 memory=581004 CPUtime=1.17 cores=0,2,4,6
/proc/1824/task/1829/stat : 1829 (java) S 1821 1824 32243 0 -1 1077944384 4295 0 0 0 99 18 0 0 20 0 16 0 77734293 10983067648 145251 33554432000 4194304 4196468 140727699182784 140623137242000 140623197353685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1831] ppid=1821 vsize=10725652 memory=581004 CPUtime=1.18 cores=0,2,4,6
/proc/1824/task/1831/stat : 1831 (java) S 1821 1824 32243 0 -1 1077944384 5796 0 0 0 100 18 0 0 20 0 16 0 77734293 10983067648 145251 33554432000 4194304 4196468 140727699182784 140623136189200 140623197353685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1832] ppid=1821 vsize=10725652 memory=581004 CPUtime=0.14 cores=0,2,4,6
/proc/1824/task/1832/stat : 1832 (java) S 1821 1824 32243 0 -1 1077944384 10625 0 0 0 11 3 0 0 20 0 16 0 77734294 10983067648 145251 33554432000 4194304 4196468 140727699182784 140622689667440 140623197354626 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1833] ppid=1821 vsize=10725652 memory=581004 CPUtime=0 cores=0,2,4,6
/proc/1824/task/1833/stat : 1833 (java) S 1821 1824 32243 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 16 0 77734294 10983067648 145251 33554432000 4194304 4196468 140727699182784 140622688613472 140623197353685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1834] ppid=1821 vsize=10725652 memory=581004 CPUtime=0 cores=0,2,4,6
/proc/1824/task/1834/stat : 1834 (java) S 1821 1824 32243 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 16 0 77734295 10983067648 145251 33554432000 4194304 4196468 140727699182784 140622687560576 140623197353685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1835] ppid=1821 vsize=10725652 memory=581004 CPUtime=0 cores=0,2,4,6
/proc/1824/task/1835/stat : 1835 (java) S 1821 1824 32243 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 77734297 10983067648 145251 33554432000 4194304 4196468 140727699182784 140622686508880 140623197362075 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1836] ppid=1821 vsize=10725652 memory=1408 CPUtime=1.02 cores=0,2,4,6
/proc/1824/task/1836/stat : 1836 (java) S 1821 1824 32243 0 -1 1077944384 5998 0 0 0 101 1 0 0 20 0 16 0 77734297 10983067648 145251 33554432000 4194304 4196468 140727699182784 140622685457264 140623197354626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1837] ppid=1821 vsize=10725652 memory=581004 CPUtime=1.07 cores=0,2,4,6
/proc/1824/task/1837/stat : 1837 (java) S 1821 1824 32243 0 -1 1077944384 5848 0 0 0 106 1 0 0 20 0 16 0 77734297 10983067648 145251 33554432000 4194304 4196468 140727699182784 140622684404464 140623197354626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1838] ppid=1821 vsize=10725652 memory=581004 CPUtime=0.4 cores=0,2,4,6
/proc/1824/task/1838/stat : 1838 (java) S 1821 1824 32243 0 -1 1077944384 3078 0 0 0 39 1 0 0 20 0 16 0 77734297 10983067648 145251 33554432000 4194304 4196468 140727699182784 140622683351664 140623197354626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1839] ppid=1821 vsize=10725652 memory=581004 CPUtime=0 cores=0,2,4,6
/proc/1824/task/1839/stat : 1839 (java) S 1821 1824 32243 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 77734297 10983067648 145251 33554432000 4194304 4196468 140727699182784 140622682299104 140623197353685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1840] ppid=1821 vsize=10725652 memory=581004 CPUtime=1.23 cores=0,2,4,6
/proc/1824/task/1840/stat : 1840 (java) S 1821 1824 32243 0 -1 1077944384 1722 0 0 0 61 62 0 0 20 0 16 0 77734297 10983067648 145251 33554432000 4194304 4196468 140727699182784 140622681246384 140623197354626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1841] ppid=1821 vsize=10725652 memory=581004 CPUtime=0 cores=0,2,4,6
/proc/1824/task/1841/stat : 1841 (java) S 1821 1824 32243 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 77734359 10983067648 145251 33554432000 4194304 4196468 140727699182784 140622680191920 140623197354626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 10725652 KiB
Current children cumulated memory: 581004 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2393.35 s]
# the end of solver process 1824 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2398.95 s, system=1.37701 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2393.21 s]
/proc/loadavg: 1.94 1.97 2.03 3/218 2017
/proc/meminfo: memFree=8066160/32770624 swapFree=67108860/67108860
[pid=1824] ppid=1821 vsize=10859808 memory=553508 CPUtime=2400.28 cores=0,2,4,6
/proc/1824/stat : 1824 (java) S 1821 1824 32243 0 -1 1077944320 71764 0 0 0 239891 137 0 0 20 0 17 0 77734291 11120443392 138377 33554432000 4194304 4196468 140727699182784 140727699165328 140623197343479 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
/proc/1824/statm: 2714952 138377 3181 1 0 2677443 0
[pid=1824/tid=1826] ppid=1821 vsize=10859808 memory=13855170182252302 CPUtime=2391.43 cores=0,2,4,6
/proc/1824/task/1826/stat : 1826 (java) S 1821 1824 32243 0 -1 1077944384 19789 0 0 0 239136 7 0 0 20 0 17 0 77734292 11120443392 138377 33554432000 4194304 4196468 140727699182784 140623201586352 140623197353685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1827] ppid=1821 vsize=10859808 memory=8112282956445269571 CPUtime=1.23 cores=0,2,4,6
/proc/1824/task/1827/stat : 1827 (java) S 1821 1824 32243 0 -1 1077944384 5794 0 0 0 105 18 0 0 20 0 17 0 77734293 11120443392 138377 33554432000 4194304 4196468 140727699182784 140623139347600 140623197353685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1828] ppid=1821 vsize=10859808 memory=14552 CPUtime=1.21 cores=0,2,4,6
/proc/1824/task/1828/stat : 1828 (java) S 1821 1824 32243 0 -1 1077944384 5780 0 0 0 102 19 0 0 20 0 17 0 77734293 11120443392 138377 33554432000 4194304 4196468 140727699182784 140623138294800 140623197353685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1829] ppid=1821 vsize=10859808 memory=1788 CPUtime=1.22 cores=0,2,4,6
/proc/1824/task/1829/stat : 1829 (java) S 1821 1824 32243 0 -1 1077944384 4389 0 0 0 104 18 0 0 20 0 17 0 77734293 11120443392 138377 33554432000 4194304 4196468 140727699182784 140623137242000 140623197353685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1831] ppid=1821 vsize=10859808 memory=2580 CPUtime=1.23 cores=0,2,4,6
/proc/1824/task/1831/stat : 1831 (java) S 1821 1824 32243 0 -1 1077944384 6159 0 0 0 105 18 0 0 20 0 17 0 77734293 11120443392 138377 33554432000 4194304 4196468 140727699182784 140623136189200 140623197353685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1832] ppid=1821 vsize=10859808 memory=2580 CPUtime=0.14 cores=0,2,4,6
/proc/1824/task/1832/stat : 1832 (java) S 1821 1824 32243 0 -1 1077944384 11268 0 0 0 11 3 0 0 20 0 17 0 77734294 11120443392 138377 33554432000 4194304 4196468 140727699182784 140622689667440 140623197354626 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1833] ppid=1821 vsize=10859808 memory=644 CPUtime=0 cores=0,2,4,6
/proc/1824/task/1833/stat : 1833 (java) S 1821 1824 32243 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 17 0 77734294 11120443392 138377 33554432000 4194304 4196468 140727699182784 140622688613472 140623197353685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1834] ppid=1821 vsize=10859808 memory=952 CPUtime=0 cores=0,2,4,6
/proc/1824/task/1834/stat : 1834 (java) S 1821 1824 32243 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 17 0 77734295 11120443392 138377 33554432000 4194304 4196468 140727699182784 140622687560576 140623197353685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1835] ppid=1821 vsize=10859808 memory=4100 CPUtime=0 cores=0,2,4,6
/proc/1824/task/1835/stat : 1835 (java) S 1821 1824 32243 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 17 0 77734297 11120443392 138377 33554432000 4194304 4196468 140727699182784 140622686508880 140623197362075 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1836] ppid=1821 vsize=10859808 memory=1232 CPUtime=1.02 cores=0,2,4,6
/proc/1824/task/1836/stat : 1836 (java) S 1821 1824 32243 0 -1 1077944384 6000 0 0 0 101 1 0 0 20 0 17 0 77734297 11120443392 138377 33554432000 4194304 4196468 140727699182784 140622685457264 140623197354626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1837] ppid=1821 vsize=10859808 memory=1408 CPUtime=1.07 cores=0,2,4,6
/proc/1824/task/1837/stat : 1837 (java) S 1821 1824 32243 0 -1 1077944384 5850 0 0 0 106 1 0 0 20 0 17 0 77734297 11120443392 138377 33554432000 4194304 4196468 140727699182784 140622684404464 140623197354626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1838] ppid=1821 vsize=10859808 memory=3264 CPUtime=0.4 cores=0,2,4,6
/proc/1824/task/1838/stat : 1838 (java) S 1821 1824 32243 0 -1 1077944384 3180 0 0 0 39 1 0 0 20 0 17 0 77734297 11120443392 138377 33554432000 4194304 4196468 140727699182784 140622683351664 140623197354626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1839] ppid=1821 vsize=10859808 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/1824/task/1839/stat : 1839 (java) S 1821 1824 32243 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 77734297 11120443392 138377 33554432000 4194304 4196468 140727699182784 140622682299104 140623197353685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1840] ppid=1821 vsize=10859808 memory=288230583166042425 CPUtime=1.23 cores=0,2,4,6
/proc/1824/task/1840/stat : 1840 (java) S 1821 1824 32243 0 -1 1077944384 1722 0 0 0 61 62 0 0 20 0 17 0 77734297 11120443392 138377 33554432000 4194304 4196468 140727699182784 140622681246384 140623197354626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
Current children cumulated CPU time: 2400.28 s
Current children cumulated vsize: 10859808 KiB
Current children cumulated memory: 553508 KiB
[startup+2393.3 s]
/proc/loadavg: 1.94 1.97 2.03 3/218 2017
/proc/meminfo: memFree=8066160/32770624 swapFree=67108860/67108860
[pid=1824] ppid=1821 vsize=10859808 memory=553508 CPUtime=2400.28 cores=0,2,4,6
/proc/1824/stat : 1824 (java) S 1821 1824 32243 0 -1 1077944320 71764 0 0 0 239891 137 0 0 20 0 17 0 77734291 11120443392 138377 33554432000 4194304 4196468 140727699182784 140727699165328 140623197343479 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
/proc/1824/statm: 2714952 138377 3181 1 0 2677443 0
[pid=1824/tid=1826] ppid=1821 vsize=10859808 memory=581004 CPUtime=2391.43 cores=0,2,4,6
/proc/1824/task/1826/stat : 1826 (java) S 1821 1824 32243 0 -1 1077944384 19789 0 0 0 239136 7 0 0 20 0 17 0 77734292 11120443392 138377 33554432000 4194304 4196468 140727699182784 140623201586352 140623197353685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1827] ppid=1821 vsize=10859808 memory=581004 CPUtime=1.23 cores=0,2,4,6
/proc/1824/task/1827/stat : 1827 (java) S 1821 1824 32243 0 -1 1077944384 5794 0 0 0 105 18 0 0 20 0 17 0 77734293 11120443392 138377 33554432000 4194304 4196468 140727699182784 140623139347600 140623197353685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1828] ppid=1821 vsize=10859808 memory=581004 CPUtime=1.21 cores=0,2,4,6
/proc/1824/task/1828/stat : 1828 (java) S 1821 1824 32243 0 -1 1077944384 5780 0 0 0 102 19 0 0 20 0 17 0 77734293 11120443392 138377 33554432000 4194304 4196468 140727699182784 140623138294800 140623197353685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1829] ppid=1821 vsize=10859808 memory=581004 CPUtime=1.22 cores=0,2,4,6
/proc/1824/task/1829/stat : 1829 (java) S 1821 1824 32243 0 -1 1077944384 4389 0 0 0 104 18 0 0 20 0 17 0 77734293 11120443392 138377 33554432000 4194304 4196468 140727699182784 140623137242000 140623197353685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1831] ppid=1821 vsize=10859808 memory=581004 CPUtime=1.23 cores=0,2,4,6
/proc/1824/task/1831/stat : 1831 (java) S 1821 1824 32243 0 -1 1077944384 6159 0 0 0 105 18 0 0 20 0 17 0 77734293 11120443392 138377 33554432000 4194304 4196468 140727699182784 140623136189200 140623197353685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1832] ppid=1821 vsize=10859808 memory=581004 CPUtime=0.14 cores=0,2,4,6
/proc/1824/task/1832/stat : 1832 (java) S 1821 1824 32243 0 -1 1077944384 11268 0 0 0 11 3 0 0 20 0 17 0 77734294 11120443392 138377 33554432000 4194304 4196468 140727699182784 140622689667440 140623197354626 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1833] ppid=1821 vsize=10859808 memory=581004 CPUtime=0 cores=0,2,4,6
/proc/1824/task/1833/stat : 1833 (java) S 1821 1824 32243 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 17 0 77734294 11120443392 138377 33554432000 4194304 4196468 140727699182784 140622688613472 140623197353685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1834] ppid=1821 vsize=10859808 memory=3472328296227679313 CPUtime=0 cores=0,2,4,6
/proc/1824/task/1834/stat : 1834 (java) S 1821 1824 32243 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 17 0 77734295 11120443392 138377 33554432000 4194304 4196468 140727699182784 140622687560576 140623197353685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1835] ppid=1821 vsize=10859808 memory=581004 CPUtime=0 cores=0,2,4,6
/proc/1824/task/1835/stat : 1835 (java) S 1821 1824 32243 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 17 0 77734297 11120443392 138377 33554432000 4194304 4196468 140727699182784 140622686508880 140623197362075 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1836] ppid=1821 vsize=10859808 memory=581004 CPUtime=1.02 cores=0,2,4,6
/proc/1824/task/1836/stat : 1836 (java) S 1821 1824 32243 0 -1 1077944384 6000 0 0 0 101 1 0 0 20 0 17 0 77734297 11120443392 138377 33554432000 4194304 4196468 140727699182784 140622685457264 140623197354626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1837] ppid=1821 vsize=10859808 memory=581004 CPUtime=1.07 cores=0,2,4,6
/proc/1824/task/1837/stat : 1837 (java) S 1821 1824 32243 0 -1 1077944384 5850 0 0 0 106 1 0 0 20 0 17 0 77734297 11120443392 138377 33554432000 4194304 4196468 140727699182784 140622684404464 140623197354626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1838] ppid=1821 vsize=10859808 memory=581004 CPUtime=0.4 cores=0,2,4,6
/proc/1824/task/1838/stat : 1838 (java) S 1821 1824 32243 0 -1 1077944384 3180 0 0 0 39 1 0 0 20 0 17 0 77734297 11120443392 138377 33554432000 4194304 4196468 140727699182784 140622683351664 140623197354626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1839] ppid=1821 vsize=10859808 memory=581004 CPUtime=0 cores=0,2,4,6
/proc/1824/task/1839/stat : 1839 (java) S 1821 1824 32243 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 77734297 11120443392 138377 33554432000 4194304 4196468 140727699182784 140622682299104 140623197353685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
[pid=1824/tid=1840] ppid=1821 vsize=10859808 memory=581004 CPUtime=1.23 cores=0,2,4,6
/proc/1824/task/1840/stat : 1840 (java) S 1821 1824 32243 0 -1 1077944384 1722 0 0 0 61 62 0 0 20 0 17 0 77734297 11120443392 138377 33554432000 4194304 4196468 140727699182784 140622681246384 140623197354626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28938240 140727699186801 140727699186953 140727699186953 140727699189711 0
Current children cumulated CPU time: 2400.28 s
Current children cumulated vsize: 10859808 KiB
Current children cumulated memory: 553508 KiB
Child status: 143
Real time (s): 2393.35
CPU time (s): 2400.33
CPU user time (s): 2398.95
CPU system time (s): 1.37701
CPU usage (%): 100.292
Max. virtual memory (cumulated for all children) (KiB): 10859808
Max. memory (cumulated for all children) (KiB): 769880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.95
system time used= 1.37701
maximum resident set size= 771420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71967
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54227
involuntary context switches= 2314
# summary of solver processes directly reported to runsolver:
# pid: 1824
# total CPU time (s): 2400.33
# total CPU user time (s): 2398.95
# total CPU system time (s): 1.37701
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.1353 second user time and 22.58 second system time
The end