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-3455834-1307227526/watcher-3455834-1307227526 -o /tmp/evaluation-result-3455834-1307227526/solver-3455834-1307227526 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3455834-1307227526.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: 2.11 2.05 2.01 2/499 22707
/proc/meminfo: memFree=23713632/32950928 swapFree=39617324/67111528
[pid=22707] ppid=22705 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/22707/stat : 22707 (java) S 22705 22707 20277 0 -1 4202496 3803 0 1 0 0 0 0 0 22 0 2 0 834352229 10694979584 3504 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092035045 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/22707/statm: 2611079 3519 917 9 0 2602235 0
[pid=22707/tid=22708] ppid=22705 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22708/stat : 22708 (java) R 22705 22707 20277 0 -1 4202560 4690 0 1 0 0 0 0 0 23 0 2 0 834352230 10694979584 5506 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208079926331 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0736689 s]
/proc/loadavg: 2.11 2.05 2.01 2/499 22707
/proc/meminfo: memFree=23713632/32950928 swapFree=39617324/67111528
[pid=22707] ppid=22705 vsize=10473088 CPUtime=0.05 cores=1,3,5,7
/proc/22707/stat : 22707 (java) S 22705 22707 20277 0 -1 4202496 11874 0 1 0 4 1 0 0 22 0 18 0 834352229 10724442112 11570 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22707/statm: 2618272 11570 1754 9 0 2609006 0
[pid=22707/tid=22708] ppid=22705 vsize=10473088 CPUtime=0.05 cores=1,3,5,7
/proc/22707/task/22708/stat : 22708 (java) R 22705 22707 20277 0 -1 4202560 10699 0 1 0 4 1 0 0 25 0 18 0 834352230 10724442112 11570 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10473088
[startup+0.100664 s]
/proc/loadavg: 2.11 2.05 2.01 2/499 22707
/proc/meminfo: memFree=23713632/32950928 swapFree=39617324/67111528
[pid=22707] ppid=22705 vsize=10540092 CPUtime=0.1 cores=1,3,5,7
/proc/22707/stat : 22707 (java) S 22705 22707 20277 0 -1 4202496 13018 0 1 0 8 2 0 0 22 0 18 0 834352229 10793054208 12714 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22707/statm: 2635023 12714 2093 9 0 2625757 0
[pid=22707/tid=22708] ppid=22705 vsize=10540092 CPUtime=0.08 cores=1,3,5,7
/proc/22707/task/22708/stat : 22708 (java) R 22705 22707 20277 0 -1 4202560 11124 0 1 0 7 1 0 0 25 0 18 0 834352230 10793054208 12714 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208079899633 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540092
[startup+0.300626 s]
/proc/loadavg: 2.11 2.05 2.01 2/499 22707
/proc/meminfo: memFree=23713632/32950928 swapFree=39617324/67111528
[pid=22707] ppid=22705 vsize=10543856 CPUtime=0.44 cores=1,3,5,7
/proc/22707/stat : 22707 (java) S 22705 22707 20277 0 -1 4202496 16215 0 1 0 42 2 0 0 22 0 19 0 834352229 10796908544 15352 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22707/statm: 2635964 15352 2220 9 0 2626698 0
[pid=22707/tid=22708] ppid=22705 vsize=10543856 CPUtime=0.28 cores=1,3,5,7
/proc/22707/task/22708/stat : 22708 (java) R 22705 22707 20277 0 -1 4202560 12684 0 1 0 26 2 0 0 25 0 19 0 834352230 10796908544 15352 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 47209117905786 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 10543856
[startup+0.700554 s]
/proc/loadavg: 2.11 2.05 2.01 2/499 22707
/proc/meminfo: memFree=23713632/32950928 swapFree=39617324/67111528
[pid=22707] ppid=22705 vsize=10549864 CPUtime=1.62 cores=1,3,5,7
/proc/22707/stat : 22707 (java) S 22705 22707 20277 0 -1 4202496 28595 0 1 0 159 3 0 0 22 0 19 0 834352229 10803060736 24388 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22707/statm: 2637466 24388 2232 9 0 2628200 0
[pid=22707/tid=22708] ppid=22705 vsize=10549864 CPUtime=0.68 cores=1,3,5,7
/proc/22707/task/22708/stat : 22708 (java) R 22705 22707 20277 0 -1 4202560 17379 0 1 0 66 2 0 0 25 0 19 0 834352230 10803060736 24388 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 46912505672910 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 10549864
[startup+1.5014 s]
/proc/loadavg: 2.11 2.05 2.01 3/518 22726
/proc/meminfo: memFree=23597364/32950928 swapFree=39617324/67111528
[pid=22707] ppid=22705 vsize=10551224 CPUtime=2.55 cores=1,3,5,7
/proc/22707/stat : 22707 (java) S 22705 22707 20277 0 -1 4202496 60685 0 1 0 248 7 0 0 22 0 19 0 834352229 10804453376 56477 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22707/statm: 2637806 56480 2235 9 0 2628540 0
[pid=22707/tid=22708] ppid=22705 vsize=10551224 CPUtime=1.49 cores=1,3,5,7
/proc/22707/task/22708/stat : 22708 (java) R 22705 22707 20277 0 -1 4202560 49113 0 1 0 142 7 0 0 25 0 19 0 834352230 10804453376 56482 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 46912505603178 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22707/tid=22710] ppid=22705 vsize=10551224 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22710/stat : 22710 (java) S 22705 22707 20277 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 834352232 10804453376 56484 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 3 0 0 0
[pid=22707/tid=22711] ppid=22705 vsize=10551224 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22711/stat : 22711 (java) S 22705 22707 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834352232 10804453376 56486 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 7 0 0 0
[pid=22707/tid=22712] ppid=22705 vsize=10551224 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22712/stat : 22712 (java) S 22705 22707 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834352232 10804453376 56488 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 7 0 0 0
[pid=22707/tid=22713] ppid=22705 vsize=10551224 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22713/stat : 22713 (java) S 22705 22707 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834352232 10804453376 56490 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 7 0 0 0
[pid=22707/tid=22714] ppid=22705 vsize=10551224 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22714/stat : 22714 (java) S 22705 22707 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834352232 10804453376 56492 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 7 0 0 0
[pid=22707/tid=22715] ppid=22705 vsize=10551224 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22715/stat : 22715 (java) S 22705 22707 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834352232 10804453376 56494 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 7 0 0 0
[pid=22707/tid=22716] ppid=22705 vsize=10551224 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22716/stat : 22716 (java) S 22705 22707 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834352232 10804453376 56496 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 7 0 0 0
[pid=22707/tid=22717] ppid=22705 vsize=10551224 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22717/stat : 22717 (java) S 22705 22707 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834352232 10804453376 56498 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 7 0 0 0
[pid=22707/tid=22718] ppid=22705 vsize=10551224 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22718/stat : 22718 (java) S 22705 22707 20277 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 834352233 10804453376 56499 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048896 0 0 0 16800975 18446604467882837184 0 0 -1 3 0 0 0
[pid=22707/tid=22719] ppid=22705 vsize=10551224 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22719/stat : 22719 (java) S 22705 22707 20277 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834352233 10804453376 56501 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 3 0 0 0
[pid=22707/tid=22720] ppid=22705 vsize=10551224 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22720/stat : 22720 (java) S 22705 22707 20277 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834352233 10804453376 56503 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 3 0 0 0
[pid=22707/tid=22721] ppid=22705 vsize=10551224 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22721/stat : 22721 (java) S 22705 22707 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834352235 10804453376 56504 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092055985 0 4 0 16800975 18446604467882837184 0 0 -1 3 0 0 0
[pid=22707/tid=22722] ppid=22705 vsize=10551224 CPUtime=0.58 cores=1,3,5,7
/proc/22707/task/22722/stat : 22722 (java) S 22705 22707 20277 0 -1 4202560 4675 0 0 0 58 0 0 0 20 0 19 0 834352235 10804453376 56506 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 5 0 0 0
[pid=22707/tid=22723] ppid=22705 vsize=10551224 CPUtime=0.48 cores=1,3,5,7
/proc/22707/task/22723/stat : 22723 (java) S 22705 22707 20277 0 -1 4202560 5741 0 0 0 48 0 0 0 18 0 19 0 834352235 10804453376 56507 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 7 0 0 0
[pid=22707/tid=22724] ppid=22705 vsize=10551224 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22724/stat : 22724 (java) S 22705 22707 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834352235 10804453376 56508 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 3 0 0 0
[pid=22707/tid=22725] ppid=22705 vsize=10551224 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22725/stat : 22725 (java) S 22705 22707 20277 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834352235 10804453376 56510 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048896 0 4 0 16800975 18446604467882837184 0 0 -1 7 0 0 0
[pid=22707/tid=22726] ppid=22705 vsize=10551224 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22726/stat : 22726 (java) S 22705 22707 20277 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834352257 10804453376 56512 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048896 0 4 0 16800975 18446604467882837184 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.55
Current children cumulated vsize (KiB) 10551224
[startup+3.10116 s]
/proc/loadavg: 2.10 2.04 2.01 3/518 22726
/proc/meminfo: memFree=23325524/32950928 swapFree=39617324/67111528
[pid=22707] ppid=22705 vsize=10551224 CPUtime=4.34 cores=1,3,5,7
/proc/22707/stat : 22707 (java) S 22705 22707 20277 0 -1 4202496 184589 0 1 0 413 21 0 0 22 0 19 0 834352229 10804453376 180379 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22707/statm: 2637806 180381 2238 9 0 2628540 0
[pid=22707/tid=22708] ppid=22705 vsize=10551224 CPUtime=3.08 cores=1,3,5,7
/proc/22707/task/22708/stat : 22708 (java) R 22705 22707 20277 0 -1 4202560 172991 0 1 0 288 20 0 0 25 0 19 0 834352230 10804453376 180382 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 46912505679249 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22707/tid=22710] ppid=22705 vsize=10551224 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22710/stat : 22710 (java) S 22705 22707 20277 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 834352232 10804453376 180384 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 3 0 0 0
[pid=22707/tid=22711] ppid=22705 vsize=10551224 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22711/stat : 22711 (java) S 22705 22707 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834352232 10804453376 180386 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 7 0 0 0
[pid=22707/tid=22712] ppid=22705 vsize=10551224 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22712/stat : 22712 (java) S 22705 22707 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834352232 10804453376 180387 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 7 0 0 0
[pid=22707/tid=22713] ppid=22705 vsize=10551224 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22713/stat : 22713 (java) S 22705 22707 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834352232 10804453376 180388 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 7 0 0 0
[pid=22707/tid=22714] ppid=22705 vsize=10551224 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22714/stat : 22714 (java) S 22705 22707 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834352232 10804453376 180389 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 7 0 0 0
[pid=22707/tid=22715] ppid=22705 vsize=10551224 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22715/stat : 22715 (java) S 22705 22707 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834352232 10804453376 180391 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 7 0 0 0
[pid=22707/tid=22716] ppid=22705 vsize=10551224 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22716/stat : 22716 (java) S 22705 22707 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834352232 10804453376 180392 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 7 0 0 0
[pid=22707/tid=22717] ppid=22705 vsize=10551224 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22717/stat : 22717 (java) S 22705 22707 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834352232 10804453376 180393 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 7 0 0 0
[pid=22707/tid=22718] ppid=22705 vsize=10551224 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22718/stat : 22718 (java) S 22705 22707 20277 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 834352233 10804453376 180394 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048896 0 0 0 16800975 18446604467882837184 0 0 -1 3 0 0 0
[pid=22707/tid=22719] ppid=22705 vsize=10551224 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22719/stat : 22719 (java) S 22705 22707 20277 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834352233 10804453376 180396 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 3 0 0 0
[pid=22707/tid=22720] ppid=22705 vsize=10551224 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22720/stat : 22720 (java) S 22705 22707 20277 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834352233 10804453376 180397 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 3 0 0 0
[pid=22707/tid=22721] ppid=22705 vsize=10551224 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22721/stat : 22721 (java) S 22705 22707 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834352235 10804453376 180398 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092055985 0 4 0 16800975 18446604467882837184 0 0 -1 3 0 0 0
[pid=22707/tid=22722] ppid=22705 vsize=10551224 CPUtime=0.7 cores=1,3,5,7
/proc/22707/task/22722/stat : 22722 (java) S 22705 22707 20277 0 -1 4202560 4691 0 0 0 70 0 0 0 15 0 19 0 834352235 10804453376 180399 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 5 0 0 0
[pid=22707/tid=22723] ppid=22705 vsize=10551224 CPUtime=0.54 cores=1,3,5,7
/proc/22707/task/22723/stat : 22723 (java) S 22705 22707 20277 0 -1 4202560 5749 0 0 0 54 0 0 0 15 0 19 0 834352235 10804453376 180400 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 7 0 0 0
[pid=22707/tid=22724] ppid=22705 vsize=10551224 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22724/stat : 22724 (java) S 22705 22707 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834352235 10804453376 180401 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 3 0 0 0
[pid=22707/tid=22725] ppid=22705 vsize=10551224 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22725/stat : 22725 (java) S 22705 22707 20277 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834352235 10804453376 180403 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048896 0 4 0 16800975 18446604467882837184 0 0 -1 5 0 0 0
[pid=22707/tid=22726] ppid=22705 vsize=10551224 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22726/stat : 22726 (java) S 22705 22707 20277 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834352257 10804453376 180404 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048896 0 4 0 16800975 18446604467882837184 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.34
Current children cumulated vsize (KiB) 10551224
[startup+6.30149 s]
/proc/loadavg: 2.10 2.04 2.01 3/518 22726
/proc/meminfo: memFree=22279236/32950928 swapFree=39617324/67111528
[pid=22707] ppid=22705 vsize=10551224 CPUtime=7.55 cores=1,3,5,7
/proc/22707/stat : 22707 (java) S 22705 22707 20277 0 -1 4202496 448002 0 1 0 707 48 0 0 22 0 19 0 834352229 10804453376 443646 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22707/statm: 2637806 443648 2239 9 0 2628540 0
[pid=22707/tid=22708] ppid=22705 vsize=10551224 CPUtime=6.28 cores=1,3,5,7
/proc/22707/task/22708/stat : 22708 (java) R 22705 22707 20277 0 -1 4202560 436401 0 1 0 581 47 0 0 25 0 19 0 834352230 10804453376 443648 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 46912505679234 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22707/tid=22710] ppid=22705 vsize=10551224 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22710/stat : 22710 (java) S 22705 22707 20277 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 834352232 10804453376 443649 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 3 0 0 0
[pid=22707/tid=22711] ppid=22705 vsize=10551224 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22711/stat : 22711 (java) S 22705 22707 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834352232 10804453376 443651 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 7 0 0 0
[pid=22707/tid=22712] ppid=22705 vsize=10551224 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22712/stat : 22712 (java) S 22705 22707 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834352232 10804453376 443653 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 7 0 0 0
[pid=22707/tid=22713] ppid=22705 vsize=10551224 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22713/stat : 22713 (java) S 22705 22707 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834352232 10804453376 443654 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 7 0 0 0
[pid=22707/tid=22714] ppid=22705 vsize=10551224 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22714/stat : 22714 (java) S 22705 22707 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834352232 10804453376 443655 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 7 0 0 0
[pid=22707/tid=22715] ppid=22705 vsize=10551224 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22715/stat : 22715 (java) S 22705 22707 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834352232 10804453376 443656 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 7 0 0 0
[pid=22707/tid=22716] ppid=22705 vsize=10551224 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22716/stat : 22716 (java) S 22705 22707 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834352232 10804453376 443657 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 7 0 0 0
[pid=22707/tid=22717] ppid=22705 vsize=10551224 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22717/stat : 22717 (java) S 22705 22707 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834352232 10804453376 443658 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 7 0 0 0
[pid=22707/tid=22718] ppid=22705 vsize=10551224 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22718/stat : 22718 (java) S 22705 22707 20277 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 834352233 10804453376 443660 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048896 0 0 0 16800975 18446604467882837184 0 0 -1 3 0 0 0
[pid=22707/tid=22719] ppid=22705 vsize=10551224 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22719/stat : 22719 (java) S 22705 22707 20277 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834352233 10804453376 443661 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 3 0 0 0
[pid=22707/tid=22720] ppid=22705 vsize=10551224 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22720/stat : 22720 (java) S 22705 22707 20277 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834352233 10804453376 443662 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 3 0 0 0
[pid=22707/tid=22721] ppid=22705 vsize=10551224 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22721/stat : 22721 (java) S 22705 22707 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834352235 10804453376 443663 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092055985 0 4 0 16800975 18446604467882837184 0 0 -1 3 0 0 0
[pid=22707/tid=22722] ppid=22705 vsize=10551224 CPUtime=0.7 cores=1,3,5,7
/proc/22707/task/22722/stat : 22722 (java) S 22705 22707 20277 0 -1 4202560 4691 0 0 0 70 0 0 0 15 0 19 0 834352235 10804453376 443664 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 5 0 0 0
[pid=22707/tid=22723] ppid=22705 vsize=10551224 CPUtime=0.55 cores=1,3,5,7
/proc/22707/task/22723/stat : 22723 (java) S 22705 22707 20277 0 -1 4202560 5750 0 0 0 55 0 0 0 15 0 19 0 834352235 10804453376 443666 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 7 0 0 0
################
# More data... #
################
[pid=22707/tid=22724] ppid=22705 vsize=10548720 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22724/stat : 22724 (java) S 22705 22707 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834352235 10801889280 991212 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 3 0 0 0
[pid=22707/tid=22725] ppid=22705 vsize=10548720 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22725/stat : 22725 (java) S 22705 22707 20277 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 834352235 10801889280 991212 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048896 0 4 0 16800975 18446604467882837184 0 0 -1 3 0 0 0
[pid=22707/tid=22726] ppid=22705 vsize=10548720 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22726/stat : 22726 (java) S 22705 22707 20277 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834352257 10801889280 991212 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048896 0 4 0 16800975 18446604467882837184 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1665.77
Current children cumulated vsize (KiB) 10548720
[startup+1722.3 s]
/proc/loadavg: 1.03 1.50 1.79 2/494 22804
/proc/meminfo: memFree=23414144/32950928 swapFree=39617324/67111528
[pid=22707] ppid=22705 vsize=10548720 CPUtime=1725.8 cores=1,3,5,7
/proc/22707/stat : 22707 (java) S 22705 22707 20277 0 -1 4202496 1006640 0 1 0 172467 113 0 0 22 0 19 0 834352229 10801889280 995224 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22707/statm: 2637180 995224 2268 9 0 2627914 0
[pid=22707/tid=22708] ppid=22705 vsize=10548720 CPUtime=1721.12 cores=1,3,5,7
/proc/22707/task/22708/stat : 22708 (java) R 22705 22707 20277 0 -1 4202560 812407 0 1 0 172025 87 0 0 25 0 19 0 834352230 10801889280 995224 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 46912505876506 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22707/tid=22710] ppid=22705 vsize=10548720 CPUtime=0.31 cores=1,3,5,7
/proc/22707/task/22710/stat : 22710 (java) S 22705 22707 20277 0 -1 4202560 16367 0 0 0 30 1 0 0 15 0 19 0 834352232 10801889280 995224 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 7 0 0 0
[pid=22707/tid=22711] ppid=22705 vsize=10548720 CPUtime=0.32 cores=1,3,5,7
/proc/22707/task/22711/stat : 22711 (java) S 22705 22707 20277 0 -1 4202560 16250 0 0 0 30 2 0 0 15 0 19 0 834352232 10801889280 995224 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 1 0 0 0
[pid=22707/tid=22712] ppid=22705 vsize=10548720 CPUtime=0.37 cores=1,3,5,7
/proc/22707/task/22712/stat : 22712 (java) S 22705 22707 20277 0 -1 4202560 25518 0 0 0 34 3 0 0 15 0 19 0 834352232 10801889280 995224 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 3 0 0 0
[pid=22707/tid=22713] ppid=22705 vsize=10548720 CPUtime=0.36 cores=1,3,5,7
/proc/22707/task/22713/stat : 22713 (java) S 22705 22707 20277 0 -1 4202560 19666 0 0 0 34 2 0 0 16 0 19 0 834352232 10801889280 995224 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 1 0 0 0
[pid=22707/tid=22714] ppid=22705 vsize=10548720 CPUtime=0.4 cores=1,3,5,7
/proc/22707/task/22714/stat : 22714 (java) S 22705 22707 20277 0 -1 4202560 25887 0 0 0 37 3 0 0 16 0 19 0 834352232 10801889280 995224 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 5 0 0 0
[pid=22707/tid=22715] ppid=22705 vsize=10548720 CPUtime=0.39 cores=1,3,5,7
/proc/22707/task/22715/stat : 22715 (java) S 22705 22707 20277 0 -1 4202560 26355 0 0 0 36 3 0 0 15 0 19 0 834352232 10801889280 995224 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 3 0 0 0
[pid=22707/tid=22716] ppid=22705 vsize=10548720 CPUtime=0.38 cores=1,3,5,7
/proc/22707/task/22716/stat : 22716 (java) S 22705 22707 20277 0 -1 4202560 22075 0 0 0 36 2 0 0 15 0 19 0 834352232 10801889280 995224 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 3 0 0 0
[pid=22707/tid=22717] ppid=22705 vsize=10548720 CPUtime=0.41 cores=1,3,5,7
/proc/22707/task/22717/stat : 22717 (java) S 22705 22707 20277 0 -1 4202560 29161 0 0 0 37 4 0 0 16 0 19 0 834352232 10801889280 995224 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 7 0 0 0
[pid=22707/tid=22718] ppid=22705 vsize=10548720 CPUtime=0.16 cores=1,3,5,7
/proc/22707/task/22718/stat : 22718 (java) S 22705 22707 20277 0 -1 4202560 1231 0 0 0 16 0 0 0 15 0 19 0 834352233 10801889280 995224 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048896 0 0 0 16800975 18446604467882837184 0 0 -1 5 0 0 0
[pid=22707/tid=22719] ppid=22705 vsize=10548720 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22719/stat : 22719 (java) S 22705 22707 20277 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834352233 10801889280 995224 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 3 0 0 0
[pid=22707/tid=22720] ppid=22705 vsize=10548720 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22720/stat : 22720 (java) S 22705 22707 20277 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 834352233 10801889280 995224 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 3 0 0 0
[pid=22707/tid=22721] ppid=22705 vsize=10548720 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22721/stat : 22721 (java) S 22705 22707 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834352235 10801889280 995224 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092055985 0 4 0 16800975 18446604467882837184 0 0 -1 3 0 0 0
[pid=22707/tid=22722] ppid=22705 vsize=10548720 CPUtime=0.74 cores=1,3,5,7
/proc/22707/task/22722/stat : 22722 (java) S 22705 22707 20277 0 -1 4202560 4701 0 0 0 74 0 0 0 15 0 19 0 834352235 10801889280 995224 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 7 0 0 0
[pid=22707/tid=22723] ppid=22705 vsize=10548720 CPUtime=0.71 cores=1,3,5,7
/proc/22707/task/22723/stat : 22723 (java) S 22705 22707 20277 0 -1 4202560 5772 0 0 0 71 0 0 0 15 0 19 0 834352235 10801889280 995224 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 5 0 0 0
[pid=22707/tid=22724] ppid=22705 vsize=10548720 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22724/stat : 22724 (java) S 22705 22707 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834352235 10801889280 995224 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 3 0 0 0
[pid=22707/tid=22725] ppid=22705 vsize=10548720 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22725/stat : 22725 (java) S 22705 22707 20277 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 834352235 10801889280 995224 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048896 0 4 0 16800975 18446604467882837184 0 0 -1 3 0 0 0
[pid=22707/tid=22726] ppid=22705 vsize=10548720 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22726/stat : 22726 (java) S 22705 22707 20277 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834352257 10801889280 995224 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048896 0 4 0 16800975 18446604467882837184 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1725.8
Current children cumulated vsize (KiB) 10548720
[startup+1782.3 s]
/proc/loadavg: 1.01 1.41 1.74 2/494 22805
/proc/meminfo: memFree=23397500/32950928 swapFree=39617324/67111528
[pid=22707] ppid=22705 vsize=10548720 CPUtime=1785.8 cores=1,3,5,7
/proc/22707/stat : 22707 (java) S 22705 22707 20277 0 -1 4202496 1006644 0 1 0 178467 113 0 0 22 0 19 0 834352229 10801889280 995224 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22707/statm: 2637180 995224 2268 9 0 2627914 0
[pid=22707/tid=22708] ppid=22705 vsize=10548720 CPUtime=1781.12 cores=1,3,5,7
/proc/22707/task/22708/stat : 22708 (java) R 22705 22707 20277 0 -1 4202560 812407 0 1 0 178025 87 0 0 25 0 19 0 834352230 10801889280 995224 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 46912505876480 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22707/tid=22710] ppid=22705 vsize=10548720 CPUtime=0.31 cores=1,3,5,7
/proc/22707/task/22710/stat : 22710 (java) S 22705 22707 20277 0 -1 4202560 16367 0 0 0 30 1 0 0 15 0 19 0 834352232 10801889280 995224 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 7 0 0 0
[pid=22707/tid=22711] ppid=22705 vsize=10548720 CPUtime=0.32 cores=1,3,5,7
/proc/22707/task/22711/stat : 22711 (java) S 22705 22707 20277 0 -1 4202560 16250 0 0 0 30 2 0 0 15 0 19 0 834352232 10801889280 995224 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 1 0 0 0
[pid=22707/tid=22712] ppid=22705 vsize=10548720 CPUtime=0.37 cores=1,3,5,7
/proc/22707/task/22712/stat : 22712 (java) S 22705 22707 20277 0 -1 4202560 25518 0 0 0 34 3 0 0 15 0 19 0 834352232 10801889280 995224 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 3 0 0 0
[pid=22707/tid=22713] ppid=22705 vsize=10548720 CPUtime=0.36 cores=1,3,5,7
/proc/22707/task/22713/stat : 22713 (java) S 22705 22707 20277 0 -1 4202560 19666 0 0 0 34 2 0 0 16 0 19 0 834352232 10801889280 995224 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 1 0 0 0
[pid=22707/tid=22714] ppid=22705 vsize=10548720 CPUtime=0.4 cores=1,3,5,7
/proc/22707/task/22714/stat : 22714 (java) S 22705 22707 20277 0 -1 4202560 25887 0 0 0 37 3 0 0 16 0 19 0 834352232 10801889280 995224 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 5 0 0 0
[pid=22707/tid=22715] ppid=22705 vsize=10548720 CPUtime=0.39 cores=1,3,5,7
/proc/22707/task/22715/stat : 22715 (java) S 22705 22707 20277 0 -1 4202560 26355 0 0 0 36 3 0 0 15 0 19 0 834352232 10801889280 995224 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 3 0 0 0
[pid=22707/tid=22716] ppid=22705 vsize=10548720 CPUtime=0.38 cores=1,3,5,7
/proc/22707/task/22716/stat : 22716 (java) S 22705 22707 20277 0 -1 4202560 22075 0 0 0 36 2 0 0 15 0 19 0 834352232 10801889280 995224 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 3 0 0 0
[pid=22707/tid=22717] ppid=22705 vsize=10548720 CPUtime=0.41 cores=1,3,5,7
/proc/22707/task/22717/stat : 22717 (java) S 22705 22707 20277 0 -1 4202560 29161 0 0 0 37 4 0 0 16 0 19 0 834352232 10801889280 995224 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 7 0 0 0
[pid=22707/tid=22718] ppid=22705 vsize=10548720 CPUtime=0.16 cores=1,3,5,7
/proc/22707/task/22718/stat : 22718 (java) S 22705 22707 20277 0 -1 4202560 1231 0 0 0 16 0 0 0 15 0 19 0 834352233 10801889280 995224 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048896 0 0 0 16800975 18446604467882837184 0 0 -1 5 0 0 0
[pid=22707/tid=22719] ppid=22705 vsize=10548720 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22719/stat : 22719 (java) S 22705 22707 20277 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834352233 10801889280 995224 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 3 0 0 0
[pid=22707/tid=22720] ppid=22705 vsize=10548720 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22720/stat : 22720 (java) S 22705 22707 20277 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 834352233 10801889280 995224 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 3 0 0 0
[pid=22707/tid=22721] ppid=22705 vsize=10548720 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22721/stat : 22721 (java) S 22705 22707 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834352235 10801889280 995224 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092055985 0 4 0 16800975 18446604467882837184 0 0 -1 3 0 0 0
[pid=22707/tid=22722] ppid=22705 vsize=10548720 CPUtime=0.74 cores=1,3,5,7
/proc/22707/task/22722/stat : 22722 (java) S 22705 22707 20277 0 -1 4202560 4701 0 0 0 74 0 0 0 15 0 19 0 834352235 10801889280 995224 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 7 0 0 0
[pid=22707/tid=22723] ppid=22705 vsize=10548720 CPUtime=0.71 cores=1,3,5,7
/proc/22707/task/22723/stat : 22723 (java) S 22705 22707 20277 0 -1 4202560 5772 0 0 0 71 0 0 0 15 0 19 0 834352235 10801889280 995224 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 5 0 0 0
[pid=22707/tid=22724] ppid=22705 vsize=10548720 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22724/stat : 22724 (java) S 22705 22707 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834352235 10801889280 995224 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 3 0 0 0
[pid=22707/tid=22725] ppid=22705 vsize=10548720 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22725/stat : 22725 (java) S 22705 22707 20277 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 834352235 10801889280 995224 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048896 0 4 0 16800975 18446604467882837184 0 0 -1 3 0 0 0
[pid=22707/tid=22726] ppid=22705 vsize=10548720 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22726/stat : 22726 (java) S 22705 22707 20277 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834352257 10801889280 995224 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048896 0 4 0 16800975 18446604467882837184 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1785.8
Current children cumulated vsize (KiB) 10548720
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.5 s]
/proc/loadavg: 1.01 1.39 1.72 2/494 22806
/proc/meminfo: memFree=23397492/32950928 swapFree=39617324/67111528
[pid=22707] ppid=22705 vsize=10548720 CPUtime=1800.02 cores=1,3,5,7
/proc/22707/stat : 22707 (java) S 22705 22707 20277 0 -1 4202496 1006644 0 1 0 179889 113 0 0 22 0 19 0 834352229 10801889280 995224 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22707/statm: 2637180 995224 2268 9 0 2627914 0
[pid=22707/tid=22708] ppid=22705 vsize=10548720 CPUtime=1795.34 cores=1,3,5,7
/proc/22707/task/22708/stat : 22708 (java) R 22705 22707 20277 0 -1 4202560 812407 0 1 0 179447 87 0 0 25 0 19 0 834352230 10801889280 995224 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 46912505661758 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22707/tid=22710] ppid=22705 vsize=10548720 CPUtime=0.31 cores=1,3,5,7
/proc/22707/task/22710/stat : 22710 (java) S 22705 22707 20277 0 -1 4202560 16367 0 0 0 30 1 0 0 15 0 19 0 834352232 10801889280 995224 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 7 0 0 0
[pid=22707/tid=22711] ppid=22705 vsize=10548720 CPUtime=0.32 cores=1,3,5,7
/proc/22707/task/22711/stat : 22711 (java) S 22705 22707 20277 0 -1 4202560 16250 0 0 0 30 2 0 0 15 0 19 0 834352232 10801889280 995224 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 1 0 0 0
[pid=22707/tid=22712] ppid=22705 vsize=10548720 CPUtime=0.37 cores=1,3,5,7
/proc/22707/task/22712/stat : 22712 (java) S 22705 22707 20277 0 -1 4202560 25518 0 0 0 34 3 0 0 15 0 19 0 834352232 10801889280 995224 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 3 0 0 0
[pid=22707/tid=22713] ppid=22705 vsize=10548720 CPUtime=0.36 cores=1,3,5,7
/proc/22707/task/22713/stat : 22713 (java) S 22705 22707 20277 0 -1 4202560 19666 0 0 0 34 2 0 0 16 0 19 0 834352232 10801889280 995224 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 1 0 0 0
[pid=22707/tid=22714] ppid=22705 vsize=10548720 CPUtime=0.4 cores=1,3,5,7
/proc/22707/task/22714/stat : 22714 (java) S 22705 22707 20277 0 -1 4202560 25887 0 0 0 37 3 0 0 16 0 19 0 834352232 10801889280 995224 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 5 0 0 0
[pid=22707/tid=22715] ppid=22705 vsize=10548720 CPUtime=0.39 cores=1,3,5,7
/proc/22707/task/22715/stat : 22715 (java) S 22705 22707 20277 0 -1 4202560 26355 0 0 0 36 3 0 0 15 0 19 0 834352232 10801889280 995224 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 3 0 0 0
[pid=22707/tid=22716] ppid=22705 vsize=10548720 CPUtime=0.38 cores=1,3,5,7
/proc/22707/task/22716/stat : 22716 (java) S 22705 22707 20277 0 -1 4202560 22075 0 0 0 36 2 0 0 15 0 19 0 834352232 10801889280 995224 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 3 0 0 0
[pid=22707/tid=22717] ppid=22705 vsize=10548720 CPUtime=0.41 cores=1,3,5,7
/proc/22707/task/22717/stat : 22717 (java) S 22705 22707 20277 0 -1 4202560 29161 0 0 0 37 4 0 0 16 0 19 0 834352232 10801889280 995224 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 7 0 0 0
[pid=22707/tid=22718] ppid=22705 vsize=10548720 CPUtime=0.16 cores=1,3,5,7
/proc/22707/task/22718/stat : 22718 (java) S 22705 22707 20277 0 -1 4202560 1231 0 0 0 16 0 0 0 15 0 19 0 834352233 10801889280 995224 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048896 0 0 0 16800975 18446604467882837184 0 0 -1 5 0 0 0
[pid=22707/tid=22719] ppid=22705 vsize=10548720 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22719/stat : 22719 (java) S 22705 22707 20277 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834352233 10801889280 995224 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 3 0 0 0
[pid=22707/tid=22720] ppid=22705 vsize=10548720 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22720/stat : 22720 (java) S 22705 22707 20277 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 834352233 10801889280 995224 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 3 0 0 0
[pid=22707/tid=22721] ppid=22705 vsize=10548720 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22721/stat : 22721 (java) S 22705 22707 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834352235 10801889280 995224 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092055985 0 4 0 16800975 18446604467882837184 0 0 -1 3 0 0 0
[pid=22707/tid=22722] ppid=22705 vsize=10548720 CPUtime=0.74 cores=1,3,5,7
/proc/22707/task/22722/stat : 22722 (java) S 22705 22707 20277 0 -1 4202560 4701 0 0 0 74 0 0 0 15 0 19 0 834352235 10801889280 995224 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 7 0 0 0
[pid=22707/tid=22723] ppid=22705 vsize=10548720 CPUtime=0.71 cores=1,3,5,7
/proc/22707/task/22723/stat : 22723 (java) S 22705 22707 20277 0 -1 4202560 5772 0 0 0 71 0 0 0 15 0 19 0 834352235 10801889280 995224 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 5 0 0 0
[pid=22707/tid=22724] ppid=22705 vsize=10548720 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22724/stat : 22724 (java) S 22705 22707 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834352235 10801889280 995224 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048281 0 4 0 16800975 18446604467882837184 0 0 -1 3 0 0 0
[pid=22707/tid=22725] ppid=22705 vsize=10548720 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22725/stat : 22725 (java) S 22705 22707 20277 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 834352235 10801889280 995224 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048896 0 4 0 16800975 18446604467882837184 0 0 -1 3 0 0 0
[pid=22707/tid=22726] ppid=22705 vsize=10548720 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22726/stat : 22726 (java) S 22705 22707 20277 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834352257 10801889280 995224 33554432000 1073741824 1073778376 140735533684160 18446744073709551615 208092048896 0 4 0 16800975 18446604467882837184 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 10548720
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1796.62 s]
/proc/loadavg: 1.01 1.39 1.72 2/494 22806
/proc/meminfo: memFree=23397492/32950928 swapFree=39617324/67111528
[pid=22707] ppid=22705 vsize=0 CPUtime=1800.16 cores=1,3,5,7
/proc/22707/stat : 22707 (java) Z 22705 22707 20277 0 -1 4203548 1006676 0 1 0 179894 122 0 0 17 0 2 0 834352229 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22707/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 0
[startup+1796.7 s]
/proc/loadavg: 1.01 1.39 1.72 2/494 22806
/proc/meminfo: memFree=23397492/32950928 swapFree=39617324/67111528
[pid=22707] ppid=22705 vsize=0 CPUtime=1800.24 cores=1,3,5,7
/proc/22707/stat : 22707 (java) Z 22705 22707 20277 0 -1 4203548 1006676 0 1 0 179894 130 0 0 17 0 2 0 834352229 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22707/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1796.71
CPU time (s): 1800.26
CPU user time (s): 1798.94
CPU system time (s): 1.3148
CPU usage (%): 100.197
Max. virtual memory (cumulated for all children) (KiB): 10551684
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.94
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= 1006676
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= 38313
involuntary context switches= 25532
runsolver used 8.18176 second user time and 20.1059 second system time
The end