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-3456076-1307662457/watcher-3456076-1307662457 -o /tmp/evaluation-result-3456076-1307662457/solver-3456076-1307662457 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456076-1307662457.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.00 2.00 1.96 2/192 8475
/proc/meminfo: memFree=32060752/32951124 swapFree=67062492/67111528
[pid=8475] ppid=8473 vsize=30540 CPUtime=0 cores=1,3,5,7
/proc/8475/stat : 8475 (java) S 8473 8475 7341 0 -1 4202496 1241 0 0 0 0 0 0 0 25 0 2 0 858661599 31272960 960 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828039141 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/8475/statm: 7635 960 732 9 0 386 0
[pid=8475/tid=8476] ppid=8473 vsize=30536 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8476/stat : 8476 (java) S 8473 8475 7341 0 -1 4202560 130 0 0 0 0 0 0 0 25 0 2 0 858661599 31268864 963 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220811312775 0 2147483391 0 16784584 18446744071699207358 0 0 -1 1 0 0 0
[startup+0.070845 s]
/proc/loadavg: 2.00 2.00 1.96 2/192 8475
/proc/meminfo: memFree=32060752/32951124 swapFree=67062492/67111528
[pid=8475] ppid=8473 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/8475/stat : 8475 (java) S 8473 8475 7341 0 -1 4202496 11892 0 1 0 5 1 0 0 25 0 18 0 858661599 10724442112 11588 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8475/statm: 2618272 11589 1754 9 0 2609006 0
[pid=8475/tid=8476] ppid=8473 vsize=10473088 CPUtime=0.05 cores=1,3,5,7
/proc/8475/task/8476/stat : 8476 (java) R 8473 8475 7341 0 -1 4202560 10718 0 1 0 4 1 0 0 25 0 18 0 858661599 10724442112 11589 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828063179 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10473088
[startup+0.100845 s]
/proc/loadavg: 2.00 2.00 1.96 2/192 8475
/proc/meminfo: memFree=32060752/32951124 swapFree=67062492/67111528
[pid=8475] ppid=8473 vsize=10605456 CPUtime=0.11 cores=1,3,5,7
/proc/8475/stat : 8475 (java) S 8473 8475 7341 0 -1 4202496 13155 0 1 0 9 2 0 0 25 0 18 0 858661599 10859986944 12824 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8475/statm: 2651364 12824 2093 9 0 2642098 0
[pid=8475/tid=8476] ppid=8473 vsize=10605456 CPUtime=0.08 cores=1,3,5,7
/proc/8475/task/8476/stat : 8476 (java) R 8473 8475 7341 0 -1 4202560 11217 0 1 0 7 1 0 0 18 0 18 0 858661599 10859986944 12824 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 47852620017669 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10605456
[startup+0.300795 s]
/proc/loadavg: 2.00 2.00 1.96 2/192 8475
/proc/meminfo: memFree=32060752/32951124 swapFree=67062492/67111528
[pid=8475] ppid=8473 vsize=10608916 CPUtime=0.52 cores=1,3,5,7
/proc/8475/stat : 8475 (java) S 8473 8475 7341 0 -1 4202496 17698 0 1 0 50 2 0 0 25 0 19 0 858661599 10863529984 16463 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8475/statm: 2652229 16463 2199 9 0 2642963 0
[pid=8475/tid=8476] ppid=8473 vsize=10608916 CPUtime=0.29 cores=1,3,5,7
/proc/8475/task/8476/stat : 8476 (java) R 8473 8475 7341 0 -1 4202560 13642 0 1 0 27 2 0 0 19 0 19 0 858661599 10863529984 16463 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 46912505576584 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 10608916
[startup+0.700722 s]
/proc/loadavg: 2.00 2.00 1.96 2/192 8475
/proc/meminfo: memFree=32060752/32951124 swapFree=67062492/67111528
[pid=8475] ppid=8473 vsize=10617804 CPUtime=1.7 cores=1,3,5,7
/proc/8475/stat : 8475 (java) S 8473 8475 7341 0 -1 4202496 44642 0 1 0 164 6 0 0 25 0 19 0 858661599 10872631296 38814 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8475/statm: 2654451 38817 2222 9 0 2645185 0
[pid=8475/tid=8476] ppid=8473 vsize=10617804 CPUtime=0.68 cores=1,3,5,7
/proc/8475/task/8476/stat : 8476 (java) R 8473 8475 7341 0 -1 4202560 31374 0 1 0 64 4 0 0 19 0 19 0 858661599 10872631296 38819 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 46912505529828 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.7
Current children cumulated vsize (KiB) 10617804
[startup+1.50157 s]
/proc/loadavg: 2.16 2.03 1.97 4/211 8494
/proc/meminfo: memFree=31390344/32951124 swapFree=67062492/67111528
[pid=8475] ppid=8473 vsize=10617804 CPUtime=2.78 cores=1,3,5,7
/proc/8475/stat : 8475 (java) S 8473 8475 7341 0 -1 4202496 127972 0 1 0 263 15 0 0 25 0 19 0 858661599 10872631296 122143 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8475/statm: 2654451 122150 2225 9 0 2645185 0
[pid=8475/tid=8476] ppid=8473 vsize=10617804 CPUtime=1.49 cores=1,3,5,7
/proc/8475/task/8476/stat : 8476 (java) R 8473 8475 7341 0 -1 4202560 114665 0 1 0 135 14 0 0 21 0 19 0 858661599 10872631296 122152 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 46912505564875 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=8475/tid=8478] ppid=8473 vsize=10617804 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8478/stat : 8478 (java) S 8473 8475 7341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858661601 10872631296 122155 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 1 0 0 0
[pid=8475/tid=8479] ppid=8473 vsize=10617804 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8479/stat : 8479 (java) S 8473 8475 7341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858661601 10872631296 122158 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 1 0 0 0
[pid=8475/tid=8480] ppid=8473 vsize=10617804 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8480/stat : 8480 (java) S 8473 8475 7341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858661601 10872631296 122161 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 1 0 0 0
[pid=8475/tid=8481] ppid=8473 vsize=10617804 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8481/stat : 8481 (java) S 8473 8475 7341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858661601 10872631296 122164 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 1 0 0 0
[pid=8475/tid=8482] ppid=8473 vsize=10617804 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8482/stat : 8482 (java) S 8473 8475 7341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858661601 10872631296 122166 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 1 0 0 0
[pid=8475/tid=8483] ppid=8473 vsize=10617804 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8483/stat : 8483 (java) S 8473 8475 7341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858661601 10872631296 122170 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 1 0 0 0
[pid=8475/tid=8484] ppid=8473 vsize=10617804 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8484/stat : 8484 (java) S 8473 8475 7341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858661601 10872631296 122172 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 1 0 0 0
[pid=8475/tid=8485] ppid=8473 vsize=10617804 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8485/stat : 8485 (java) S 8473 8475 7341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858661601 10872631296 122175 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 1 0 0 0
[pid=8475/tid=8486] ppid=8473 vsize=10617804 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8486/stat : 8486 (java) S 8473 8475 7341 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 858661602 10872631296 122179 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052992 0 0 0 16800975 18446604458889105600 0 0 -1 1 0 0 0
[pid=8475/tid=8487] ppid=8473 vsize=10617804 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8487/stat : 8487 (java) S 8473 8475 7341 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 858661602 10872631296 122182 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 1 0 0 0
[pid=8475/tid=8488] ppid=8473 vsize=10617804 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8488/stat : 8488 (java) S 8473 8475 7341 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 858661602 10872631296 122185 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 1 0 0 0
[pid=8475/tid=8489] ppid=8473 vsize=10617804 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8489/stat : 8489 (java) S 8473 8475 7341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858661604 10872631296 122189 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828060081 0 4 0 16800975 18446604458889105600 0 0 -1 1 0 0 0
[pid=8475/tid=8490] ppid=8473 vsize=10617804 CPUtime=0.69 cores=1,3,5,7
/proc/8475/task/8490/stat : 8490 (java) S 8473 8475 7341 0 -1 4202560 6898 0 0 0 69 0 0 0 20 0 19 0 858661604 10872631296 122193 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 3 0 0 0
[pid=8475/tid=8491] ppid=8473 vsize=10617804 CPUtime=0.58 cores=1,3,5,7
/proc/8475/task/8491/stat : 8491 (java) S 8473 8475 7341 0 -1 4202560 5257 0 0 0 58 0 0 0 16 0 19 0 858661604 10872631296 122197 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 5 0 0 0
[pid=8475/tid=8492] ppid=8473 vsize=10617804 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8492/stat : 8492 (java) S 8473 8475 7341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858661604 10872631296 122200 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 1 0 0 0
[pid=8475/tid=8493] ppid=8473 vsize=10617804 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8493/stat : 8493 (java) S 8473 8475 7341 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 858661604 10872631296 122204 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052992 0 4 0 16800975 18446604458889105600 0 0 -1 5 0 0 0
[pid=8475/tid=8494] ppid=8473 vsize=10617804 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8494/stat : 8494 (java) S 8473 8475 7341 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 858661615 10872631296 122207 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052992 0 4 0 16800975 18446604458889105600 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 10617804
[startup+3.10128 s]
/proc/loadavg: 2.16 2.03 1.97 3/211 8494
/proc/meminfo: memFree=30487504/32951124 swapFree=67062492/67111528
[pid=8475] ppid=8473 vsize=10617804 CPUtime=4.39 cores=1,3,5,7
/proc/8475/stat : 8475 (java) S 8473 8475 7341 0 -1 4202496 287532 0 1 0 404 35 0 0 25 0 19 0 858661599 10872631296 281702 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8475/statm: 2654451 281705 2225 9 0 2645185 0
[pid=8475/tid=8476] ppid=8473 vsize=10617804 CPUtime=3.08 cores=1,3,5,7
/proc/8475/task/8476/stat : 8476 (java) R 8473 8475 7341 0 -1 4202560 274221 0 1 0 275 33 0 0 25 0 19 0 858661599 10872631296 281707 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 46912505526337 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=8475/tid=8478] ppid=8473 vsize=10617804 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8478/stat : 8478 (java) S 8473 8475 7341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858661601 10872631296 281708 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 1 0 0 0
[pid=8475/tid=8479] ppid=8473 vsize=10617804 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8479/stat : 8479 (java) S 8473 8475 7341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858661601 10872631296 281710 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 1 0 0 0
[pid=8475/tid=8480] ppid=8473 vsize=10617804 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8480/stat : 8480 (java) S 8473 8475 7341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858661601 10872631296 281712 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 1 0 0 0
[pid=8475/tid=8481] ppid=8473 vsize=10617804 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8481/stat : 8481 (java) S 8473 8475 7341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858661601 10872631296 281713 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 1 0 0 0
[pid=8475/tid=8482] ppid=8473 vsize=10617804 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8482/stat : 8482 (java) S 8473 8475 7341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858661601 10872631296 281715 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 1 0 0 0
[pid=8475/tid=8483] ppid=8473 vsize=10617804 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8483/stat : 8483 (java) S 8473 8475 7341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858661601 10872631296 281717 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 1 0 0 0
[pid=8475/tid=8484] ppid=8473 vsize=10617804 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8484/stat : 8484 (java) S 8473 8475 7341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858661601 10872631296 281718 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 1 0 0 0
[pid=8475/tid=8485] ppid=8473 vsize=10617804 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8485/stat : 8485 (java) S 8473 8475 7341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858661601 10872631296 281720 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 1 0 0 0
[pid=8475/tid=8486] ppid=8473 vsize=10617804 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8486/stat : 8486 (java) S 8473 8475 7341 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 858661602 10872631296 281722 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052992 0 0 0 16800975 18446604458889105600 0 0 -1 1 0 0 0
[pid=8475/tid=8487] ppid=8473 vsize=10617804 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8487/stat : 8487 (java) S 8473 8475 7341 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 858661602 10872631296 281723 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 1 0 0 0
[pid=8475/tid=8488] ppid=8473 vsize=10617804 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8488/stat : 8488 (java) S 8473 8475 7341 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 858661602 10872631296 281725 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 1 0 0 0
[pid=8475/tid=8489] ppid=8473 vsize=10617804 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8489/stat : 8489 (java) S 8473 8475 7341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858661604 10872631296 281726 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828060081 0 4 0 16800975 18446604458889105600 0 0 -1 1 0 0 0
[pid=8475/tid=8490] ppid=8473 vsize=10617804 CPUtime=0.69 cores=1,3,5,7
/proc/8475/task/8490/stat : 8490 (java) S 8473 8475 7341 0 -1 4202560 6898 0 0 0 69 0 0 0 19 0 19 0 858661604 10872631296 281728 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 3 0 0 0
[pid=8475/tid=8491] ppid=8473 vsize=10617804 CPUtime=0.58 cores=1,3,5,7
/proc/8475/task/8491/stat : 8491 (java) S 8473 8475 7341 0 -1 4202560 5257 0 0 0 58 0 0 0 16 0 19 0 858661604 10872631296 281730 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 5 0 0 0
[pid=8475/tid=8492] ppid=8473 vsize=10617804 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8492/stat : 8492 (java) S 8473 8475 7341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858661604 10872631296 281731 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 1 0 0 0
[pid=8475/tid=8493] ppid=8473 vsize=10617804 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8493/stat : 8493 (java) S 8473 8475 7341 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 858661604 10872631296 281733 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052992 0 4 0 16800975 18446604458889105600 0 0 -1 5 0 0 0
[pid=8475/tid=8494] ppid=8473 vsize=10617804 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8494/stat : 8494 (java) S 8473 8475 7341 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 858661615 10872631296 281734 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052992 0 4 0 16800975 18446604458889105600 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.39
Current children cumulated vsize (KiB) 10617804
[startup+6.30069 s]
/proc/loadavg: 2.16 2.03 1.97 3/211 8494
/proc/meminfo: memFree=27994696/32951124 swapFree=67062492/67111528
[pid=8475] ppid=8473 vsize=10615184 CPUtime=7.59 cores=1,3,5,7
/proc/8475/stat : 8475 (java) S 8473 8475 7341 0 -1 4202496 592400 0 1 0 690 69 0 0 25 0 19 0 858661599 10869948416 585857 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8475/statm: 2653796 585860 2226 9 0 2644530 0
[pid=8475/tid=8476] ppid=8473 vsize=10615184 CPUtime=6.29 cores=1,3,5,7
/proc/8475/task/8476/stat : 8476 (java) R 8473 8475 7341 0 -1 4202560 579087 0 1 0 561 68 0 0 25 0 19 0 858661599 10869948416 585861 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 46912505576584 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=8475/tid=8478] ppid=8473 vsize=10615184 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8478/stat : 8478 (java) S 8473 8475 7341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858661601 10869948416 585863 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 1 0 0 0
[pid=8475/tid=8479] ppid=8473 vsize=10615184 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8479/stat : 8479 (java) S 8473 8475 7341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858661601 10869948416 585865 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 1 0 0 0
[pid=8475/tid=8480] ppid=8473 vsize=10615184 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8480/stat : 8480 (java) S 8473 8475 7341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858661601 10869948416 585866 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 1 0 0 0
[pid=8475/tid=8481] ppid=8473 vsize=10615184 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8481/stat : 8481 (java) S 8473 8475 7341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858661601 10869948416 585868 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 1 0 0 0
[pid=8475/tid=8482] ppid=8473 vsize=10615184 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8482/stat : 8482 (java) S 8473 8475 7341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858661601 10869948416 585870 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 1 0 0 0
[pid=8475/tid=8483] ppid=8473 vsize=10615184 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8483/stat : 8483 (java) S 8473 8475 7341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858661601 10869948416 585871 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 1 0 0 0
[pid=8475/tid=8484] ppid=8473 vsize=10615184 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8484/stat : 8484 (java) S 8473 8475 7341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858661601 10869948416 585873 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 1 0 0 0
[pid=8475/tid=8485] ppid=8473 vsize=10615184 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8485/stat : 8485 (java) S 8473 8475 7341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858661601 10869948416 585875 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 1 0 0 0
[pid=8475/tid=8486] ppid=8473 vsize=10615184 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8486/stat : 8486 (java) S 8473 8475 7341 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 858661602 10869948416 585876 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052992 0 0 0 16800975 18446604458889105600 0 0 -1 1 0 0 0
[pid=8475/tid=8487] ppid=8473 vsize=10615184 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8487/stat : 8487 (java) S 8473 8475 7341 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 858661602 10869948416 585878 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 1 0 0 0
[pid=8475/tid=8488] ppid=8473 vsize=10615184 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8488/stat : 8488 (java) S 8473 8475 7341 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 858661602 10869948416 585879 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 1 0 0 0
[pid=8475/tid=8489] ppid=8473 vsize=10615184 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8489/stat : 8489 (java) S 8473 8475 7341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858661604 10869948416 585881 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828060081 0 4 0 16800975 18446604458889105600 0 0 -1 1 0 0 0
[pid=8475/tid=8490] ppid=8473 vsize=10615184 CPUtime=0.69 cores=1,3,5,7
/proc/8475/task/8490/stat : 8490 (java) S 8473 8475 7341 0 -1 4202560 6898 0 0 0 69 0 0 0 18 0 19 0 858661604 10869948416 585882 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 3 0 0 0
[pid=8475/tid=8491] ppid=8473 vsize=10615184 CPUtime=0.58 cores=1,3,5,7
/proc/8475/task/8491/stat : 8491 (java) S 8473 8475 7341 0 -1 4202560 5257 0 0 0 58 0 0 0 15 0 19 0 858661604 10869948416 585884 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 5 0 0 0
################
# More data... #
################
/proc/8475/task/8488/stat : 8488 (java) S 8473 8475 7341 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 858661602 10869948416 948761 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 1 0 0 0
[pid=8475/tid=8489] ppid=8473 vsize=10615184 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8489/stat : 8489 (java) S 8473 8475 7341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858661604 10869948416 948761 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828060081 0 4 0 16800975 18446604458889105600 0 0 -1 1 0 0 0
[pid=8475/tid=8490] ppid=8473 vsize=10615184 CPUtime=0.76 cores=1,3,5,7
/proc/8475/task/8490/stat : 8490 (java) S 8473 8475 7341 0 -1 4202560 6913 0 0 0 76 0 0 0 16 0 19 0 858661604 10869948416 948761 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 3 0 0 0
[pid=8475/tid=8491] ppid=8473 vsize=10615184 CPUtime=0.73 cores=1,3,5,7
/proc/8475/task/8491/stat : 8491 (java) S 8473 8475 7341 0 -1 4202560 5287 0 0 0 73 0 0 0 15 0 19 0 858661604 10869948416 948761 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 5 0 0 0
[pid=8475/tid=8492] ppid=8473 vsize=10615184 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8492/stat : 8492 (java) S 8473 8475 7341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858661604 10869948416 948761 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 1 0 0 0
[pid=8475/tid=8493] ppid=8473 vsize=10615184 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8493/stat : 8493 (java) S 8473 8475 7341 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 858661604 10869948416 948761 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052992 0 4 0 16800975 18446604458889105600 0 0 -1 5 0 0 0
[pid=8475/tid=8494] ppid=8473 vsize=10615184 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8494/stat : 8494 (java) S 8473 8475 7341 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 858661615 10869948416 948761 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052992 0 4 0 16800975 18446604458889105600 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1669.1
Current children cumulated vsize (KiB) 10615184
[startup+1722.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/211 8549
/proc/meminfo: memFree=24855336/32951124 swapFree=67062492/67111528
[pid=8475] ppid=8473 vsize=10615184 CPUtime=1729.33 cores=1,3,5,7
/proc/8475/stat : 8475 (java) S 8473 8475 7341 0 -1 4202496 956916 0 1 0 172819 114 0 0 25 0 19 0 858661599 10869948416 948776 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8475/statm: 2653796 948776 2257 9 0 2644530 0
[pid=8475/tid=8476] ppid=8473 vsize=10615184 CPUtime=1717.76 cores=1,3,5,7
/proc/8475/task/8476/stat : 8476 (java) R 8473 8475 7341 0 -1 4202560 833919 0 1 0 171680 96 0 0 25 0 19 0 858661599 10869948416 948776 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 46912505526383 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=8475/tid=8478] ppid=8473 vsize=10615184 CPUtime=0.88 cores=1,3,5,7
/proc/8475/task/8478/stat : 8478 (java) S 8473 8475 7341 0 -1 4202560 13952 0 0 0 86 2 0 0 15 0 19 0 858661601 10869948416 948776 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 5 0 0 0
[pid=8475/tid=8479] ppid=8473 vsize=10615184 CPUtime=1 cores=1,3,5,7
/proc/8475/task/8479/stat : 8479 (java) S 8473 8475 7341 0 -1 4202560 10488 0 0 0 99 1 0 0 16 0 19 0 858661601 10869948416 948776 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 1 0 0 0
[pid=8475/tid=8480] ppid=8473 vsize=10615184 CPUtime=0.83 cores=1,3,5,7
/proc/8475/task/8480/stat : 8480 (java) S 8473 8475 7341 0 -1 4202560 9475 0 0 0 82 1 0 0 15 0 19 0 858661601 10869948416 948776 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 7 0 0 0
[pid=8475/tid=8481] ppid=8473 vsize=10615184 CPUtime=0.97 cores=1,3,5,7
/proc/8475/task/8481/stat : 8481 (java) S 8473 8475 7341 0 -1 4202560 14291 0 0 0 96 1 0 0 16 0 19 0 858661601 10869948416 948776 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 3 0 0 0
[pid=8475/tid=8482] ppid=8473 vsize=10615184 CPUtime=0.87 cores=1,3,5,7
/proc/8475/task/8482/stat : 8482 (java) S 8473 8475 7341 0 -1 4202560 13063 0 0 0 85 2 0 0 15 0 19 0 858661601 10869948416 948776 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 7 0 0 0
[pid=8475/tid=8483] ppid=8473 vsize=10615184 CPUtime=0.93 cores=1,3,5,7
/proc/8475/task/8483/stat : 8483 (java) S 8473 8475 7341 0 -1 4202560 11825 0 0 0 92 1 0 0 16 0 19 0 858661601 10869948416 948776 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 5 0 0 0
[pid=8475/tid=8484] ppid=8473 vsize=10615184 CPUtime=0.93 cores=1,3,5,7
/proc/8475/task/8484/stat : 8484 (java) S 8473 8475 7341 0 -1 4202560 12711 0 0 0 92 1 0 0 15 0 19 0 858661601 10869948416 948776 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 1 0 0 0
[pid=8475/tid=8485] ppid=8473 vsize=10615184 CPUtime=0.94 cores=1,3,5,7
/proc/8475/task/8485/stat : 8485 (java) S 8473 8475 7341 0 -1 4202560 12451 0 0 0 92 2 0 0 16 0 19 0 858661601 10869948416 948776 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 7 0 0 0
[pid=8475/tid=8486] ppid=8473 vsize=10615184 CPUtime=2.55 cores=1,3,5,7
/proc/8475/task/8486/stat : 8486 (java) S 8473 8475 7341 0 -1 4202560 11285 0 0 0 253 2 0 0 15 0 19 0 858661602 10869948416 948776 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052992 0 0 0 16800975 18446604458889105600 0 0 -1 3 0 0 0
[pid=8475/tid=8487] ppid=8473 vsize=10615184 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8487/stat : 8487 (java) S 8473 8475 7341 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 858661602 10869948416 948776 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 1 0 0 0
[pid=8475/tid=8488] ppid=8473 vsize=10615184 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8488/stat : 8488 (java) S 8473 8475 7341 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 858661602 10869948416 948776 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 1 0 0 0
[pid=8475/tid=8489] ppid=8473 vsize=10615184 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8489/stat : 8489 (java) S 8473 8475 7341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858661604 10869948416 948776 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828060081 0 4 0 16800975 18446604458889105600 0 0 -1 1 0 0 0
[pid=8475/tid=8490] ppid=8473 vsize=10615184 CPUtime=0.76 cores=1,3,5,7
/proc/8475/task/8490/stat : 8490 (java) S 8473 8475 7341 0 -1 4202560 6913 0 0 0 76 0 0 0 16 0 19 0 858661604 10869948416 948776 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 3 0 0 0
[pid=8475/tid=8491] ppid=8473 vsize=10615184 CPUtime=0.79 cores=1,3,5,7
/proc/8475/task/8491/stat : 8491 (java) S 8473 8475 7341 0 -1 4202560 5291 0 0 0 79 0 0 0 15 0 19 0 858661604 10869948416 948776 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 5 0 0 0
[pid=8475/tid=8492] ppid=8473 vsize=10615184 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8492/stat : 8492 (java) S 8473 8475 7341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858661604 10869948416 948776 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 1 0 0 0
[pid=8475/tid=8493] ppid=8473 vsize=10615184 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8493/stat : 8493 (java) S 8473 8475 7341 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 858661604 10869948416 948776 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052992 0 4 0 16800975 18446604458889105600 0 0 -1 3 0 0 0
[pid=8475/tid=8494] ppid=8473 vsize=10615184 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8494/stat : 8494 (java) S 8473 8475 7341 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 858661615 10869948416 948776 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052992 0 4 0 16800975 18446604458889105600 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1729.33
Current children cumulated vsize (KiB) 10615184
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/211 8550
/proc/meminfo: memFree=24845264/32951124 swapFree=67062492/67111528
[pid=8475] ppid=8473 vsize=10615184 CPUtime=1789.55 cores=1,3,5,7
/proc/8475/stat : 8475 (java) S 8473 8475 7341 0 -1 4202496 956941 0 1 0 178841 114 0 0 25 0 19 0 858661599 10869948416 948790 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8475/statm: 2653796 948790 2257 9 0 2644530 0
[pid=8475/tid=8476] ppid=8473 vsize=10615184 CPUtime=1777.68 cores=1,3,5,7
/proc/8475/task/8476/stat : 8476 (java) R 8473 8475 7341 0 -1 4202560 833924 0 1 0 177672 96 0 0 25 0 19 0 858661599 10869948416 948790 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 46912505529997 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=8475/tid=8478] ppid=8473 vsize=10615184 CPUtime=0.92 cores=1,3,5,7
/proc/8475/task/8478/stat : 8478 (java) S 8473 8475 7341 0 -1 4202560 13954 0 0 0 90 2 0 0 15 0 19 0 858661601 10869948416 948790 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 5 0 0 0
[pid=8475/tid=8479] ppid=8473 vsize=10615184 CPUtime=1.06 cores=1,3,5,7
/proc/8475/task/8479/stat : 8479 (java) S 8473 8475 7341 0 -1 4202560 10489 0 0 0 105 1 0 0 16 0 19 0 858661601 10869948416 948790 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 3 0 0 0
[pid=8475/tid=8480] ppid=8473 vsize=10615184 CPUtime=0.84 cores=1,3,5,7
/proc/8475/task/8480/stat : 8480 (java) S 8473 8475 7341 0 -1 4202560 9475 0 0 0 83 1 0 0 15 0 19 0 858661601 10869948416 948790 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 7 0 0 0
[pid=8475/tid=8481] ppid=8473 vsize=10615184 CPUtime=1.02 cores=1,3,5,7
/proc/8475/task/8481/stat : 8481 (java) S 8473 8475 7341 0 -1 4202560 14294 0 0 0 101 1 0 0 15 0 19 0 858661601 10869948416 948790 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 5 0 0 0
[pid=8475/tid=8482] ppid=8473 vsize=10615184 CPUtime=0.93 cores=1,3,5,7
/proc/8475/task/8482/stat : 8482 (java) S 8473 8475 7341 0 -1 4202560 13063 0 0 0 91 2 0 0 16 0 19 0 858661601 10869948416 948790 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 7 0 0 0
[pid=8475/tid=8483] ppid=8473 vsize=10615184 CPUtime=0.95 cores=1,3,5,7
/proc/8475/task/8483/stat : 8483 (java) S 8473 8475 7341 0 -1 4202560 11826 0 0 0 94 1 0 0 16 0 19 0 858661601 10869948416 948790 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 5 0 0 0
[pid=8475/tid=8484] ppid=8473 vsize=10615184 CPUtime=0.94 cores=1,3,5,7
/proc/8475/task/8484/stat : 8484 (java) S 8473 8475 7341 0 -1 4202560 12711 0 0 0 93 1 0 0 16 0 19 0 858661601 10869948416 948790 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 1 0 0 0
[pid=8475/tid=8485] ppid=8473 vsize=10615184 CPUtime=1 cores=1,3,5,7
/proc/8475/task/8485/stat : 8485 (java) S 8473 8475 7341 0 -1 4202560 12458 0 0 0 98 2 0 0 15 0 19 0 858661601 10869948416 948790 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 3 0 0 0
[pid=8475/tid=8486] ppid=8473 vsize=10615184 CPUtime=2.55 cores=1,3,5,7
/proc/8475/task/8486/stat : 8486 (java) S 8473 8475 7341 0 -1 4202560 11289 0 0 0 253 2 0 0 15 0 19 0 858661602 10869948416 948790 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052992 0 0 0 16800975 18446604458889105600 0 0 -1 3 0 0 0
[pid=8475/tid=8487] ppid=8473 vsize=10615184 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8487/stat : 8487 (java) S 8473 8475 7341 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 858661602 10869948416 948790 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 1 0 0 0
[pid=8475/tid=8488] ppid=8473 vsize=10615184 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8488/stat : 8488 (java) S 8473 8475 7341 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 858661602 10869948416 948790 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 1 0 0 0
[pid=8475/tid=8489] ppid=8473 vsize=10615184 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8489/stat : 8489 (java) S 8473 8475 7341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858661604 10869948416 948790 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828060081 0 4 0 16800975 18446604458889105600 0 0 -1 1 0 0 0
[pid=8475/tid=8490] ppid=8473 vsize=10615184 CPUtime=0.76 cores=1,3,5,7
/proc/8475/task/8490/stat : 8490 (java) S 8473 8475 7341 0 -1 4202560 6913 0 0 0 76 0 0 0 16 0 19 0 858661604 10869948416 948790 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 3 0 0 0
[pid=8475/tid=8491] ppid=8473 vsize=10615184 CPUtime=0.79 cores=1,3,5,7
/proc/8475/task/8491/stat : 8491 (java) S 8473 8475 7341 0 -1 4202560 5291 0 0 0 79 0 0 0 15 0 19 0 858661604 10869948416 948790 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 5 0 0 0
[pid=8475/tid=8492] ppid=8473 vsize=10615184 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8492/stat : 8492 (java) S 8473 8475 7341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858661604 10869948416 948790 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 1 0 0 0
[pid=8475/tid=8493] ppid=8473 vsize=10615184 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8493/stat : 8493 (java) S 8473 8475 7341 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 858661604 10869948416 948790 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052992 0 4 0 16800975 18446604458889105600 0 0 -1 3 0 0 0
[pid=8475/tid=8494] ppid=8473 vsize=10615184 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8494/stat : 8494 (java) S 8473 8475 7341 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 858661615 10869948416 948790 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052992 0 4 0 16800975 18446604458889105600 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1789.55
Current children cumulated vsize (KiB) 10615184
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1792.8 s]
/proc/loadavg: 2.01 2.01 2.00 2/191 8554
/proc/meminfo: memFree=28626756/32951124 swapFree=67062492/67111528
[pid=8475] ppid=8473 vsize=10615184 CPUtime=1800.08 cores=1,3,5,7
/proc/8475/stat : 8475 (java) S 8473 8475 7341 0 -1 4202496 956949 0 1 0 179894 114 0 0 25 0 19 0 858661599 10869948416 948793 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8475/statm: 2653796 948793 2257 9 0 2644530 0
[pid=8475/tid=8476] ppid=8473 vsize=10615184 CPUtime=1788.17 cores=1,3,5,7
/proc/8475/task/8476/stat : 8476 (java) R 8473 8475 7341 0 -1 4202560 833925 0 1 0 178721 96 0 0 25 0 19 0 858661599 10869948416 948793 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 46912505532611 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=8475/tid=8478] ppid=8473 vsize=10615184 CPUtime=0.93 cores=1,3,5,7
/proc/8475/task/8478/stat : 8478 (java) S 8473 8475 7341 0 -1 4202560 13956 0 0 0 91 2 0 0 16 0 19 0 858661601 10869948416 948793 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 5 0 0 0
[pid=8475/tid=8479] ppid=8473 vsize=10615184 CPUtime=1.06 cores=1,3,5,7
/proc/8475/task/8479/stat : 8479 (java) S 8473 8475 7341 0 -1 4202560 10489 0 0 0 105 1 0 0 15 0 19 0 858661601 10869948416 948793 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 3 0 0 0
[pid=8475/tid=8480] ppid=8473 vsize=10615184 CPUtime=0.84 cores=1,3,5,7
/proc/8475/task/8480/stat : 8480 (java) S 8473 8475 7341 0 -1 4202560 9475 0 0 0 83 1 0 0 15 0 19 0 858661601 10869948416 948793 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 3 0 0 0
[pid=8475/tid=8481] ppid=8473 vsize=10615184 CPUtime=1.03 cores=1,3,5,7
/proc/8475/task/8481/stat : 8481 (java) S 8473 8475 7341 0 -1 4202560 14294 0 0 0 102 1 0 0 16 0 19 0 858661601 10869948416 948793 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 7 0 0 0
[pid=8475/tid=8482] ppid=8473 vsize=10615184 CPUtime=0.93 cores=1,3,5,7
/proc/8475/task/8482/stat : 8482 (java) S 8473 8475 7341 0 -1 4202560 13063 0 0 0 91 2 0 0 15 0 19 0 858661601 10869948416 948793 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 7 0 0 0
[pid=8475/tid=8483] ppid=8473 vsize=10615184 CPUtime=0.96 cores=1,3,5,7
/proc/8475/task/8483/stat : 8483 (java) S 8473 8475 7341 0 -1 4202560 11827 0 0 0 95 1 0 0 16 0 19 0 858661601 10869948416 948793 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 1 0 0 0
[pid=8475/tid=8484] ppid=8473 vsize=10615184 CPUtime=0.94 cores=1,3,5,7
/proc/8475/task/8484/stat : 8484 (java) S 8473 8475 7341 0 -1 4202560 12711 0 0 0 93 1 0 0 15 0 19 0 858661601 10869948416 948793 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 1 0 0 0
[pid=8475/tid=8485] ppid=8473 vsize=10615184 CPUtime=1.01 cores=1,3,5,7
/proc/8475/task/8485/stat : 8485 (java) S 8473 8475 7341 0 -1 4202560 12458 0 0 0 99 2 0 0 16 0 19 0 858661601 10869948416 948793 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 3 0 0 0
[pid=8475/tid=8486] ppid=8473 vsize=10615184 CPUtime=2.55 cores=1,3,5,7
/proc/8475/task/8486/stat : 8486 (java) S 8473 8475 7341 0 -1 4202560 11291 0 0 0 253 2 0 0 15 0 19 0 858661602 10869948416 948793 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052992 0 0 0 16800975 18446604458889105600 0 0 -1 3 0 0 0
[pid=8475/tid=8487] ppid=8473 vsize=10615184 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8487/stat : 8487 (java) S 8473 8475 7341 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 858661602 10869948416 948793 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 1 0 0 0
[pid=8475/tid=8488] ppid=8473 vsize=10615184 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8488/stat : 8488 (java) S 8473 8475 7341 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 858661602 10869948416 948793 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 1 0 0 0
[pid=8475/tid=8489] ppid=8473 vsize=10615184 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8489/stat : 8489 (java) S 8473 8475 7341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858661604 10869948416 948793 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828060081 0 4 0 16800975 18446604458889105600 0 0 -1 1 0 0 0
[pid=8475/tid=8490] ppid=8473 vsize=10615184 CPUtime=0.76 cores=1,3,5,7
/proc/8475/task/8490/stat : 8490 (java) S 8473 8475 7341 0 -1 4202560 6913 0 0 0 76 0 0 0 16 0 19 0 858661604 10869948416 948793 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 3 0 0 0
[pid=8475/tid=8491] ppid=8473 vsize=10615184 CPUtime=0.79 cores=1,3,5,7
/proc/8475/task/8491/stat : 8491 (java) S 8473 8475 7341 0 -1 4202560 5291 0 0 0 79 0 0 0 15 0 19 0 858661604 10869948416 948793 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 5 0 0 0
[pid=8475/tid=8492] ppid=8473 vsize=10615184 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8492/stat : 8492 (java) S 8473 8475 7341 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858661604 10869948416 948793 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052377 0 4 0 16800975 18446604458889105600 0 0 -1 1 0 0 0
[pid=8475/tid=8493] ppid=8473 vsize=10615184 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8493/stat : 8493 (java) S 8473 8475 7341 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 858661604 10869948416 948793 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052992 0 4 0 16800975 18446604458889105600 0 0 -1 3 0 0 0
[pid=8475/tid=8494] ppid=8473 vsize=10615184 CPUtime=0 cores=1,3,5,7
/proc/8475/task/8494/stat : 8494 (java) S 8473 8475 7341 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 858661615 10869948416 948793 33554432000 1073741824 1073778376 140735709501792 18446744073709551615 220828052992 0 4 0 16800975 18446604458889105600 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 10615184
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1792.91 s]
/proc/loadavg: 2.01 2.01 2.00 2/175 8557
/proc/meminfo: memFree=30674124/32951124 swapFree=67062492/67111528
[pid=8475] ppid=8473 vsize=0 CPUtime=1800.24 cores=1,3,5,7
/proc/8475/stat : 8475 (java) Z 8473 8475 7341 0 -1 4203548 956988 0 1 0 179902 122 0 0 17 0 2 0 858661599 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8475/statm: 0 0 0 0 0 0 0
[pid=8475/tid=8556] ppid=8473 vsize=0 CPUtime=0.07 cores=1,3,5,7
/proc/8475/task/8556/stat : 8556 (java) R 8473 8475 7341 0 -1 4203588 11 0 0 0 0 7 0 0 19 0 2 0 858840880 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1792.97
CPU time (s): 1800.3
CPU user time (s): 1799.03
CPU system time (s): 1.27681
CPU usage (%): 100.409
Max. virtual memory (cumulated for all children) (KiB): 10623108
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.03
system time used= 1.2768
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 956988
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= 40575
involuntary context switches= 16482
runsolver used 3.2795 second user time and 6.52101 second system time
The end