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-3457174-1307217669/watcher-3457174-1307217669 -o /tmp/evaluation-result-3457174-1307217669/solver-3457174-1307217669 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457174-1307217669.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.26 2.07 1.74 3/482 20664
/proc/meminfo: memFree=29754704/32950928 swapFree=45617076/67111528
[pid=20664] ppid=20662 vsize=35788 CPUtime=0 cores=0,2,4,6
/proc/20664/stat : 20664 (java) S 20662 20664 20455 0 -1 4202496 1317 0 0 0 0 0 0 0 22 0 2 0 833366763 36646912 1018 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101500901 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/20664/statm: 8947 1018 782 9 0 386 0
[pid=20664/tid=20665] ppid=20662 vsize=35788 CPUtime=0 cores=0,2,4,6
/proc/20664/task/20665/stat : 20665 (java) S 20662 20664 20455 0 -1 4202560 202 0 0 0 0 0 0 0 25 0 2 0 833366763 36646912 1018 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248089718342 0 0 0 16784584 4028493235599966207 0 0 -1 0 0 0 0
[startup+0.113247 s]
/proc/loadavg: 2.26 2.07 1.74 3/482 20664
/proc/meminfo: memFree=29754704/32950928 swapFree=45617076/67111528
[pid=20664] ppid=20662 vsize=10539568 CPUtime=0.1 cores=0,2,4,6
/proc/20664/stat : 20664 (java) S 20662 20664 20455 0 -1 4202496 13030 0 1 0 9 1 0 0 22 0 18 0 833366763 10792517632 12725 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20664/statm: 2634892 12725 2093 9 0 2625626 0
[pid=20664/tid=20665] ppid=20662 vsize=10539568 CPUtime=0.08 cores=0,2,4,6
/proc/20664/task/20665/stat : 20665 (java) R 20662 20664 20455 0 -1 4202560 11093 0 1 0 7 1 0 0 18 0 18 0 833366763 10792517632 12725 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 46912505099250 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539568
[startup+0.201184 s]
/proc/loadavg: 2.26 2.07 1.74 3/482 20664
/proc/meminfo: memFree=29754704/32950928 swapFree=45617076/67111528
[pid=20664] ppid=20662 vsize=10540104 CPUtime=0.24 cores=0,2,4,6
/proc/20664/stat : 20664 (java) S 20662 20664 20455 0 -1 4202496 14010 0 1 0 23 1 0 0 22 0 18 0 833366763 10793066496 13701 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20664/statm: 2635026 13702 2170 9 0 2625760 0
[pid=20664/tid=20665] ppid=20662 vsize=10540104 CPUtime=0.16 cores=0,2,4,6
/proc/20664/task/20665/stat : 20665 (java) R 20662 20664 20455 0 -1 4202560 11854 0 1 0 15 1 0 0 18 0 18 0 833366763 10793066496 13702 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 10540104
[startup+0.301169 s]
/proc/loadavg: 2.26 2.07 1.74 3/482 20664
/proc/meminfo: memFree=29754704/32950928 swapFree=45617076/67111528
[pid=20664] ppid=20662 vsize=10540984 CPUtime=0.43 cores=0,2,4,6
/proc/20664/stat : 20664 (java) S 20662 20664 20455 0 -1 4202496 15413 0 1 0 42 1 0 0 22 0 18 0 833366763 10793967616 14992 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20664/statm: 2635246 14992 2200 9 0 2625980 0
[pid=20664/tid=20665] ppid=20662 vsize=10540984 CPUtime=0.26 cores=0,2,4,6
/proc/20664/task/20665/stat : 20665 (java) R 20662 20664 20455 0 -1 4202560 12765 0 1 0 25 1 0 0 18 0 18 0 833366763 10793967616 14993 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 46912505559195 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 10540984
[startup+0.701165 s]
/proc/loadavg: 2.26 2.07 1.74 3/482 20664
/proc/meminfo: memFree=29754704/32950928 swapFree=45617076/67111528
[pid=20664] ppid=20662 vsize=10545124 CPUtime=1.11 cores=0,2,4,6
/proc/20664/stat : 20664 (java) S 20662 20664 20455 0 -1 4202496 48248 0 1 0 105 6 0 0 22 0 18 0 833366763 10798206976 46000 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20664/statm: 2636281 46004 2214 9 0 2627015 0
[pid=20664/tid=20665] ppid=20662 vsize=10545124 CPUtime=0.66 cores=0,2,4,6
/proc/20664/task/20665/stat : 20665 (java) R 20662 20664 20455 0 -1 4202560 41792 0 1 0 61 5 0 0 18 0 18 0 833366763 10798206976 46006 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 46912505366267 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 10545124
[startup+1.50102 s]
/proc/loadavg: 2.26 2.07 1.74 8/501 20683
/proc/meminfo: memFree=29180440/32950928 swapFree=45617076/67111528
[pid=20664] ppid=20662 vsize=10559980 CPUtime=2.71 cores=0,2,4,6
/proc/20664/stat : 20664 (java) S 20662 20664 20455 0 -1 4202496 97960 0 1 0 257 14 0 0 22 0 19 0 833366763 10813419520 91996 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20664/statm: 2639995 91996 2237 9 0 2630729 0
[pid=20664/tid=20665] ppid=20662 vsize=10559980 CPUtime=1.46 cores=0,2,4,6
/proc/20664/task/20665/stat : 20665 (java) R 20662 20664 20455 0 -1 4202560 83210 0 1 0 135 11 0 0 20 0 19 0 833366763 10813419520 91996 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 46912505908437 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20664/tid=20667] ppid=20662 vsize=10559980 CPUtime=0 cores=0,2,4,6
/proc/20664/task/20667/stat : 20667 (java) S 20662 20664 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833366767 10813419520 91996 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 0 0 0 0
[pid=20664/tid=20668] ppid=20662 vsize=10559980 CPUtime=0 cores=0,2,4,6
/proc/20664/task/20668/stat : 20668 (java) S 20662 20664 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833366767 10813419520 91996 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 0 0 0 0
[pid=20664/tid=20669] ppid=20662 vsize=10559980 CPUtime=0 cores=0,2,4,6
/proc/20664/task/20669/stat : 20669 (java) S 20662 20664 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833366767 10813419520 92001 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 0 0 0 0
[pid=20664/tid=20670] ppid=20662 vsize=10559980 CPUtime=0 cores=0,2,4,6
/proc/20664/task/20670/stat : 20670 (java) S 20662 20664 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833366767 10813419520 92011 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 0 0 0 0
[pid=20664/tid=20671] ppid=20662 vsize=10559980 CPUtime=0 cores=0,2,4,6
/proc/20664/task/20671/stat : 20671 (java) S 20662 20664 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833366767 10813419520 92030 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 0 0 0 0
[pid=20664/tid=20672] ppid=20662 vsize=10559980 CPUtime=0 cores=0,2,4,6
/proc/20664/task/20672/stat : 20672 (java) S 20662 20664 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833366767 10813419520 92030 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 0 0 0 0
[pid=20664/tid=20673] ppid=20662 vsize=10559980 CPUtime=0 cores=0,2,4,6
/proc/20664/task/20673/stat : 20673 (java) S 20662 20664 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833366767 10813419520 92030 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 0 0 0 0
[pid=20664/tid=20674] ppid=20662 vsize=10559980 CPUtime=0 cores=0,2,4,6
/proc/20664/task/20674/stat : 20674 (java) S 20662 20664 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833366767 10813419520 92030 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 0 0 0 0
[pid=20664/tid=20675] ppid=20662 vsize=10559980 CPUtime=0 cores=0,2,4,6
/proc/20664/task/20675/stat : 20675 (java) S 20662 20664 20455 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 833366768 10813419520 92030 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514752 0 0 0 16800975 18446604453850649920 0 0 -1 6 0 0 0
[pid=20664/tid=20676] ppid=20662 vsize=10559980 CPUtime=0 cores=0,2,4,6
/proc/20664/task/20676/stat : 20676 (java) S 20662 20664 20455 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833366768 10813419520 92030 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 6 0 0 0
[pid=20664/tid=20677] ppid=20662 vsize=10559980 CPUtime=0 cores=0,2,4,6
/proc/20664/task/20677/stat : 20677 (java) S 20662 20664 20455 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833366768 10813419520 92031 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 6 0 0 0
[pid=20664/tid=20678] ppid=20662 vsize=10559980 CPUtime=0 cores=0,2,4,6
/proc/20664/task/20678/stat : 20678 (java) S 20662 20664 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833366770 10813419520 92031 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101521841 0 4 0 16800975 18446604453850649920 0 0 -1 6 0 0 0
[pid=20664/tid=20679] ppid=20662 vsize=10559980 CPUtime=0.69 cores=0,2,4,6
/proc/20664/task/20679/stat : 20679 (java) R 20662 20664 20455 0 -1 4202560 8225 0 0 0 69 0 0 0 16 0 19 0 833366770 10813419520 92031 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248089392075 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=20664/tid=20680] ppid=20662 vsize=10559980 CPUtime=0.52 cores=0,2,4,6
/proc/20664/task/20680/stat : 20680 (java) S 20662 20664 20455 0 -1 4202560 5396 0 0 0 51 1 0 0 15 0 19 0 833366771 10813419520 92031 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 4 0 0 0
[pid=20664/tid=20681] ppid=20662 vsize=10559980 CPUtime=0 cores=0,2,4,6
/proc/20664/task/20681/stat : 20681 (java) S 20662 20664 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833366771 10813419520 92031 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 6 0 0 0
[pid=20664/tid=20682] ppid=20662 vsize=10559980 CPUtime=0 cores=0,2,4,6
/proc/20664/task/20682/stat : 20682 (java) S 20662 20664 20455 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833366771 10813419520 92031 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514752 0 4 0 16800975 18446604453850649920 0 0 -1 6 0 0 0
[pid=20664/tid=20683] ppid=20662 vsize=10559980 CPUtime=0 cores=0,2,4,6
/proc/20664/task/20683/stat : 20683 (java) S 20662 20664 20455 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 833366866 10813419520 92031 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514752 0 4 0 16800975 18446604453850649920 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.71
Current children cumulated vsize (KiB) 10559980
[startup+3.10068 s]
/proc/loadavg: 2.26 2.07 1.74 5/501 20683
/proc/meminfo: memFree=28678240/32950928 swapFree=45617076/67111528
[pid=20664] ppid=20662 vsize=10559980 CPUtime=4.73 cores=0,2,4,6
/proc/20664/stat : 20664 (java) S 20662 20664 20455 0 -1 4202496 173390 0 1 0 451 22 0 0 22 0 19 0 833366763 10813419520 165845 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20664/statm: 2639995 165845 2238 9 0 2630729 0
[pid=20664/tid=20665] ppid=20662 vsize=10559980 CPUtime=3.06 cores=0,2,4,6
/proc/20664/task/20665/stat : 20665 (java) R 20662 20664 20455 0 -1 4202560 156866 0 1 0 287 19 0 0 25 0 19 0 833366763 10813419520 165846 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 46912505925868 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20664/tid=20667] ppid=20662 vsize=10559980 CPUtime=0 cores=0,2,4,6
/proc/20664/task/20667/stat : 20667 (java) S 20662 20664 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833366767 10813419520 165848 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 0 0 0 0
[pid=20664/tid=20668] ppid=20662 vsize=10559980 CPUtime=0 cores=0,2,4,6
/proc/20664/task/20668/stat : 20668 (java) S 20662 20664 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833366767 10813419520 165850 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 0 0 0 0
[pid=20664/tid=20669] ppid=20662 vsize=10559980 CPUtime=0 cores=0,2,4,6
/proc/20664/task/20669/stat : 20669 (java) S 20662 20664 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833366767 10813419520 165853 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 0 0 0 0
[pid=20664/tid=20670] ppid=20662 vsize=10559980 CPUtime=0 cores=0,2,4,6
/proc/20664/task/20670/stat : 20670 (java) S 20662 20664 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833366767 10813419520 165854 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 0 0 0 0
[pid=20664/tid=20671] ppid=20662 vsize=10559980 CPUtime=0 cores=0,2,4,6
/proc/20664/task/20671/stat : 20671 (java) S 20662 20664 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833366767 10813419520 165855 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 0 0 0 0
[pid=20664/tid=20672] ppid=20662 vsize=10559980 CPUtime=0 cores=0,2,4,6
/proc/20664/task/20672/stat : 20672 (java) S 20662 20664 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833366767 10813419520 165857 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 0 0 0 0
[pid=20664/tid=20673] ppid=20662 vsize=10559980 CPUtime=0 cores=0,2,4,6
/proc/20664/task/20673/stat : 20673 (java) S 20662 20664 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833366767 10813419520 165860 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 0 0 0 0
[pid=20664/tid=20674] ppid=20662 vsize=10559980 CPUtime=0 cores=0,2,4,6
/proc/20664/task/20674/stat : 20674 (java) S 20662 20664 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833366767 10813419520 165861 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 0 0 0 0
[pid=20664/tid=20675] ppid=20662 vsize=10559980 CPUtime=0 cores=0,2,4,6
/proc/20664/task/20675/stat : 20675 (java) S 20662 20664 20455 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 833366768 10813419520 165861 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514752 0 0 0 16800975 18446604453850649920 0 0 -1 6 0 0 0
[pid=20664/tid=20676] ppid=20662 vsize=10559980 CPUtime=0 cores=0,2,4,6
/proc/20664/task/20676/stat : 20676 (java) S 20662 20664 20455 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833366768 10813419520 165861 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 6 0 0 0
[pid=20664/tid=20677] ppid=20662 vsize=10559980 CPUtime=0 cores=0,2,4,6
/proc/20664/task/20677/stat : 20677 (java) S 20662 20664 20455 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833366768 10813419520 165861 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 6 0 0 0
[pid=20664/tid=20678] ppid=20662 vsize=10559980 CPUtime=0 cores=0,2,4,6
/proc/20664/task/20678/stat : 20678 (java) S 20662 20664 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833366770 10813419520 165861 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101521841 0 4 0 16800975 18446604453850649920 0 0 -1 6 0 0 0
[pid=20664/tid=20679] ppid=20662 vsize=10559980 CPUtime=0.84 cores=0,2,4,6
/proc/20664/task/20679/stat : 20679 (java) S 20662 20664 20455 0 -1 4202560 8352 0 0 0 84 0 0 0 15 0 19 0 833366770 10813419520 165861 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 2 0 0 0
[pid=20664/tid=20680] ppid=20662 vsize=10559980 CPUtime=0.8 cores=0,2,4,6
/proc/20664/task/20680/stat : 20680 (java) S 20662 20664 20455 0 -1 4202560 7011 0 0 0 79 1 0 0 15 0 19 0 833366771 10813419520 165861 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 4 0 0 0
[pid=20664/tid=20681] ppid=20662 vsize=10559980 CPUtime=0 cores=0,2,4,6
/proc/20664/task/20681/stat : 20681 (java) S 20662 20664 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833366771 10813419520 165861 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 6 0 0 0
[pid=20664/tid=20682] ppid=20662 vsize=10559980 CPUtime=0 cores=0,2,4,6
/proc/20664/task/20682/stat : 20682 (java) S 20662 20664 20455 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833366771 10813419520 165861 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514752 0 4 0 16800975 18446604453850649920 0 0 -1 6 0 0 0
[pid=20664/tid=20683] ppid=20662 vsize=10559980 CPUtime=0 cores=0,2,4,6
/proc/20664/task/20683/stat : 20683 (java) S 20662 20664 20455 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 833366866 10813419520 165862 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514752 0 4 0 16800975 18446604453850649920 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.73
Current children cumulated vsize (KiB) 10559980
[startup+6.3011 s]
/proc/loadavg: 2.24 2.07 1.74 3/501 20683
/proc/meminfo: memFree=27121656/32950928 swapFree=45617076/67111528
[pid=20664] ppid=20662 vsize=10547232 CPUtime=7.97 cores=0,2,4,6
/proc/20664/stat : 20664 (java) S 20662 20664 20455 0 -1 4202496 309209 0 1 0 757 40 0 0 22 0 19 0 833366763 10800365568 297359 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20664/statm: 2636808 297359 2238 9 0 2627542 0
[pid=20664/tid=20665] ppid=20662 vsize=10547232 CPUtime=6.26 cores=0,2,4,6
/proc/20664/task/20665/stat : 20665 (java) R 20662 20664 20455 0 -1 4202560 292682 0 1 0 589 37 0 0 25 0 19 0 833366763 10800365568 297359 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 46912506172557 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=20664/tid=20667] ppid=20662 vsize=10547232 CPUtime=0 cores=0,2,4,6
/proc/20664/task/20667/stat : 20667 (java) S 20662 20664 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833366767 10800365568 297359 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 0 0 0 0
[pid=20664/tid=20668] ppid=20662 vsize=10547232 CPUtime=0 cores=0,2,4,6
/proc/20664/task/20668/stat : 20668 (java) S 20662 20664 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833366767 10800365568 297359 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 0 0 0 0
[pid=20664/tid=20669] ppid=20662 vsize=10547232 CPUtime=0 cores=0,2,4,6
/proc/20664/task/20669/stat : 20669 (java) S 20662 20664 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833366767 10800365568 297359 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 0 0 0 0
[pid=20664/tid=20670] ppid=20662 vsize=10547232 CPUtime=0 cores=0,2,4,6
/proc/20664/task/20670/stat : 20670 (java) S 20662 20664 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833366767 10800365568 297359 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 0 0 0 0
[pid=20664/tid=20671] ppid=20662 vsize=10547232 CPUtime=0 cores=0,2,4,6
/proc/20664/task/20671/stat : 20671 (java) S 20662 20664 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833366767 10800365568 297359 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 0 0 0 0
[pid=20664/tid=20672] ppid=20662 vsize=10547232 CPUtime=0 cores=0,2,4,6
/proc/20664/task/20672/stat : 20672 (java) S 20662 20664 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833366767 10800365568 297359 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 0 0 0 0
[pid=20664/tid=20673] ppid=20662 vsize=10547232 CPUtime=0 cores=0,2,4,6
/proc/20664/task/20673/stat : 20673 (java) S 20662 20664 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833366767 10800365568 297359 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 0 0 0 0
[pid=20664/tid=20674] ppid=20662 vsize=10547232 CPUtime=0 cores=0,2,4,6
/proc/20664/task/20674/stat : 20674 (java) S 20662 20664 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833366767 10800365568 297359 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 0 0 0 0
[pid=20664/tid=20675] ppid=20662 vsize=10547232 CPUtime=0 cores=0,2,4,6
/proc/20664/task/20675/stat : 20675 (java) S 20662 20664 20455 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 833366768 10800365568 297359 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514752 0 0 0 16800975 18446604453850649920 0 0 -1 6 0 0 0
[pid=20664/tid=20676] ppid=20662 vsize=10547232 CPUtime=0 cores=0,2,4,6
/proc/20664/task/20676/stat : 20676 (java) S 20662 20664 20455 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833366768 10800365568 297359 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 6 0 0 0
[pid=20664/tid=20677] ppid=20662 vsize=10547232 CPUtime=0 cores=0,2,4,6
/proc/20664/task/20677/stat : 20677 (java) S 20662 20664 20455 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833366768 10800365568 297359 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 6 0 0 0
[pid=20664/tid=20678] ppid=20662 vsize=10547232 CPUtime=0 cores=0,2,4,6
/proc/20664/task/20678/stat : 20678 (java) S 20662 20664 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833366770 10800365568 297359 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101521841 0 4 0 16800975 18446604453850649920 0 0 -1 6 0 0 0
[pid=20664/tid=20679] ppid=20662 vsize=10547232 CPUtime=0.86 cores=0,2,4,6
/proc/20664/task/20679/stat : 20679 (java) S 20662 20664 20455 0 -1 4202560 8354 0 0 0 86 0 0 0 15 0 19 0 833366770 10800365568 297359 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 2 0 0 0
[pid=20664/tid=20680] ppid=20662 vsize=10547232 CPUtime=0.82 cores=0,2,4,6
/proc/20664/task/20680/stat : 20680 (java) S 20662 20664 20455 0 -1 4202560 7011 0 0 0 80 2 0 0 15 0 19 0 833366771 10800365568 297359 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 4 0 0 0
################
# More data... #
################
/proc/20664/task/20676/stat : 20676 (java) S 20662 20664 20455 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833366768 10806943744 912694 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 6 0 0 0
[pid=20664/tid=20677] ppid=20662 vsize=10553656 CPUtime=0 cores=0,2,4,6
/proc/20664/task/20677/stat : 20677 (java) S 20662 20664 20455 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833366768 10806943744 912694 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 6 0 0 0
[pid=20664/tid=20678] ppid=20662 vsize=10553656 CPUtime=0 cores=0,2,4,6
/proc/20664/task/20678/stat : 20678 (java) S 20662 20664 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833366770 10806943744 912694 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101521841 0 4 0 16800975 18446604453850649920 0 0 -1 6 0 0 0
[pid=20664/tid=20679] ppid=20662 vsize=10553656 CPUtime=1.06 cores=0,2,4,6
/proc/20664/task/20679/stat : 20679 (java) S 20662 20664 20455 0 -1 4202560 10451 0 0 0 106 0 0 0 15 0 19 0 833366770 10806943744 912694 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 2 0 0 0
[pid=20664/tid=20680] ppid=20662 vsize=10553656 CPUtime=0.94 cores=0,2,4,6
/proc/20664/task/20680/stat : 20680 (java) S 20662 20664 20455 0 -1 4202560 7385 0 0 0 92 2 0 0 15 0 19 0 833366771 10806943744 912694 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 4 0 0 0
[pid=20664/tid=20681] ppid=20662 vsize=10553656 CPUtime=0 cores=0,2,4,6
/proc/20664/task/20681/stat : 20681 (java) S 20662 20664 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833366771 10806943744 912694 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 6 0 0 0
[pid=20664/tid=20682] ppid=20662 vsize=10553656 CPUtime=0 cores=0,2,4,6
/proc/20664/task/20682/stat : 20682 (java) S 20662 20664 20455 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 833366771 10806943744 912694 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514752 0 4 0 16800975 18446604453850649920 0 0 -1 4 0 0 0
[pid=20664/tid=20683] ppid=20662 vsize=10553656 CPUtime=0 cores=0,2,4,6
/proc/20664/task/20683/stat : 20683 (java) S 20662 20664 20455 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 833366866 10806943744 912694 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514752 0 4 0 16800975 18446604453850649920 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1667.25
Current children cumulated vsize (KiB) 10553656
[startup+1722.3 s]
/proc/loadavg: 2.09 2.07 1.97 3/501 20732
/proc/meminfo: memFree=22546340/32950928 swapFree=45617076/67111528
[pid=20664] ppid=20662 vsize=10553656 CPUtime=1727.38 cores=0,2,4,6
/proc/20664/stat : 20664 (java) S 20662 20664 20455 0 -1 4202496 927340 0 1 0 172622 116 0 0 22 0 19 0 833366763 10806943744 913562 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20664/statm: 2638414 913562 2267 9 0 2629148 0
[pid=20664/tid=20665] ppid=20662 vsize=10553656 CPUtime=1720.37 cores=0,2,4,6
/proc/20664/task/20665/stat : 20665 (java) R 20662 20664 20455 0 -1 4202560 830995 0 1 0 171936 101 0 0 25 0 19 0 833366763 10806943744 913562 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 46912505927321 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=20664/tid=20667] ppid=20662 vsize=10553656 CPUtime=0.48 cores=0,2,4,6
/proc/20664/task/20667/stat : 20667 (java) S 20662 20664 20455 0 -1 4202560 10120 0 0 0 48 0 0 0 15 0 19 0 833366767 10806943744 913562 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 6 0 0 0
[pid=20664/tid=20668] ppid=20662 vsize=10553656 CPUtime=0.59 cores=0,2,4,6
/proc/20664/task/20668/stat : 20668 (java) S 20662 20664 20455 0 -1 4202560 9646 0 0 0 58 1 0 0 15 0 19 0 833366767 10806943744 913562 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 4 0 0 0
[pid=20664/tid=20669] ppid=20662 vsize=10553656 CPUtime=0.56 cores=0,2,4,6
/proc/20664/task/20669/stat : 20669 (java) S 20662 20664 20455 0 -1 4202560 7274 0 0 0 55 1 0 0 15 0 19 0 833366767 10806943744 913562 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 6 0 0 0
[pid=20664/tid=20670] ppid=20662 vsize=10553656 CPUtime=0.59 cores=0,2,4,6
/proc/20664/task/20670/stat : 20670 (java) S 20662 20664 20455 0 -1 4202560 8265 0 0 0 59 0 0 0 15 0 19 0 833366767 10806943744 913562 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 2 0 0 0
[pid=20664/tid=20671] ppid=20662 vsize=10553656 CPUtime=0.54 cores=0,2,4,6
/proc/20664/task/20671/stat : 20671 (java) S 20662 20664 20455 0 -1 4202560 7376 0 0 0 53 1 0 0 16 0 19 0 833366767 10806943744 913562 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 6 0 0 0
[pid=20664/tid=20672] ppid=20662 vsize=10553656 CPUtime=0.57 cores=0,2,4,6
/proc/20664/task/20672/stat : 20672 (java) S 20662 20664 20455 0 -1 4202560 9900 0 0 0 57 0 0 0 15 0 19 0 833366767 10806943744 913562 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 2 0 0 0
[pid=20664/tid=20673] ppid=20662 vsize=10553656 CPUtime=0.61 cores=0,2,4,6
/proc/20664/task/20673/stat : 20673 (java) S 20662 20664 20455 0 -1 4202560 11773 0 0 0 61 0 0 0 16 0 19 0 833366767 10806943744 913562 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 4 0 0 0
[pid=20664/tid=20674] ppid=20662 vsize=10553656 CPUtime=0.61 cores=0,2,4,6
/proc/20664/task/20674/stat : 20674 (java) S 20662 20664 20455 0 -1 4202560 9864 0 0 0 60 1 0 0 16 0 19 0 833366767 10806943744 913562 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 2 0 0 0
[pid=20664/tid=20675] ppid=20662 vsize=10553656 CPUtime=0.31 cores=0,2,4,6
/proc/20664/task/20675/stat : 20675 (java) S 20662 20664 20455 0 -1 4202560 3042 0 0 0 30 1 0 0 15 0 19 0 833366768 10806943744 913562 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514752 0 0 0 16800975 18446604453850649920 0 0 -1 0 0 0 0
[pid=20664/tid=20676] ppid=20662 vsize=10553656 CPUtime=0 cores=0,2,4,6
/proc/20664/task/20676/stat : 20676 (java) S 20662 20664 20455 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833366768 10806943744 913562 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 6 0 0 0
[pid=20664/tid=20677] ppid=20662 vsize=10553656 CPUtime=0 cores=0,2,4,6
/proc/20664/task/20677/stat : 20677 (java) S 20662 20664 20455 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833366768 10806943744 913562 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 6 0 0 0
[pid=20664/tid=20678] ppid=20662 vsize=10553656 CPUtime=0 cores=0,2,4,6
/proc/20664/task/20678/stat : 20678 (java) S 20662 20664 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833366770 10806943744 913562 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101521841 0 4 0 16800975 18446604453850649920 0 0 -1 6 0 0 0
[pid=20664/tid=20679] ppid=20662 vsize=10553656 CPUtime=1.06 cores=0,2,4,6
/proc/20664/task/20679/stat : 20679 (java) S 20662 20664 20455 0 -1 4202560 10451 0 0 0 106 0 0 0 15 0 19 0 833366770 10806943744 913562 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 2 0 0 0
[pid=20664/tid=20680] ppid=20662 vsize=10553656 CPUtime=0.94 cores=0,2,4,6
/proc/20664/task/20680/stat : 20680 (java) S 20662 20664 20455 0 -1 4202560 7385 0 0 0 92 2 0 0 15 0 19 0 833366771 10806943744 913562 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 4 0 0 0
[pid=20664/tid=20681] ppid=20662 vsize=10553656 CPUtime=0 cores=0,2,4,6
/proc/20664/task/20681/stat : 20681 (java) S 20662 20664 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833366771 10806943744 913562 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 6 0 0 0
[pid=20664/tid=20682] ppid=20662 vsize=10553656 CPUtime=0 cores=0,2,4,6
/proc/20664/task/20682/stat : 20682 (java) S 20662 20664 20455 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 833366771 10806943744 913562 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514752 0 4 0 16800975 18446604453850649920 0 0 -1 4 0 0 0
[pid=20664/tid=20683] ppid=20662 vsize=10553656 CPUtime=0 cores=0,2,4,6
/proc/20664/task/20683/stat : 20683 (java) S 20662 20664 20455 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 833366866 10806943744 913562 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514752 0 4 0 16800975 18446604453850649920 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1727.38
Current children cumulated vsize (KiB) 10553656
[startup+1782.3 s]
/proc/loadavg: 2.10 2.07 1.97 3/501 20733
/proc/meminfo: memFree=22539120/32950928 swapFree=45617076/67111528
[pid=20664] ppid=20662 vsize=10553656 CPUtime=1787.47 cores=0,2,4,6
/proc/20664/stat : 20664 (java) S 20662 20664 20455 0 -1 4202496 927784 0 1 0 178631 116 0 0 22 0 19 0 833366763 10806943744 913994 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20664/statm: 2638414 913994 2267 9 0 2629148 0
[pid=20664/tid=20665] ppid=20662 vsize=10553656 CPUtime=1780.33 cores=0,2,4,6
/proc/20664/task/20665/stat : 20665 (java) R 20662 20664 20455 0 -1 4202560 830998 0 1 0 177931 102 0 0 25 0 19 0 833366763 10806943744 913994 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 46912505928227 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=20664/tid=20667] ppid=20662 vsize=10553656 CPUtime=0.51 cores=0,2,4,6
/proc/20664/task/20667/stat : 20667 (java) S 20662 20664 20455 0 -1 4202560 10214 0 0 0 51 0 0 0 15 0 19 0 833366767 10806943744 913994 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 2 0 0 0
[pid=20664/tid=20668] ppid=20662 vsize=10553656 CPUtime=0.62 cores=0,2,4,6
/proc/20664/task/20668/stat : 20668 (java) S 20662 20664 20455 0 -1 4202560 9752 0 0 0 61 1 0 0 16 0 19 0 833366767 10806943744 913994 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 4 0 0 0
[pid=20664/tid=20669] ppid=20662 vsize=10553656 CPUtime=0.56 cores=0,2,4,6
/proc/20664/task/20669/stat : 20669 (java) S 20662 20664 20455 0 -1 4202560 7274 0 0 0 55 1 0 0 15 0 19 0 833366767 10806943744 913994 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 2 0 0 0
[pid=20664/tid=20670] ppid=20662 vsize=10553656 CPUtime=0.61 cores=0,2,4,6
/proc/20664/task/20670/stat : 20670 (java) S 20662 20664 20455 0 -1 4202560 8374 0 0 0 61 0 0 0 16 0 19 0 833366767 10806943744 913994 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 2 0 0 0
[pid=20664/tid=20671] ppid=20662 vsize=10553656 CPUtime=0.54 cores=0,2,4,6
/proc/20664/task/20671/stat : 20671 (java) S 20662 20664 20455 0 -1 4202560 7376 0 0 0 53 1 0 0 15 0 19 0 833366767 10806943744 913994 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 2 0 0 0
[pid=20664/tid=20672] ppid=20662 vsize=10553656 CPUtime=0.6 cores=0,2,4,6
/proc/20664/task/20672/stat : 20672 (java) S 20662 20664 20455 0 -1 4202560 10000 0 0 0 60 0 0 0 16 0 19 0 833366767 10806943744 913994 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 6 0 0 0
[pid=20664/tid=20673] ppid=20662 vsize=10553656 CPUtime=0.62 cores=0,2,4,6
/proc/20664/task/20673/stat : 20673 (java) S 20662 20664 20455 0 -1 4202560 11794 0 0 0 62 0 0 0 15 0 19 0 833366767 10806943744 913994 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 4 0 0 0
[pid=20664/tid=20674] ppid=20662 vsize=10553656 CPUtime=0.63 cores=0,2,4,6
/proc/20664/task/20674/stat : 20674 (java) S 20662 20664 20455 0 -1 4202560 9869 0 0 0 62 1 0 0 15 0 19 0 833366767 10806943744 913994 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 6 0 0 0
[pid=20664/tid=20675] ppid=20662 vsize=10553656 CPUtime=0.31 cores=0,2,4,6
/proc/20664/task/20675/stat : 20675 (java) S 20662 20664 20455 0 -1 4202560 3044 0 0 0 30 1 0 0 15 0 19 0 833366768 10806943744 913994 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514752 0 0 0 16800975 18446604453850649920 0 0 -1 0 0 0 0
[pid=20664/tid=20676] ppid=20662 vsize=10553656 CPUtime=0 cores=0,2,4,6
/proc/20664/task/20676/stat : 20676 (java) S 20662 20664 20455 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833366768 10806943744 913994 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 6 0 0 0
[pid=20664/tid=20677] ppid=20662 vsize=10553656 CPUtime=0 cores=0,2,4,6
/proc/20664/task/20677/stat : 20677 (java) S 20662 20664 20455 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833366768 10806943744 913994 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 6 0 0 0
[pid=20664/tid=20678] ppid=20662 vsize=10553656 CPUtime=0 cores=0,2,4,6
/proc/20664/task/20678/stat : 20678 (java) S 20662 20664 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833366770 10806943744 913994 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101521841 0 4 0 16800975 18446604453850649920 0 0 -1 6 0 0 0
[pid=20664/tid=20679] ppid=20662 vsize=10553656 CPUtime=1.06 cores=0,2,4,6
/proc/20664/task/20679/stat : 20679 (java) S 20662 20664 20455 0 -1 4202560 10451 0 0 0 106 0 0 0 15 0 19 0 833366770 10806943744 913994 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 2 0 0 0
[pid=20664/tid=20680] ppid=20662 vsize=10553656 CPUtime=0.94 cores=0,2,4,6
/proc/20664/task/20680/stat : 20680 (java) S 20662 20664 20455 0 -1 4202560 7385 0 0 0 92 2 0 0 15 0 19 0 833366771 10806943744 913994 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 4 0 0 0
[pid=20664/tid=20681] ppid=20662 vsize=10553656 CPUtime=0 cores=0,2,4,6
/proc/20664/task/20681/stat : 20681 (java) S 20662 20664 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833366771 10806943744 913994 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 6 0 0 0
[pid=20664/tid=20682] ppid=20662 vsize=10553656 CPUtime=0 cores=0,2,4,6
/proc/20664/task/20682/stat : 20682 (java) S 20662 20664 20455 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 833366771 10806943744 913994 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514752 0 4 0 16800975 18446604453850649920 0 0 -1 4 0 0 0
[pid=20664/tid=20683] ppid=20662 vsize=10553656 CPUtime=0 cores=0,2,4,6
/proc/20664/task/20683/stat : 20683 (java) S 20662 20664 20455 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 833366866 10806943744 913994 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514752 0 4 0 16800975 18446604453850649920 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1787.47
Current children cumulated vsize (KiB) 10553656
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1794.9 s]
/proc/loadavg: 2.00 2.05 1.97 2/481 20736
/proc/meminfo: memFree=26332300/32950928 swapFree=45617076/67111528
[pid=20664] ppid=20662 vsize=10553656 CPUtime=1800.11 cores=0,2,4,6
/proc/20664/stat : 20664 (java) S 20662 20664 20455 0 -1 4202496 928228 0 1 0 179895 116 0 0 22 0 19 0 833366763 10806943744 914433 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20664/statm: 2638414 914433 2267 9 0 2629148 0
[pid=20664/tid=20665] ppid=20662 vsize=10553656 CPUtime=1792.92 cores=0,2,4,6
/proc/20664/task/20665/stat : 20665 (java) R 20662 20664 20455 0 -1 4202560 830999 0 1 0 179190 102 0 0 25 0 19 0 833366763 10806943744 914433 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 46912505763998 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=20664/tid=20667] ppid=20662 vsize=10553656 CPUtime=0.53 cores=0,2,4,6
/proc/20664/task/20667/stat : 20667 (java) S 20662 20664 20455 0 -1 4202560 10341 0 0 0 53 0 0 0 16 0 19 0 833366767 10806943744 914433 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 6 0 0 0
[pid=20664/tid=20668] ppid=20662 vsize=10553656 CPUtime=0.62 cores=0,2,4,6
/proc/20664/task/20668/stat : 20668 (java) S 20662 20664 20455 0 -1 4202560 9752 0 0 0 61 1 0 0 15 0 19 0 833366767 10806943744 914433 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 4 0 0 0
[pid=20664/tid=20669] ppid=20662 vsize=10553656 CPUtime=0.58 cores=0,2,4,6
/proc/20664/task/20669/stat : 20669 (java) S 20662 20664 20455 0 -1 4202560 7512 0 0 0 57 1 0 0 16 0 19 0 833366767 10806943744 914433 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 2 0 0 0
[pid=20664/tid=20670] ppid=20662 vsize=10553656 CPUtime=0.61 cores=0,2,4,6
/proc/20664/task/20670/stat : 20670 (java) S 20662 20664 20455 0 -1 4202560 8374 0 0 0 61 0 0 0 15 0 19 0 833366767 10806943744 914433 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 2 0 0 0
[pid=20664/tid=20671] ppid=20662 vsize=10553656 CPUtime=0.54 cores=0,2,4,6
/proc/20664/task/20671/stat : 20671 (java) S 20662 20664 20455 0 -1 4202560 7376 0 0 0 53 1 0 0 15 0 19 0 833366767 10806943744 914433 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 2 0 0 0
[pid=20664/tid=20672] ppid=20662 vsize=10553656 CPUtime=0.6 cores=0,2,4,6
/proc/20664/task/20672/stat : 20672 (java) S 20662 20664 20455 0 -1 4202560 10000 0 0 0 60 0 0 0 15 0 19 0 833366767 10806943744 914433 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 6 0 0 0
[pid=20664/tid=20673] ppid=20662 vsize=10553656 CPUtime=0.62 cores=0,2,4,6
/proc/20664/task/20673/stat : 20673 (java) S 20662 20664 20455 0 -1 4202560 11794 0 0 0 62 0 0 0 15 0 19 0 833366767 10806943744 914433 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 4 0 0 0
[pid=20664/tid=20674] ppid=20662 vsize=10553656 CPUtime=0.64 cores=0,2,4,6
/proc/20664/task/20674/stat : 20674 (java) S 20662 20664 20455 0 -1 4202560 9945 0 0 0 63 1 0 0 16 0 19 0 833366767 10806943744 914433 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 4 0 0 0
[pid=20664/tid=20675] ppid=20662 vsize=10553656 CPUtime=0.31 cores=0,2,4,6
/proc/20664/task/20675/stat : 20675 (java) S 20662 20664 20455 0 -1 4202560 3046 0 0 0 30 1 0 0 15 0 19 0 833366768 10806943744 914433 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514752 0 0 0 16800975 18446604453850649920 0 0 -1 0 0 0 0
[pid=20664/tid=20676] ppid=20662 vsize=10553656 CPUtime=0 cores=0,2,4,6
/proc/20664/task/20676/stat : 20676 (java) S 20662 20664 20455 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833366768 10806943744 914433 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 6 0 0 0
[pid=20664/tid=20677] ppid=20662 vsize=10553656 CPUtime=0 cores=0,2,4,6
/proc/20664/task/20677/stat : 20677 (java) S 20662 20664 20455 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833366768 10806943744 914433 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 6 0 0 0
[pid=20664/tid=20678] ppid=20662 vsize=10553656 CPUtime=0 cores=0,2,4,6
/proc/20664/task/20678/stat : 20678 (java) S 20662 20664 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833366770 10806943744 914433 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101521841 0 4 0 16800975 18446604453850649920 0 0 -1 6 0 0 0
[pid=20664/tid=20679] ppid=20662 vsize=10553656 CPUtime=1.06 cores=0,2,4,6
/proc/20664/task/20679/stat : 20679 (java) S 20662 20664 20455 0 -1 4202560 10451 0 0 0 106 0 0 0 15 0 19 0 833366770 10806943744 914433 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 2 0 0 0
[pid=20664/tid=20680] ppid=20662 vsize=10553656 CPUtime=0.94 cores=0,2,4,6
/proc/20664/task/20680/stat : 20680 (java) S 20662 20664 20455 0 -1 4202560 7385 0 0 0 92 2 0 0 15 0 19 0 833366771 10806943744 914433 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 4 0 0 0
[pid=20664/tid=20681] ppid=20662 vsize=10553656 CPUtime=0 cores=0,2,4,6
/proc/20664/task/20681/stat : 20681 (java) S 20662 20664 20455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833366771 10806943744 914433 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514137 0 4 0 16800975 18446604453850649920 0 0 -1 6 0 0 0
[pid=20664/tid=20682] ppid=20662 vsize=10553656 CPUtime=0 cores=0,2,4,6
/proc/20664/task/20682/stat : 20682 (java) S 20662 20664 20455 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 833366771 10806943744 914433 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514752 0 4 0 16800975 18446604453850649920 0 0 -1 4 0 0 0
[pid=20664/tid=20683] ppid=20662 vsize=10553656 CPUtime=0 cores=0,2,4,6
/proc/20664/task/20683/stat : 20683 (java) S 20662 20664 20455 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 833366866 10806943744 914433 33554432000 1073741824 1073778376 140737365272528 18446744073709551615 248101514752 0 4 0 16800975 18446604453850649920 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 10553656
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1795.02 s]
/proc/loadavg: 2.00 2.05 1.97 2/481 20736
/proc/meminfo: memFree=26332300/32950928 swapFree=45617076/67111528
[pid=20664] ppid=20662 vsize=0 CPUtime=1800.23 cores=0,2,4,6
/proc/20664/stat : 20664 (java) Z 20662 20664 20455 0 -1 4203548 928258 0 1 0 179898 125 0 0 17 0 2 0 833366763 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20664/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1795.08
CPU time (s): 1800.3
CPU user time (s): 1798.99
CPU system time (s): 1.3098
CPU usage (%): 100.291
Max. virtual memory (cumulated for all children) (KiB): 10559980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.99
system time used= 1.3098
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 928258
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= 39769
involuntary context switches= 34114
runsolver used 8.87265 second user time and 18.8951 second system time
The end