runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4248244-1500797235/watcher-4248244-1500797235 -o /tmp/evaluation-result-4248244-1500797235/solver-4248244-1500797235 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1500797235-1668 --watchdog 2560 bin/concrete HOME/instance-4248244-1500797235.xml
pid=1692
running on 8 cores: 4-7,12-15
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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.27 1.45 1.37 2/246 1695
/proc/meminfo: memFree=31022488/32770624 swapFree=6452/789764
[pid=1695] ppid=1692 vsize=9508 CPUtime=0 cores=4-7,12-15
/proc/1695/stat : 1695 (bash) S 1692 1695 1358 0 -1 4202496 654 0 0 0 0 0 0 0 20 0 1 0 14990682 9736192 350 33554432000 4194304 5098028 140733131956144 140733131953784 139900356099072 0 0 4100 65536 18446744071580971376 0 0 17 13 0 0 0 0 0 7196144 7232144 18337792 140733131961614 140733131961699 140733131961699 140733131964398 0
/proc/1695/statm: 2377 350 277 221 0 86 0
[startup+0.100124 s]
/proc/loadavg: 1.27 1.45 1.37 2/246 1695
/proc/meminfo: memFree=31022488/32770624 swapFree=6452/789764
[pid=1695] ppid=1692 vsize=9640 CPUtime=0.02 cores=4-7,12-15
/proc/1695/stat : 1695 (bash) S 1692 1695 1358 0 -1 4202496 879 6421 0 1 0 0 0 2 20 0 1 0 14990682 9871360 378 33554432000 4194304 5098028 140733131956144 140733131950152 139900356099072 0 0 4100 65536 18446744071580971376 0 0 17 6 0 0 0 0 0 7196144 7232144 18337792 140733131961614 140733131961699 140733131961699 140733131964398 0
/proc/1695/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9640
[startup+0.200322 s]
/proc/loadavg: 1.27 1.45 1.37 2/246 1695
/proc/meminfo: memFree=31022488/32770624 swapFree=6452/789764
[pid=1695] ppid=1692 vsize=10435860 CPUtime=0.16 cores=4-7,12-15
/proc/1695/stat : 1695 (java) S 1692 1695 1358 0 -1 1077944320 5065 12668 0 1 4 1 8 3 20 0 13 0 14990682 10686320640 5406 33554432000 4194304 4196468 140721473576496 140721473559040 140173934448375 0 0 0 16800971 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
/proc/1695/statm: 2608965 5406 2139 1 0 2597403 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 10435860
[startup+0.300278 s]
/proc/loadavg: 1.27 1.45 1.37 2/246 1695
/proc/meminfo: memFree=31022488/32770624 swapFree=6452/789764
[pid=1695] ppid=1692 vsize=10902292 CPUtime=0.3 cores=4-7,12-15
/proc/1695/stat : 1695 (java) S 1692 1695 1358 0 -1 1077944320 6986 12668 0 1 16 3 8 3 20 0 20 0 14990682 11163947008 8773 33554432000 4194304 4196468 140721473576496 140721473559040 140173934448375 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
/proc/1695/statm: 2725573 8773 2919 1 0 2713890 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 10902292
[startup+0.700163 s]
/proc/loadavg: 1.27 1.45 1.37 2/246 1695
/proc/meminfo: memFree=31022488/32770624 swapFree=6452/789764
[pid=1695] ppid=1692 vsize=10902720 CPUtime=0.84 cores=4-7,12-15
/proc/1695/stat : 1695 (java) S 1692 1695 1358 0 -1 1077944320 12438 12668 0 1 68 5 8 3 20 0 20 0 14990682 11164385280 15754 33554432000 4194304 4196468 140721473576496 140721473559040 140173934448375 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
/proc/1695/statm: 2725680 15754 3146 1 0 2713890 0
Current children cumulated CPU time (s) 0.84
Current children cumulated vsize (KiB) 10902720
[startup+1.50072 s]
/proc/loadavg: 1.27 1.45 1.37 4/288 1855
/proc/meminfo: memFree=30816236/32770624 swapFree=6452/790120
[pid=1695] ppid=1692 vsize=10913344 CPUtime=2.23 cores=4-7,12-15
/proc/1695/stat : 1695 (java) S 1692 1695 1358 0 -1 1077944320 26458 12668 0 1 197 15 8 3 20 0 20 0 14990682 11175264256 44244 33554432000 4194304 4196468 140721473576496 140721473559040 140173934448375 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
/proc/1695/statm: 2728336 44244 3410 1 0 2716450 0
[pid=1695/tid=1818] ppid=1692 vsize=10913344 CPUtime=1.36 cores=4-7,12-15
/proc/1695/task/1818/stat : 1818 (java) R 1692 1695 1358 0 -1 4202560 19628 12668 0 1 119 6 8 3 20 0 20 0 14990697 11175264256 44244 33554432000 4194304 4196468 140721473576496 140173938661632 140173934460310 0 4 0 16800975 0 0 0 -1 12 0 0 1 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1820] ppid=1692 vsize=10913344 CPUtime=0.11 cores=4-7,12-15
/proc/1695/task/1820/stat : 1820 (java) S 1692 1695 1358 0 -1 1077944384 41 12668 0 1 0 0 8 3 20 0 20 0 14990698 11175264256 44244 33554432000 4194304 4196468 140721473576496 140173860522256 140173934458581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1821] ppid=1692 vsize=10913344 CPUtime=0.11 cores=4-7,12-15
/proc/1695/task/1821/stat : 1821 (java) S 1692 1695 1358 0 -1 1077944384 17 12668 0 1 0 0 8 3 20 0 20 0 14990698 11175264256 44244 33554432000 4194304 4196468 140721473576496 140173859469712 140173934458581 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1822] ppid=1692 vsize=10913344 CPUtime=0.12 cores=4-7,12-15
/proc/1695/task/1822/stat : 1822 (java) S 1692 1695 1358 0 -1 1077944384 140 12668 0 1 1 0 8 3 20 0 20 0 14990698 11175264256 44244 33554432000 4194304 4196468 140721473576496 140173858417168 140173934458581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1823] ppid=1692 vsize=10913344 CPUtime=0.11 cores=4-7,12-15
/proc/1695/task/1823/stat : 1823 (java) S 1692 1695 1358 0 -1 1077944384 32 12668 0 1 0 0 8 3 20 0 20 0 14990698 11175264256 44244 33554432000 4194304 4196468 140721473576496 140173857364624 140173934458581 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1824] ppid=1692 vsize=10913344 CPUtime=0.12 cores=4-7,12-15
/proc/1695/task/1824/stat : 1824 (java) S 1692 1695 1358 0 -1 1077944384 43 12668 0 1 1 0 8 3 20 0 20 0 14990698 11175264256 44244 33554432000 4194304 4196468 140721473576496 140173856312080 140173934458581 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1825] ppid=1692 vsize=10913344 CPUtime=0.11 cores=4-7,12-15
/proc/1695/task/1825/stat : 1825 (java) S 1692 1695 1358 0 -1 1077944384 13 12668 0 1 0 0 8 3 20 0 20 0 14990698 11175264256 44244 33554432000 4194304 4196468 140721473576496 140173855259536 140173934458581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1826] ppid=1692 vsize=10913344 CPUtime=0.11 cores=4-7,12-15
/proc/1695/task/1826/stat : 1826 (java) S 1692 1695 1358 0 -1 1077944384 38 12668 0 1 0 0 8 3 20 0 20 0 14990698 11175264256 44244 33554432000 4194304 4196468 140721473576496 140173854206992 140173934458581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1827] ppid=1692 vsize=10913344 CPUtime=0.12 cores=4-7,12-15
/proc/1695/task/1827/stat : 1827 (java) S 1692 1695 1358 0 -1 1077944384 15 12668 0 1 1 0 8 3 20 0 20 0 14990698 11175264256 44244 33554432000 4194304 4196468 140721473576496 140173853154448 140173934458581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1836] ppid=1692 vsize=10913344 CPUtime=0.13 cores=4-7,12-15
/proc/1695/task/1836/stat : 1836 (java) S 1692 1695 1358 0 -1 1077944384 750 12668 0 1 2 0 8 3 20 0 20 0 14990700 11175264256 44244 33554432000 4194304 4196468 140721473576496 140173409040368 140173934459522 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1837] ppid=1692 vsize=10913344 CPUtime=0.11 cores=4-7,12-15
/proc/1695/task/1837/stat : 1837 (java) S 1692 1695 1358 0 -1 1077944384 56 12668 0 1 0 0 8 3 20 0 20 0 14990700 11175264256 44244 33554432000 4194304 4196468 140721473576496 140173407986656 140173934458581 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1838] ppid=1692 vsize=10913344 CPUtime=0.11 cores=4-7,12-15
/proc/1695/task/1838/stat : 1838 (java) S 1692 1695 1358 0 -1 1077944384 43 12668 0 1 0 0 8 3 20 0 20 0 14990700 11175264256 44244 33554432000 4194304 4196468 140721473576496 140173406934016 140173934458581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1842] ppid=1692 vsize=10913344 CPUtime=0.11 cores=4-7,12-15
/proc/1695/task/1842/stat : 1842 (java) S 1692 1695 1358 0 -1 1077944384 1 12668 0 1 0 0 8 3 20 0 20 0 14990704 11175264256 44244 33554432000 4194304 4196468 140721473576496 140173405882576 140173934466971 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1843] ppid=1692 vsize=10913344 CPUtime=0.24 cores=4-7,12-15
/proc/1695/task/1843/stat : 1843 (java) S 1692 1695 1358 0 -1 1077944384 764 12668 0 1 13 0 8 3 20 0 20 0 14990704 11175264256 44244 33554432000 4194304 4196468 140721473576496 140173404830192 140173934459522 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1844] ppid=1692 vsize=10913344 CPUtime=0.26 cores=4-7,12-15
/proc/1695/task/1844/stat : 1844 (java) S 1692 1695 1358 0 -1 1077944384 908 12668 0 1 15 0 8 3 20 0 20 0 14990704 11175264256 44244 33554432000 4194304 4196468 140721473576496 140173403777648 140173934459522 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1845] ppid=1692 vsize=10913344 CPUtime=0.25 cores=4-7,12-15
/proc/1695/task/1845/stat : 1845 (java) R 1692 1695 1358 0 -1 4202560 495 12668 0 1 14 0 8 3 20 0 20 0 14990704 11175264256 44244 33554432000 4194304 4196468 140721473576496 140173402711200 140173913694223 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1846] ppid=1692 vsize=10913344 CPUtime=0.35 cores=4-7,12-15
/proc/1695/task/1846/stat : 1846 (java) S 1692 1695 1358 0 -1 1077944384 1341 12668 0 1 24 0 8 3 20 0 20 0 14990704 11175264256 44244 33554432000 4194304 4196468 140721473576496 140173401672560 140173934459522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1847] ppid=1692 vsize=10913344 CPUtime=0.11 cores=4-7,12-15
/proc/1695/task/1847/stat : 1847 (java) S 1692 1695 1358 0 -1 1077944384 3 12668 0 1 0 0 8 3 20 0 20 0 14990704 11175264256 44244 33554432000 4194304 4196468 140721473576496 140173400619232 140173934458581 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1854] ppid=1692 vsize=10913344 CPUtime=0.11 cores=4-7,12-15
/proc/1695/task/1854/stat : 1854 (java) S 1692 1695 1358 0 -1 1077944384 6 12668 0 1 0 0 8 3 20 0 20 0 14990707 11175264256 44244 33554432000 4194304 4196468 140721473576496 140173399566768 140173934459522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
Current children cumulated CPU time (s) 2.23
Current children cumulated vsize (KiB) 10913344
[startup+3.1008 s]
/proc/loadavg: 1.27 1.45 1.37 7/288 1855
/proc/meminfo: memFree=30666668/32770624 swapFree=6452/790160
[pid=1695] ppid=1692 vsize=10927868 CPUtime=5.99 cores=4-7,12-15
/proc/1695/stat : 1695 (java) S 1692 1695 1358 0 -1 1077944320 39092 12668 0 1 563 25 8 3 20 0 20 0 14990682 11190136832 72522 33554432000 4194304 4196468 140721473576496 140721473559040 140173934448375 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
/proc/1695/statm: 2731967 72522 3474 1 0 2719522 0
[pid=1695/tid=1818] ppid=1692 vsize=10927868 CPUtime=2.93 cores=4-7,12-15
/proc/1695/task/1818/stat : 1818 (java) R 1692 1695 1358 0 -1 4202560 27849 12668 0 1 273 9 8 3 20 0 20 0 14990697 11190136832 72522 33554432000 4194304 4196468 140721473576496 140173938663072 140173915093253 0 4 0 16800975 0 0 0 -1 12 0 0 1 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1820] ppid=1692 vsize=10927868 CPUtime=0.12 cores=4-7,12-15
/proc/1695/task/1820/stat : 1820 (java) S 1692 1695 1358 0 -1 1077944384 47 12668 0 1 0 1 8 3 20 0 20 0 14990698 11190136832 72522 33554432000 4194304 4196468 140721473576496 140173860522256 140173934458581 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1821] ppid=1692 vsize=10927868 CPUtime=0.13 cores=4-7,12-15
/proc/1695/task/1821/stat : 1821 (java) S 1692 1695 1358 0 -1 1077944384 36 12668 0 1 1 1 8 3 20 0 20 0 14990698 11190136832 72522 33554432000 4194304 4196468 140721473576496 140173859469712 140173934458581 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1822] ppid=1692 vsize=10927868 CPUtime=0.13 cores=4-7,12-15
/proc/1695/task/1822/stat : 1822 (java) S 1692 1695 1358 0 -1 1077944384 197 12668 0 1 1 1 8 3 20 0 20 0 14990698 11190136832 72522 33554432000 4194304 4196468 140721473576496 140173858417168 140173934458581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1823] ppid=1692 vsize=10927868 CPUtime=0.13 cores=4-7,12-15
/proc/1695/task/1823/stat : 1823 (java) S 1692 1695 1358 0 -1 1077944384 39 12668 0 1 1 1 8 3 20 0 20 0 14990698 11190136832 72522 33554432000 4194304 4196468 140721473576496 140173857364624 140173934458581 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1824] ppid=1692 vsize=10927868 CPUtime=0.13 cores=4-7,12-15
/proc/1695/task/1824/stat : 1824 (java) S 1692 1695 1358 0 -1 1077944384 54 12668 0 1 1 1 8 3 20 0 20 0 14990698 11190136832 72522 33554432000 4194304 4196468 140721473576496 140173856312080 140173934458581 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1825] ppid=1692 vsize=10927868 CPUtime=0.11 cores=4-7,12-15
/proc/1695/task/1825/stat : 1825 (java) S 1692 1695 1358 0 -1 1077944384 15 12668 0 1 0 0 8 3 20 0 20 0 14990698 11190136832 72522 33554432000 4194304 4196468 140721473576496 140173855259536 140173934458581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1826] ppid=1692 vsize=10927868 CPUtime=0.12 cores=4-7,12-15
/proc/1695/task/1826/stat : 1826 (java) S 1692 1695 1358 0 -1 1077944384 44 12668 0 1 0 1 8 3 20 0 20 0 14990698 11190136832 72522 33554432000 4194304 4196468 140721473576496 140173854206992 140173934458581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1827] ppid=1692 vsize=10927868 CPUtime=0.13 cores=4-7,12-15
/proc/1695/task/1827/stat : 1827 (java) S 1692 1695 1358 0 -1 1077944384 20 12668 0 1 1 1 8 3 20 0 20 0 14990698 11190136832 72522 33554432000 4194304 4196468 140721473576496 140173853154448 140173934458581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1836] ppid=1692 vsize=10927868 CPUtime=0.13 cores=4-7,12-15
/proc/1695/task/1836/stat : 1836 (java) S 1692 1695 1358 0 -1 1077944384 802 12668 0 1 2 0 8 3 20 0 20 0 14990700 11190136832 72522 33554432000 4194304 4196468 140721473576496 140173409040368 140173934459522 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1837] ppid=1692 vsize=10927868 CPUtime=0.11 cores=4-7,12-15
/proc/1695/task/1837/stat : 1837 (java) S 1692 1695 1358 0 -1 1077944384 56 12668 0 1 0 0 8 3 20 0 20 0 14990700 11190136832 72522 33554432000 4194304 4196468 140721473576496 140173407986656 140173934458581 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1838] ppid=1692 vsize=10927868 CPUtime=0.11 cores=4-7,12-15
/proc/1695/task/1838/stat : 1838 (java) S 1692 1695 1358 0 -1 1077944384 47 12668 0 1 0 0 8 3 20 0 20 0 14990700 11190136832 72522 33554432000 4194304 4196468 140721473576496 140173406934016 140173934458581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1842] ppid=1692 vsize=10927868 CPUtime=0.11 cores=4-7,12-15
/proc/1695/task/1842/stat : 1842 (java) S 1692 1695 1358 0 -1 1077944384 1 12668 0 1 0 0 8 3 20 0 20 0 14990704 11190136832 72522 33554432000 4194304 4196468 140721473576496 140173405882576 140173934466971 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1843] ppid=1692 vsize=10927868 CPUtime=0.67 cores=4-7,12-15
/proc/1695/task/1843/stat : 1843 (java) S 1692 1695 1358 0 -1 1077944384 1431 12668 0 1 55 1 8 3 20 0 20 0 14990704 11190136832 72522 33554432000 4194304 4196468 140721473576496 140173404830192 140173934459522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1844] ppid=1692 vsize=10927868 CPUtime=0.66 cores=4-7,12-15
/proc/1695/task/1844/stat : 1844 (java) S 1692 1695 1358 0 -1 1077944384 1353 12668 0 1 54 1 8 3 20 0 20 0 14990704 11190136832 72522 33554432000 4194304 4196468 140721473576496 140173403777648 140173934459522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1845] ppid=1692 vsize=10927868 CPUtime=0.71 cores=4-7,12-15
/proc/1695/task/1845/stat : 1845 (java) S 1692 1695 1358 0 -1 1077944384 1348 12668 0 1 59 1 8 3 20 0 20 0 14990704 11190136832 72522 33554432000 4194304 4196468 140721473576496 140173402725104 140173934459522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1846] ppid=1692 vsize=10927868 CPUtime=1.19 cores=4-7,12-15
/proc/1695/task/1846/stat : 1846 (java) S 1692 1695 1358 0 -1 1077944384 3614 12668 0 1 107 1 8 3 20 0 20 0 14990704 11190136832 72522 33554432000 4194304 4196468 140721473576496 140173401672560 140173934459522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1847] ppid=1692 vsize=10927868 CPUtime=0.11 cores=4-7,12-15
/proc/1695/task/1847/stat : 1847 (java) S 1692 1695 1358 0 -1 1077944384 3 12668 0 1 0 0 8 3 20 0 20 0 14990704 11190136832 72522 33554432000 4194304 4196468 140721473576496 140173400619232 140173934458581 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1854] ppid=1692 vsize=10927868 CPUtime=0.11 cores=4-7,12-15
/proc/1695/task/1854/stat : 1854 (java) S 1692 1695 1358 0 -1 1077944384 7 12668 0 1 0 0 8 3 20 0 20 0 14990707 11190136832 72522 33554432000 4194304 4196468 140721473576496 140173399566768 140173934459522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
Current children cumulated CPU time (s) 5.99
Current children cumulated vsize (KiB) 10927868
[startup+6.3008 s]
/proc/loadavg: 1.65 1.53 1.39 11/288 1855
/proc/meminfo: memFree=29803504/32770624 swapFree=6452/790284
[pid=1695] ppid=1692 vsize=10995452 CPUtime=15.47 cores=4-7,12-15
/proc/1695/stat : 1695 (java) S 1692 1695 1358 0 -1 1077944320 66501 12668 0 1 1500 36 8 3 20 0 20 0 14990682 11259342848 117499 33554432000 4194304 4196468 140721473576496 140721473559040 140173934448375 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
/proc/1695/statm: 2748863 117499 3506 1 0 2736418 0
[pid=1695/tid=1818] ppid=1692 vsize=10995452 CPUtime=6.06 cores=4-7,12-15
/proc/1695/task/1818/stat : 1818 (java) R 1692 1695 1358 0 -1 4202560 42950 12668 0 1 583 12 8 3 20 0 20 0 14990697 11259342848 117499 33554432000 4194304 4196468 140721473576496 140173938682056 140173534206905 0 4 0 16800975 0 0 0 -1 12 0 0 1 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1820] ppid=1692 vsize=10995452 CPUtime=0.16 cores=4-7,12-15
/proc/1695/task/1820/stat : 1820 (java) S 1692 1695 1358 0 -1 1077944384 71 12668 0 1 3 2 8 3 20 0 20 0 14990698 11259342848 117499 33554432000 4194304 4196468 140721473576496 140173860522256 140173934458581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1821] ppid=1692 vsize=10995452 CPUtime=0.15 cores=4-7,12-15
/proc/1695/task/1821/stat : 1821 (java) S 1692 1695 1358 0 -1 1077944384 48 12668 0 1 3 1 8 3 20 0 20 0 14990698 11259342848 117499 33554432000 4194304 4196468 140721473576496 140173859469712 140173934458581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1822] ppid=1692 vsize=10995452 CPUtime=0.15 cores=4-7,12-15
/proc/1695/task/1822/stat : 1822 (java) S 1692 1695 1358 0 -1 1077944384 208 12668 0 1 3 1 8 3 20 0 20 0 14990698 11259342848 117499 33554432000 4194304 4196468 140721473576496 140173858417168 140173934458581 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1823] ppid=1692 vsize=10995452 CPUtime=0.16 cores=4-7,12-15
/proc/1695/task/1823/stat : 1823 (java) S 1692 1695 1358 0 -1 1077944384 65 12668 0 1 3 2 8 3 20 0 20 0 14990698 11259342848 117499 33554432000 4194304 4196468 140721473576496 140173857364624 140173934458581 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1824] ppid=1692 vsize=10995452 CPUtime=0.15 cores=4-7,12-15
/proc/1695/task/1824/stat : 1824 (java) S 1692 1695 1358 0 -1 1077944384 75 12668 0 1 3 1 8 3 20 0 20 0 14990698 11259342848 117499 33554432000 4194304 4196468 140721473576496 140173856312080 140173934458581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1825] ppid=1692 vsize=10995452 CPUtime=0.15 cores=4-7,12-15
/proc/1695/task/1825/stat : 1825 (java) S 1692 1695 1358 0 -1 1077944384 42 12668 0 1 3 1 8 3 20 0 20 0 14990698 11259342848 117499 33554432000 4194304 4196468 140721473576496 140173855259536 140173934458581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1826] ppid=1692 vsize=10995452 CPUtime=0.15 cores=4-7,12-15
/proc/1695/task/1826/stat : 1826 (java) S 1692 1695 1358 0 -1 1077944384 52 12668 0 1 2 2 8 3 20 0 20 0 14990698 11259342848 117499 33554432000 4194304 4196468 140721473576496 140173854206992 140173934458581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1827] ppid=1692 vsize=10995452 CPUtime=0.15 cores=4-7,12-15
/proc/1695/task/1827/stat : 1827 (java) S 1692 1695 1358 0 -1 1077944384 37 12668 0 1 3 1 8 3 20 0 20 0 14990698 11259342848 117499 33554432000 4194304 4196468 140721473576496 140173853154448 140173934458581 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1836] ppid=1692 vsize=10995452 CPUtime=0.16 cores=4-7,12-15
/proc/1695/task/1836/stat : 1836 (java) S 1692 1695 1358 0 -1 1077944384 1998 12668 0 1 5 0 8 3 20 0 20 0 14990700 11259342848 117499 33554432000 4194304 4196468 140721473576496 140173409040368 140173934459522 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1837] ppid=1692 vsize=10995452 CPUtime=0.11 cores=4-7,12-15
/proc/1695/task/1837/stat : 1837 (java) S 1692 1695 1358 0 -1 1077944384 56 12668 0 1 0 0 8 3 20 0 20 0 14990700 11259342848 117499 33554432000 4194304 4196468 140721473576496 140173407986720 140173934458581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1838] ppid=1692 vsize=10995452 CPUtime=0.11 cores=4-7,12-15
/proc/1695/task/1838/stat : 1838 (java) S 1692 1695 1358 0 -1 1077944384 47 12668 0 1 0 0 8 3 20 0 20 0 14990700 11259342848 117499 33554432000 4194304 4196468 140721473576496 140173406934016 140173934458581 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1842] ppid=1692 vsize=10995452 CPUtime=0.11 cores=4-7,12-15
/proc/1695/task/1842/stat : 1842 (java) S 1692 1695 1358 0 -1 1077944384 1 12668 0 1 0 0 8 3 20 0 20 0 14990704 11259342848 117499 33554432000 4194304 4196468 140721473576496 140173405882576 140173934466971 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1843] ppid=1692 vsize=10995452 CPUtime=2.46 cores=4-7,12-15
/proc/1695/task/1843/stat : 1843 (java) S 1692 1695 1358 0 -1 1077944384 5645 12668 0 1 233 2 8 3 20 0 20 0 14990704 11259342848 117499 33554432000 4194304 4196468 140721473576496 140173404830192 140173934459522 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1844] ppid=1692 vsize=10995452 CPUtime=2.27 cores=4-7,12-15
/proc/1695/task/1844/stat : 1844 (java) S 1692 1695 1358 0 -1 1077944384 3811 12668 0 1 214 2 8 3 20 0 20 0 14990704 11259342848 117499 33554432000 4194304 4196468 140721473576496 140173403777648 140173934459522 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1845] ppid=1692 vsize=10995452 CPUtime=2.77 cores=4-7,12-15
/proc/1695/task/1845/stat : 1845 (java) S 1692 1695 1358 0 -1 1077944384 4425 12668 0 1 264 2 8 3 20 0 20 0 14990704 11259342848 117499 33554432000 4194304 4196468 140721473576496 140173402725104 140173934459522 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1846] ppid=1692 vsize=10995452 CPUtime=1.83 cores=4-7,12-15
/proc/1695/task/1846/stat : 1846 (java) R 1692 1695 1358 0 -1 4202560 4828 12668 0 1 170 2 8 3 20 0 20 0 14990704 11259342848 117499 33554432000 4194304 4196468 140721473576496 140173401672856 140173927545092 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1847] ppid=1692 vsize=10995452 CPUtime=0.11 cores=4-7,12-15
################
# More data... #
################
[pid=1695/tid=1844] ppid=1692 vsize=10995452 CPUtime=12.34 cores=4-7,12-15
/proc/1695/task/1844/stat : 1844 (java) S 1692 1695 1358 0 -1 1077944384 8777 12668 0 1 1219 4 8 3 20 0 20 0 14990704 11259342848 181537 33554432000 4194304 4196468 140721473576496 140173403777648 140173934459522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1845] ppid=1692 vsize=10995452 CPUtime=12.69 cores=4-7,12-15
/proc/1695/task/1845/stat : 1845 (java) S 1692 1695 1358 0 -1 1077944384 10409 12668 0 1 1254 4 8 3 20 0 20 0 14990704 11259342848 181537 33554432000 4194304 4196468 140721473576496 140173402725104 140173934459522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1846] ppid=1692 vsize=10995452 CPUtime=5.96 cores=4-7,12-15
/proc/1695/task/1846/stat : 1846 (java) S 1692 1695 1358 0 -1 1077944384 16959 12668 0 1 578 7 8 3 20 0 20 0 14990704 11259342848 181537 33554432000 4194304 4196468 140721473576496 140173401672560 140173934459522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1847] ppid=1692 vsize=10995452 CPUtime=0.11 cores=4-7,12-15
/proc/1695/task/1847/stat : 1847 (java) S 1692 1695 1358 0 -1 1077944384 3 12668 0 1 0 0 8 3 20 0 20 0 14990704 11259342848 181537 33554432000 4194304 4196468 140721473576496 140173400619232 140173934458581 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1854] ppid=1692 vsize=10995452 CPUtime=1.33 cores=4-7,12-15
/proc/1695/task/1854/stat : 1854 (java) S 1692 1695 1358 0 -1 1077944384 945 12668 0 1 56 66 8 3 20 0 20 0 14990707 11259342848 181537 33554432000 4194304 4196468 140721473576496 140173399566768 140173934459522 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
Current children cumulated CPU time (s) 2315.02
Current children cumulated vsize (KiB) 10995452
[startup+2262.3 s]
/proc/loadavg: 1.47 1.40 1.45 2/259 1987
/proc/meminfo: memFree=30296808/32770624 swapFree=6452/791984
[pid=1695] ppid=1692 vsize=10995452 CPUtime=2377.15 cores=4-7,12-15
/proc/1695/stat : 1695 (java) S 1692 1695 1358 0 -1 1077944320 315630 12668 0 1 236792 912 8 3 20 0 20 0 14990682 11259342848 190190 33554432000 4194304 4196468 140721473576496 140721473559040 140173934448375 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
/proc/1695/statm: 2748863 190190 3510 1 0 2736418 0
[pid=1695/tid=1818] ppid=1692 vsize=10995452 CPUtime=2239.91 cores=4-7,12-15
/proc/1695/task/1818/stat : 1818 (java) R 1692 1695 1358 0 -1 4202560 175228 12668 0 1 223893 87 8 3 20 0 20 0 14990697 11259342848 190190 33554432000 4194304 4196468 140721473576496 140173938681696 140173535514144 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1820] ppid=1692 vsize=10995452 CPUtime=10.73 cores=4-7,12-15
/proc/1695/task/1820/stat : 1820 (java) S 1692 1695 1358 0 -1 1077944384 8658 12668 0 1 975 87 8 3 20 0 20 0 14990698 11259342848 190190 33554432000 4194304 4196468 140721473576496 140173860522256 140173934458581 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1821] ppid=1692 vsize=10995452 CPUtime=10.9 cores=4-7,12-15
/proc/1695/task/1821/stat : 1821 (java) S 1692 1695 1358 0 -1 1077944384 9052 12668 0 1 994 85 8 3 20 0 20 0 14990698 11259342848 190190 33554432000 4194304 4196468 140721473576496 140173859469712 140173934458581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1822] ppid=1692 vsize=10995452 CPUtime=10.94 cores=4-7,12-15
/proc/1695/task/1822/stat : 1822 (java) S 1692 1695 1358 0 -1 1077944384 9198 12668 0 1 998 85 8 3 20 0 20 0 14990698 11259342848 190190 33554432000 4194304 4196468 140721473576496 140173858417168 140173934458581 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1823] ppid=1692 vsize=10995452 CPUtime=10.94 cores=4-7,12-15
/proc/1695/task/1823/stat : 1823 (java) S 1692 1695 1358 0 -1 1077944384 8099 12668 0 1 995 88 8 3 20 0 20 0 14990698 11259342848 190190 33554432000 4194304 4196468 140721473576496 140173857364624 140173934458581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1824] ppid=1692 vsize=10995452 CPUtime=10.83 cores=4-7,12-15
/proc/1695/task/1824/stat : 1824 (java) S 1692 1695 1358 0 -1 1077944384 10302 12668 0 1 982 90 8 3 20 0 20 0 14990698 11259342848 190190 33554432000 4194304 4196468 140721473576496 140173856312080 140173934458581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1825] ppid=1692 vsize=10995452 CPUtime=10.83 cores=4-7,12-15
/proc/1695/task/1825/stat : 1825 (java) S 1692 1695 1358 0 -1 1077944384 11112 12668 0 1 981 91 8 3 20 0 20 0 14990698 11259342848 190190 33554432000 4194304 4196468 140721473576496 140173855259536 140173934458581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1826] ppid=1692 vsize=10995452 CPUtime=10.85 cores=4-7,12-15
/proc/1695/task/1826/stat : 1826 (java) S 1692 1695 1358 0 -1 1077944384 11384 12668 0 1 989 85 8 3 20 0 20 0 14990698 11259342848 190190 33554432000 4194304 4196468 140721473576496 140173854206992 140173934458581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1827] ppid=1692 vsize=10995452 CPUtime=10.87 cores=4-7,12-15
/proc/1695/task/1827/stat : 1827 (java) S 1692 1695 1358 0 -1 1077944384 8659 12668 0 1 991 85 8 3 20 0 20 0 14990698 11259342848 190190 33554432000 4194304 4196468 140721473576496 140173853154448 140173934458581 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1836] ppid=1692 vsize=10995452 CPUtime=6.94 cores=4-7,12-15
/proc/1695/task/1836/stat : 1836 (java) S 1692 1695 1358 0 -1 1077944384 11250 12668 0 1 571 112 8 3 20 0 20 0 14990700 11259342848 190190 33554432000 4194304 4196468 140721473576496 140173409040368 140173934459522 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1837] ppid=1692 vsize=10995452 CPUtime=0.11 cores=4-7,12-15
/proc/1695/task/1837/stat : 1837 (java) S 1692 1695 1358 0 -1 1077944384 56 12668 0 1 0 0 8 3 20 0 20 0 14990700 11259342848 190190 33554432000 4194304 4196468 140721473576496 140173407986720 140173934458581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1838] ppid=1692 vsize=10995452 CPUtime=0.11 cores=4-7,12-15
/proc/1695/task/1838/stat : 1838 (java) S 1692 1695 1358 0 -1 1077944384 47 12668 0 1 0 0 8 3 20 0 20 0 14990700 11259342848 190190 33554432000 4194304 4196468 140721473576496 140173406934016 140173934458581 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1842] ppid=1692 vsize=10995452 CPUtime=0.11 cores=4-7,12-15
/proc/1695/task/1842/stat : 1842 (java) S 1692 1695 1358 0 -1 1077944384 1 12668 0 1 0 0 8 3 20 0 20 0 14990704 11259342848 190190 33554432000 4194304 4196468 140721473576496 140173405882576 140173934466971 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1843] ppid=1692 vsize=10995452 CPUtime=12.45 cores=4-7,12-15
/proc/1695/task/1843/stat : 1843 (java) S 1692 1695 1358 0 -1 1077944384 13339 12668 0 1 1230 4 8 3 20 0 20 0 14990704 11259342848 190190 33554432000 4194304 4196468 140721473576496 140173404830192 140173934459522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1844] ppid=1692 vsize=10995452 CPUtime=12.34 cores=4-7,12-15
/proc/1695/task/1844/stat : 1844 (java) S 1692 1695 1358 0 -1 1077944384 8779 12668 0 1 1219 4 8 3 20 0 20 0 14990704 11259342848 190190 33554432000 4194304 4196468 140721473576496 140173403777648 140173934459522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1845] ppid=1692 vsize=10995452 CPUtime=12.69 cores=4-7,12-15
/proc/1695/task/1845/stat : 1845 (java) S 1692 1695 1358 0 -1 1077944384 10412 12668 0 1 1254 4 8 3 20 0 20 0 14990704 11259342848 190190 33554432000 4194304 4196468 140721473576496 140173402725104 140173934459522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1846] ppid=1692 vsize=10995452 CPUtime=5.96 cores=4-7,12-15
/proc/1695/task/1846/stat : 1846 (java) S 1692 1695 1358 0 -1 1077944384 16961 12668 0 1 578 7 8 3 20 0 20 0 14990704 11259342848 190190 33554432000 4194304 4196468 140721473576496 140173401672560 140173934459522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1847] ppid=1692 vsize=10995452 CPUtime=0.11 cores=4-7,12-15
/proc/1695/task/1847/stat : 1847 (java) S 1692 1695 1358 0 -1 1077944384 3 12668 0 1 0 0 8 3 20 0 20 0 14990704 11259342848 190190 33554432000 4194304 4196468 140721473576496 140173400619232 140173934458581 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1854] ppid=1692 vsize=10995452 CPUtime=1.36 cores=4-7,12-15
/proc/1695/task/1854/stat : 1854 (java) S 1692 1695 1358 0 -1 1077944384 961 12668 0 1 57 68 8 3 20 0 20 0 14990707 11259342848 190190 33554432000 4194304 4196468 140721473576496 140173399566768 140173934459522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
Current children cumulated CPU time (s) 2377.15
Current children cumulated vsize (KiB) 10995452
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2284.4 s]
/proc/loadavg: 1.34 1.38 1.44 2/259 1987
/proc/meminfo: memFree=30272320/32770624 swapFree=6452/792000
[pid=1695] ppid=1692 vsize=10995452 CPUtime=2400 cores=4-7,12-15
/proc/1695/stat : 1695 (java) S 1692 1695 1358 0 -1 1077944320 317460 12668 0 1 239066 923 8 3 20 0 20 0 14990682 11259342848 195998 33554432000 4194304 4196468 140721473576496 140721473559040 140173934448375 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
/proc/1695/statm: 2748863 195998 3510 1 0 2736418 0
[pid=1695/tid=1818] ppid=1692 vsize=10995452 CPUtime=2261.77 cores=4-7,12-15
/proc/1695/task/1818/stat : 1818 (java) R 1692 1695 1358 0 -1 4202560 175913 12668 0 1 226078 88 8 3 20 0 20 0 14990697 11259342848 195998 33554432000 4194304 4196468 140721473576496 140173938682384 140173534224443 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1820] ppid=1692 vsize=10995452 CPUtime=10.84 cores=4-7,12-15
/proc/1695/task/1820/stat : 1820 (java) S 1692 1695 1358 0 -1 1077944384 8696 12668 0 1 985 88 8 3 20 0 20 0 14990698 11259342848 195998 33554432000 4194304 4196468 140721473576496 140173860522256 140173934458581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1821] ppid=1692 vsize=10995452 CPUtime=11.01 cores=4-7,12-15
/proc/1695/task/1821/stat : 1821 (java) S 1692 1695 1358 0 -1 1077944384 9122 12668 0 1 1004 86 8 3 20 0 20 0 14990698 11259342848 195998 33554432000 4194304 4196468 140721473576496 140173859469712 140173934458581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1822] ppid=1692 vsize=10995452 CPUtime=11.07 cores=4-7,12-15
/proc/1695/task/1822/stat : 1822 (java) S 1692 1695 1358 0 -1 1077944384 9437 12668 0 1 1010 86 8 3 20 0 20 0 14990698 11259342848 195998 33554432000 4194304 4196468 140721473576496 140173858417168 140173934458581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1823] ppid=1692 vsize=10995452 CPUtime=11.05 cores=4-7,12-15
/proc/1695/task/1823/stat : 1823 (java) S 1692 1695 1358 0 -1 1077944384 8146 12668 0 1 1005 89 8 3 20 0 20 0 14990698 11259342848 195998 33554432000 4194304 4196468 140721473576496 140173857364624 140173934458581 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1824] ppid=1692 vsize=10995452 CPUtime=10.93 cores=4-7,12-15
/proc/1695/task/1824/stat : 1824 (java) S 1692 1695 1358 0 -1 1077944384 10467 12668 0 1 991 91 8 3 20 0 20 0 14990698 11259342848 195998 33554432000 4194304 4196468 140721473576496 140173856312080 140173934458581 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1825] ppid=1692 vsize=10995452 CPUtime=10.94 cores=4-7,12-15
/proc/1695/task/1825/stat : 1825 (java) S 1692 1695 1358 0 -1 1077944384 11390 12668 0 1 991 92 8 3 20 0 20 0 14990698 11259342848 195998 33554432000 4194304 4196468 140721473576496 140173855259536 140173934458581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1826] ppid=1692 vsize=10995452 CPUtime=10.97 cores=4-7,12-15
/proc/1695/task/1826/stat : 1826 (java) S 1692 1695 1358 0 -1 1077944384 11446 12668 0 1 1000 86 8 3 20 0 20 0 14990698 11259342848 195998 33554432000 4194304 4196468 140721473576496 140173854206992 140173934458581 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1827] ppid=1692 vsize=10995452 CPUtime=10.97 cores=4-7,12-15
/proc/1695/task/1827/stat : 1827 (java) S 1692 1695 1358 0 -1 1077944384 8722 12668 0 1 1000 86 8 3 20 0 20 0 14990698 11259342848 195998 33554432000 4194304 4196468 140721473576496 140173853154448 140173934458581 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1836] ppid=1692 vsize=10995452 CPUtime=7.02 cores=4-7,12-15
/proc/1695/task/1836/stat : 1836 (java) S 1692 1695 1358 0 -1 1077944384 11411 12668 0 1 577 114 8 3 20 0 20 0 14990700 11259342848 195998 33554432000 4194304 4196468 140721473576496 140173409040368 140173934459522 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1837] ppid=1692 vsize=10995452 CPUtime=0.11 cores=4-7,12-15
/proc/1695/task/1837/stat : 1837 (java) S 1692 1695 1358 0 -1 1077944384 56 12668 0 1 0 0 8 3 20 0 20 0 14990700 11259342848 195998 33554432000 4194304 4196468 140721473576496 140173407986720 140173934458581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1838] ppid=1692 vsize=10995452 CPUtime=0.11 cores=4-7,12-15
/proc/1695/task/1838/stat : 1838 (java) S 1692 1695 1358 0 -1 1077944384 47 12668 0 1 0 0 8 3 20 0 20 0 14990700 11259342848 195998 33554432000 4194304 4196468 140721473576496 140173406934016 140173934458581 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1842] ppid=1692 vsize=10995452 CPUtime=0.11 cores=4-7,12-15
/proc/1695/task/1842/stat : 1842 (java) S 1692 1695 1358 0 -1 1077944384 1 12668 0 1 0 0 8 3 20 0 20 0 14990704 11259342848 195998 33554432000 4194304 4196468 140721473576496 140173405882576 140173934466971 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1843] ppid=1692 vsize=10995452 CPUtime=12.45 cores=4-7,12-15
/proc/1695/task/1843/stat : 1843 (java) S 1692 1695 1358 0 -1 1077944384 13341 12668 0 1 1230 4 8 3 20 0 20 0 14990704 11259342848 195998 33554432000 4194304 4196468 140721473576496 140173404830192 140173934459522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1844] ppid=1692 vsize=10995452 CPUtime=12.34 cores=4-7,12-15
/proc/1695/task/1844/stat : 1844 (java) S 1692 1695 1358 0 -1 1077944384 8781 12668 0 1 1219 4 8 3 20 0 20 0 14990704 11259342848 195998 33554432000 4194304 4196468 140721473576496 140173403777648 140173934459522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1845] ppid=1692 vsize=10995452 CPUtime=12.69 cores=4-7,12-15
/proc/1695/task/1845/stat : 1845 (java) S 1692 1695 1358 0 -1 1077944384 10414 12668 0 1 1254 4 8 3 20 0 20 0 14990704 11259342848 195998 33554432000 4194304 4196468 140721473576496 140173402725104 140173934459522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1846] ppid=1692 vsize=10995452 CPUtime=5.96 cores=4-7,12-15
/proc/1695/task/1846/stat : 1846 (java) S 1692 1695 1358 0 -1 1077944384 16963 12668 0 1 578 7 8 3 20 0 20 0 14990704 11259342848 195998 33554432000 4194304 4196468 140721473576496 140173401672560 140173934459522 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1847] ppid=1692 vsize=10995452 CPUtime=0.11 cores=4-7,12-15
/proc/1695/task/1847/stat : 1847 (java) S 1692 1695 1358 0 -1 1077944384 3 12668 0 1 0 0 8 3 20 0 20 0 14990704 11259342848 195998 33554432000 4194304 4196468 140721473576496 140173400619232 140173934458581 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1854] ppid=1692 vsize=10995452 CPUtime=1.38 cores=4-7,12-15
/proc/1695/task/1854/stat : 1854 (java) S 1692 1695 1358 0 -1 1077944384 975 12668 0 1 58 69 8 3 20 0 20 0 14990707 11259342848 195998 33554432000 4194304 4196468 140721473576496 140173399566768 140173934459522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 10995452
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 1695 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2284.6 s]
/proc/loadavg: 1.34 1.38 1.44 2/259 1987
/proc/meminfo: memFree=30272320/32770624 swapFree=6452/792000
[pid=1695] ppid=1692 vsize=11128580 CPUtime=2400.97 cores=4-7,12-15
/proc/1695/stat : 1695 (java) S 1692 1695 1358 0 -1 1077944320 323779 12668 0 1 239161 925 8 3 20 0 22 0 14990682 11395665920 198787 33554432000 4194304 4196468 140721473576496 140721473559040 140173934448375 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
/proc/1695/statm: 2782145 198787 3510 1 0 2769700 0
[pid=1695/tid=1818] ppid=1692 vsize=11128580 CPUtime=2261.78 cores=4-7,12-15
/proc/1695/task/1818/stat : 1818 (java) S 1692 1695 1358 0 -1 1077944384 176231 12668 0 1 226079 88 8 3 20 0 22 0 14990697 11395665920 198787 33554432000 4194304 4196468 140721473576496 140173938685904 140173934458581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1820] ppid=1692 vsize=11128580 CPUtime=10.94 cores=4-7,12-15
/proc/1695/task/1820/stat : 1820 (java) R 1692 1695 1358 0 -1 4202560 8701 12668 0 1 995 88 8 3 20 0 22 0 14990698 11395665920 198787 33554432000 4194304 4196468 140721473576496 140173860522456 140173919147072 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1821] ppid=1692 vsize=11128580 CPUtime=11.14 cores=4-7,12-15
/proc/1695/task/1821/stat : 1821 (java) R 1692 1695 1358 0 -1 4202560 9134 12668 0 1 1016 87 8 3 20 0 22 0 14990698 11395665920 198787 33554432000 4194304 4196468 140721473576496 140173859469912 140173927076583 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1822] ppid=1692 vsize=11128580 CPUtime=11.17 cores=4-7,12-15
/proc/1695/task/1822/stat : 1822 (java) R 1692 1695 1358 0 -1 4202560 9454 12668 0 1 1020 86 8 3 20 0 22 0 14990698 11395665920 198787 33554432000 4194304 4196468 140721473576496 140173858417368 140173927076583 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1823] ppid=1692 vsize=11128580 CPUtime=11.16 cores=4-7,12-15
/proc/1695/task/1823/stat : 1823 (java) R 1692 1695 1358 0 -1 4202560 8183 12668 0 1 1016 89 8 3 20 0 22 0 14990698 11395665920 198787 33554432000 4194304 4196468 140721473576496 140173857364824 140173919147189 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1824] ppid=1692 vsize=11128580 CPUtime=11.04 cores=4-7,12-15
/proc/1695/task/1824/stat : 1824 (java) R 1692 1695 1358 0 -1 4202560 10481 12668 0 1 1002 91 8 3 20 0 22 0 14990698 11395665920 198787 33554432000 4194304 4196468 140721473576496 140173856312280 140173927076583 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1825] ppid=1692 vsize=11128580 CPUtime=11.06 cores=4-7,12-15
/proc/1695/task/1825/stat : 1825 (java) R 1692 1695 1358 0 -1 4202560 11393 12668 0 1 1003 92 8 3 20 0 22 0 14990698 11395665920 198787 33554432000 4194304 4196468 140721473576496 140173855259736 140173927076583 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1826] ppid=1692 vsize=11128580 CPUtime=11.08 cores=4-7,12-15
/proc/1695/task/1826/stat : 1826 (java) R 1692 1695 1358 0 -1 4202560 11467 12668 0 1 1011 86 8 3 20 0 22 0 14990698 11395665920 198787 33554432000 4194304 4196468 140721473576496 140173854206880 140173927076583 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1827] ppid=1692 vsize=11128580 CPUtime=11.08 cores=4-7,12-15
/proc/1695/task/1827/stat : 1827 (java) R 1692 1695 1358 0 -1 4202560 8725 12668 0 1 1011 86 8 3 20 0 22 0 14990698 11395665920 198787 33554432000 4194304 4196468 140721473576496 140173853154568 140173927076583 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1836] ppid=1692 vsize=11128580 CPUtime=7.08 cores=4-7,12-15
/proc/1695/task/1836/stat : 1836 (java) S 1692 1695 1358 0 -1 1077944384 17069 12668 0 1 583 114 8 3 20 0 22 0 14990700 11395665920 198787 33554432000 4194304 4196468 140721473576496 140173409038992 140173934458581 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1837] ppid=1692 vsize=11128580 CPUtime=0.11 cores=4-7,12-15
/proc/1695/task/1837/stat : 1837 (java) S 1692 1695 1358 0 -1 1077944384 58 12668 0 1 0 0 8 3 20 0 22 0 14990700 11395665920 198787 33554432000 4194304 4196468 140721473576496 140173407986624 140173934458581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1838] ppid=1692 vsize=11128580 CPUtime=0.11 cores=4-7,12-15
/proc/1695/task/1838/stat : 1838 (java) S 1692 1695 1358 0 -1 1077944384 53 12668 0 1 0 0 8 3 20 0 22 0 14990700 11395665920 198787 33554432000 4194304 4196468 140721473576496 140173406934016 140173934458581 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1842] ppid=1692 vsize=11128580 CPUtime=0.11 cores=4-7,12-15
/proc/1695/task/1842/stat : 1842 (java) S 1692 1695 1358 0 -1 1077944384 74 12668 0 1 0 0 8 3 20 0 22 0 14990704 11395665920 198787 33554432000 4194304 4196468 140721473576496 140173405882576 140173934466971 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1843] ppid=1692 vsize=11128580 CPUtime=12.45 cores=4-7,12-15
/proc/1695/task/1843/stat : 1843 (java) S 1692 1695 1358 0 -1 1077944384 13341 12668 0 1 1230 4 8 3 20 0 22 0 14990704 11395665920 198787 33554432000 4194304 4196468 140721473576496 140173404830192 140173934459522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1844] ppid=1692 vsize=11128580 CPUtime=12.34 cores=4-7,12-15
/proc/1695/task/1844/stat : 1844 (java) S 1692 1695 1358 0 -1 1077944384 8781 12668 0 1 1219 4 8 3 20 0 22 0 14990704 11395665920 198787 33554432000 4194304 4196468 140721473576496 140173403777648 140173934459522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1845] ppid=1692 vsize=11128580 CPUtime=12.69 cores=4-7,12-15
/proc/1695/task/1845/stat : 1845 (java) S 1692 1695 1358 0 -1 1077944384 10414 12668 0 1 1254 4 8 3 20 0 22 0 14990704 11395665920 198787 33554432000 4194304 4196468 140721473576496 140173402725104 140173934459522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1846] ppid=1692 vsize=11128580 CPUtime=5.96 cores=4-7,12-15
/proc/1695/task/1846/stat : 1846 (java) S 1692 1695 1358 0 -1 1077944384 17028 12668 0 1 578 7 8 3 20 0 22 0 14990704 11395665920 198787 33554432000 4194304 4196468 140721473576496 140173401670064 140173934458581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1847] ppid=1692 vsize=11128580 CPUtime=0.11 cores=4-7,12-15
/proc/1695/task/1847/stat : 1847 (java) S 1692 1695 1358 0 -1 1077944384 3 12668 0 1 0 0 8 3 20 0 22 0 14990704 11395665920 198787 33554432000 4194304 4196468 140721473576496 140173400619232 140173934458581 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
[pid=1695/tid=1854] ppid=1692 vsize=11128580 CPUtime=1.38 cores=4-7,12-15
/proc/1695/task/1854/stat : 1854 (java) S 1692 1695 1358 0 -1 1077944384 975 12668 0 1 58 69 8 3 20 0 22 0 14990707 11395665920 198787 33554432000 4194304 4196468 140721473576496 140173399566768 140173934459522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36548608 140721473579713 140721473582487 140721473582487 140721473585103 0
Current children cumulated CPU time (s) 2400.97
Current children cumulated vsize (KiB) 11128580
Child status: 143
Real time (s): 2284.69
CPU time (s): 2401.24
CPU user time (s): 2391.93
CPU system time (s): 9.31008
CPU usage (%): 105.101
Max. virtual memory (cumulated for all children) (KiB): 11128580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2391.93
system time used= 9.31008
maximum resident set size= 1359192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 336615
page faults= 1
swaps= 0
block input operations= 3896
block output operations= 2656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 289248
involuntary context switches= 172737
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.273 second user time and 21.7142 second system time
The end