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-4248397-1500745513/watcher-4248397-1500745513 -o /tmp/evaluation-result-4248397-1500745513/solver-4248397-1500745513 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node146-1500717875-23066 --watchdog 2560 bin/concrete HOME/instance-4248397-1500745513.xml
pid=30785
running on 8 cores: 1,3,5,7,9,11,13,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.19 1.35 1.43 3/262 30788
/proc/meminfo: memFree=31024760/32770624 swapFree=5756/322496
[pid=30788] ppid=30785 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30788/stat : 30788 (bash) S 30785 30788 23034 0 -1 4202496 686 1534 0 0 0 0 0 0 20 0 1 0 9816625 9736192 350 33554432000 4194304 5098028 140725621976640 140725621974280 139709862669312 0 0 4100 65536 18446744071580971376 0 0 17 9 0 0 0 0 0 7196144 7232144 11161600 140725621982478 140725621982563 140725621982563 140725621985262 0
/proc/30788/statm: 2377 350 277 221 0 86 0
[startup+0.100091 s]
/proc/loadavg: 1.19 1.35 1.43 3/262 30788
/proc/meminfo: memFree=31024760/32770624 swapFree=5756/322496
[pid=30788] ppid=30785 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/30788/stat : 30788 (bash) S 30785 30788 23034 0 -1 4202496 880 6421 0 0 0 0 0 1 20 0 1 0 9816625 9871360 378 33554432000 4194304 5098028 140725621976640 140725621970648 139709862669312 0 0 4100 65536 18446744071580971376 0 0 17 9 0 0 0 0 0 7196144 7232144 11161600 140725621982478 140725621982563 140725621982563 140725621985262 0
/proc/30788/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640
[startup+0.200315 s]
/proc/loadavg: 1.19 1.35 1.43 3/262 30788
/proc/meminfo: memFree=31024760/32770624 swapFree=5756/322496
[pid=30788] ppid=30785 vsize=10435860 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/30788/stat : 30788 (java) S 30785 30788 23034 0 -1 1077944320 5119 12544 0 0 5 1 8 3 20 0 13 0 9816625 10686320640 5487 33554432000 4194304 4196468 140736342695680 140736342678224 139961014771447 0 0 0 16800971 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
/proc/30788/statm: 2608965 5487 2171 1 0 2597403 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 10435860
[startup+0.300329 s]
/proc/loadavg: 1.19 1.35 1.43 3/262 30788
/proc/meminfo: memFree=31024760/32770624 swapFree=5756/322496
[pid=30788] ppid=30785 vsize=10902392 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/30788/stat : 30788 (java) S 30785 30788 23034 0 -1 1077944320 7390 12544 0 0 23 2 8 3 20 0 20 0 9816625 11164049408 9056 33554432000 4194304 4196468 140736342695680 140736342678224 139961014771447 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
/proc/30788/statm: 2725598 9056 2974 1 0 2713890 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 10902392
[startup+0.700233 s]
/proc/loadavg: 1.19 1.35 1.43 3/262 30788
/proc/meminfo: memFree=31024760/32770624 swapFree=5756/322496
[pid=30788] ppid=30785 vsize=10902720 CPUtime=0.91 cores=1,3,5,7,9,11,13,15
/proc/30788/stat : 30788 (java) S 30785 30788 23034 0 -1 1077944320 12451 12544 0 0 76 4 8 3 20 0 20 0 9816625 11164385280 15755 33554432000 4194304 4196468 140736342695680 140736342678224 139961014771447 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
/proc/30788/statm: 2725680 15755 3158 1 0 2713890 0
Current children cumulated CPU time (s) 0.91
Current children cumulated vsize (KiB) 10902720
[startup+1.50085 s]
/proc/loadavg: 1.19 1.35 1.43 3/282 30861
/proc/meminfo: memFree=30922740/32770624 swapFree=5756/322528
[pid=30788] ppid=30785 vsize=10913344 CPUtime=2.3 cores=1,3,5,7,9,11,13,15
/proc/30788/stat : 30788 (java) S 30785 30788 23034 0 -1 1077944320 26814 12544 0 0 206 13 8 3 20 0 20 0 9816625 11175264256 44140 33554432000 4194304 4196468 140736342695680 140736342678224 139961014771447 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
/proc/30788/statm: 2728336 44140 3406 1 0 2716450 0
[pid=30788/tid=30843] ppid=30785 vsize=10913344 CPUtime=1.42 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30843/stat : 30843 (java) R 30785 30788 23034 0 -1 4202560 19244 12544 0 0 126 5 8 3 20 0 20 0 9816638 11175264256 44140 33554432000 4194304 4196468 140736342695680 139961018997952 139960996177722 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30844] ppid=30785 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30844/stat : 30844 (java) S 30785 30788 23034 0 -1 1077944384 17 12544 0 0 1 0 8 3 20 0 20 0 9816639 11175264256 44140 33554432000 4194304 4196468 140736342695680 139960973531792 139961014781653 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30845] ppid=30785 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30845/stat : 30845 (java) S 30785 30788 23034 0 -1 1077944384 19 12544 0 0 0 0 8 3 20 0 20 0 9816639 11175264256 44140 33554432000 4194304 4196468 140736342695680 139960620231184 139961014781653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30846] ppid=30785 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30846/stat : 30846 (java) S 30785 30788 23034 0 -1 1077944384 22 12544 0 0 1 0 8 3 20 0 20 0 9816639 11175264256 44140 33554432000 4194304 4196468 140736342695680 139960619178384 139961014781653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30847] ppid=30785 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30847/stat : 30847 (java) S 30785 30788 23034 0 -1 1077944384 24 12544 0 0 0 0 8 3 20 0 20 0 9816639 11175264256 44140 33554432000 4194304 4196468 140736342695680 139960618125584 139961014781653 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30848] ppid=30785 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30848/stat : 30848 (java) S 30785 30788 23034 0 -1 1077944384 56 12544 0 0 1 0 8 3 20 0 20 0 9816639 11175264256 44140 33554432000 4194304 4196468 140736342695680 139960617073808 139961014781653 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30849] ppid=30785 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30849/stat : 30849 (java) S 30785 30788 23034 0 -1 1077944384 128 12544 0 0 1 0 8 3 20 0 20 0 9816639 11175264256 44140 33554432000 4194304 4196468 140736342695680 139960616021008 139961014781653 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30850] ppid=30785 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30850/stat : 30850 (java) S 30785 30788 23034 0 -1 1077944384 31 12544 0 0 0 0 8 3 20 0 20 0 9816639 11175264256 44140 33554432000 4194304 4196468 140736342695680 139960614968208 139961014781653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30851] ppid=30785 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30851/stat : 30851 (java) S 30785 30788 23034 0 -1 1077944384 17 12544 0 0 0 0 8 3 20 0 20 0 9816639 11175264256 44140 33554432000 4194304 4196468 140736342695680 139960613915408 139961014781653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30852] ppid=30785 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30852/stat : 30852 (java) S 30785 30788 23034 0 -1 1077944384 1567 12544 0 0 1 0 8 3 20 0 20 0 9816640 11175264256 44140 33554432000 4194304 4196468 140736342695680 139960489290096 139961014782594 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30853] ppid=30785 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30853/stat : 30853 (java) S 30785 30788 23034 0 -1 1077944384 56 12544 0 0 0 0 8 3 20 0 20 0 9816641 11175264256 44140 33554432000 4194304 4196468 140736342695680 139960488236128 139961014781653 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30854] ppid=30785 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30854/stat : 30854 (java) S 30785 30788 23034 0 -1 1077944384 43 12544 0 0 0 0 8 3 20 0 20 0 9816642 11175264256 44140 33554432000 4194304 4196468 140736342695680 139960487183232 139961014781653 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30855] ppid=30785 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30855/stat : 30855 (java) S 30785 30788 23034 0 -1 1077944384 1 12544 0 0 0 0 8 3 20 0 20 0 9816646 11175264256 44140 33554432000 4194304 4196468 140736342695680 139960486131536 139961014790043 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30856] ppid=30785 vsize=10913344 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30856/stat : 30856 (java) S 30785 30788 23034 0 -1 1077944384 1029 12544 0 0 15 0 8 3 20 0 20 0 9816646 11175264256 44140 33554432000 4194304 4196468 140736342695680 139960485079920 139961014782594 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30857] ppid=30785 vsize=10913344 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30857/stat : 30857 (java) S 30785 30788 23034 0 -1 1077944384 459 12544 0 0 13 0 8 3 20 0 20 0 9816646 11175264256 44140 33554432000 4194304 4196468 140736342695680 139960484027120 139961014782594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30858] ppid=30785 vsize=10913344 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30858/stat : 30858 (java) R 30785 30788 23034 0 -1 1077944384 703 12544 0 0 14 0 8 3 20 0 20 0 9816646 11175264256 44140 33554432000 4194304 4196468 140736342695680 139960482974320 139961014782594 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30859] ppid=30785 vsize=10913344 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30859/stat : 30859 (java) R 30785 30788 23034 0 -1 4202560 1263 12544 0 0 26 0 8 3 20 0 20 0 9816646 11175264256 44140 33554432000 4194304 4196468 140736342695680 139960481921520 139961007868283 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30860] ppid=30785 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30860/stat : 30860 (java) S 30785 30788 23034 0 -1 1077944384 3 12544 0 0 0 0 8 3 20 0 20 0 9816646 11175264256 44140 33554432000 4194304 4196468 140736342695680 139960480868960 139961014781653 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30861] ppid=30785 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30861/stat : 30861 (java) S 30785 30788 23034 0 -1 1077944384 3 12544 0 0 0 0 8 3 20 0 20 0 9816647 11175264256 44140 33554432000 4194304 4196468 140736342695680 139960479816240 139961014782594 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
Current children cumulated CPU time (s) 2.3
Current children cumulated vsize (KiB) 10913344
[startup+3.10117 s]
/proc/loadavg: 1.19 1.35 1.43 4/282 30861
/proc/meminfo: memFree=30853672/32770624 swapFree=5756/322528
[pid=30788] ppid=30785 vsize=10993404 CPUtime=6.1 cores=1,3,5,7,9,11,13,15
/proc/30788/stat : 30788 (java) S 30785 30788 23034 0 -1 1077944320 58678 12544 0 0 574 25 8 3 20 0 20 0 9816625 11257245696 69868 33554432000 4194304 4196468 140736342695680 140736342678224 139961014771447 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
/proc/30788/statm: 2748351 69868 3477 1 0 2735906 0
[pid=30788/tid=30843] ppid=30785 vsize=10993404 CPUtime=2.99 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30843/stat : 30843 (java) S 30785 30788 23034 0 -1 1077944384 40721 12544 0 0 279 9 8 3 20 0 20 0 9816638 11257245696 69868 33554432000 4194304 4196468 140736342695680 139961018996016 139961014781653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30844] ppid=30785 vsize=10993404 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30844/stat : 30844 (java) S 30785 30788 23034 0 -1 1077944384 24 12544 0 0 1 0 8 3 20 0 20 0 9816639 11257245696 69868 33554432000 4194304 4196468 140736342695680 139960973531792 139961014781653 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30845] ppid=30785 vsize=10993404 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30845/stat : 30845 (java) S 30785 30788 23034 0 -1 1077944384 26 12544 0 0 1 1 8 3 20 0 20 0 9816639 11257245696 69868 33554432000 4194304 4196468 140736342695680 139960620231184 139961014781653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30846] ppid=30785 vsize=10993404 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30846/stat : 30846 (java) S 30785 30788 23034 0 -1 1077944384 63 12544 0 0 1 1 8 3 20 0 20 0 9816639 11257245696 69868 33554432000 4194304 4196468 140736342695680 139960619178384 139961014781653 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30847] ppid=30785 vsize=10993404 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30847/stat : 30847 (java) S 30785 30788 23034 0 -1 1077944384 25 12544 0 0 1 0 8 3 20 0 20 0 9816639 11257245696 69868 33554432000 4194304 4196468 140736342695680 139960618125584 139961014781653 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30848] ppid=30785 vsize=10993404 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30848/stat : 30848 (java) S 30785 30788 23034 0 -1 1077944384 68 12544 0 0 1 1 8 3 20 0 20 0 9816639 11257245696 69868 33554432000 4194304 4196468 140736342695680 139960617073808 139961014781653 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30849] ppid=30785 vsize=10993404 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30849/stat : 30849 (java) S 30785 30788 23034 0 -1 1077944384 146 12544 0 0 1 0 8 3 20 0 20 0 9816639 11257245696 69868 33554432000 4194304 4196468 140736342695680 139960616021008 139961014781653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30850] ppid=30785 vsize=10993404 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30850/stat : 30850 (java) S 30785 30788 23034 0 -1 1077944384 80 12544 0 0 1 0 8 3 20 0 20 0 9816639 11257245696 69868 33554432000 4194304 4196468 140736342695680 139960614968208 139961014781653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30851] ppid=30785 vsize=10993404 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30851/stat : 30851 (java) S 30785 30788 23034 0 -1 1077944384 36 12544 0 0 1 0 8 3 20 0 20 0 9816639 11257245696 69868 33554432000 4194304 4196468 140736342695680 139960613915408 139961014781653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30852] ppid=30785 vsize=10993404 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30852/stat : 30852 (java) R 30785 30788 23034 0 -1 4202560 1823 12544 0 0 2 0 8 3 20 0 20 0 9816640 11257245696 69868 33554432000 4194304 4196468 140736342695680 139960489288384 139960996409773 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30853] ppid=30785 vsize=10993404 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30853/stat : 30853 (java) S 30785 30788 23034 0 -1 1077944384 56 12544 0 0 0 0 8 3 20 0 20 0 9816641 11257245696 69868 33554432000 4194304 4196468 140736342695680 139960488236128 139961014781653 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30854] ppid=30785 vsize=10993404 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30854/stat : 30854 (java) S 30785 30788 23034 0 -1 1077944384 43 12544 0 0 0 0 8 3 20 0 20 0 9816642 11257245696 69868 33554432000 4194304 4196468 140736342695680 139960487183232 139961014781653 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30855] ppid=30785 vsize=10993404 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30855/stat : 30855 (java) S 30785 30788 23034 0 -1 1077944384 1 12544 0 0 0 0 8 3 20 0 20 0 9816646 11257245696 69868 33554432000 4194304 4196468 140736342695680 139960486131536 139961014790043 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30856] ppid=30785 vsize=10993404 CPUtime=0.61 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30856/stat : 30856 (java) S 30785 30788 23034 0 -1 1077944384 2162 12544 0 0 49 1 8 3 20 0 20 0 9816646 11257245696 69868 33554432000 4194304 4196468 140736342695680 139960485079920 139961014782594 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30857] ppid=30785 vsize=10993404 CPUtime=0.9 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30857/stat : 30857 (java) S 30785 30788 23034 0 -1 1077944384 4167 12544 0 0 78 1 8 3 20 0 20 0 9816646 11257245696 69868 33554432000 4194304 4196468 140736342695680 139960484027120 139961014782594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30858] ppid=30785 vsize=10993404 CPUtime=0.76 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30858/stat : 30858 (java) R 30785 30788 23034 0 -1 4202560 3660 12544 0 0 63 2 8 3 20 0 20 0 9816646 11257245696 69868 33554432000 4194304 4196468 140736342695680 139960482960504 139960998677452 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30859] ppid=30785 vsize=10993404 CPUtime=1 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30859/stat : 30859 (java) S 30785 30788 23034 0 -1 1077944384 3439 12544 0 0 87 2 8 3 20 0 20 0 9816646 11257245696 69868 33554432000 4194304 4196468 140736342695680 139960481915840 139961014781653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30860] ppid=30785 vsize=10993404 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30860/stat : 30860 (java) S 30785 30788 23034 0 -1 1077944384 3 12544 0 0 0 0 8 3 20 0 20 0 9816646 11257245696 69868 33554432000 4194304 4196468 140736342695680 139960480868960 139961014781653 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30861] ppid=30785 vsize=10993404 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30861/stat : 30861 (java) S 30785 30788 23034 0 -1 1077944384 5 12544 0 0 0 0 8 3 20 0 20 0 9816647 11257245696 69868 33554432000 4194304 4196468 140736342695680 139960479816240 139961014782594 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 10993404
[startup+6.3009 s]
/proc/loadavg: 1.34 1.38 1.44 4/282 30861
/proc/meminfo: memFree=30617768/32770624 swapFree=5756/322548
[pid=30788] ppid=30785 vsize=10995452 CPUtime=14.75 cores=1,3,5,7,9,11,13,15
/proc/30788/stat : 30788 (java) S 30785 30788 23034 0 -1 1077944320 64825 12544 0 0 1428 36 8 3 20 0 20 0 9816625 11259342848 127439 33554432000 4194304 4196468 140736342695680 140736342678224 139961014771447 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
/proc/30788/statm: 2748863 127439 3489 1 0 2736418 0
[pid=30788/tid=30843] ppid=30785 vsize=10995452 CPUtime=5.97 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30843/stat : 30843 (java) R 30785 30788 23034 0 -1 4202560 41208 12544 0 0 574 12 8 3 20 0 20 0 9816638 11259342848 127439 33554432000 4194304 4196468 140736342695680 139961019004944 139960661926183 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30844] ppid=30785 vsize=10995452 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30844/stat : 30844 (java) S 30785 30788 23034 0 -1 1077944384 36 12544 0 0 13 1 8 3 20 0 20 0 9816639 11259342848 127439 33554432000 4194304 4196468 140736342695680 139960973531792 139961014781653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30845] ppid=30785 vsize=10995452 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30845/stat : 30845 (java) S 30785 30788 23034 0 -1 1077944384 38 12544 0 0 9 1 8 3 20 0 20 0 9816639 11259342848 127439 33554432000 4194304 4196468 140736342695680 139960620231184 139961014781653 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30846] ppid=30785 vsize=10995452 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30846/stat : 30846 (java) S 30785 30788 23034 0 -1 1077944384 75 12544 0 0 10 1 8 3 20 0 20 0 9816639 11259342848 127439 33554432000 4194304 4196468 140736342695680 139960619178384 139961014781653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30847] ppid=30785 vsize=10995452 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30847/stat : 30847 (java) S 30785 30788 23034 0 -1 1077944384 36 12544 0 0 12 1 8 3 20 0 20 0 9816639 11259342848 127439 33554432000 4194304 4196468 140736342695680 139960618125584 139961014781653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30848] ppid=30785 vsize=10995452 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30848/stat : 30848 (java) S 30785 30788 23034 0 -1 1077944384 83 12544 0 0 13 1 8 3 20 0 20 0 9816639 11259342848 127439 33554432000 4194304 4196468 140736342695680 139960617073808 139961014781653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30849] ppid=30785 vsize=10995452 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30849/stat : 30849 (java) S 30785 30788 23034 0 -1 1077944384 155 12544 0 0 12 1 8 3 20 0 20 0 9816639 11259342848 127439 33554432000 4194304 4196468 140736342695680 139960616021008 139961014781653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30850] ppid=30785 vsize=10995452 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30850/stat : 30850 (java) S 30785 30788 23034 0 -1 1077944384 92 12544 0 0 13 1 8 3 20 0 20 0 9816639 11259342848 127439 33554432000 4194304 4196468 140736342695680 139960614968208 139961014781653 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30851] ppid=30785 vsize=10995452 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30851/stat : 30851 (java) S 30785 30788 23034 0 -1 1077944384 49 12544 0 0 12 1 8 3 20 0 20 0 9816639 11259342848 127439 33554432000 4194304 4196468 140736342695680 139960613915408 139961014781653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30852] ppid=30785 vsize=10995452 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30852/stat : 30852 (java) S 30785 30788 23034 0 -1 1077944384 2439 12544 0 0 10 0 8 3 20 0 20 0 9816640 11259342848 127439 33554432000 4194304 4196468 140736342695680 139960489290096 139961014782594 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30853] ppid=30785 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30853/stat : 30853 (java) S 30785 30788 23034 0 -1 1077944384 60 12544 0 0 0 0 8 3 20 0 20 0 9816641 11259342848 127439 33554432000 4194304 4196468 140736342695680 139960488236192 139961014781653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30854] ppid=30785 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30854/stat : 30854 (java) S 30785 30788 23034 0 -1 1077944384 44 12544 0 0 0 0 8 3 20 0 20 0 9816642 11259342848 127439 33554432000 4194304 4196468 140736342695680 139960487183232 139961014781653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30855] ppid=30785 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30855/stat : 30855 (java) S 30785 30788 23034 0 -1 1077944384 1 12544 0 0 0 0 8 3 20 0 20 0 9816646 11259342848 127439 33554432000 4194304 4196468 140736342695680 139960486131536 139961014790043 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30856] ppid=30785 vsize=10995452 CPUtime=1.87 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30856/stat : 30856 (java) S 30785 30788 23034 0 -1 1077944384 2783 12544 0 0 175 1 8 3 20 0 20 0 9816646 11259342848 127439 33554432000 4194304 4196468 140736342695680 139960485079920 139961014782594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30857] ppid=30785 vsize=10995452 CPUtime=2.19 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30857/stat : 30857 (java) S 30785 30788 23034 0 -1 1077944384 4994 12544 0 0 207 1 8 3 20 0 20 0 9816646 11259342848 127439 33554432000 4194304 4196468 140736342695680 139960484027120 139961014782594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30858] ppid=30785 vsize=10995452 CPUtime=2.35 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30858/stat : 30858 (java) S 30785 30788 23034 0 -1 1077944384 6306 12544 0 0 222 2 8 3 20 0 20 0 9816646 11259342848 127439 33554432000 4194304 4196468 140736342695680 139960482974320 139961014782594 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30859] ppid=30785 vsize=10995452 CPUtime=1.52 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30859/stat : 30859 (java) S 30785 30788 23034 0 -1 1077944384 4284 12544 0 0 138 3 8 3 20 0 20 0 9816646 11259342848 127439 33554432000 4194304 4196468 140736342695680 139960481921520 139961014782594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30860] ppid=30785 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
################
# More data... #
################
[pid=30788/tid=30857] ppid=30785 vsize=10995452 CPUtime=7.59 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30857/stat : 30857 (java) S 30785 30788 23034 0 -1 1077944384 8170 12544 0 0 744 4 8 3 20 0 20 0 9816646 11259342848 269299 33554432000 4194304 4196468 140736342695680 139960484027120 139961014782594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30858] ppid=30785 vsize=10995452 CPUtime=8.02 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30858/stat : 30858 (java) S 30785 30788 23034 0 -1 1077944384 10237 12544 0 0 785 6 8 3 20 0 20 0 9816646 11259342848 269299 33554432000 4194304 4196468 140736342695680 139960482974320 139961014782594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30859] ppid=30785 vsize=10995452 CPUtime=3.38 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30859/stat : 30859 (java) S 30785 30788 23034 0 -1 1077944384 12888 12544 0 0 321 6 8 3 20 0 20 0 9816646 11259342848 269299 33554432000 4194304 4196468 140736342695680 139960481921520 139961014782594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30860] ppid=30785 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30860/stat : 30860 (java) S 30785 30788 23034 0 -1 1077944384 3 12544 0 0 0 0 8 3 20 0 20 0 9816646 11259342848 269299 33554432000 4194304 4196468 140736342695680 139960480868960 139961014781653 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30861] ppid=30785 vsize=10995452 CPUtime=1.33 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30861/stat : 30861 (java) S 30785 30788 23034 0 -1 1077944384 764 12544 0 0 57 65 8 3 20 0 20 0 9816647 11259342848 269299 33554432000 4194304 4196468 140736342695680 139960479816240 139961014782594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
Current children cumulated CPU time (s) 2281.41
Current children cumulated vsize (KiB) 10995452
[startup+2262.3 s]
/proc/loadavg: 1.56 1.45 1.47 3/282 31094
/proc/meminfo: memFree=28042132/32770624 swapFree=5756/323980
[pid=30788] ppid=30785 vsize=10995452 CPUtime=2342.88 cores=1,3,5,7,9,11,13,15
/proc/30788/stat : 30788 (java) S 30785 30788 23034 0 -1 1077944320 192685 12544 0 0 233816 461 8 3 20 0 20 0 9816625 11259342848 269315 33554432000 4194304 4196468 140736342695680 140736342678224 139961014771447 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
/proc/30788/statm: 2748863 269315 3502 1 0 2736418 0
[pid=30788/tid=30843] ppid=30785 vsize=10995452 CPUtime=2241.86 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30843/stat : 30843 (java) R 30785 30788 23034 0 -1 4202560 81424 12544 0 0 224131 44 8 3 20 0 20 0 9816638 11259342848 269315 33554432000 4194304 4196468 140736342695680 139961019005584 139960657740430 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30844] ppid=30785 vsize=10995452 CPUtime=8.25 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30844/stat : 30844 (java) S 30785 30788 23034 0 -1 1077944384 6966 12544 0 0 772 42 8 3 20 0 20 0 9816639 11259342848 269315 33554432000 4194304 4196468 140736342695680 139960973531792 139961014781653 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30845] ppid=30785 vsize=10995452 CPUtime=8.31 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30845/stat : 30845 (java) S 30785 30788 23034 0 -1 1077944384 5953 12544 0 0 782 38 8 3 20 0 20 0 9816639 11259342848 269315 33554432000 4194304 4196468 140736342695680 139960620231184 139961014781653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30846] ppid=30785 vsize=10995452 CPUtime=8.37 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30846/stat : 30846 (java) S 30785 30788 23034 0 -1 1077944384 5992 12544 0 0 786 40 8 3 20 0 20 0 9816639 11259342848 269315 33554432000 4194304 4196468 140736342695680 139960619178384 139961014781653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30847] ppid=30785 vsize=10995452 CPUtime=8.4 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30847/stat : 30847 (java) S 30785 30788 23034 0 -1 1077944384 7055 12544 0 0 787 42 8 3 20 0 20 0 9816639 11259342848 269315 33554432000 4194304 4196468 140736342695680 139960618125584 139961014781653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30848] ppid=30785 vsize=10995452 CPUtime=8.34 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30848/stat : 30848 (java) S 30785 30788 23034 0 -1 1077944384 5240 12544 0 0 782 41 8 3 20 0 20 0 9816639 11259342848 269315 33554432000 4194304 4196468 140736342695680 139960617073808 139961014781653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30849] ppid=30785 vsize=10995452 CPUtime=8.31 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30849/stat : 30849 (java) S 30785 30788 23034 0 -1 1077944384 7713 12544 0 0 780 40 8 3 20 0 20 0 9816639 11259342848 269315 33554432000 4194304 4196468 140736342695680 139960616021008 139961014781653 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30850] ppid=30785 vsize=10995452 CPUtime=8.39 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30850/stat : 30850 (java) S 30785 30788 23034 0 -1 1077944384 9836 12544 0 0 784 44 8 3 20 0 20 0 9816639 11259342848 269315 33554432000 4194304 4196468 140736342695680 139960614968208 139961014781653 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30851] ppid=30785 vsize=10995452 CPUtime=8.3 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30851/stat : 30851 (java) S 30785 30788 23034 0 -1 1077944384 6593 12544 0 0 779 40 8 3 20 0 20 0 9816639 11259342848 269315 33554432000 4194304 4196468 140736342695680 139960613915408 139961014781653 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30852] ppid=30785 vsize=10995452 CPUtime=7.9 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30852/stat : 30852 (java) S 30785 30788 23034 0 -1 1077944384 15036 12544 0 0 734 45 8 3 20 0 20 0 9816640 11259342848 269315 33554432000 4194304 4196468 140736342695680 139960489290096 139961014782594 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30853] ppid=30785 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30853/stat : 30853 (java) S 30785 30788 23034 0 -1 1077944384 60 12544 0 0 0 0 8 3 20 0 20 0 9816641 11259342848 269315 33554432000 4194304 4196468 140736342695680 139960488236192 139961014781653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30854] ppid=30785 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30854/stat : 30854 (java) S 30785 30788 23034 0 -1 1077944384 44 12544 0 0 0 0 8 3 20 0 20 0 9816642 11259342848 269315 33554432000 4194304 4196468 140736342695680 139960487183232 139961014781653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30855] ppid=30785 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30855/stat : 30855 (java) S 30785 30788 23034 0 -1 1077944384 1 12544 0 0 0 0 8 3 20 0 20 0 9816646 11259342848 269315 33554432000 4194304 4196468 140736342695680 139960486131536 139961014790043 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30856] ppid=30785 vsize=10995452 CPUtime=7.47 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30856/stat : 30856 (java) S 30785 30788 23034 0 -1 1077944384 6557 12544 0 0 732 4 8 3 20 0 20 0 9816646 11259342848 269315 33554432000 4194304 4196468 140736342695680 139960485079920 139961014782594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30857] ppid=30785 vsize=10995452 CPUtime=7.59 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30857/stat : 30857 (java) S 30785 30788 23034 0 -1 1077944384 8172 12544 0 0 744 4 8 3 20 0 20 0 9816646 11259342848 269315 33554432000 4194304 4196468 140736342695680 139960484027120 139961014782594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30858] ppid=30785 vsize=10995452 CPUtime=8.02 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30858/stat : 30858 (java) S 30785 30788 23034 0 -1 1077944384 10239 12544 0 0 785 6 8 3 20 0 20 0 9816646 11259342848 269315 33554432000 4194304 4196468 140736342695680 139960482974320 139961014782594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30859] ppid=30785 vsize=10995452 CPUtime=3.38 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30859/stat : 30859 (java) S 30785 30788 23034 0 -1 1077944384 12890 12544 0 0 321 6 8 3 20 0 20 0 9816646 11259342848 269315 33554432000 4194304 4196468 140736342695680 139960481921520 139961014782594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30860] ppid=30785 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30860/stat : 30860 (java) S 30785 30788 23034 0 -1 1077944384 3 12544 0 0 0 0 8 3 20 0 20 0 9816646 11259342848 269315 33554432000 4194304 4196468 140736342695680 139960480868960 139961014781653 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30861] ppid=30785 vsize=10995452 CPUtime=1.37 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30861/stat : 30861 (java) S 30785 30788 23034 0 -1 1077944384 781 12544 0 0 59 67 8 3 20 0 20 0 9816647 11259342848 269315 33554432000 4194304 4196468 140736342695680 139960479816240 139961014782594 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
Current children cumulated CPU time (s) 2342.88
Current children cumulated vsize (KiB) 10995452
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2318.1 s]
/proc/loadavg: 1.39 1.41 1.46 3/282 31095
/proc/meminfo: memFree=28076704/32770624 swapFree=5756/324040
[pid=30788] ppid=30785 vsize=10995452 CPUtime=2400.08 cores=1,3,5,7,9,11,13,15
/proc/30788/stat : 30788 (java) S 30785 30788 23034 0 -1 1077944320 193804 12544 0 0 239524 473 8 3 20 0 20 0 9816625 11259342848 269340 33554432000 4194304 4196468 140736342695680 140736342678224 139961014771447 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
/proc/30788/statm: 2748863 269340 3502 1 0 2736418 0
[pid=30788/tid=30843] ppid=30785 vsize=10995452 CPUtime=2297.16 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30843/stat : 30843 (java) R 30785 30788 23034 0 -1 4202560 81902 12544 0 0 229660 45 8 3 20 0 20 0 9816638 11259342848 269340 33554432000 4194304 4196468 140736342695680 139961019005056 139960661921321 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30844] ppid=30785 vsize=10995452 CPUtime=8.45 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30844/stat : 30844 (java) S 30785 30788 23034 0 -1 1077944384 6984 12544 0 0 791 43 8 3 20 0 20 0 9816639 11259342848 269340 33554432000 4194304 4196468 140736342695680 139960973531792 139961014781653 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30845] ppid=30785 vsize=10995452 CPUtime=8.52 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30845/stat : 30845 (java) S 30785 30788 23034 0 -1 1077944384 5965 12544 0 0 802 39 8 3 20 0 20 0 9816639 11259342848 269340 33554432000 4194304 4196468 140736342695680 139960620231184 139961014781653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30846] ppid=30785 vsize=10995452 CPUtime=8.59 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30846/stat : 30846 (java) S 30785 30788 23034 0 -1 1077944384 6206 12544 0 0 806 42 8 3 20 0 20 0 9816639 11259342848 269340 33554432000 4194304 4196468 140736342695680 139960619178384 139961014781653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30847] ppid=30785 vsize=10995452 CPUtime=8.61 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30847/stat : 30847 (java) S 30785 30788 23034 0 -1 1077944384 7065 12544 0 0 807 43 8 3 20 0 20 0 9816639 11259342848 269340 33554432000 4194304 4196468 140736342695680 139960618125584 139961014781653 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30848] ppid=30785 vsize=10995452 CPUtime=8.54 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30848/stat : 30848 (java) S 30785 30788 23034 0 -1 1077944384 5306 12544 0 0 801 42 8 3 20 0 20 0 9816639 11259342848 269340 33554432000 4194304 4196468 140736342695680 139960617073808 139961014781653 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30849] ppid=30785 vsize=10995452 CPUtime=8.52 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30849/stat : 30849 (java) S 30785 30788 23034 0 -1 1077944384 7767 12544 0 0 800 41 8 3 20 0 20 0 9816639 11259342848 269340 33554432000 4194304 4196468 140736342695680 139960616021008 139961014781653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30850] ppid=30785 vsize=10995452 CPUtime=8.6 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30850/stat : 30850 (java) S 30785 30788 23034 0 -1 1077944384 9857 12544 0 0 805 44 8 3 20 0 20 0 9816639 11259342848 269340 33554432000 4194304 4196468 140736342695680 139960614968208 139961014781653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30851] ppid=30785 vsize=10995452 CPUtime=8.52 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30851/stat : 30851 (java) S 30785 30788 23034 0 -1 1077944384 6622 12544 0 0 800 41 8 3 20 0 20 0 9816639 11259342848 269340 33554432000 4194304 4196468 140736342695680 139960613915408 139961014781653 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30852] ppid=30785 vsize=10995452 CPUtime=8.08 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30852/stat : 30852 (java) S 30785 30788 23034 0 -1 1077944384 15230 12544 0 0 751 46 8 3 20 0 20 0 9816640 11259342848 269340 33554432000 4194304 4196468 140736342695680 139960489290096 139961014782594 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30853] ppid=30785 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30853/stat : 30853 (java) S 30785 30788 23034 0 -1 1077944384 60 12544 0 0 0 0 8 3 20 0 20 0 9816641 11259342848 269340 33554432000 4194304 4196468 140736342695680 139960488236192 139961014781653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30854] ppid=30785 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30854/stat : 30854 (java) S 30785 30788 23034 0 -1 1077944384 44 12544 0 0 0 0 8 3 20 0 20 0 9816642 11259342848 269340 33554432000 4194304 4196468 140736342695680 139960487183232 139961014781653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30855] ppid=30785 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30855/stat : 30855 (java) S 30785 30788 23034 0 -1 1077944384 1 12544 0 0 0 0 8 3 20 0 20 0 9816646 11259342848 269340 33554432000 4194304 4196468 140736342695680 139960486131536 139961014790043 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30856] ppid=30785 vsize=10995452 CPUtime=7.47 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30856/stat : 30856 (java) S 30785 30788 23034 0 -1 1077944384 6559 12544 0 0 732 4 8 3 20 0 20 0 9816646 11259342848 269340 33554432000 4194304 4196468 140736342695680 139960485079920 139961014782594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30857] ppid=30785 vsize=10995452 CPUtime=7.59 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30857/stat : 30857 (java) S 30785 30788 23034 0 -1 1077944384 8174 12544 0 0 744 4 8 3 20 0 20 0 9816646 11259342848 269340 33554432000 4194304 4196468 140736342695680 139960484027120 139961014782594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30858] ppid=30785 vsize=10995452 CPUtime=8.02 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30858/stat : 30858 (java) S 30785 30788 23034 0 -1 1077944384 10241 12544 0 0 785 6 8 3 20 0 20 0 9816646 11259342848 269340 33554432000 4194304 4196468 140736342695680 139960482974320 139961014782594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30859] ppid=30785 vsize=10995452 CPUtime=3.38 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30859/stat : 30859 (java) S 30785 30788 23034 0 -1 1077944384 12892 12544 0 0 321 6 8 3 20 0 20 0 9816646 11259342848 269340 33554432000 4194304 4196468 140736342695680 139960481921520 139961014782594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30860] ppid=30785 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30860/stat : 30860 (java) S 30785 30788 23034 0 -1 1077944384 3 12544 0 0 0 0 8 3 20 0 20 0 9816646 11259342848 269340 33554432000 4194304 4196468 140736342695680 139960480868960 139961014781653 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30861] ppid=30785 vsize=10995452 CPUtime=1.4 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30861/stat : 30861 (java) S 30785 30788 23034 0 -1 1077944384 796 12544 0 0 61 68 8 3 20 0 20 0 9816647 11259342848 269340 33554432000 4194304 4196468 140736342695680 139960479816240 139961014782594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
Current children cumulated CPU time (s) 2400.08
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 30788 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2318.1 s]
/proc/loadavg: 1.39 1.41 1.46 3/282 31095
/proc/meminfo: memFree=28076704/32770624 swapFree=5756/324040
[pid=30788] ppid=30785 vsize=10995452 CPUtime=2400.08 cores=1,3,5,7,9,11,13,15
/proc/30788/stat : 30788 (java) S 30785 30788 23034 0 -1 1077944320 193804 12544 0 0 239524 473 8 3 20 0 20 0 9816625 11259342848 269340 33554432000 4194304 4196468 140736342695680 140736342678224 139961014771447 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
/proc/30788/statm: 2748863 269340 3502 1 0 2736418 0
[pid=30788/tid=30843] ppid=30785 vsize=10995452 CPUtime=2297.16 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30843/stat : 30843 (java) R 30785 30788 23034 0 -1 4202560 81902 12544 0 0 229660 45 8 3 20 0 20 0 9816638 11259342848 269340 33554432000 4194304 4196468 140736342695680 139961019005056 139960661921321 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30844] ppid=30785 vsize=10995452 CPUtime=8.45 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30844/stat : 30844 (java) S 30785 30788 23034 0 -1 1077944384 6984 12544 0 0 791 43 8 3 20 0 20 0 9816639 11259342848 269340 33554432000 4194304 4196468 140736342695680 139960973531792 139961014781653 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30845] ppid=30785 vsize=10995452 CPUtime=8.52 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30845/stat : 30845 (java) S 30785 30788 23034 0 -1 1077944384 5965 12544 0 0 802 39 8 3 20 0 20 0 9816639 11259342848 269340 33554432000 4194304 4196468 140736342695680 139960620231184 139961014781653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30846] ppid=30785 vsize=10995452 CPUtime=8.59 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30846/stat : 30846 (java) S 30785 30788 23034 0 -1 1077944384 6206 12544 0 0 806 42 8 3 20 0 20 0 9816639 11259342848 269340 33554432000 4194304 4196468 140736342695680 139960619178384 139961014781653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30847] ppid=30785 vsize=10995452 CPUtime=8.61 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30847/stat : 30847 (java) S 30785 30788 23034 0 -1 1077944384 7065 12544 0 0 807 43 8 3 20 0 20 0 9816639 11259342848 269340 33554432000 4194304 4196468 140736342695680 139960618125584 139961014781653 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30848] ppid=30785 vsize=10995452 CPUtime=8.54 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30848/stat : 30848 (java) S 30785 30788 23034 0 -1 1077944384 5306 12544 0 0 801 42 8 3 20 0 20 0 9816639 11259342848 269340 33554432000 4194304 4196468 140736342695680 139960617073808 139961014781653 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30849] ppid=30785 vsize=10995452 CPUtime=8.52 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30849/stat : 30849 (java) S 30785 30788 23034 0 -1 1077944384 7767 12544 0 0 800 41 8 3 20 0 20 0 9816639 11259342848 269340 33554432000 4194304 4196468 140736342695680 139960616021008 139961014781653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30850] ppid=30785 vsize=10995452 CPUtime=8.6 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30850/stat : 30850 (java) S 30785 30788 23034 0 -1 1077944384 9857 12544 0 0 805 44 8 3 20 0 20 0 9816639 11259342848 269340 33554432000 4194304 4196468 140736342695680 139960614968208 139961014781653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30851] ppid=30785 vsize=10995452 CPUtime=8.52 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30851/stat : 30851 (java) S 30785 30788 23034 0 -1 1077944384 6622 12544 0 0 800 41 8 3 20 0 20 0 9816639 11259342848 269340 33554432000 4194304 4196468 140736342695680 139960613915408 139961014781653 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30852] ppid=30785 vsize=10995452 CPUtime=8.08 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30852/stat : 30852 (java) S 30785 30788 23034 0 -1 1077944384 15230 12544 0 0 751 46 8 3 20 0 20 0 9816640 11259342848 269340 33554432000 4194304 4196468 140736342695680 139960489290096 139961014782594 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30853] ppid=30785 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30853/stat : 30853 (java) S 30785 30788 23034 0 -1 1077944384 60 12544 0 0 0 0 8 3 20 0 20 0 9816641 11259342848 269340 33554432000 4194304 4196468 140736342695680 139960488236192 139961014781653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30854] ppid=30785 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30854/stat : 30854 (java) S 30785 30788 23034 0 -1 1077944384 44 12544 0 0 0 0 8 3 20 0 20 0 9816642 11259342848 269340 33554432000 4194304 4196468 140736342695680 139960487183232 139961014781653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30855] ppid=30785 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30855/stat : 30855 (java) S 30785 30788 23034 0 -1 1077944384 1 12544 0 0 0 0 8 3 20 0 20 0 9816646 11259342848 269340 33554432000 4194304 4196468 140736342695680 139960486131536 139961014790043 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30856] ppid=30785 vsize=10995452 CPUtime=7.47 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30856/stat : 30856 (java) S 30785 30788 23034 0 -1 1077944384 6559 12544 0 0 732 4 8 3 20 0 20 0 9816646 11259342848 269340 33554432000 4194304 4196468 140736342695680 139960485079920 139961014782594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30857] ppid=30785 vsize=10995452 CPUtime=7.59 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30857/stat : 30857 (java) S 30785 30788 23034 0 -1 1077944384 8174 12544 0 0 744 4 8 3 20 0 20 0 9816646 11259342848 269340 33554432000 4194304 4196468 140736342695680 139960484027120 139961014782594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30858] ppid=30785 vsize=10995452 CPUtime=8.02 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30858/stat : 30858 (java) S 30785 30788 23034 0 -1 1077944384 10241 12544 0 0 785 6 8 3 20 0 20 0 9816646 11259342848 269340 33554432000 4194304 4196468 140736342695680 139960482974320 139961014782594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30859] ppid=30785 vsize=10995452 CPUtime=3.38 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30859/stat : 30859 (java) S 30785 30788 23034 0 -1 1077944384 12892 12544 0 0 321 6 8 3 20 0 20 0 9816646 11259342848 269340 33554432000 4194304 4196468 140736342695680 139960481921520 139961014782594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30860] ppid=30785 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30860/stat : 30860 (java) S 30785 30788 23034 0 -1 1077944384 3 12544 0 0 0 0 8 3 20 0 20 0 9816646 11259342848 269340 33554432000 4194304 4196468 140736342695680 139960480868960 139961014781653 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
[pid=30788/tid=30861] ppid=30785 vsize=10995452 CPUtime=1.4 cores=1,3,5,7,9,11,13,15
/proc/30788/task/30861/stat : 30861 (java) S 30785 30788 23034 0 -1 1077944384 796 12544 0 0 61 68 8 3 20 0 20 0 9816647 11259342848 269340 33554432000 4194304 4196468 140736342695680 139960479816240 139961014782594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18714624 140736342702785 140736342705559 140736342705559 140736342708175 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 10995452
Child status: 143
Real time (s): 2318.14
CPU time (s): 2400.13
CPU user time (s): 2395.35
CPU system time (s): 4.78361
CPU usage (%): 103.537
Max. virtual memory (cumulated for all children) (KiB): 10997568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.35
system time used= 4.78361
maximum resident set size= 1078076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 207508
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 351322
involuntary context switches= 187055
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.1897 second user time and 22.0209 second system time
The end