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-3456931-1307205616/watcher-3456931-1307205616 -o /tmp/evaluation-result-3456931-1307205616/solver-3456931-1307205616 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456931-1307205616.opb
running on 4 cores: 1,3,5,7
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.97 2.01 2.00 2/461 31832
/proc/meminfo: memFree=26214560/32950928 swapFree=52246700/67111528
[pid=31832] ppid=31830 vsize=10444316 CPUtime=0.01 cores=1,3,5,7
/proc/31832/stat : 31832 (java) S 31830 31832 31238 0 -1 4202496 6838 0 1 0 0 1 0 0 18 0 2 0 910792259 10694979584 6539 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907293157 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/31832/statm: 2611079 6554 917 9 0 2602235 0
[pid=31832/tid=31834] ppid=31830 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/31832/task/31834/stat : 31834 (java) R 31830 31832 31238 0 -1 4202560 5837 0 1 0 0 0 0 0 19 0 2 0 910792259 10694979584 6653 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231895184443 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.034626 s]
/proc/loadavg: 1.97 2.01 2.00 2/461 31832
/proc/meminfo: memFree=26214560/32950928 swapFree=52246700/67111528
[pid=31832] ppid=31830 vsize=10465424 CPUtime=0.02 cores=1,3,5,7
/proc/31832/stat : 31832 (java) S 31830 31832 31238 0 -1 4202496 11032 0 1 0 1 1 0 0 18 0 11 0 910792259 10716594176 10730 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907293157 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/31832/statm: 2616356 10730 1621 9 0 2607104 0
[pid=31832/tid=31834] ppid=31830 vsize=10465424 CPUtime=0.02 cores=1,3,5,7
/proc/31832/task/31834/stat : 31834 (java) R 31830 31832 31238 0 -1 4202560 9907 0 1 0 1 1 0 0 24 0 11 0 910792259 10716594176 10730 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907317195 0 4 0 16784584 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10465424
[startup+0.100656 s]
/proc/loadavg: 1.97 2.01 2.00 2/461 31832
/proc/meminfo: memFree=26214560/32950928 swapFree=52246700/67111528
[pid=31832] ppid=31830 vsize=10539376 CPUtime=0.1 cores=1,3,5,7
/proc/31832/stat : 31832 (java) S 31830 31832 31238 0 -1 4202496 12926 0 1 0 8 2 0 0 18 0 18 0 910792259 10792321024 12622 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31832/statm: 2634844 12623 2092 9 0 2625578 0
[pid=31832/tid=31834] ppid=31830 vsize=10539376 CPUtime=0.09 cores=1,3,5,7
/proc/31832/task/31834/stat : 31834 (java) R 31830 31832 31238 0 -1 4202560 11168 0 1 0 7 2 0 0 25 0 18 0 910792259 10792321024 12623 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907317195 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539376
[startup+0.300582 s]
/proc/loadavg: 1.97 2.01 2.00 2/461 31832
/proc/meminfo: memFree=26214560/32950928 swapFree=52246700/67111528
[pid=31832] ppid=31830 vsize=10540404 CPUtime=0.45 cores=1,3,5,7
/proc/31832/stat : 31832 (java) S 31830 31832 31238 0 -1 4202496 19661 0 1 0 42 3 0 0 18 0 19 0 910792259 10793373696 17754 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31832/statm: 2635101 17754 2190 9 0 2625835 0
[pid=31832/tid=31834] ppid=31830 vsize=10540404 CPUtime=0.28 cores=1,3,5,7
/proc/31832/task/31834/stat : 31834 (java) R 31830 31832 31238 0 -1 4202560 12788 0 1 0 26 2 0 0 18 0 19 0 910792259 10793373696 17754 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 46912505198346 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 10540404
[startup+0.700505 s]
/proc/loadavg: 1.97 2.01 2.00 2/461 31832
/proc/meminfo: memFree=26214560/32950928 swapFree=52246700/67111528
[pid=31832] ppid=31830 vsize=10540940 CPUtime=1.45 cores=1,3,5,7
/proc/31832/stat : 31832 (java) S 31830 31832 31238 0 -1 4202496 42914 0 1 0 139 6 0 0 18 0 19 0 910792259 10793922560 36096 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31832/statm: 2635235 36104 2216 9 0 2625969 0
[pid=31832/tid=31834] ppid=31830 vsize=10540940 CPUtime=0.68 cores=1,3,5,7
/proc/31832/task/31834/stat : 31834 (java) R 31830 31832 31238 0 -1 4202560 30921 0 1 0 64 4 0 0 18 0 19 0 910792259 10793922560 36107 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 46912505538154 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 10540940
[startup+1.50143 s]
/proc/loadavg: 1.97 2.01 2.00 3/480 31853
/proc/meminfo: memFree=25953656/32950928 swapFree=52246700/67111528
[pid=31832] ppid=31830 vsize=10542732 CPUtime=2.58 cores=1,3,5,7
/proc/31832/stat : 31832 (java) S 31830 31832 31238 0 -1 4202496 134837 0 1 0 240 18 0 0 18 0 19 0 910792259 10795757568 126367 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31832/statm: 2635683 126371 2224 9 0 2626417 0
[pid=31832/tid=31834] ppid=31830 vsize=10542732 CPUtime=1.48 cores=1,3,5,7
/proc/31832/task/31834/stat : 31834 (java) R 31830 31832 31238 0 -1 4202560 120650 0 1 0 132 16 0 0 18 0 19 0 910792259 10795757568 126374 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 46912505701761 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31832/tid=31836] ppid=31830 vsize=10542732 CPUtime=0 cores=1,3,5,7
/proc/31832/task/31836/stat : 31836 (java) S 31830 31832 31238 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 910792261 10795757568 126376 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 7 0 0 0
[pid=31832/tid=31837] ppid=31830 vsize=10542732 CPUtime=0 cores=1,3,5,7
/proc/31832/task/31837/stat : 31837 (java) S 31830 31832 31238 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 910792261 10795757568 126379 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 7 0 0 0
[pid=31832/tid=31838] ppid=31830 vsize=10542732 CPUtime=0 cores=1,3,5,7
/proc/31832/task/31838/stat : 31838 (java) S 31830 31832 31238 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 910792261 10795757568 126381 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 7 0 0 0
[pid=31832/tid=31839] ppid=31830 vsize=10542732 CPUtime=0 cores=1,3,5,7
/proc/31832/task/31839/stat : 31839 (java) S 31830 31832 31238 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 910792261 10795757568 126383 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 7 0 0 0
[pid=31832/tid=31841] ppid=31830 vsize=10542732 CPUtime=0 cores=1,3,5,7
/proc/31832/task/31841/stat : 31841 (java) S 31830 31832 31238 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 910792261 10795757568 126385 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 7 0 0 0
[pid=31832/tid=31842] ppid=31830 vsize=10542732 CPUtime=0 cores=1,3,5,7
/proc/31832/task/31842/stat : 31842 (java) S 31830 31832 31238 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 910792261 10795757568 126386 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 7 0 0 0
[pid=31832/tid=31843] ppid=31830 vsize=10542732 CPUtime=0 cores=1,3,5,7
/proc/31832/task/31843/stat : 31843 (java) S 31830 31832 31238 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 910792261 10795757568 126388 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 7 0 0 0
[pid=31832/tid=31844] ppid=31830 vsize=10542732 CPUtime=0 cores=1,3,5,7
/proc/31832/task/31844/stat : 31844 (java) S 31830 31832 31238 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 910792261 10795757568 126390 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 5 0 0 0
[pid=31832/tid=31845] ppid=31830 vsize=10542732 CPUtime=0 cores=1,3,5,7
/proc/31832/task/31845/stat : 31845 (java) S 31830 31832 31238 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 910792262 10795757568 126392 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907307008 0 0 0 16800975 18446604462838172480 0 0 -1 7 0 0 0
[pid=31832/tid=31846] ppid=31830 vsize=10542732 CPUtime=0 cores=1,3,5,7
/proc/31832/task/31846/stat : 31846 (java) S 31830 31832 31238 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 910792262 10795757568 126394 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 5 0 0 0
[pid=31832/tid=31847] ppid=31830 vsize=10542732 CPUtime=0 cores=1,3,5,7
/proc/31832/task/31847/stat : 31847 (java) S 31830 31832 31238 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 910792262 10795757568 126396 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 5 0 0 0
[pid=31832/tid=31848] ppid=31830 vsize=10542732 CPUtime=0 cores=1,3,5,7
/proc/31832/task/31848/stat : 31848 (java) S 31830 31832 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910792264 10795757568 126398 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907314097 0 4 0 16800975 18446604462838172480 0 0 -1 5 0 0 0
[pid=31832/tid=31849] ppid=31830 vsize=10542732 CPUtime=0.48 cores=1,3,5,7
/proc/31832/task/31849/stat : 31849 (java) S 31830 31832 31238 0 -1 4202560 4404 0 0 0 48 0 0 0 21 0 19 0 910792264 10795757568 126400 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 3 0 0 0
[pid=31832/tid=31850] ppid=31830 vsize=10542732 CPUtime=0.6 cores=1,3,5,7
/proc/31832/task/31850/stat : 31850 (java) S 31830 31832 31238 0 -1 4202560 8629 0 0 0 59 1 0 0 19 0 19 0 910792264 10795757568 126403 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 7 0 0 0
[pid=31832/tid=31851] ppid=31830 vsize=10542732 CPUtime=0 cores=1,3,5,7
/proc/31832/task/31851/stat : 31851 (java) S 31830 31832 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910792264 10795757568 126404 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 5 0 0 0
[pid=31832/tid=31852] ppid=31830 vsize=10542732 CPUtime=0 cores=1,3,5,7
/proc/31832/task/31852/stat : 31852 (java) S 31830 31832 31238 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 910792264 10795757568 126406 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907307008 0 4 0 16800975 18446604462838172480 0 0 -1 7 0 0 0
[pid=31832/tid=31853] ppid=31830 vsize=10542732 CPUtime=0 cores=1,3,5,7
/proc/31832/task/31853/stat : 31853 (java) S 31830 31832 31238 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 910792275 10795757568 126408 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907307008 0 4 0 16800975 18446604462838172480 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.58
Current children cumulated vsize (KiB) 10542732
[startup+3.10113 s]
/proc/loadavg: 1.97 2.01 2.00 3/480 31853
/proc/meminfo: memFree=25502420/32950928 swapFree=52246700/67111528
[pid=31832] ppid=31830 vsize=10542732 CPUtime=4.19 cores=1,3,5,7
/proc/31832/stat : 31832 (java) S 31830 31832 31238 0 -1 4202496 275520 0 1 0 385 34 0 0 18 0 19 0 910792259 10795757568 267049 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31832/statm: 2635683 267054 2224 9 0 2626417 0
[pid=31832/tid=31834] ppid=31830 vsize=10542732 CPUtime=3.08 cores=1,3,5,7
/proc/31832/task/31834/stat : 31834 (java) R 31830 31832 31238 0 -1 4202560 261334 0 1 0 276 32 0 0 19 0 19 0 910792259 10795757568 267057 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 46912505538154 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31832/tid=31836] ppid=31830 vsize=10542732 CPUtime=0 cores=1,3,5,7
/proc/31832/task/31836/stat : 31836 (java) S 31830 31832 31238 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 910792261 10795757568 267059 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 7 0 0 0
[pid=31832/tid=31837] ppid=31830 vsize=10542732 CPUtime=0 cores=1,3,5,7
/proc/31832/task/31837/stat : 31837 (java) S 31830 31832 31238 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 910792261 10795757568 267061 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 7 0 0 0
[pid=31832/tid=31838] ppid=31830 vsize=10542732 CPUtime=0 cores=1,3,5,7
/proc/31832/task/31838/stat : 31838 (java) S 31830 31832 31238 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 910792261 10795757568 267062 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 7 0 0 0
[pid=31832/tid=31839] ppid=31830 vsize=10542732 CPUtime=0 cores=1,3,5,7
/proc/31832/task/31839/stat : 31839 (java) S 31830 31832 31238 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 910792261 10795757568 267065 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 7 0 0 0
[pid=31832/tid=31841] ppid=31830 vsize=10542732 CPUtime=0 cores=1,3,5,7
/proc/31832/task/31841/stat : 31841 (java) S 31830 31832 31238 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 910792261 10795757568 267068 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 7 0 0 0
[pid=31832/tid=31842] ppid=31830 vsize=10542732 CPUtime=0 cores=1,3,5,7
/proc/31832/task/31842/stat : 31842 (java) S 31830 31832 31238 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 910792261 10795757568 267070 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 7 0 0 0
[pid=31832/tid=31843] ppid=31830 vsize=10542732 CPUtime=0 cores=1,3,5,7
/proc/31832/task/31843/stat : 31843 (java) S 31830 31832 31238 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 910792261 10795757568 267072 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 7 0 0 0
[pid=31832/tid=31844] ppid=31830 vsize=10542732 CPUtime=0 cores=1,3,5,7
/proc/31832/task/31844/stat : 31844 (java) S 31830 31832 31238 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 910792261 10795757568 267077 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 5 0 0 0
[pid=31832/tid=31845] ppid=31830 vsize=10542732 CPUtime=0 cores=1,3,5,7
/proc/31832/task/31845/stat : 31845 (java) S 31830 31832 31238 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 910792262 10795757568 267083 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907307008 0 0 0 16800975 18446604462838172480 0 0 -1 7 0 0 0
[pid=31832/tid=31846] ppid=31830 vsize=10542732 CPUtime=0 cores=1,3,5,7
/proc/31832/task/31846/stat : 31846 (java) S 31830 31832 31238 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 910792262 10795757568 267085 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 5 0 0 0
[pid=31832/tid=31847] ppid=31830 vsize=10542732 CPUtime=0 cores=1,3,5,7
/proc/31832/task/31847/stat : 31847 (java) S 31830 31832 31238 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 910792262 10795757568 267085 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 5 0 0 0
[pid=31832/tid=31848] ppid=31830 vsize=10542732 CPUtime=0 cores=1,3,5,7
/proc/31832/task/31848/stat : 31848 (java) S 31830 31832 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910792264 10795757568 267085 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907314097 0 4 0 16800975 18446604462838172480 0 0 -1 5 0 0 0
[pid=31832/tid=31849] ppid=31830 vsize=10542732 CPUtime=0.48 cores=1,3,5,7
/proc/31832/task/31849/stat : 31849 (java) S 31830 31832 31238 0 -1 4202560 4404 0 0 0 48 0 0 0 18 0 19 0 910792264 10795757568 267085 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 3 0 0 0
[pid=31832/tid=31850] ppid=31830 vsize=10542732 CPUtime=0.61 cores=1,3,5,7
/proc/31832/task/31850/stat : 31850 (java) S 31830 31832 31238 0 -1 4202560 8629 0 0 0 60 1 0 0 15 0 19 0 910792264 10795757568 267085 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 7 0 0 0
[pid=31832/tid=31851] ppid=31830 vsize=10542732 CPUtime=0 cores=1,3,5,7
/proc/31832/task/31851/stat : 31851 (java) S 31830 31832 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910792264 10795757568 267085 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 5 0 0 0
[pid=31832/tid=31852] ppid=31830 vsize=10542732 CPUtime=0 cores=1,3,5,7
/proc/31832/task/31852/stat : 31852 (java) S 31830 31832 31238 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 910792264 10795757568 267085 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907307008 0 4 0 16800975 18446604462838172480 0 0 -1 7 0 0 0
[pid=31832/tid=31853] ppid=31830 vsize=10542732 CPUtime=0 cores=1,3,5,7
/proc/31832/task/31853/stat : 31853 (java) S 31830 31832 31238 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 910792275 10795757568 267085 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907307008 0 4 0 16800975 18446604462838172480 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.19
Current children cumulated vsize (KiB) 10542732
[startup+6.30151 s]
/proc/loadavg: 1.97 2.01 2.00 3/480 31853
/proc/meminfo: memFree=24676024/32950928 swapFree=52246700/67111528
[pid=31832] ppid=31830 vsize=10542732 CPUtime=7.42 cores=1,3,5,7
/proc/31832/stat : 31832 (java) S 31830 31832 31238 0 -1 4202496 410246 0 1 0 688 54 0 0 18 0 19 0 910792259 10795757568 401774 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31832/statm: 2635683 401778 2225 9 0 2626417 0
[pid=31832/tid=31834] ppid=31830 vsize=10542732 CPUtime=6.29 cores=1,3,5,7
/proc/31832/task/31834/stat : 31834 (java) R 31830 31832 31238 0 -1 4202560 396053 0 1 0 577 52 0 0 25 0 19 0 910792259 10795757568 401778 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 46912505658128 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31832/tid=31836] ppid=31830 vsize=10542732 CPUtime=0 cores=1,3,5,7
/proc/31832/task/31836/stat : 31836 (java) S 31830 31832 31238 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 910792261 10795757568 401778 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 7 0 0 0
[pid=31832/tid=31837] ppid=31830 vsize=10542732 CPUtime=0 cores=1,3,5,7
/proc/31832/task/31837/stat : 31837 (java) S 31830 31832 31238 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 910792261 10795757568 401779 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 7 0 0 0
[pid=31832/tid=31838] ppid=31830 vsize=10542732 CPUtime=0 cores=1,3,5,7
/proc/31832/task/31838/stat : 31838 (java) S 31830 31832 31238 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 910792261 10795757568 401779 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 7 0 0 0
[pid=31832/tid=31839] ppid=31830 vsize=10542732 CPUtime=0 cores=1,3,5,7
/proc/31832/task/31839/stat : 31839 (java) S 31830 31832 31238 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 910792261 10795757568 401779 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 7 0 0 0
[pid=31832/tid=31841] ppid=31830 vsize=10542732 CPUtime=0 cores=1,3,5,7
/proc/31832/task/31841/stat : 31841 (java) S 31830 31832 31238 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 910792261 10795757568 401780 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 7 0 0 0
[pid=31832/tid=31842] ppid=31830 vsize=10542732 CPUtime=0 cores=1,3,5,7
/proc/31832/task/31842/stat : 31842 (java) S 31830 31832 31238 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 910792261 10795757568 401783 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 7 0 0 0
[pid=31832/tid=31843] ppid=31830 vsize=10542732 CPUtime=0 cores=1,3,5,7
/proc/31832/task/31843/stat : 31843 (java) S 31830 31832 31238 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 910792261 10795757568 401783 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 7 0 0 0
[pid=31832/tid=31844] ppid=31830 vsize=10542732 CPUtime=0 cores=1,3,5,7
/proc/31832/task/31844/stat : 31844 (java) S 31830 31832 31238 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 910792261 10795757568 401783 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 5 0 0 0
[pid=31832/tid=31845] ppid=31830 vsize=10542732 CPUtime=0 cores=1,3,5,7
/proc/31832/task/31845/stat : 31845 (java) S 31830 31832 31238 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 910792262 10795757568 401784 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907307008 0 0 0 16800975 18446604462838172480 0 0 -1 7 0 0 0
[pid=31832/tid=31846] ppid=31830 vsize=10542732 CPUtime=0 cores=1,3,5,7
/proc/31832/task/31846/stat : 31846 (java) S 31830 31832 31238 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 910792262 10795757568 401784 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 5 0 0 0
[pid=31832/tid=31847] ppid=31830 vsize=10542732 CPUtime=0 cores=1,3,5,7
/proc/31832/task/31847/stat : 31847 (java) S 31830 31832 31238 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 910792262 10795757568 401784 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 5 0 0 0
[pid=31832/tid=31848] ppid=31830 vsize=10542732 CPUtime=0 cores=1,3,5,7
/proc/31832/task/31848/stat : 31848 (java) S 31830 31832 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910792264 10795757568 401784 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907314097 0 4 0 16800975 18446604462838172480 0 0 -1 5 0 0 0
[pid=31832/tid=31849] ppid=31830 vsize=10542732 CPUtime=0.48 cores=1,3,5,7
/proc/31832/task/31849/stat : 31849 (java) S 31830 31832 31238 0 -1 4202560 4404 0 0 0 48 0 0 0 18 0 19 0 910792264 10795757568 401787 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 3 0 0 0
[pid=31832/tid=31850] ppid=31830 vsize=10542732 CPUtime=0.63 cores=1,3,5,7
/proc/31832/task/31850/stat : 31850 (java) S 31830 31832 31238 0 -1 4202560 8631 0 0 0 62 1 0 0 15 0 19 0 910792264 10795757568 401787 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 7 0 0 0
################
# More data... #
################
/proc/31832/task/31847/stat : 31847 (java) S 31830 31832 31238 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 910792262 10795757568 927344 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 5 0 0 0
[pid=31832/tid=31848] ppid=31830 vsize=10542732 CPUtime=0 cores=1,3,5,7
/proc/31832/task/31848/stat : 31848 (java) S 31830 31832 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910792264 10795757568 927344 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907314097 0 4 0 16800975 18446604462838172480 0 0 -1 5 0 0 0
[pid=31832/tid=31849] ppid=31830 vsize=10542732 CPUtime=0.48 cores=1,3,5,7
/proc/31832/task/31849/stat : 31849 (java) S 31830 31832 31238 0 -1 4202560 4405 0 0 0 48 0 0 0 18 0 19 0 910792264 10795757568 927344 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 3 0 0 0
[pid=31832/tid=31850] ppid=31830 vsize=10542732 CPUtime=0.72 cores=1,3,5,7
/proc/31832/task/31850/stat : 31850 (java) S 31830 31832 31238 0 -1 4202560 8651 0 0 0 71 1 0 0 15 0 19 0 910792264 10795757568 927344 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 7 0 0 0
[pid=31832/tid=31851] ppid=31830 vsize=10542732 CPUtime=0 cores=1,3,5,7
/proc/31832/task/31851/stat : 31851 (java) S 31830 31832 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910792264 10795757568 927344 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 5 0 0 0
[pid=31832/tid=31852] ppid=31830 vsize=10542732 CPUtime=0 cores=1,3,5,7
/proc/31832/task/31852/stat : 31852 (java) S 31830 31832 31238 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 910792264 10795757568 927344 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907307008 0 4 0 16800975 18446604462838172480 0 0 -1 3 0 0 0
[pid=31832/tid=31853] ppid=31830 vsize=10542732 CPUtime=0 cores=1,3,5,7
/proc/31832/task/31853/stat : 31853 (java) S 31830 31832 31238 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 910792275 10795757568 927344 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907307008 0 4 0 16800975 18446604462838172480 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1664.18
Current children cumulated vsize (KiB) 10542732
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/480 31956
/proc/meminfo: memFree=23212180/32950928 swapFree=52246700/67111528
[pid=31832] ppid=31830 vsize=10542732 CPUtime=1724.18 cores=1,3,5,7
/proc/31832/stat : 31832 (java) S 31830 31832 31238 0 -1 4202496 939092 0 1 0 172302 116 0 0 18 0 19 0 910792259 10795757568 927344 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31832/statm: 2635683 927344 2239 9 0 2626417 0
[pid=31832/tid=31834] ppid=31830 vsize=10542732 CPUtime=1722.04 cores=1,3,5,7
/proc/31832/task/31834/stat : 31834 (java) R 31830 31832 31238 0 -1 4202560 723955 0 1 0 172118 86 0 0 25 0 19 0 910792259 10795757568 927344 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 46912505658961 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31832/tid=31836] ppid=31830 vsize=10542732 CPUtime=0.08 cores=1,3,5,7
/proc/31832/task/31836/stat : 31836 (java) S 31830 31832 31238 0 -1 4202560 21436 0 0 0 6 2 0 0 15 0 19 0 910792261 10795757568 927344 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 5 0 0 0
[pid=31832/tid=31837] ppid=31830 vsize=10542732 CPUtime=0.14 cores=1,3,5,7
/proc/31832/task/31837/stat : 31837 (java) S 31830 31832 31238 0 -1 4202560 29920 0 0 0 11 3 0 0 15 0 19 0 910792261 10795757568 927344 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 5 0 0 0
[pid=31832/tid=31838] ppid=31830 vsize=10542732 CPUtime=0.1 cores=1,3,5,7
/proc/31832/task/31838/stat : 31838 (java) S 31830 31832 31238 0 -1 4202560 19444 0 0 0 7 3 0 0 15 0 19 0 910792261 10795757568 927344 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 3 0 0 0
[pid=31832/tid=31839] ppid=31830 vsize=10542732 CPUtime=0.11 cores=1,3,5,7
/proc/31832/task/31839/stat : 31839 (java) S 31830 31832 31238 0 -1 4202560 22928 0 0 0 8 3 0 0 15 0 19 0 910792261 10795757568 927344 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 1 0 0 0
[pid=31832/tid=31841] ppid=31830 vsize=10542732 CPUtime=0.14 cores=1,3,5,7
/proc/31832/task/31841/stat : 31841 (java) S 31830 31832 31238 0 -1 4202560 32918 0 0 0 10 4 0 0 15 0 19 0 910792261 10795757568 927344 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 3 0 0 0
[pid=31832/tid=31842] ppid=31830 vsize=10542732 CPUtime=0.13 cores=1,3,5,7
/proc/31832/task/31842/stat : 31842 (java) S 31830 31832 31238 0 -1 4202560 35978 0 0 0 9 4 0 0 16 0 19 0 910792261 10795757568 927344 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 5 0 0 0
[pid=31832/tid=31843] ppid=31830 vsize=10542732 CPUtime=0.07 cores=1,3,5,7
/proc/31832/task/31843/stat : 31843 (java) S 31830 31832 31238 0 -1 4202560 21556 0 0 0 4 3 0 0 15 0 19 0 910792261 10795757568 927344 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 3 0 0 0
[pid=31832/tid=31844] ppid=31830 vsize=10542732 CPUtime=0.06 cores=1,3,5,7
/proc/31832/task/31844/stat : 31844 (java) S 31830 31832 31238 0 -1 4202560 16620 0 0 0 4 2 0 0 16 0 19 0 910792261 10795757568 927344 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 1 0 0 0
[pid=31832/tid=31845] ppid=31830 vsize=10542732 CPUtime=0 cores=1,3,5,7
/proc/31832/task/31845/stat : 31845 (java) S 31830 31832 31238 0 -1 4202560 31 0 0 0 0 0 0 0 15 0 19 0 910792262 10795757568 927344 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907307008 0 0 0 16800975 18446604462838172480 0 0 -1 3 0 0 0
[pid=31832/tid=31846] ppid=31830 vsize=10542732 CPUtime=0 cores=1,3,5,7
/proc/31832/task/31846/stat : 31846 (java) S 31830 31832 31238 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 910792262 10795757568 927344 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 5 0 0 0
[pid=31832/tid=31847] ppid=31830 vsize=10542732 CPUtime=0 cores=1,3,5,7
/proc/31832/task/31847/stat : 31847 (java) S 31830 31832 31238 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 910792262 10795757568 927344 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 5 0 0 0
[pid=31832/tid=31848] ppid=31830 vsize=10542732 CPUtime=0 cores=1,3,5,7
/proc/31832/task/31848/stat : 31848 (java) S 31830 31832 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910792264 10795757568 927344 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907314097 0 4 0 16800975 18446604462838172480 0 0 -1 5 0 0 0
[pid=31832/tid=31849] ppid=31830 vsize=10542732 CPUtime=0.48 cores=1,3,5,7
/proc/31832/task/31849/stat : 31849 (java) S 31830 31832 31238 0 -1 4202560 4405 0 0 0 48 0 0 0 18 0 19 0 910792264 10795757568 927344 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 3 0 0 0
[pid=31832/tid=31850] ppid=31830 vsize=10542732 CPUtime=0.72 cores=1,3,5,7
/proc/31832/task/31850/stat : 31850 (java) S 31830 31832 31238 0 -1 4202560 8651 0 0 0 71 1 0 0 15 0 19 0 910792264 10795757568 927344 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 7 0 0 0
[pid=31832/tid=31851] ppid=31830 vsize=10542732 CPUtime=0 cores=1,3,5,7
/proc/31832/task/31851/stat : 31851 (java) S 31830 31832 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910792264 10795757568 927344 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 5 0 0 0
[pid=31832/tid=31852] ppid=31830 vsize=10542732 CPUtime=0 cores=1,3,5,7
/proc/31832/task/31852/stat : 31852 (java) S 31830 31832 31238 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 910792264 10795757568 927344 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907307008 0 4 0 16800975 18446604462838172480 0 0 -1 3 0 0 0
[pid=31832/tid=31853] ppid=31830 vsize=10542732 CPUtime=0 cores=1,3,5,7
/proc/31832/task/31853/stat : 31853 (java) S 31830 31832 31238 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 910792275 10795757568 927344 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907307008 0 4 0 16800975 18446604462838172480 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1724.18
Current children cumulated vsize (KiB) 10542732
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/480 31958
/proc/meminfo: memFree=23144700/32950928 swapFree=52246700/67111528
[pid=31832] ppid=31830 vsize=10542732 CPUtime=1784.18 cores=1,3,5,7
/proc/31832/stat : 31832 (java) S 31830 31832 31238 0 -1 4202496 939096 0 1 0 178302 116 0 0 18 0 19 0 910792259 10795757568 927344 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31832/statm: 2635683 927344 2239 9 0 2626417 0
[pid=31832/tid=31834] ppid=31830 vsize=10542732 CPUtime=1782.05 cores=1,3,5,7
/proc/31832/task/31834/stat : 31834 (java) R 31830 31832 31238 0 -1 4202560 723955 0 1 0 178119 86 0 0 25 0 19 0 910792259 10795757568 927344 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 46912505732273 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31832/tid=31836] ppid=31830 vsize=10542732 CPUtime=0.08 cores=1,3,5,7
/proc/31832/task/31836/stat : 31836 (java) S 31830 31832 31238 0 -1 4202560 21436 0 0 0 6 2 0 0 15 0 19 0 910792261 10795757568 927344 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 5 0 0 0
[pid=31832/tid=31837] ppid=31830 vsize=10542732 CPUtime=0.14 cores=1,3,5,7
/proc/31832/task/31837/stat : 31837 (java) S 31830 31832 31238 0 -1 4202560 29920 0 0 0 11 3 0 0 15 0 19 0 910792261 10795757568 927344 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 5 0 0 0
[pid=31832/tid=31838] ppid=31830 vsize=10542732 CPUtime=0.1 cores=1,3,5,7
/proc/31832/task/31838/stat : 31838 (java) S 31830 31832 31238 0 -1 4202560 19444 0 0 0 7 3 0 0 15 0 19 0 910792261 10795757568 927344 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 3 0 0 0
[pid=31832/tid=31839] ppid=31830 vsize=10542732 CPUtime=0.11 cores=1,3,5,7
/proc/31832/task/31839/stat : 31839 (java) S 31830 31832 31238 0 -1 4202560 22928 0 0 0 8 3 0 0 15 0 19 0 910792261 10795757568 927344 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 1 0 0 0
[pid=31832/tid=31841] ppid=31830 vsize=10542732 CPUtime=0.14 cores=1,3,5,7
/proc/31832/task/31841/stat : 31841 (java) S 31830 31832 31238 0 -1 4202560 32918 0 0 0 10 4 0 0 15 0 19 0 910792261 10795757568 927344 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 3 0 0 0
[pid=31832/tid=31842] ppid=31830 vsize=10542732 CPUtime=0.13 cores=1,3,5,7
/proc/31832/task/31842/stat : 31842 (java) S 31830 31832 31238 0 -1 4202560 35978 0 0 0 9 4 0 0 16 0 19 0 910792261 10795757568 927344 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 5 0 0 0
[pid=31832/tid=31843] ppid=31830 vsize=10542732 CPUtime=0.07 cores=1,3,5,7
/proc/31832/task/31843/stat : 31843 (java) S 31830 31832 31238 0 -1 4202560 21556 0 0 0 4 3 0 0 15 0 19 0 910792261 10795757568 927344 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 3 0 0 0
[pid=31832/tid=31844] ppid=31830 vsize=10542732 CPUtime=0.06 cores=1,3,5,7
/proc/31832/task/31844/stat : 31844 (java) S 31830 31832 31238 0 -1 4202560 16620 0 0 0 4 2 0 0 16 0 19 0 910792261 10795757568 927344 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 1 0 0 0
[pid=31832/tid=31845] ppid=31830 vsize=10542732 CPUtime=0 cores=1,3,5,7
/proc/31832/task/31845/stat : 31845 (java) S 31830 31832 31238 0 -1 4202560 31 0 0 0 0 0 0 0 15 0 19 0 910792262 10795757568 927344 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907307008 0 0 0 16800975 18446604462838172480 0 0 -1 3 0 0 0
[pid=31832/tid=31846] ppid=31830 vsize=10542732 CPUtime=0 cores=1,3,5,7
/proc/31832/task/31846/stat : 31846 (java) S 31830 31832 31238 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 910792262 10795757568 927344 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 5 0 0 0
[pid=31832/tid=31847] ppid=31830 vsize=10542732 CPUtime=0 cores=1,3,5,7
/proc/31832/task/31847/stat : 31847 (java) S 31830 31832 31238 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 910792262 10795757568 927344 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 5 0 0 0
[pid=31832/tid=31848] ppid=31830 vsize=10542732 CPUtime=0 cores=1,3,5,7
/proc/31832/task/31848/stat : 31848 (java) S 31830 31832 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910792264 10795757568 927344 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907314097 0 4 0 16800975 18446604462838172480 0 0 -1 5 0 0 0
[pid=31832/tid=31849] ppid=31830 vsize=10542732 CPUtime=0.48 cores=1,3,5,7
/proc/31832/task/31849/stat : 31849 (java) S 31830 31832 31238 0 -1 4202560 4405 0 0 0 48 0 0 0 18 0 19 0 910792264 10795757568 927344 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 3 0 0 0
[pid=31832/tid=31850] ppid=31830 vsize=10542732 CPUtime=0.72 cores=1,3,5,7
/proc/31832/task/31850/stat : 31850 (java) S 31830 31832 31238 0 -1 4202560 8651 0 0 0 71 1 0 0 15 0 19 0 910792264 10795757568 927344 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 7 0 0 0
[pid=31832/tid=31851] ppid=31830 vsize=10542732 CPUtime=0 cores=1,3,5,7
/proc/31832/task/31851/stat : 31851 (java) S 31830 31832 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910792264 10795757568 927344 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 5 0 0 0
[pid=31832/tid=31852] ppid=31830 vsize=10542732 CPUtime=0 cores=1,3,5,7
/proc/31832/task/31852/stat : 31852 (java) S 31830 31832 31238 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 910792264 10795757568 927344 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907307008 0 4 0 16800975 18446604462838172480 0 0 -1 3 0 0 0
[pid=31832/tid=31853] ppid=31830 vsize=10542732 CPUtime=0 cores=1,3,5,7
/proc/31832/task/31853/stat : 31853 (java) S 31830 31832 31238 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 910792275 10795757568 927344 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907307008 0 4 0 16800975 18446604462838172480 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1784.18
Current children cumulated vsize (KiB) 10542732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/480 31958
/proc/meminfo: memFree=23144564/32950928 swapFree=52246700/67111528
[pid=31832] ppid=31830 vsize=10542732 CPUtime=1800.1 cores=1,3,5,7
/proc/31832/stat : 31832 (java) S 31830 31832 31238 0 -1 4202496 939096 0 1 0 179894 116 0 0 18 0 19 0 910792259 10795757568 927344 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31832/statm: 2635683 927344 2239 9 0 2626417 0
[pid=31832/tid=31834] ppid=31830 vsize=10542732 CPUtime=1797.96 cores=1,3,5,7
/proc/31832/task/31834/stat : 31834 (java) R 31830 31832 31238 0 -1 4202560 723955 0 1 0 179710 86 0 0 25 0 19 0 910792259 10795757568 927344 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 46912505954577 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31832/tid=31836] ppid=31830 vsize=10542732 CPUtime=0.08 cores=1,3,5,7
/proc/31832/task/31836/stat : 31836 (java) S 31830 31832 31238 0 -1 4202560 21436 0 0 0 6 2 0 0 15 0 19 0 910792261 10795757568 927344 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 5 0 0 0
[pid=31832/tid=31837] ppid=31830 vsize=10542732 CPUtime=0.14 cores=1,3,5,7
/proc/31832/task/31837/stat : 31837 (java) S 31830 31832 31238 0 -1 4202560 29920 0 0 0 11 3 0 0 15 0 19 0 910792261 10795757568 927344 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 5 0 0 0
[pid=31832/tid=31838] ppid=31830 vsize=10542732 CPUtime=0.1 cores=1,3,5,7
/proc/31832/task/31838/stat : 31838 (java) S 31830 31832 31238 0 -1 4202560 19444 0 0 0 7 3 0 0 15 0 19 0 910792261 10795757568 927344 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 3 0 0 0
[pid=31832/tid=31839] ppid=31830 vsize=10542732 CPUtime=0.11 cores=1,3,5,7
/proc/31832/task/31839/stat : 31839 (java) S 31830 31832 31238 0 -1 4202560 22928 0 0 0 8 3 0 0 15 0 19 0 910792261 10795757568 927344 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 1 0 0 0
[pid=31832/tid=31841] ppid=31830 vsize=10542732 CPUtime=0.14 cores=1,3,5,7
/proc/31832/task/31841/stat : 31841 (java) S 31830 31832 31238 0 -1 4202560 32918 0 0 0 10 4 0 0 15 0 19 0 910792261 10795757568 927344 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 3 0 0 0
[pid=31832/tid=31842] ppid=31830 vsize=10542732 CPUtime=0.13 cores=1,3,5,7
/proc/31832/task/31842/stat : 31842 (java) S 31830 31832 31238 0 -1 4202560 35978 0 0 0 9 4 0 0 16 0 19 0 910792261 10795757568 927344 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 5 0 0 0
[pid=31832/tid=31843] ppid=31830 vsize=10542732 CPUtime=0.07 cores=1,3,5,7
/proc/31832/task/31843/stat : 31843 (java) S 31830 31832 31238 0 -1 4202560 21556 0 0 0 4 3 0 0 15 0 19 0 910792261 10795757568 927344 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 3 0 0 0
[pid=31832/tid=31844] ppid=31830 vsize=10542732 CPUtime=0.06 cores=1,3,5,7
/proc/31832/task/31844/stat : 31844 (java) S 31830 31832 31238 0 -1 4202560 16620 0 0 0 4 2 0 0 16 0 19 0 910792261 10795757568 927344 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 1 0 0 0
[pid=31832/tid=31845] ppid=31830 vsize=10542732 CPUtime=0 cores=1,3,5,7
/proc/31832/task/31845/stat : 31845 (java) S 31830 31832 31238 0 -1 4202560 31 0 0 0 0 0 0 0 15 0 19 0 910792262 10795757568 927344 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907307008 0 0 0 16800975 18446604462838172480 0 0 -1 3 0 0 0
[pid=31832/tid=31846] ppid=31830 vsize=10542732 CPUtime=0 cores=1,3,5,7
/proc/31832/task/31846/stat : 31846 (java) S 31830 31832 31238 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 910792262 10795757568 927344 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 5 0 0 0
[pid=31832/tid=31847] ppid=31830 vsize=10542732 CPUtime=0 cores=1,3,5,7
/proc/31832/task/31847/stat : 31847 (java) S 31830 31832 31238 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 910792262 10795757568 927344 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 5 0 0 0
[pid=31832/tid=31848] ppid=31830 vsize=10542732 CPUtime=0 cores=1,3,5,7
/proc/31832/task/31848/stat : 31848 (java) S 31830 31832 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910792264 10795757568 927344 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907314097 0 4 0 16800975 18446604462838172480 0 0 -1 5 0 0 0
[pid=31832/tid=31849] ppid=31830 vsize=10542732 CPUtime=0.48 cores=1,3,5,7
/proc/31832/task/31849/stat : 31849 (java) S 31830 31832 31238 0 -1 4202560 4405 0 0 0 48 0 0 0 18 0 19 0 910792264 10795757568 927344 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 3 0 0 0
[pid=31832/tid=31850] ppid=31830 vsize=10542732 CPUtime=0.72 cores=1,3,5,7
/proc/31832/task/31850/stat : 31850 (java) S 31830 31832 31238 0 -1 4202560 8651 0 0 0 71 1 0 0 15 0 19 0 910792264 10795757568 927344 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 7 0 0 0
[pid=31832/tid=31851] ppid=31830 vsize=10542732 CPUtime=0 cores=1,3,5,7
/proc/31832/task/31851/stat : 31851 (java) S 31830 31832 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910792264 10795757568 927344 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907306393 0 4 0 16800975 18446604462838172480 0 0 -1 5 0 0 0
[pid=31832/tid=31852] ppid=31830 vsize=10542732 CPUtime=0 cores=1,3,5,7
/proc/31832/task/31852/stat : 31852 (java) S 31830 31832 31238 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 910792264 10795757568 927344 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907307008 0 4 0 16800975 18446604462838172480 0 0 -1 3 0 0 0
[pid=31832/tid=31853] ppid=31830 vsize=10542732 CPUtime=0 cores=1,3,5,7
/proc/31832/task/31853/stat : 31853 (java) S 31830 31832 31238 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 910792275 10795757568 927344 33554432000 1073741824 1073778376 140735971543088 18446744073709551615 231907307008 0 4 0 16800975 18446604462838172480 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 10542732
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1798.32 s]
/proc/loadavg: 2.00 2.00 2.00 3/480 31958
/proc/meminfo: memFree=23144564/32950928 swapFree=52246700/67111528
[pid=31832] ppid=31830 vsize=0 CPUtime=1800.21 cores=1,3,5,7
/proc/31832/stat : 31832 (java) Z 31830 31832 31238 0 -1 4203548 939127 0 1 0 179895 126 0 0 17 0 2 0 910792259 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31832/statm: 0 0 0 0 0 0 0
[pid=31832/tid=31849] ppid=31830 vsize=0 CPUtime=0.58 cores=1,3,5,7
/proc/31832/task/31849/stat : 31849 (java) R 31830 31832 31238 0 -1 4203588 4405 0 0 0 48 10 0 0 18 0 2 0 910792264 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1798.37
CPU time (s): 1800.27
CPU user time (s): 1798.96
CPU system time (s): 1.3148
CPU usage (%): 100.106
Max. virtual memory (cumulated for all children) (KiB): 10545556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.96
system time used= 1.3148
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 939127
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= 36914
involuntary context switches= 3211
runsolver used 7.46686 second user time and 18.0843 second system time
The end