runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3478749-1307436784/watcher-3478749-1307436784 -o /tmp/evaluation-result-3478749-1307436784/solver-3478749-1307436784 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3478749-1307436784.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.52 0.35 0.11 2/442 24381
/proc/meminfo: memFree=21883684/32951124 swapFree=44043516/67111528
[pid=24381] ppid=24379 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/24381/stat : 24381 (java) S 24379 24381 24324 0 -1 4202496 3874 0 1 0 0 0 0 0 19 0 2 0 855278347 10694979584 3576 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528636901 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/24381/statm: 2611079 3590 917 9 0 2602235 0
[pid=24381/tid=24382] ppid=24379 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24382/stat : 24382 (java) R 24379 24381 24324 0 -1 4202560 5500 0 1 0 0 0 0 0 20 0 2 0 855278347 10694979584 6316 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246516528187 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.0735231 s]
/proc/loadavg: 1.52 0.35 0.11 2/442 24381
/proc/meminfo: memFree=21883684/32951124 swapFree=44043516/67111528
[pid=24381] ppid=24379 vsize=10473088 CPUtime=0.06 cores=0,2,4,6
/proc/24381/stat : 24381 (java) S 24379 24381 24324 0 -1 4202496 11951 0 1 0 5 1 0 0 19 0 18 0 855278347 10724442112 11648 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24381/statm: 2618272 11649 1755 9 0 2609006 0
[pid=24381/tid=24382] ppid=24379 vsize=10473088 CPUtime=0.06 cores=0,2,4,6
/proc/24381/task/24382/stat : 24382 (java) R 24379 24381 24324 0 -1 4202560 10778 0 1 0 5 1 0 0 22 0 18 0 855278347 10724442112 11649 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 47455994899283 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10473088
[startup+0.100522 s]
/proc/loadavg: 1.52 0.35 0.11 2/442 24381
/proc/meminfo: memFree=21883684/32951124 swapFree=44043516/67111528
[pid=24381] ppid=24379 vsize=10540260 CPUtime=0.1 cores=0,2,4,6
/proc/24381/stat : 24381 (java) S 24379 24381 24324 0 -1 4202496 13052 0 1 0 9 1 0 0 19 0 18 0 855278347 10793226240 12749 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24381/statm: 2635065 12750 2092 9 0 2625799 0
[pid=24381/tid=24382] ppid=24379 vsize=10540260 CPUtime=0.08 cores=0,2,4,6
/proc/24381/task/24382/stat : 24382 (java) R 24379 24381 24324 0 -1 4202560 11126 0 1 0 7 1 0 0 18 0 18 0 855278347 10793226240 12750 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528660939 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540260
[startup+0.306497 s]
/proc/loadavg: 1.52 0.35 0.11 2/442 24381
/proc/meminfo: memFree=21883684/32951124 swapFree=44043516/67111528
[pid=24381] ppid=24379 vsize=10540260 CPUtime=0.47 cores=0,2,4,6
/proc/24381/stat : 24381 (java) S 24379 24381 24324 0 -1 4202496 19264 0 1 0 45 2 0 0 19 0 18 0 855278347 10793226240 18554 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24381/statm: 2635065 18555 2200 9 0 2625799 0
[pid=24381/tid=24382] ppid=24379 vsize=10540260 CPUtime=0.29 cores=0,2,4,6
/proc/24381/task/24382/stat : 24382 (java) R 24379 24381 24324 0 -1 4202560 16198 0 1 0 27 2 0 0 18 0 18 0 855278347 10793226240 18555 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10540260
[startup+0.700414 s]
/proc/loadavg: 1.52 0.35 0.11 2/442 24381
/proc/meminfo: memFree=21883684/32951124 swapFree=44043516/67111528
[pid=24381] ppid=24379 vsize=10544808 CPUtime=1.16 cores=0,2,4,6
/proc/24381/stat : 24381 (java) S 24379 24381 24324 0 -1 4202496 51029 0 1 0 109 7 0 0 19 0 18 0 855278347 10797883392 48509 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24381/statm: 2636202 48512 2217 9 0 2626936 0
[pid=24381/tid=24382] ppid=24379 vsize=10544808 CPUtime=0.68 cores=0,2,4,6
/proc/24381/task/24382/stat : 24382 (java) R 24379 24381 24324 0 -1 4202560 44147 0 1 0 63 5 0 0 18 0 18 0 855278347 10797883392 48514 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 46912505579211 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 10544808
[startup+1.50132 s]
/proc/loadavg: 1.52 0.35 0.11 3/460 24399
/proc/meminfo: memFree=21443188/32951124 swapFree=44043516/67111528
[pid=24381] ppid=24379 vsize=10544808 CPUtime=2 cores=0,2,4,6
/proc/24381/stat : 24381 (java) S 24379 24381 24324 0 -1 4202496 128942 0 1 0 184 16 0 0 19 0 18 0 855278347 10797883392 126382 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24381/statm: 2636202 126386 2217 9 0 2626936 0
[pid=24381/tid=24382] ppid=24379 vsize=10544808 CPUtime=1.48 cores=0,2,4,6
/proc/24381/task/24382/stat : 24382 (java) R 24379 24381 24324 0 -1 4202560 122010 0 1 0 133 15 0 0 19 0 18 0 855278347 10797883392 126389 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 46912505546230 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24381/tid=24384] ppid=24379 vsize=10544808 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24384/stat : 24384 (java) S 24379 24381 24324 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 855278349 10797883392 126391 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 4 0 0 0
[pid=24381/tid=24385] ppid=24379 vsize=10544808 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24385/stat : 24385 (java) S 24379 24381 24324 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 855278349 10797883392 126394 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 4 0 0 0
[pid=24381/tid=24386] ppid=24379 vsize=10544808 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24386/stat : 24386 (java) S 24379 24381 24324 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 855278349 10797883392 126397 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 4 0 0 0
[pid=24381/tid=24387] ppid=24379 vsize=10544808 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24387/stat : 24387 (java) S 24379 24381 24324 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 855278349 10797883392 126400 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 4 0 0 0
[pid=24381/tid=24388] ppid=24379 vsize=10544808 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24388/stat : 24388 (java) S 24379 24381 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855278349 10797883392 126402 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 2 0 0 0
[pid=24381/tid=24389] ppid=24379 vsize=10544808 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24389/stat : 24389 (java) S 24379 24381 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855278349 10797883392 126405 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 6 0 0 0
[pid=24381/tid=24390] ppid=24379 vsize=10544808 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24390/stat : 24390 (java) S 24379 24381 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855278349 10797883392 126408 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 6 0 0 0
[pid=24381/tid=24391] ppid=24379 vsize=10544808 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24391/stat : 24391 (java) S 24379 24381 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855278349 10797883392 126410 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 6 0 0 0
[pid=24381/tid=24392] ppid=24379 vsize=10544808 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24392/stat : 24392 (java) S 24379 24381 24324 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 855278350 10797883392 126413 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650752 0 0 0 16800975 18446604450142405824 0 0 -1 4 0 0 0
[pid=24381/tid=24393] ppid=24379 vsize=10544808 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24393/stat : 24393 (java) S 24379 24381 24324 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 855278350 10797883392 126415 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 4 0 0 0
[pid=24381/tid=24394] ppid=24379 vsize=10544808 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24394/stat : 24394 (java) S 24379 24381 24324 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 855278350 10797883392 126418 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 4 0 0 0
[pid=24381/tid=24395] ppid=24379 vsize=10544808 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24395/stat : 24395 (java) S 24379 24381 24324 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 855278352 10797883392 126421 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528657841 0 4 0 16800975 18446604450142405824 0 0 -1 4 0 0 0
[pid=24381/tid=24396] ppid=24379 vsize=10544808 CPUtime=0.25 cores=0,2,4,6
/proc/24381/task/24396/stat : 24396 (java) S 24379 24381 24324 0 -1 4202560 2905 0 0 0 25 0 0 0 16 0 18 0 855278352 10797883392 126423 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 2 0 0 0
[pid=24381/tid=24397] ppid=24379 vsize=10544808 CPUtime=0.25 cores=0,2,4,6
/proc/24381/task/24397/stat : 24397 (java) S 24379 24381 24324 0 -1 4202560 2884 0 0 0 25 0 0 0 15 0 18 0 855278352 10797883392 126426 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 4 0 0 0
[pid=24381/tid=24398] ppid=24379 vsize=10544808 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24398/stat : 24398 (java) S 24379 24381 24324 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 855278352 10797883392 126429 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 4 0 0 0
[pid=24381/tid=24399] ppid=24379 vsize=10544808 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24399/stat : 24399 (java) S 24379 24381 24324 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 855278352 10797883392 126431 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650752 0 4 0 16800975 18446604450142405824 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2
Current children cumulated vsize (KiB) 10544808
[startup+3.10098 s]
/proc/loadavg: 1.52 0.35 0.11 3/460 24399
/proc/meminfo: memFree=21010056/32951124 swapFree=44043516/67111528
[pid=24381] ppid=24379 vsize=10544808 CPUtime=3.63 cores=0,2,4,6
/proc/24381/stat : 24381 (java) S 24379 24381 24324 0 -1 4202496 283732 0 1 0 326 37 0 0 19 0 18 0 855278347 10797883392 281172 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24381/statm: 2636202 281176 2217 9 0 2626936 0
[pid=24381/tid=24382] ppid=24379 vsize=10544808 CPUtime=3.08 cores=0,2,4,6
/proc/24381/task/24382/stat : 24382 (java) R 24379 24381 24324 0 -1 4202560 276790 0 1 0 273 35 0 0 25 0 18 0 855278347 10797883392 281178 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 46912505647885 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24381/tid=24384] ppid=24379 vsize=10544808 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24384/stat : 24384 (java) S 24379 24381 24324 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 855278349 10797883392 281181 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 4 0 0 0
[pid=24381/tid=24385] ppid=24379 vsize=10544808 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24385/stat : 24385 (java) S 24379 24381 24324 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 855278349 10797883392 281184 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 4 0 0 0
[pid=24381/tid=24386] ppid=24379 vsize=10544808 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24386/stat : 24386 (java) S 24379 24381 24324 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 855278349 10797883392 281186 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 4 0 0 0
[pid=24381/tid=24387] ppid=24379 vsize=10544808 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24387/stat : 24387 (java) S 24379 24381 24324 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 855278349 10797883392 281189 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 4 0 0 0
[pid=24381/tid=24388] ppid=24379 vsize=10544808 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24388/stat : 24388 (java) S 24379 24381 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855278349 10797883392 281192 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 2 0 0 0
[pid=24381/tid=24389] ppid=24379 vsize=10544808 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24389/stat : 24389 (java) S 24379 24381 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855278349 10797883392 281194 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 6 0 0 0
[pid=24381/tid=24390] ppid=24379 vsize=10544808 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24390/stat : 24390 (java) S 24379 24381 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855278349 10797883392 281197 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 6 0 0 0
[pid=24381/tid=24391] ppid=24379 vsize=10544808 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24391/stat : 24391 (java) S 24379 24381 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855278349 10797883392 281199 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 6 0 0 0
[pid=24381/tid=24392] ppid=24379 vsize=10544808 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24392/stat : 24392 (java) S 24379 24381 24324 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 855278350 10797883392 281202 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650752 0 0 0 16800975 18446604450142405824 0 0 -1 4 0 0 0
[pid=24381/tid=24393] ppid=24379 vsize=10544808 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24393/stat : 24393 (java) S 24379 24381 24324 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 855278350 10797883392 281204 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 4 0 0 0
[pid=24381/tid=24394] ppid=24379 vsize=10544808 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24394/stat : 24394 (java) S 24379 24381 24324 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 855278350 10797883392 281207 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 4 0 0 0
[pid=24381/tid=24395] ppid=24379 vsize=10544808 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24395/stat : 24395 (java) S 24379 24381 24324 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 855278352 10797883392 281210 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528657841 0 4 0 16800975 18446604450142405824 0 0 -1 4 0 0 0
[pid=24381/tid=24396] ppid=24379 vsize=10544808 CPUtime=0.25 cores=0,2,4,6
/proc/24381/task/24396/stat : 24396 (java) S 24379 24381 24324 0 -1 4202560 2905 0 0 0 25 0 0 0 16 0 18 0 855278352 10797883392 281212 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 2 0 0 0
[pid=24381/tid=24397] ppid=24379 vsize=10544808 CPUtime=0.27 cores=0,2,4,6
/proc/24381/task/24397/stat : 24397 (java) S 24379 24381 24324 0 -1 4202560 2893 0 0 0 27 0 0 0 15 0 18 0 855278352 10797883392 281215 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 4 0 0 0
[pid=24381/tid=24398] ppid=24379 vsize=10544808 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24398/stat : 24398 (java) S 24379 24381 24324 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 855278352 10797883392 281217 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 4 0 0 0
[pid=24381/tid=24399] ppid=24379 vsize=10544808 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24399/stat : 24399 (java) S 24379 24381 24324 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 855278352 10797883392 281220 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650752 0 4 0 16800975 18446604450142405824 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.63
Current children cumulated vsize (KiB) 10544808
[startup+6.30143 s]
/proc/loadavg: 1.56 0.38 0.12 3/460 24399
/proc/meminfo: memFree=19660692/32951124 swapFree=44043516/67111528
[pid=24381] ppid=24379 vsize=10543388 CPUtime=6.83 cores=0,2,4,6
/proc/24381/stat : 24381 (java) S 24379 24381 24324 0 -1 4202496 627977 0 1 0 605 78 0 0 19 0 18 0 855278347 10796429312 624850 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24381/statm: 2635847 624855 2218 9 0 2626581 0
[pid=24381/tid=24382] ppid=24379 vsize=10543388 CPUtime=6.28 cores=0,2,4,6
/proc/24381/task/24382/stat : 24382 (java) R 24379 24381 24324 0 -1 4202560 621036 0 1 0 552 76 0 0 25 0 18 0 855278347 10796429312 624858 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 46912505582478 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24381/tid=24384] ppid=24379 vsize=10543388 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24384/stat : 24384 (java) S 24379 24381 24324 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 855278349 10796429312 624861 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 4 0 0 0
[pid=24381/tid=24385] ppid=24379 vsize=10543388 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24385/stat : 24385 (java) S 24379 24381 24324 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 855278349 10796429312 624864 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 4 0 0 0
[pid=24381/tid=24386] ppid=24379 vsize=10543388 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24386/stat : 24386 (java) S 24379 24381 24324 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 855278349 10796429312 624868 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 4 0 0 0
[pid=24381/tid=24387] ppid=24379 vsize=10543388 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24387/stat : 24387 (java) S 24379 24381 24324 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 855278349 10796429312 624871 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 4 0 0 0
[pid=24381/tid=24388] ppid=24379 vsize=10543388 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24388/stat : 24388 (java) S 24379 24381 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855278349 10796429312 624874 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 2 0 0 0
[pid=24381/tid=24389] ppid=24379 vsize=10543388 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24389/stat : 24389 (java) S 24379 24381 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855278349 10796429312 624877 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 6 0 0 0
[pid=24381/tid=24390] ppid=24379 vsize=10543388 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24390/stat : 24390 (java) S 24379 24381 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855278349 10796429312 624880 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 6 0 0 0
[pid=24381/tid=24391] ppid=24379 vsize=10543388 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24391/stat : 24391 (java) S 24379 24381 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855278349 10796429312 624883 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 6 0 0 0
[pid=24381/tid=24392] ppid=24379 vsize=10543388 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24392/stat : 24392 (java) S 24379 24381 24324 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 855278350 10796429312 624883 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650752 0 0 0 16800975 18446604450142405824 0 0 -1 4 0 0 0
[pid=24381/tid=24393] ppid=24379 vsize=10543388 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24393/stat : 24393 (java) S 24379 24381 24324 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 855278350 10796429312 624886 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 4 0 0 0
[pid=24381/tid=24394] ppid=24379 vsize=10543388 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24394/stat : 24394 (java) S 24379 24381 24324 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 855278350 10796429312 624889 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 4 0 0 0
[pid=24381/tid=24395] ppid=24379 vsize=10543388 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24395/stat : 24395 (java) S 24379 24381 24324 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 855278352 10796429312 624892 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528657841 0 4 0 16800975 18446604450142405824 0 0 -1 4 0 0 0
[pid=24381/tid=24396] ppid=24379 vsize=10543388 CPUtime=0.25 cores=0,2,4,6
/proc/24381/task/24396/stat : 24396 (java) S 24379 24381 24324 0 -1 4202560 2905 0 0 0 25 0 0 0 16 0 18 0 855278352 10796429312 624895 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 2 0 0 0
[pid=24381/tid=24397] ppid=24379 vsize=10543388 CPUtime=0.27 cores=0,2,4,6
/proc/24381/task/24397/stat : 24397 (java) S 24379 24381 24324 0 -1 4202560 2893 0 0 0 27 0 0 0 15 0 18 0 855278352 10796429312 624898 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 4 0 0 0
[pid=24381/tid=24398] ppid=24379 vsize=10543388 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24398/stat : 24398 (java) S 24379 24381 24324 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 855278352 10796429312 624901 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 4 0 0 0
[pid=24381/tid=24399] ppid=24379 vsize=10543388 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24399/stat : 24399 (java) S 24379 24381 24324 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 855278352 10796429312 624904 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650752 0 4 0 16800975 18446604450142405824 0 0 -1 6 0 0 0
################
# More data... #
################
[pid=24381/tid=24402] ppid=24379 vsize=10548508 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24402/stat : 24402 (java) S 24379 24381 24324 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 855285838 10801672192 1400301 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650752 0 4 0 16800975 18446604450142405824 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1629.57
Current children cumulated vsize (KiB) 10548508
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 1.70 3/461 24456
/proc/meminfo: memFree=15194244/32951124 swapFree=44043516/67111528
[pid=24381] ppid=24379 vsize=10548508 CPUtime=1689.73 cores=0,2,4,6
/proc/24381/stat : 24381 (java) S 24379 24381 24324 0 -1 4202496 1418714 0 1 0 168744 229 0 0 19 0 19 0 855278347 10801672192 1400404 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24381/statm: 2637127 1400404 2251 9 0 2627861 0
[pid=24381/tid=24382] ppid=24379 vsize=10548508 CPUtime=1653.12 cores=0,2,4,6
/proc/24381/task/24382/stat : 24382 (java) R 24379 24381 24324 0 -1 4202560 651072 0 1 0 165201 111 0 0 25 0 19 0 855278347 10801672192 1400404 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 46912505949419 0 4 0 16800975 0 0 0 -1 0 0 0 3
[pid=24381/tid=24384] ppid=24379 vsize=10548508 CPUtime=4.29 cores=0,2,4,6
/proc/24381/task/24384/stat : 24384 (java) S 24379 24381 24324 0 -1 4202560 83665 0 0 0 418 11 0 0 16 0 19 0 855278349 10801672192 1400404 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 2 0 0 0
[pid=24381/tid=24385] ppid=24379 vsize=10548508 CPUtime=4.1 cores=0,2,4,6
/proc/24381/task/24385/stat : 24385 (java) S 24379 24381 24324 0 -1 4202560 109117 0 0 0 395 15 0 0 16 0 19 0 855278349 10801672192 1400404 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 0 0 0 0
[pid=24381/tid=24386] ppid=24379 vsize=10548508 CPUtime=3.66 cores=0,2,4,6
/proc/24381/task/24386/stat : 24386 (java) S 24379 24381 24324 0 -1 4202560 63839 0 0 0 356 10 0 0 16 0 19 0 855278349 10801672192 1400404 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 0 0 0 0
[pid=24381/tid=24387] ppid=24379 vsize=10548508 CPUtime=3.94 cores=0,2,4,6
/proc/24381/task/24387/stat : 24387 (java) S 24379 24381 24324 0 -1 4202560 57505 0 0 0 387 7 0 0 16 0 19 0 855278349 10801672192 1400404 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 0 0 0 0
[pid=24381/tid=24388] ppid=24379 vsize=10548508 CPUtime=5.03 cores=0,2,4,6
/proc/24381/task/24388/stat : 24388 (java) S 24379 24381 24324 0 -1 4202560 151381 0 0 0 483 20 0 0 16 0 19 0 855278349 10801672192 1400404 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 2 0 0 0
[pid=24381/tid=24389] ppid=24379 vsize=10548508 CPUtime=5.46 cores=0,2,4,6
/proc/24381/task/24389/stat : 24389 (java) S 24379 24381 24324 0 -1 4202560 127173 0 0 0 525 21 0 0 16 0 19 0 855278349 10801672192 1400404 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 4 0 0 0
[pid=24381/tid=24390] ppid=24379 vsize=10548508 CPUtime=5.3 cores=0,2,4,6
/proc/24381/task/24390/stat : 24390 (java) S 24379 24381 24324 0 -1 4202560 123943 0 0 0 510 20 0 0 16 0 19 0 855278349 10801672192 1400404 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 2 0 0 0
[pid=24381/tid=24391] ppid=24379 vsize=10548508 CPUtime=3.12 cores=0,2,4,6
/proc/24381/task/24391/stat : 24391 (java) S 24379 24381 24324 0 -1 4202560 35564 0 0 0 306 6 0 0 16 0 19 0 855278349 10801672192 1400404 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 0 0 0 0
[pid=24381/tid=24392] ppid=24379 vsize=10548508 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24392/stat : 24392 (java) S 24379 24381 24324 0 -1 4202560 93 0 0 0 0 0 0 0 15 0 19 0 855278350 10801672192 1400404 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650752 0 0 0 16800975 18446604450142405824 0 0 -1 4 0 0 0
[pid=24381/tid=24393] ppid=24379 vsize=10548508 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24393/stat : 24393 (java) S 24379 24381 24324 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 855278350 10801672192 1400404 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 4 0 0 0
[pid=24381/tid=24394] ppid=24379 vsize=10548508 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24394/stat : 24394 (java) S 24379 24381 24324 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 855278350 10801672192 1400404 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 4 0 0 0
[pid=24381/tid=24395] ppid=24379 vsize=10548508 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24395/stat : 24395 (java) S 24379 24381 24324 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 855278352 10801672192 1400404 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528657841 0 4 0 16800975 18446604450142405824 0 0 -1 4 0 0 0
[pid=24381/tid=24396] ppid=24379 vsize=10548508 CPUtime=0.88 cores=0,2,4,6
/proc/24381/task/24396/stat : 24396 (java) S 24379 24381 24324 0 -1 4202560 11146 0 0 0 87 1 0 0 15 0 19 0 855278352 10801672192 1400404 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 2 0 0 0
[pid=24381/tid=24397] ppid=24379 vsize=10548508 CPUtime=0.7 cores=0,2,4,6
/proc/24381/task/24397/stat : 24397 (java) S 24379 24381 24324 0 -1 4202560 2970 0 0 0 70 0 0 0 15 0 19 0 855278352 10801672192 1400404 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 4 0 0 0
[pid=24381/tid=24398] ppid=24379 vsize=10548508 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24398/stat : 24398 (java) S 24379 24381 24324 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 855278352 10801672192 1400404 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 4 0 0 0
[pid=24381/tid=24399] ppid=24379 vsize=10548508 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24399/stat : 24399 (java) S 24379 24381 24324 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 855278352 10801672192 1400404 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650752 0 4 0 16800975 18446604450142405824 0 0 -1 4 0 0 0
[pid=24381/tid=24402] ppid=24379 vsize=10548508 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24402/stat : 24402 (java) S 24379 24381 24324 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 855285838 10801672192 1400404 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650752 0 4 0 16800975 18446604450142405824 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1689.73
Current children cumulated vsize (KiB) 10548508
[startup+1722.3 s]
/proc/loadavg: 2.06 2.03 1.72 3/461 24458
/proc/meminfo: memFree=15177340/32951124 swapFree=44043516/67111528
[pid=24381] ppid=24379 vsize=10548508 CPUtime=1750.09 cores=0,2,4,6
/proc/24381/stat : 24381 (java) S 24379 24381 24324 0 -1 4202496 1419138 0 1 0 174779 230 0 0 19 0 19 0 855278347 10801672192 1400816 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24381/statm: 2637127 1400816 2251 9 0 2627861 0
[pid=24381/tid=24382] ppid=24379 vsize=10548508 CPUtime=1712.99 cores=0,2,4,6
/proc/24381/task/24382/stat : 24382 (java) R 24379 24381 24324 0 -1 4202560 651075 0 1 0 171188 111 0 0 25 0 19 0 855278347 10801672192 1400816 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 46912505949432 0 4 0 16800975 0 0 0 -1 0 0 0 3
[pid=24381/tid=24384] ppid=24379 vsize=10548508 CPUtime=4.31 cores=0,2,4,6
/proc/24381/task/24384/stat : 24384 (java) S 24379 24381 24324 0 -1 4202560 83669 0 0 0 420 11 0 0 16 0 19 0 855278349 10801672192 1400816 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 2 0 0 0
[pid=24381/tid=24385] ppid=24379 vsize=10548508 CPUtime=4.21 cores=0,2,4,6
/proc/24381/task/24385/stat : 24385 (java) S 24379 24381 24324 0 -1 4202560 109279 0 0 0 406 15 0 0 16 0 19 0 855278349 10801672192 1400816 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 0 0 0 0
[pid=24381/tid=24386] ppid=24379 vsize=10548508 CPUtime=3.67 cores=0,2,4,6
/proc/24381/task/24386/stat : 24386 (java) S 24379 24381 24324 0 -1 4202560 63852 0 0 0 357 10 0 0 16 0 19 0 855278349 10801672192 1400816 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 6 0 0 0
[pid=24381/tid=24387] ppid=24379 vsize=10548508 CPUtime=4.05 cores=0,2,4,6
/proc/24381/task/24387/stat : 24387 (java) S 24379 24381 24324 0 -1 4202560 57625 0 0 0 398 7 0 0 16 0 19 0 855278349 10801672192 1400816 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 6 0 0 0
[pid=24381/tid=24388] ppid=24379 vsize=10548508 CPUtime=5.13 cores=0,2,4,6
/proc/24381/task/24388/stat : 24388 (java) S 24379 24381 24324 0 -1 4202560 151394 0 0 0 493 20 0 0 16 0 19 0 855278349 10801672192 1400816 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 2 0 0 0
[pid=24381/tid=24389] ppid=24379 vsize=10548508 CPUtime=5.53 cores=0,2,4,6
/proc/24381/task/24389/stat : 24389 (java) S 24379 24381 24324 0 -1 4202560 127189 0 0 0 532 21 0 0 16 0 19 0 855278349 10801672192 1400816 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 4 0 0 0
[pid=24381/tid=24390] ppid=24379 vsize=10548508 CPUtime=5.31 cores=0,2,4,6
/proc/24381/task/24390/stat : 24390 (java) S 24379 24381 24324 0 -1 4202560 123945 0 0 0 511 20 0 0 16 0 19 0 855278349 10801672192 1400816 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 6 0 0 0
[pid=24381/tid=24391] ppid=24379 vsize=10548508 CPUtime=3.16 cores=0,2,4,6
/proc/24381/task/24391/stat : 24391 (java) S 24379 24381 24324 0 -1 4202560 35647 0 0 0 310 6 0 0 16 0 19 0 855278349 10801672192 1400816 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 4 0 0 0
[pid=24381/tid=24392] ppid=24379 vsize=10548508 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24392/stat : 24392 (java) S 24379 24381 24324 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 855278350 10801672192 1400816 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650752 0 0 0 16800975 18446604450142405824 0 0 -1 4 0 0 0
[pid=24381/tid=24393] ppid=24379 vsize=10548508 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24393/stat : 24393 (java) S 24379 24381 24324 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 855278350 10801672192 1400816 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 4 0 0 0
[pid=24381/tid=24394] ppid=24379 vsize=10548508 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24394/stat : 24394 (java) S 24379 24381 24324 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 855278350 10801672192 1400816 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 4 0 0 0
[pid=24381/tid=24395] ppid=24379 vsize=10548508 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24395/stat : 24395 (java) S 24379 24381 24324 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 855278352 10801672192 1400816 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528657841 0 4 0 16800975 18446604450142405824 0 0 -1 4 0 0 0
[pid=24381/tid=24396] ppid=24379 vsize=10548508 CPUtime=0.88 cores=0,2,4,6
/proc/24381/task/24396/stat : 24396 (java) S 24379 24381 24324 0 -1 4202560 11146 0 0 0 87 1 0 0 15 0 19 0 855278352 10801672192 1400816 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 2 0 0 0
[pid=24381/tid=24397] ppid=24379 vsize=10548508 CPUtime=0.7 cores=0,2,4,6
/proc/24381/task/24397/stat : 24397 (java) S 24379 24381 24324 0 -1 4202560 2970 0 0 0 70 0 0 0 15 0 19 0 855278352 10801672192 1400816 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 4 0 0 0
[pid=24381/tid=24398] ppid=24379 vsize=10548508 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24398/stat : 24398 (java) S 24379 24381 24324 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 855278352 10801672192 1400816 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 4 0 0 0
[pid=24381/tid=24399] ppid=24379 vsize=10548508 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24399/stat : 24399 (java) S 24379 24381 24324 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 855278352 10801672192 1400816 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650752 0 4 0 16800975 18446604450142405824 0 0 -1 4 0 0 0
[pid=24381/tid=24402] ppid=24379 vsize=10548508 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24402/stat : 24402 (java) S 24379 24381 24324 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 855285838 10801672192 1400816 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650752 0 4 0 16800975 18446604450142405824 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1750.09
Current children cumulated vsize (KiB) 10548508
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1772.1 s]
/proc/loadavg: 2.03 2.02 1.73 3/461 24459
/proc/meminfo: memFree=15175568/32951124 swapFree=44043516/67111528
[pid=24381] ppid=24379 vsize=10548508 CPUtime=1800.07 cores=0,2,4,6
/proc/24381/stat : 24381 (java) S 24379 24381 24324 0 -1 4202496 1419179 0 1 0 179777 230 0 0 19 0 19 0 855278347 10801672192 1400852 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24381/statm: 2637127 1400852 2251 9 0 2627861 0
[pid=24381/tid=24382] ppid=24379 vsize=10548508 CPUtime=1762.75 cores=0,2,4,6
/proc/24381/task/24382/stat : 24382 (java) R 24379 24381 24324 0 -1 4202560 651076 0 1 0 176164 111 0 0 25 0 19 0 855278347 10801672192 1400852 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 46912505949392 0 4 0 16800975 0 0 0 -1 0 0 0 3
[pid=24381/tid=24384] ppid=24379 vsize=10548508 CPUtime=4.37 cores=0,2,4,6
/proc/24381/task/24384/stat : 24384 (java) S 24379 24381 24324 0 -1 4202560 83671 0 0 0 426 11 0 0 16 0 19 0 855278349 10801672192 1400852 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 2 0 0 0
[pid=24381/tid=24385] ppid=24379 vsize=10548508 CPUtime=4.25 cores=0,2,4,6
/proc/24381/task/24385/stat : 24385 (java) S 24379 24381 24324 0 -1 4202560 109292 0 0 0 410 15 0 0 16 0 19 0 855278349 10801672192 1400852 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 0 0 0 0
[pid=24381/tid=24386] ppid=24379 vsize=10548508 CPUtime=3.67 cores=0,2,4,6
/proc/24381/task/24386/stat : 24386 (java) S 24379 24381 24324 0 -1 4202560 63853 0 0 0 357 10 0 0 16 0 19 0 855278349 10801672192 1400852 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 6 0 0 0
[pid=24381/tid=24387] ppid=24379 vsize=10548508 CPUtime=4.1 cores=0,2,4,6
/proc/24381/task/24387/stat : 24387 (java) S 24379 24381 24324 0 -1 4202560 57631 0 0 0 403 7 0 0 16 0 19 0 855278349 10801672192 1400852 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 6 0 0 0
[pid=24381/tid=24388] ppid=24379 vsize=10548508 CPUtime=5.14 cores=0,2,4,6
/proc/24381/task/24388/stat : 24388 (java) S 24379 24381 24324 0 -1 4202560 151397 0 0 0 494 20 0 0 16 0 19 0 855278349 10801672192 1400852 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 0 0 0 0
[pid=24381/tid=24389] ppid=24379 vsize=10548508 CPUtime=5.57 cores=0,2,4,6
/proc/24381/task/24389/stat : 24389 (java) S 24379 24381 24324 0 -1 4202560 127195 0 0 0 536 21 0 0 16 0 19 0 855278349 10801672192 1400852 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 4 0 0 0
[pid=24381/tid=24390] ppid=24379 vsize=10548508 CPUtime=5.32 cores=0,2,4,6
/proc/24381/task/24390/stat : 24390 (java) S 24379 24381 24324 0 -1 4202560 123947 0 0 0 512 20 0 0 16 0 19 0 855278349 10801672192 1400852 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 0 0 0 0
[pid=24381/tid=24391] ppid=24379 vsize=10548508 CPUtime=3.19 cores=0,2,4,6
/proc/24381/task/24391/stat : 24391 (java) S 24379 24381 24324 0 -1 4202560 35650 0 0 0 313 6 0 0 16 0 19 0 855278349 10801672192 1400852 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 4 0 0 0
[pid=24381/tid=24392] ppid=24379 vsize=10548508 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24392/stat : 24392 (java) S 24379 24381 24324 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 855278350 10801672192 1400852 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650752 0 0 0 16800975 18446604450142405824 0 0 -1 4 0 0 0
[pid=24381/tid=24393] ppid=24379 vsize=10548508 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24393/stat : 24393 (java) S 24379 24381 24324 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 855278350 10801672192 1400852 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 4 0 0 0
[pid=24381/tid=24394] ppid=24379 vsize=10548508 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24394/stat : 24394 (java) S 24379 24381 24324 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 855278350 10801672192 1400852 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 4 0 0 0
[pid=24381/tid=24395] ppid=24379 vsize=10548508 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24395/stat : 24395 (java) S 24379 24381 24324 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 855278352 10801672192 1400852 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528657841 0 4 0 16800975 18446604450142405824 0 0 -1 4 0 0 0
[pid=24381/tid=24396] ppid=24379 vsize=10548508 CPUtime=0.88 cores=0,2,4,6
/proc/24381/task/24396/stat : 24396 (java) S 24379 24381 24324 0 -1 4202560 11146 0 0 0 87 1 0 0 15 0 19 0 855278352 10801672192 1400852 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 2 0 0 0
[pid=24381/tid=24397] ppid=24379 vsize=10548508 CPUtime=0.7 cores=0,2,4,6
/proc/24381/task/24397/stat : 24397 (java) S 24379 24381 24324 0 -1 4202560 2970 0 0 0 70 0 0 0 15 0 19 0 855278352 10801672192 1400852 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 4 0 0 0
[pid=24381/tid=24398] ppid=24379 vsize=10548508 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24398/stat : 24398 (java) S 24379 24381 24324 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 855278352 10801672192 1400852 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650137 0 4 0 16800975 18446604450142405824 0 0 -1 4 0 0 0
[pid=24381/tid=24399] ppid=24379 vsize=10548508 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24399/stat : 24399 (java) S 24379 24381 24324 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 855278352 10801672192 1400852 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650752 0 4 0 16800975 18446604450142405824 0 0 -1 4 0 0 0
[pid=24381/tid=24402] ppid=24379 vsize=10548508 CPUtime=0 cores=0,2,4,6
/proc/24381/task/24402/stat : 24402 (java) S 24379 24381 24324 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 855285838 10801672192 1400852 33554432000 1073741824 1073778376 140736987524704 18446744073709551615 246528650752 0 4 0 16800975 18446604450142405824 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 10548508
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1772.22 s]
/proc/loadavg: 2.03 2.02 1.73 3/461 24459
/proc/meminfo: memFree=15175568/32951124 swapFree=44043516/67111528
[pid=24381] ppid=24379 vsize=0 CPUtime=1800.19 cores=0,2,4,6
/proc/24381/stat : 24381 (java) Z 24379 24381 24324 0 -1 4203548 1419206 0 1 0 179779 240 0 0 17 0 2 0 855278347 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24381/statm: 0 0 0 0 0 0 0
[pid=24381/tid=24398] ppid=24379 vsize=0 CPUtime=0.09 cores=0,2,4,6
/proc/24381/task/24398/stat : 24398 (java) R 24379 24381 24324 0 -1 4203588 1 0 0 0 0 9 0 0 18 0 2 0 855278352 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 0
[startup+1772.3 s]
/proc/loadavg: 2.03 2.02 1.73 3/461 24459
/proc/meminfo: memFree=15175568/32951124 swapFree=44043516/67111528
[pid=24381] ppid=24379 vsize=0 CPUtime=1800.27 cores=0,2,4,6
/proc/24381/stat : 24381 (java) Z 24379 24381 24324 0 -1 4203548 1419206 0 1 0 179779 248 0 0 17 0 2 0 855278347 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24381/statm: 0 0 0 0 0 0 0
[pid=24381/tid=24398] ppid=24379 vsize=0 CPUtime=0.17 cores=0,2,4,6
/proc/24381/task/24398/stat : 24398 (java) R 24379 24381 24324 0 -1 4203588 1 0 0 0 0 17 0 0 18 0 2 0 855278352 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.27
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1772.34
CPU time (s): 1800.31
CPU user time (s): 1797.79
CPU system time (s): 2.51962
CPU usage (%): 101.578
Max. virtual memory (cumulated for all children) (KiB): 10548508
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.79
system time used= 2.51962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1419206
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37959
involuntary context switches= 31047
runsolver used 7.76682 second user time and 16.4865 second system time
The end