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-3456840-1307637105/watcher-3456840-1307637105 -o /tmp/evaluation-result-3456840-1307637105/solver-3456840-1307637105 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456840-1307637105.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.95 2.01 1.98 2/195 13374
/proc/meminfo: memFree=28727572/32951124 swapFree=67049456/67111528
[pid=13374] ppid=13372 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/13374/stat : 13374 (java) R 13372 13374 12325 0 -1 4202496 950 0 0 0 0 0 0 0 25 0 1 0 953941178 23580672 693 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224279963112 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/13374/statm: 5757 693 509 9 0 124 0
[startup+0.068854 s]
/proc/loadavg: 1.95 2.01 1.98 2/195 13374
/proc/meminfo: memFree=28727572/32951124 swapFree=67049456/67111528
[pid=13374] ppid=13372 vsize=10538488 CPUtime=0.05 cores=0,2,4,6
/proc/13374/stat : 13374 (java) S 13372 13374 12325 0 -1 4202496 11747 0 1 0 4 1 0 0 25 0 18 0 953941178 10791411712 11443 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13374/statm: 2634622 11444 1741 9 0 2625356 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10538488
[startup+0.104859 s]
/proc/loadavg: 1.95 2.01 1.98 2/195 13374
/proc/meminfo: memFree=28727572/32951124 swapFree=67049456/67111528
[pid=13374] ppid=13372 vsize=10539852 CPUtime=0.1 cores=0,2,4,6
/proc/13374/stat : 13374 (java) S 13372 13374 12325 0 -1 4202496 13063 0 1 0 9 1 0 0 25 0 18 0 953941178 10792808448 12759 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13374/statm: 2634963 12760 2093 9 0 2625697 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539852
[startup+0.300848 s]
/proc/loadavg: 1.95 2.01 1.98 2/195 13374
/proc/meminfo: memFree=28727572/32951124 swapFree=67049456/67111528
[pid=13374] ppid=13372 vsize=10540620 CPUtime=0.44 cores=0,2,4,6
/proc/13374/stat : 13374 (java) S 13372 13374 12325 0 -1 4202496 15418 0 1 0 43 1 0 0 25 0 18 0 953941178 10793594880 14945 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13374/statm: 2635155 14946 2199 9 0 2625889 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 10540620
[startup+0.70077 s]
/proc/loadavg: 1.95 2.01 1.98 2/195 13374
/proc/meminfo: memFree=28727572/32951124 swapFree=67049456/67111528
[pid=13374] ppid=13372 vsize=10542636 CPUtime=1.07 cores=0,2,4,6
/proc/13374/stat : 13374 (java) S 13372 13374 12325 0 -1 4202496 40537 0 1 0 102 5 0 0 25 0 19 0 953941178 10795659264 39215 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13374/statm: 2635659 39216 2225 9 0 2626393 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 10542636
[startup+1.50162 s]
/proc/loadavg: 1.95 2.01 1.98 5/214 13393
/proc/meminfo: memFree=28543424/32951124 swapFree=67049456/67111528
[pid=13374] ppid=13372 vsize=10561144 CPUtime=2.64 cores=0,2,4,6
/proc/13374/stat : 13374 (java) S 13372 13374 12325 0 -1 4202496 74288 0 1 0 254 10 0 0 25 0 19 0 953941178 10814611456 69057 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13374/statm: 2640286 69059 2232 9 0 2631020 0
[pid=13374/tid=13376] ppid=13372 vsize=10561144 CPUtime=1.48 cores=0,2,4,6
/proc/13374/task/13376/stat : 13376 (java) R 13372 13374 12325 0 -1 4202560 60077 0 1 0 140 8 0 0 18 0 19 0 953941179 10814611456 69059 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 46912505819521 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13374/tid=13377] ppid=13372 vsize=10561144 CPUtime=0 cores=0,2,4,6
/proc/13374/task/13377/stat : 13377 (java) S 13372 13374 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953941180 10814611456 69060 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
[pid=13374/tid=13378] ppid=13372 vsize=10561144 CPUtime=0 cores=0,2,4,6
/proc/13374/task/13378/stat : 13378 (java) S 13372 13374 12325 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 953941180 10814611456 69061 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
[pid=13374/tid=13379] ppid=13372 vsize=10561144 CPUtime=0 cores=0,2,4,6
/proc/13374/task/13379/stat : 13379 (java) S 13372 13374 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953941180 10814611456 69062 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 4 0 0 0
[pid=13374/tid=13380] ppid=13372 vsize=10561144 CPUtime=0 cores=0,2,4,6
/proc/13374/task/13380/stat : 13380 (java) S 13372 13374 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953941180 10814611456 69064 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
[pid=13374/tid=13381] ppid=13372 vsize=10561144 CPUtime=0 cores=0,2,4,6
/proc/13374/task/13381/stat : 13381 (java) S 13372 13374 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953941180 10814611456 69064 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 4 0 0 0
[pid=13374/tid=13382] ppid=13372 vsize=10561144 CPUtime=0 cores=0,2,4,6
/proc/13374/task/13382/stat : 13382 (java) S 13372 13374 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953941180 10814611456 69064 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 4 0 0 0
[pid=13374/tid=13383] ppid=13372 vsize=10561144 CPUtime=0 cores=0,2,4,6
/proc/13374/task/13383/stat : 13383 (java) S 13372 13374 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953941180 10814611456 69065 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
[pid=13374/tid=13384] ppid=13372 vsize=10561144 CPUtime=0 cores=0,2,4,6
/proc/13374/task/13384/stat : 13384 (java) S 13372 13374 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953941180 10814611456 69066 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
[pid=13374/tid=13385] ppid=13372 vsize=10561144 CPUtime=0 cores=0,2,4,6
/proc/13374/task/13385/stat : 13385 (java) S 13372 13374 12325 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 953941181 10814611456 69067 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296742400 0 0 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
[pid=13374/tid=13386] ppid=13372 vsize=10561144 CPUtime=0 cores=0,2,4,6
/proc/13374/task/13386/stat : 13386 (java) S 13372 13374 12325 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 953941182 10814611456 69067 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 2 0 0 0
[pid=13374/tid=13387] ppid=13372 vsize=10561144 CPUtime=0 cores=0,2,4,6
/proc/13374/task/13387/stat : 13387 (java) S 13372 13374 12325 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 953941182 10814611456 69068 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 0 0 0 0
[pid=13374/tid=13388] ppid=13372 vsize=10561144 CPUtime=0 cores=0,2,4,6
/proc/13374/task/13388/stat : 13388 (java) S 13372 13374 12325 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 953941184 10814611456 69069 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296749489 0 4 0 16800975 18446604446302198848 0 0 -1 2 0 0 0
[pid=13374/tid=13389] ppid=13372 vsize=10561144 CPUtime=0.55 cores=0,2,4,6
/proc/13374/task/13389/stat : 13389 (java) S 13372 13374 12325 0 -1 4202560 7162 0 0 0 54 1 0 0 15 0 19 0 953941184 10814611456 69071 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 4 0 0 0
[pid=13374/tid=13390] ppid=13372 vsize=10561144 CPUtime=0.6 cores=0,2,4,6
/proc/13374/task/13390/stat : 13390 (java) S 13372 13374 12325 0 -1 4202560 5890 0 0 0 59 1 0 0 15 0 19 0 953941184 10814611456 69072 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 2 0 0 0
[pid=13374/tid=13391] ppid=13372 vsize=10561144 CPUtime=0 cores=0,2,4,6
/proc/13374/task/13391/stat : 13391 (java) S 13372 13374 12325 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 19 0 953941184 10814611456 69072 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 2 0 0 0
[pid=13374/tid=13392] ppid=13372 vsize=10561144 CPUtime=0 cores=0,2,4,6
/proc/13374/task/13392/stat : 13392 (java) S 13372 13374 12325 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 953941184 10814611456 69073 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296742400 0 4 0 16800975 18446604446302198848 0 0 -1 0 0 0 0
[pid=13374/tid=13393] ppid=13372 vsize=10561144 CPUtime=0 cores=0,2,4,6
/proc/13374/task/13393/stat : 13393 (java) S 13372 13374 12325 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 953941240 10814611456 69074 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296742400 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.64
Current children cumulated vsize (KiB) 10561144
[startup+3.10139 s]
/proc/loadavg: 1.95 2.01 1.98 3/214 13393
/proc/meminfo: memFree=28355440/32951124 swapFree=67049456/67111528
[pid=13374] ppid=13372 vsize=10561144 CPUtime=4.4 cores=0,2,4,6
/proc/13374/stat : 13374 (java) S 13372 13374 12325 0 -1 4202496 142912 0 1 0 419 21 0 0 25 0 19 0 953941178 10814611456 136627 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13374/statm: 2640286 136629 2234 9 0 2631020 0
[pid=13374/tid=13376] ppid=13372 vsize=10561144 CPUtime=3.08 cores=0,2,4,6
/proc/13374/task/13376/stat : 13376 (java) R 13372 13374 12325 0 -1 4202560 127628 0 1 0 290 18 0 0 21 0 19 0 953941179 10814611456 136629 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 46912505819503 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13374/tid=13377] ppid=13372 vsize=10561144 CPUtime=0 cores=0,2,4,6
/proc/13374/task/13377/stat : 13377 (java) S 13372 13374 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953941180 10814611456 136630 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
[pid=13374/tid=13378] ppid=13372 vsize=10561144 CPUtime=0 cores=0,2,4,6
/proc/13374/task/13378/stat : 13378 (java) S 13372 13374 12325 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 953941180 10814611456 136630 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
[pid=13374/tid=13379] ppid=13372 vsize=10561144 CPUtime=0 cores=0,2,4,6
/proc/13374/task/13379/stat : 13379 (java) S 13372 13374 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953941180 10814611456 136630 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 4 0 0 0
[pid=13374/tid=13380] ppid=13372 vsize=10561144 CPUtime=0 cores=0,2,4,6
/proc/13374/task/13380/stat : 13380 (java) S 13372 13374 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953941180 10814611456 136630 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
[pid=13374/tid=13381] ppid=13372 vsize=10561144 CPUtime=0 cores=0,2,4,6
/proc/13374/task/13381/stat : 13381 (java) S 13372 13374 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953941180 10814611456 136630 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 4 0 0 0
[pid=13374/tid=13382] ppid=13372 vsize=10561144 CPUtime=0 cores=0,2,4,6
/proc/13374/task/13382/stat : 13382 (java) S 13372 13374 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953941180 10814611456 136630 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 4 0 0 0
[pid=13374/tid=13383] ppid=13372 vsize=10561144 CPUtime=0 cores=0,2,4,6
/proc/13374/task/13383/stat : 13383 (java) S 13372 13374 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953941180 10814611456 136632 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
[pid=13374/tid=13384] ppid=13372 vsize=10561144 CPUtime=0 cores=0,2,4,6
/proc/13374/task/13384/stat : 13384 (java) S 13372 13374 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953941180 10814611456 136632 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
[pid=13374/tid=13385] ppid=13372 vsize=10561144 CPUtime=0 cores=0,2,4,6
/proc/13374/task/13385/stat : 13385 (java) S 13372 13374 12325 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 953941181 10814611456 136634 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296742400 0 0 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
[pid=13374/tid=13386] ppid=13372 vsize=10561144 CPUtime=0 cores=0,2,4,6
/proc/13374/task/13386/stat : 13386 (java) S 13372 13374 12325 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 953941182 10814611456 136635 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 2 0 0 0
[pid=13374/tid=13387] ppid=13372 vsize=10561144 CPUtime=0 cores=0,2,4,6
/proc/13374/task/13387/stat : 13387 (java) S 13372 13374 12325 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 953941182 10814611456 136635 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 0 0 0 0
[pid=13374/tid=13388] ppid=13372 vsize=10561144 CPUtime=0 cores=0,2,4,6
/proc/13374/task/13388/stat : 13388 (java) S 13372 13374 12325 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 953941184 10814611456 136636 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296749489 0 4 0 16800975 18446604446302198848 0 0 -1 2 0 0 0
[pid=13374/tid=13389] ppid=13372 vsize=10561144 CPUtime=0.61 cores=0,2,4,6
/proc/13374/task/13389/stat : 13389 (java) S 13372 13374 12325 0 -1 4202560 7166 0 0 0 60 1 0 0 15 0 19 0 953941184 10814611456 136637 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 4 0 0 0
[pid=13374/tid=13390] ppid=13372 vsize=10561144 CPUtime=0.69 cores=0,2,4,6
/proc/13374/task/13390/stat : 13390 (java) S 13372 13374 12325 0 -1 4202560 6957 0 0 0 68 1 0 0 15 0 19 0 953941184 10814611456 136638 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 2 0 0 0
[pid=13374/tid=13391] ppid=13372 vsize=10561144 CPUtime=0 cores=0,2,4,6
/proc/13374/task/13391/stat : 13391 (java) S 13372 13374 12325 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 19 0 953941184 10814611456 136639 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 2 0 0 0
[pid=13374/tid=13392] ppid=13372 vsize=10561144 CPUtime=0 cores=0,2,4,6
/proc/13374/task/13392/stat : 13392 (java) S 13372 13374 12325 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 953941184 10814611456 136640 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296742400 0 4 0 16800975 18446604446302198848 0 0 -1 0 0 0 0
[pid=13374/tid=13393] ppid=13372 vsize=10561144 CPUtime=0 cores=0,2,4,6
/proc/13374/task/13393/stat : 13393 (java) S 13372 13374 12325 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 953941240 10814611456 136641 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296742400 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.4
Current children cumulated vsize (KiB) 10561144
[startup+6.30086 s]
/proc/loadavg: 1.96 2.01 1.98 3/214 13393
/proc/meminfo: memFree=27817900/32951124 swapFree=67049456/67111528
[pid=13374] ppid=13372 vsize=10555100 CPUtime=7.64 cores=0,2,4,6
/proc/13374/stat : 13374 (java) S 13372 13374 12325 0 -1 4202496 270450 0 1 0 728 36 0 0 25 0 19 0 953941178 10808422400 262912 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13374/statm: 2638775 262912 2236 9 0 2629509 0
[pid=13374/tid=13376] ppid=13372 vsize=10555100 CPUtime=6.28 cores=0,2,4,6
/proc/13374/task/13376/stat : 13376 (java) R 13372 13374 12325 0 -1 4202560 255159 0 1 0 595 33 0 0 25 0 19 0 953941179 10808422400 262913 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 46912505762118 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13374/tid=13377] ppid=13372 vsize=10555100 CPUtime=0 cores=0,2,4,6
/proc/13374/task/13377/stat : 13377 (java) S 13372 13374 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953941180 10808422400 262913 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
[pid=13374/tid=13378] ppid=13372 vsize=10555100 CPUtime=0 cores=0,2,4,6
/proc/13374/task/13378/stat : 13378 (java) S 13372 13374 12325 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 953941180 10808422400 262914 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
[pid=13374/tid=13379] ppid=13372 vsize=10555100 CPUtime=0 cores=0,2,4,6
/proc/13374/task/13379/stat : 13379 (java) S 13372 13374 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953941180 10808422400 262914 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 4 0 0 0
[pid=13374/tid=13380] ppid=13372 vsize=10555100 CPUtime=0 cores=0,2,4,6
/proc/13374/task/13380/stat : 13380 (java) S 13372 13374 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953941180 10808422400 262914 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
[pid=13374/tid=13381] ppid=13372 vsize=10555100 CPUtime=0 cores=0,2,4,6
/proc/13374/task/13381/stat : 13381 (java) S 13372 13374 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953941180 10808422400 262915 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 4 0 0 0
[pid=13374/tid=13382] ppid=13372 vsize=10555100 CPUtime=0 cores=0,2,4,6
/proc/13374/task/13382/stat : 13382 (java) S 13372 13374 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953941180 10808422400 262915 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 4 0 0 0
[pid=13374/tid=13383] ppid=13372 vsize=10555100 CPUtime=0 cores=0,2,4,6
/proc/13374/task/13383/stat : 13383 (java) S 13372 13374 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953941180 10808422400 262915 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
[pid=13374/tid=13384] ppid=13372 vsize=10555100 CPUtime=0 cores=0,2,4,6
/proc/13374/task/13384/stat : 13384 (java) S 13372 13374 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953941180 10808422400 262915 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
[pid=13374/tid=13385] ppid=13372 vsize=10555100 CPUtime=0 cores=0,2,4,6
/proc/13374/task/13385/stat : 13385 (java) S 13372 13374 12325 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 953941181 10808422400 262915 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296742400 0 0 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
[pid=13374/tid=13386] ppid=13372 vsize=10555100 CPUtime=0 cores=0,2,4,6
/proc/13374/task/13386/stat : 13386 (java) S 13372 13374 12325 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 953941182 10808422400 262916 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 2 0 0 0
[pid=13374/tid=13387] ppid=13372 vsize=10555100 CPUtime=0 cores=0,2,4,6
/proc/13374/task/13387/stat : 13387 (java) S 13372 13374 12325 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 953941182 10808422400 262916 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 0 0 0 0
[pid=13374/tid=13388] ppid=13372 vsize=10555100 CPUtime=0 cores=0,2,4,6
/proc/13374/task/13388/stat : 13388 (java) S 13372 13374 12325 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 953941184 10808422400 262916 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296749489 0 4 0 16800975 18446604446302198848 0 0 -1 2 0 0 0
[pid=13374/tid=13389] ppid=13372 vsize=10555100 CPUtime=0.61 cores=0,2,4,6
/proc/13374/task/13389/stat : 13389 (java) S 13372 13374 12325 0 -1 4202560 7166 0 0 0 60 1 0 0 15 0 19 0 953941184 10808422400 262916 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 4 0 0 0
[pid=13374/tid=13390] ppid=13372 vsize=10555100 CPUtime=0.73 cores=0,2,4,6
/proc/13374/task/13390/stat : 13390 (java) S 13372 13374 12325 0 -1 4202560 6962 0 0 0 72 1 0 0 15 0 19 0 953941184 10808422400 262917 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 2 0 0 0
[pid=13374/tid=13391] ppid=13372 vsize=10555100 CPUtime=0 cores=0,2,4,6
/proc/13374/task/13391/stat : 13391 (java) S 13372 13374 12325 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 19 0 953941184 10808422400 262917 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 2 0 0 0
[pid=13374/tid=13392] ppid=13372 vsize=10555100 CPUtime=0 cores=0,2,4,6
/proc/13374/task/13392/stat : 13392 (java) S 13372 13374 12325 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 953941184 10808422400 262917 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296742400 0 4 0 16800975 18446604446302198848 0 0 -1 0 0 0 0
[pid=13374/tid=13393] ppid=13372 vsize=10555100 CPUtime=0 cores=0,2,4,6
/proc/13374/task/13393/stat : 13393 (java) S 13372 13374 12325 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 953941240 10808422400 262917 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296742400 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 7.64
Current children cumulated vsize (KiB) 10555100
[startup+12.7008 s]
################
# More data... #
################
[pid=13374/tid=13391] ppid=13372 vsize=10555100 CPUtime=0 cores=0,2,4,6
/proc/13374/task/13391/stat : 13391 (java) S 13372 13374 12325 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 19 0 953941184 10808422400 1145968 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 2 0 0 0
[pid=13374/tid=13392] ppid=13372 vsize=10555100 CPUtime=0 cores=0,2,4,6
/proc/13374/task/13392/stat : 13392 (java) S 13372 13374 12325 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 953941184 10808422400 1145968 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296742400 0 4 0 16800975 18446604446302198848 0 0 -1 4 0 0 0
[pid=13374/tid=13393] ppid=13372 vsize=10555100 CPUtime=0 cores=0,2,4,6
/proc/13374/task/13393/stat : 13393 (java) S 13372 13374 12325 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 953941240 10808422400 1145968 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296742400 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1674.12
Current children cumulated vsize (KiB) 10555100
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 13501
/proc/meminfo: memFree=24650152/32951124 swapFree=67049456/67111528
[pid=13374] ppid=13372 vsize=10555100 CPUtime=1734.32 cores=0,2,4,6
/proc/13374/stat : 13374 (java) S 13372 13374 12325 0 -1 4202496 1161501 0 1 0 173278 154 0 0 25 0 19 0 953941178 10808422400 1148743 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13374/statm: 2638775 1148743 2264 9 0 2629509 0
[pid=13374/tid=13376] ppid=13372 vsize=10555100 CPUtime=1716.05 cores=0,2,4,6
/proc/13374/task/13376/stat : 13376 (java) R 13372 13374 12325 0 -1 4202560 657121 0 1 0 171525 80 0 0 25 0 19 0 953941179 10808422400 1148743 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 46912505916262 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13374/tid=13377] ppid=13372 vsize=10555100 CPUtime=1.88 cores=0,2,4,6
/proc/13374/task/13377/stat : 13377 (java) S 13372 13374 12325 0 -1 4202560 74644 0 0 0 177 11 0 0 16 0 19 0 953941180 10808422400 1148743 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 4 0 0 0
[pid=13374/tid=13378] ppid=13372 vsize=10555100 CPUtime=1.68 cores=0,2,4,6
/proc/13374/task/13378/stat : 13378 (java) S 13372 13374 12325 0 -1 4202560 63217 0 0 0 161 7 0 0 16 0 19 0 953941180 10808422400 1148743 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 0 0 0 0
[pid=13374/tid=13379] ppid=13372 vsize=10555100 CPUtime=1.63 cores=0,2,4,6
/proc/13374/task/13379/stat : 13379 (java) S 13372 13374 12325 0 -1 4202560 53871 0 0 0 155 8 0 0 16 0 19 0 953941180 10808422400 1148743 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
[pid=13374/tid=13380] ppid=13372 vsize=10555100 CPUtime=1.3 cores=0,2,4,6
/proc/13374/task/13380/stat : 13380 (java) S 13372 13374 12325 0 -1 4202560 28461 0 0 0 127 3 0 0 15 0 19 0 953941180 10808422400 1148743 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 2 0 0 0
[pid=13374/tid=13381] ppid=13372 vsize=10555100 CPUtime=2.01 cores=0,2,4,6
/proc/13374/task/13381/stat : 13381 (java) S 13372 13374 12325 0 -1 4202560 80863 0 0 0 192 9 0 0 16 0 19 0 953941180 10808422400 1148743 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 0 0 0 0
[pid=13374/tid=13382] ppid=13372 vsize=10555100 CPUtime=1.71 cores=0,2,4,6
/proc/13374/task/13382/stat : 13382 (java) S 13372 13374 12325 0 -1 4202560 55256 0 0 0 164 7 0 0 16 0 19 0 953941180 10808422400 1148743 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
[pid=13374/tid=13383] ppid=13372 vsize=10555100 CPUtime=2.07 cores=0,2,4,6
/proc/13374/task/13383/stat : 13383 (java) S 13372 13374 12325 0 -1 4202560 66535 0 0 0 196 11 0 0 16 0 19 0 953941180 10808422400 1148743 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
[pid=13374/tid=13384] ppid=13372 vsize=10555100 CPUtime=1.67 cores=0,2,4,6
/proc/13374/task/13384/stat : 13384 (java) S 13372 13374 12325 0 -1 4202560 61543 0 0 0 159 8 0 0 16 0 19 0 953941180 10808422400 1148743 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 2 0 0 0
[pid=13374/tid=13385] ppid=13372 vsize=10555100 CPUtime=2.53 cores=0,2,4,6
/proc/13374/task/13385/stat : 13385 (java) S 13372 13374 12325 0 -1 4202560 4535 0 0 0 253 0 0 0 15 0 19 0 953941181 10808422400 1148743 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296742400 0 0 0 16800975 18446604446302198848 0 0 -1 4 0 0 0
[pid=13374/tid=13386] ppid=13372 vsize=10555100 CPUtime=0 cores=0,2,4,6
/proc/13374/task/13386/stat : 13386 (java) S 13372 13374 12325 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 953941182 10808422400 1148743 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 2 0 0 0
[pid=13374/tid=13387] ppid=13372 vsize=10555100 CPUtime=0 cores=0,2,4,6
/proc/13374/task/13387/stat : 13387 (java) S 13372 13374 12325 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 953941182 10808422400 1148743 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 0 0 0 0
[pid=13374/tid=13388] ppid=13372 vsize=10555100 CPUtime=0 cores=0,2,4,6
/proc/13374/task/13388/stat : 13388 (java) S 13372 13374 12325 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 953941184 10808422400 1148743 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296749489 0 4 0 16800975 18446604446302198848 0 0 -1 2 0 0 0
[pid=13374/tid=13389] ppid=13372 vsize=10555100 CPUtime=0.86 cores=0,2,4,6
/proc/13374/task/13389/stat : 13389 (java) S 13372 13374 12325 0 -1 4202560 7231 0 0 0 85 1 0 0 15 0 19 0 953941184 10808422400 1148743 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 2 0 0 0
[pid=13374/tid=13390] ppid=13372 vsize=10555100 CPUtime=0.79 cores=0,2,4,6
/proc/13374/task/13390/stat : 13390 (java) S 13372 13374 12325 0 -1 4202560 6972 0 0 0 78 1 0 0 15 0 19 0 953941184 10808422400 1148743 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
[pid=13374/tid=13391] ppid=13372 vsize=10555100 CPUtime=0 cores=0,2,4,6
/proc/13374/task/13391/stat : 13391 (java) S 13372 13374 12325 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 19 0 953941184 10808422400 1148743 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 2 0 0 0
[pid=13374/tid=13392] ppid=13372 vsize=10555100 CPUtime=0 cores=0,2,4,6
/proc/13374/task/13392/stat : 13392 (java) S 13372 13374 12325 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 953941184 10808422400 1148743 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296742400 0 4 0 16800975 18446604446302198848 0 0 -1 4 0 0 0
[pid=13374/tid=13393] ppid=13372 vsize=10555100 CPUtime=0 cores=0,2,4,6
/proc/13374/task/13393/stat : 13393 (java) S 13372 13374 12325 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 953941240 10808422400 1148743 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296742400 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1734.32
Current children cumulated vsize (KiB) 10555100
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 13512
/proc/meminfo: memFree=24464080/32951124 swapFree=67049456/67111528
[pid=13374] ppid=13372 vsize=10555100 CPUtime=1794.69 cores=0,2,4,6
/proc/13374/stat : 13374 (java) S 13372 13374 12325 0 -1 4202496 1167291 0 1 0 179314 155 0 0 25 0 19 0 953941178 10808422400 1154277 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13374/statm: 2638775 1154277 2264 9 0 2629509 0
[pid=13374/tid=13376] ppid=13372 vsize=10555100 CPUtime=1775.9 cores=0,2,4,6
/proc/13374/task/13376/stat : 13376 (java) R 13372 13374 12325 0 -1 4202560 657123 0 1 0 177510 80 0 0 25 0 19 0 953941179 10808422400 1154277 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 46912505818884 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13374/tid=13377] ppid=13372 vsize=10555100 CPUtime=1.93 cores=0,2,4,6
/proc/13374/task/13377/stat : 13377 (java) S 13372 13374 12325 0 -1 4202560 75540 0 0 0 182 11 0 0 16 0 19 0 953941180 10808422400 1154277 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 4 0 0 0
[pid=13374/tid=13378] ppid=13372 vsize=10555100 CPUtime=1.76 cores=0,2,4,6
/proc/13374/task/13378/stat : 13378 (java) S 13372 13374 12325 0 -1 4202560 63996 0 0 0 169 7 0 0 15 0 19 0 953941180 10808422400 1154277 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 4 0 0 0
[pid=13374/tid=13379] ppid=13372 vsize=10555100 CPUtime=1.63 cores=0,2,4,6
/proc/13374/task/13379/stat : 13379 (java) S 13372 13374 12325 0 -1 4202560 53871 0 0 0 155 8 0 0 16 0 19 0 953941180 10808422400 1154277 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
[pid=13374/tid=13380] ppid=13372 vsize=10555100 CPUtime=1.36 cores=0,2,4,6
/proc/13374/task/13380/stat : 13380 (java) S 13372 13374 12325 0 -1 4202560 29207 0 0 0 132 4 0 0 16 0 19 0 953941180 10808422400 1154277 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 2 0 0 0
[pid=13374/tid=13381] ppid=13372 vsize=10555100 CPUtime=2.17 cores=0,2,4,6
/proc/13374/task/13381/stat : 13381 (java) S 13372 13374 12325 0 -1 4202560 82238 0 0 0 207 10 0 0 16 0 19 0 953941180 10808422400 1154277 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 0 0 0 0
[pid=13374/tid=13382] ppid=13372 vsize=10555100 CPUtime=1.73 cores=0,2,4,6
/proc/13374/task/13382/stat : 13382 (java) S 13372 13374 12325 0 -1 4202560 55256 0 0 0 166 7 0 0 15 0 19 0 953941180 10808422400 1154277 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 2 0 0 0
[pid=13374/tid=13383] ppid=13372 vsize=10555100 CPUtime=2.22 cores=0,2,4,6
/proc/13374/task/13383/stat : 13383 (java) S 13372 13374 12325 0 -1 4202560 68519 0 0 0 211 11 0 0 16 0 19 0 953941180 10808422400 1154277 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
[pid=13374/tid=13384] ppid=13372 vsize=10555100 CPUtime=1.67 cores=0,2,4,6
/proc/13374/task/13384/stat : 13384 (java) S 13372 13374 12325 0 -1 4202560 61543 0 0 0 159 8 0 0 15 0 19 0 953941180 10808422400 1154277 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 2 0 0 0
[pid=13374/tid=13385] ppid=13372 vsize=10555100 CPUtime=2.53 cores=0,2,4,6
/proc/13374/task/13385/stat : 13385 (java) S 13372 13374 12325 0 -1 4202560 4539 0 0 0 253 0 0 0 15 0 19 0 953941181 10808422400 1154277 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296742400 0 0 0 16800975 18446604446302198848 0 0 -1 4 0 0 0
[pid=13374/tid=13386] ppid=13372 vsize=10555100 CPUtime=0 cores=0,2,4,6
/proc/13374/task/13386/stat : 13386 (java) S 13372 13374 12325 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 953941182 10808422400 1154277 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 2 0 0 0
[pid=13374/tid=13387] ppid=13372 vsize=10555100 CPUtime=0 cores=0,2,4,6
/proc/13374/task/13387/stat : 13387 (java) S 13372 13374 12325 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 953941182 10808422400 1154277 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 0 0 0 0
[pid=13374/tid=13388] ppid=13372 vsize=10555100 CPUtime=0 cores=0,2,4,6
/proc/13374/task/13388/stat : 13388 (java) S 13372 13374 12325 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 953941184 10808422400 1154277 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296749489 0 4 0 16800975 18446604446302198848 0 0 -1 2 0 0 0
[pid=13374/tid=13389] ppid=13372 vsize=10555100 CPUtime=0.86 cores=0,2,4,6
/proc/13374/task/13389/stat : 13389 (java) S 13372 13374 12325 0 -1 4202560 7231 0 0 0 85 1 0 0 15 0 19 0 953941184 10808422400 1154277 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 2 0 0 0
[pid=13374/tid=13390] ppid=13372 vsize=10555100 CPUtime=0.79 cores=0,2,4,6
/proc/13374/task/13390/stat : 13390 (java) S 13372 13374 12325 0 -1 4202560 6972 0 0 0 78 1 0 0 15 0 19 0 953941184 10808422400 1154277 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
[pid=13374/tid=13391] ppid=13372 vsize=10555100 CPUtime=0 cores=0,2,4,6
/proc/13374/task/13391/stat : 13391 (java) S 13372 13374 12325 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 19 0 953941184 10808422400 1154277 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 2 0 0 0
[pid=13374/tid=13392] ppid=13372 vsize=10555100 CPUtime=0 cores=0,2,4,6
/proc/13374/task/13392/stat : 13392 (java) S 13372 13374 12325 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 953941184 10808422400 1154277 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296742400 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
[pid=13374/tid=13393] ppid=13372 vsize=10555100 CPUtime=0 cores=0,2,4,6
/proc/13374/task/13393/stat : 13393 (java) S 13372 13374 12325 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 953941240 10808422400 1154277 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296742400 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1794.69
Current children cumulated vsize (KiB) 10555100
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1787.61 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 13512
/proc/meminfo: memFree=24463832/32951124 swapFree=67049456/67111528
[pid=13374] ppid=13372 vsize=10555100 CPUtime=1800 cores=0,2,4,6
/proc/13374/stat : 13374 (java) S 13372 13374 12325 0 -1 4202496 1167291 0 1 0 179845 155 0 0 25 0 19 0 953941178 10808422400 1154277 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13374/statm: 2638775 1154277 2264 9 0 2629509 0
[pid=13374/tid=13376] ppid=13372 vsize=10555100 CPUtime=1781.21 cores=0,2,4,6
/proc/13374/task/13376/stat : 13376 (java) R 13372 13374 12325 0 -1 4202560 657123 0 1 0 178041 80 0 0 25 0 19 0 953941179 10808422400 1154277 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 46912505852125 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13374/tid=13377] ppid=13372 vsize=10555100 CPUtime=1.93 cores=0,2,4,6
/proc/13374/task/13377/stat : 13377 (java) S 13372 13374 12325 0 -1 4202560 75540 0 0 0 182 11 0 0 16 0 19 0 953941180 10808422400 1154277 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 4 0 0 0
[pid=13374/tid=13378] ppid=13372 vsize=10555100 CPUtime=1.76 cores=0,2,4,6
/proc/13374/task/13378/stat : 13378 (java) S 13372 13374 12325 0 -1 4202560 63996 0 0 0 169 7 0 0 15 0 19 0 953941180 10808422400 1154277 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 4 0 0 0
[pid=13374/tid=13379] ppid=13372 vsize=10555100 CPUtime=1.63 cores=0,2,4,6
/proc/13374/task/13379/stat : 13379 (java) S 13372 13374 12325 0 -1 4202560 53871 0 0 0 155 8 0 0 16 0 19 0 953941180 10808422400 1154277 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
[pid=13374/tid=13380] ppid=13372 vsize=10555100 CPUtime=1.36 cores=0,2,4,6
/proc/13374/task/13380/stat : 13380 (java) S 13372 13374 12325 0 -1 4202560 29207 0 0 0 132 4 0 0 16 0 19 0 953941180 10808422400 1154277 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 2 0 0 0
[pid=13374/tid=13381] ppid=13372 vsize=10555100 CPUtime=2.17 cores=0,2,4,6
/proc/13374/task/13381/stat : 13381 (java) S 13372 13374 12325 0 -1 4202560 82238 0 0 0 207 10 0 0 16 0 19 0 953941180 10808422400 1154277 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 0 0 0 0
[pid=13374/tid=13382] ppid=13372 vsize=10555100 CPUtime=1.73 cores=0,2,4,6
/proc/13374/task/13382/stat : 13382 (java) S 13372 13374 12325 0 -1 4202560 55256 0 0 0 166 7 0 0 15 0 19 0 953941180 10808422400 1154277 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 2 0 0 0
[pid=13374/tid=13383] ppid=13372 vsize=10555100 CPUtime=2.22 cores=0,2,4,6
/proc/13374/task/13383/stat : 13383 (java) S 13372 13374 12325 0 -1 4202560 68519 0 0 0 211 11 0 0 16 0 19 0 953941180 10808422400 1154277 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
[pid=13374/tid=13384] ppid=13372 vsize=10555100 CPUtime=1.67 cores=0,2,4,6
/proc/13374/task/13384/stat : 13384 (java) S 13372 13374 12325 0 -1 4202560 61543 0 0 0 159 8 0 0 15 0 19 0 953941180 10808422400 1154277 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 2 0 0 0
[pid=13374/tid=13385] ppid=13372 vsize=10555100 CPUtime=2.53 cores=0,2,4,6
/proc/13374/task/13385/stat : 13385 (java) S 13372 13374 12325 0 -1 4202560 4539 0 0 0 253 0 0 0 15 0 19 0 953941181 10808422400 1154277 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296742400 0 0 0 16800975 18446604446302198848 0 0 -1 4 0 0 0
[pid=13374/tid=13386] ppid=13372 vsize=10555100 CPUtime=0 cores=0,2,4,6
/proc/13374/task/13386/stat : 13386 (java) S 13372 13374 12325 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 953941182 10808422400 1154277 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 2 0 0 0
[pid=13374/tid=13387] ppid=13372 vsize=10555100 CPUtime=0 cores=0,2,4,6
/proc/13374/task/13387/stat : 13387 (java) S 13372 13374 12325 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 953941182 10808422400 1154277 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 0 0 0 0
[pid=13374/tid=13388] ppid=13372 vsize=10555100 CPUtime=0 cores=0,2,4,6
/proc/13374/task/13388/stat : 13388 (java) S 13372 13374 12325 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 953941184 10808422400 1154277 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296749489 0 4 0 16800975 18446604446302198848 0 0 -1 2 0 0 0
[pid=13374/tid=13389] ppid=13372 vsize=10555100 CPUtime=0.86 cores=0,2,4,6
/proc/13374/task/13389/stat : 13389 (java) S 13372 13374 12325 0 -1 4202560 7231 0 0 0 85 1 0 0 15 0 19 0 953941184 10808422400 1154277 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 2 0 0 0
[pid=13374/tid=13390] ppid=13372 vsize=10555100 CPUtime=0.79 cores=0,2,4,6
/proc/13374/task/13390/stat : 13390 (java) S 13372 13374 12325 0 -1 4202560 6972 0 0 0 78 1 0 0 15 0 19 0 953941184 10808422400 1154277 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
[pid=13374/tid=13391] ppid=13372 vsize=10555100 CPUtime=0 cores=0,2,4,6
/proc/13374/task/13391/stat : 13391 (java) S 13372 13374 12325 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 19 0 953941184 10808422400 1154277 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296741785 0 4 0 16800975 18446604446302198848 0 0 -1 2 0 0 0
[pid=13374/tid=13392] ppid=13372 vsize=10555100 CPUtime=0 cores=0,2,4,6
/proc/13374/task/13392/stat : 13392 (java) S 13372 13374 12325 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 953941184 10808422400 1154277 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296742400 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
[pid=13374/tid=13393] ppid=13372 vsize=10555100 CPUtime=0 cores=0,2,4,6
/proc/13374/task/13393/stat : 13393 (java) S 13372 13374 12325 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 953941240 10808422400 1154277 33554432000 1073741824 1073778376 140735522439792 18446744073709551615 224296742400 0 4 0 16800975 18446604446302198848 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 10555100
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1787.71 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 13512
/proc/meminfo: memFree=24463832/32951124 swapFree=67049456/67111528
[pid=13374] ppid=13372 vsize=0 CPUtime=1800.14 cores=0,2,4,6
/proc/13374/stat : 13374 (java) Z 13372 13374 12325 0 -1 4203548 1167329 0 1 0 179853 161 0 0 17 0 2 0 953941178 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13374/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 0
[startup+1787.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 13512
/proc/meminfo: memFree=24463832/32951124 swapFree=67049456/67111528
[pid=13374] ppid=13372 vsize=0 CPUtime=1800.23 cores=0,2,4,6
/proc/13374/stat : 13374 (java) Z 13372 13374 12325 0 -1 4203548 1167329 0 1 0 179853 170 0 0 17 0 2 0 953941178 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13374/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1787.83
CPU time (s): 1800.26
CPU user time (s): 1798.53
CPU system time (s): 1.72874
CPU usage (%): 100.696
Max. virtual memory (cumulated for all children) (KiB): 10561144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.53
system time used= 1.72874
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1167329
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= 38007
involuntary context switches= 18658
runsolver used 3.17252 second user time and 6.606 second system time
The end