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-3457559-1307228476/watcher-3457559-1307228476 -o /tmp/evaluation-result-3457559-1307228476/solver-3457559-1307228476 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457559-1307228476.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.03 2.00 3/553 31966
/proc/meminfo: memFree=26078428/32951124 swapFree=58212616/67111528
[pid=31966] ppid=31964 vsize=10444316 CPUtime=0.01 cores=1,3,5,7
/proc/31966/stat : 31966 (java) S 31964 31966 30535 0 -1 4202496 7093 0 1 0 0 1 0 0 23 0 2 0 834445821 10694979584 6795 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256151525 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/31966/statm: 2611079 6807 917 9 0 2602235 0
[pid=31966/tid=31967] ppid=31964 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/31966/task/31967/stat : 31967 (java) R 31964 31966 30535 0 -1 4202560 6042 0 1 0 0 0 0 0 25 0 2 0 834445821 10694979584 6858 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228244042811 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.0970321 s]
/proc/loadavg: 2.00 2.03 2.00 3/553 31966
/proc/meminfo: memFree=26078428/32951124 swapFree=58212616/67111528
[pid=31966] ppid=31964 vsize=10540364 CPUtime=0.1 cores=1,3,5,7
/proc/31966/stat : 31966 (java) S 31964 31966 30535 0 -1 4202496 13028 0 1 0 9 1 0 0 23 0 18 0 834445821 10793332736 12696 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/31966/statm: 2635091 12696 2092 9 0 2625825 0
[pid=31966/tid=31967] ppid=31964 vsize=10540364 CPUtime=0.08 cores=1,3,5,7
/proc/31966/task/31967/stat : 31967 (java) R 31964 31966 30535 0 -1 4202560 11089 0 1 0 7 1 0 0 25 0 18 0 834445821 10793332736 12696 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 47577653807955 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540364
[startup+0.101043 s]
/proc/loadavg: 2.00 2.03 2.00 3/553 31966
/proc/meminfo: memFree=26078428/32951124 swapFree=58212616/67111528
[pid=31966] ppid=31964 vsize=10540364 CPUtime=0.1 cores=1,3,5,7
/proc/31966/stat : 31966 (java) S 31964 31966 30535 0 -1 4202496 13096 0 1 0 9 1 0 0 23 0 18 0 834445821 10793332736 12764 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/31966/statm: 2635091 12765 2092 9 0 2625825 0
[pid=31966/tid=31967] ppid=31964 vsize=10540364 CPUtime=0.08 cores=1,3,5,7
/proc/31966/task/31967/stat : 31967 (java) R 31964 31966 30535 0 -1 4202560 11158 0 1 0 7 1 0 0 25 0 18 0 834445821 10793332736 12765 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228244010017 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540364
[startup+0.300999 s]
/proc/loadavg: 2.00 2.03 2.00 3/553 31966
/proc/meminfo: memFree=26078428/32951124 swapFree=58212616/67111528
[pid=31966] ppid=31964 vsize=10542072 CPUtime=0.45 cores=1,3,5,7
/proc/31966/stat : 31966 (java) S 31964 31966 30535 0 -1 4202496 29772 0 1 0 42 3 0 0 23 0 18 0 834445821 10795081728 29265 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/31966/statm: 2635518 29266 2199 9 0 2626252 0
[pid=31966/tid=31967] ppid=31964 vsize=10542072 CPUtime=0.29 cores=1,3,5,7
/proc/31966/task/31967/stat : 31967 (java) R 31964 31966 30535 0 -1 4202560 27078 0 1 0 26 3 0 0 25 0 18 0 834445821 10795081728 29268 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 46912505554891 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 10542072
[startup+0.700925 s]
/proc/loadavg: 2.00 2.03 2.00 3/553 31966
/proc/meminfo: memFree=26078428/32951124 swapFree=58212616/67111528
[pid=31966] ppid=31964 vsize=10542072 CPUtime=0.85 cores=1,3,5,7
/proc/31966/stat : 31966 (java) S 31964 31966 30535 0 -1 4202496 61449 0 1 0 78 7 0 0 23 0 18 0 834445821 10795081728 60942 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/31966/statm: 2635518 60945 2199 9 0 2626252 0
[pid=31966/tid=31967] ppid=31964 vsize=10542072 CPUtime=0.69 cores=1,3,5,7
/proc/31966/task/31967/stat : 31967 (java) R 31964 31966 30535 0 -1 4202560 58757 0 1 0 62 7 0 0 25 0 18 0 834445821 10795081728 60947 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 46912505366267 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.85
Current children cumulated vsize (KiB) 10542072
[startup+1.50079 s]
/proc/loadavg: 2.00 2.03 2.00 3/571 31984
/proc/meminfo: memFree=25747300/32951124 swapFree=58212616/67111528
[pid=31966] ppid=31964 vsize=10542072 CPUtime=1.65 cores=1,3,5,7
/proc/31966/stat : 31966 (java) S 31964 31966 30535 0 -1 4202496 125643 0 1 0 150 15 0 0 23 0 18 0 834445821 10795081728 125136 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/31966/statm: 2635518 125139 2199 9 0 2626252 0
[pid=31966/tid=31967] ppid=31964 vsize=10542072 CPUtime=1.48 cores=1,3,5,7
/proc/31966/task/31967/stat : 31967 (java) R 31964 31966 30535 0 -1 4202560 122951 0 1 0 133 15 0 0 25 0 18 0 834445821 10795081728 125141 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 46912505574987 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31966/tid=31969] ppid=31964 vsize=10542072 CPUtime=0 cores=1,3,5,7
/proc/31966/task/31969/stat : 31969 (java) S 31964 31966 30535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834445823 10795081728 125143 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 7 0 0 0
[pid=31966/tid=31970] ppid=31964 vsize=10542072 CPUtime=0 cores=1,3,5,7
/proc/31966/task/31970/stat : 31970 (java) S 31964 31966 30535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834445823 10795081728 125145 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 3 0 0 0
[pid=31966/tid=31971] ppid=31964 vsize=10542072 CPUtime=0 cores=1,3,5,7
/proc/31966/task/31971/stat : 31971 (java) S 31964 31966 30535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834445823 10795081728 125146 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 7 0 0 0
[pid=31966/tid=31972] ppid=31964 vsize=10542072 CPUtime=0 cores=1,3,5,7
/proc/31966/task/31972/stat : 31972 (java) S 31964 31966 30535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834445823 10795081728 125148 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 7 0 0 0
[pid=31966/tid=31973] ppid=31964 vsize=10542072 CPUtime=0 cores=1,3,5,7
/proc/31966/task/31973/stat : 31973 (java) S 31964 31966 30535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834445823 10795081728 125150 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 7 0 0 0
[pid=31966/tid=31974] ppid=31964 vsize=10542072 CPUtime=0 cores=1,3,5,7
/proc/31966/task/31974/stat : 31974 (java) S 31964 31966 30535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834445823 10795081728 125152 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 7 0 0 0
[pid=31966/tid=31975] ppid=31964 vsize=10542072 CPUtime=0 cores=1,3,5,7
/proc/31966/task/31975/stat : 31975 (java) S 31964 31966 30535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834445823 10795081728 125154 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 7 0 0 0
[pid=31966/tid=31976] ppid=31964 vsize=10542072 CPUtime=0 cores=1,3,5,7
/proc/31966/task/31976/stat : 31976 (java) S 31964 31966 30535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834445823 10795081728 125156 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 7 0 0 0
[pid=31966/tid=31977] ppid=31964 vsize=10542072 CPUtime=0 cores=1,3,5,7
/proc/31966/task/31977/stat : 31977 (java) S 31964 31966 30535 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 834445824 10795081728 125158 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256165376 0 0 0 16800975 18446604455409109952 0 0 -1 1 0 0 0
[pid=31966/tid=31978] ppid=31964 vsize=10542072 CPUtime=0 cores=1,3,5,7
/proc/31966/task/31978/stat : 31978 (java) S 31964 31966 30535 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 834445825 10795081728 125160 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 1 0 0 0
[pid=31966/tid=31979] ppid=31964 vsize=10542072 CPUtime=0 cores=1,3,5,7
/proc/31966/task/31979/stat : 31979 (java) S 31964 31966 30535 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 834445825 10795081728 125162 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 1 0 0 0
[pid=31966/tid=31980] ppid=31964 vsize=10542072 CPUtime=0 cores=1,3,5,7
/proc/31966/task/31980/stat : 31980 (java) S 31964 31966 30535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834445827 10795081728 125164 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256172465 0 4 0 16800975 18446604455409109952 0 0 -1 1 0 0 0
[pid=31966/tid=31981] ppid=31964 vsize=10542072 CPUtime=0.08 cores=1,3,5,7
/proc/31966/task/31981/stat : 31981 (java) S 31964 31966 30535 0 -1 4202560 637 0 0 0 8 0 0 0 15 0 18 0 834445827 10795081728 125166 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 3 0 0 0
[pid=31966/tid=31982] ppid=31964 vsize=10542072 CPUtime=0.07 cores=1,3,5,7
/proc/31966/task/31982/stat : 31982 (java) S 31964 31966 30535 0 -1 4202560 909 0 0 0 7 0 0 0 17 0 18 0 834445827 10795081728 125168 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 7 0 0 0
[pid=31966/tid=31983] ppid=31964 vsize=10542072 CPUtime=0 cores=1,3,5,7
/proc/31966/task/31983/stat : 31983 (java) S 31964 31966 30535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834445827 10795081728 125170 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 1 0 0 0
[pid=31966/tid=31984] ppid=31964 vsize=10542072 CPUtime=0 cores=1,3,5,7
/proc/31966/task/31984/stat : 31984 (java) S 31964 31966 30535 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 834445827 10795081728 125172 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256165376 0 4 0 16800975 18446604455409109952 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.65
Current children cumulated vsize (KiB) 10542072
[startup+3.10151 s]
/proc/loadavg: 2.00 2.03 2.00 3/571 31984
/proc/meminfo: memFree=25408780/32951124 swapFree=58212616/67111528
[pid=31966] ppid=31964 vsize=10542072 CPUtime=3.25 cores=1,3,5,7
/proc/31966/stat : 31966 (java) S 31964 31966 30535 0 -1 4202496 247580 0 1 0 296 29 0 0 23 0 18 0 834445821 10795081728 247073 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/31966/statm: 2635518 247076 2203 9 0 2626252 0
[pid=31966/tid=31967] ppid=31964 vsize=10542072 CPUtime=3.09 cores=1,3,5,7
/proc/31966/task/31967/stat : 31967 (java) R 31964 31966 30535 0 -1 4202560 244884 0 1 0 280 29 0 0 25 0 18 0 834445821 10795081728 247078 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 46912505574799 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31966/tid=31969] ppid=31964 vsize=10542072 CPUtime=0 cores=1,3,5,7
/proc/31966/task/31969/stat : 31969 (java) S 31964 31966 30535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834445823 10795081728 247080 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 7 0 0 0
[pid=31966/tid=31970] ppid=31964 vsize=10542072 CPUtime=0 cores=1,3,5,7
/proc/31966/task/31970/stat : 31970 (java) S 31964 31966 30535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834445823 10795081728 247082 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 3 0 0 0
[pid=31966/tid=31971] ppid=31964 vsize=10542072 CPUtime=0 cores=1,3,5,7
/proc/31966/task/31971/stat : 31971 (java) S 31964 31966 30535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834445823 10795081728 247083 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 7 0 0 0
[pid=31966/tid=31972] ppid=31964 vsize=10542072 CPUtime=0 cores=1,3,5,7
/proc/31966/task/31972/stat : 31972 (java) S 31964 31966 30535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834445823 10795081728 247085 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 7 0 0 0
[pid=31966/tid=31973] ppid=31964 vsize=10542072 CPUtime=0 cores=1,3,5,7
/proc/31966/task/31973/stat : 31973 (java) S 31964 31966 30535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834445823 10795081728 247087 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 7 0 0 0
[pid=31966/tid=31974] ppid=31964 vsize=10542072 CPUtime=0 cores=1,3,5,7
/proc/31966/task/31974/stat : 31974 (java) S 31964 31966 30535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834445823 10795081728 247089 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 7 0 0 0
[pid=31966/tid=31975] ppid=31964 vsize=10542072 CPUtime=0 cores=1,3,5,7
/proc/31966/task/31975/stat : 31975 (java) S 31964 31966 30535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834445823 10795081728 247091 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 7 0 0 0
[pid=31966/tid=31976] ppid=31964 vsize=10542072 CPUtime=0 cores=1,3,5,7
/proc/31966/task/31976/stat : 31976 (java) S 31964 31966 30535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834445823 10795081728 247093 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 7 0 0 0
[pid=31966/tid=31977] ppid=31964 vsize=10542072 CPUtime=0 cores=1,3,5,7
/proc/31966/task/31977/stat : 31977 (java) S 31964 31966 30535 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 834445824 10795081728 247095 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256165376 0 0 0 16800975 18446604455409109952 0 0 -1 1 0 0 0
[pid=31966/tid=31978] ppid=31964 vsize=10542072 CPUtime=0 cores=1,3,5,7
/proc/31966/task/31978/stat : 31978 (java) S 31964 31966 30535 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 834445825 10795081728 247096 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 1 0 0 0
[pid=31966/tid=31979] ppid=31964 vsize=10542072 CPUtime=0 cores=1,3,5,7
/proc/31966/task/31979/stat : 31979 (java) S 31964 31966 30535 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 834445825 10795081728 247098 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 1 0 0 0
[pid=31966/tid=31980] ppid=31964 vsize=10542072 CPUtime=0 cores=1,3,5,7
/proc/31966/task/31980/stat : 31980 (java) S 31964 31966 30535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834445827 10795081728 247100 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256172465 0 4 0 16800975 18446604455409109952 0 0 -1 1 0 0 0
[pid=31966/tid=31981] ppid=31964 vsize=10542072 CPUtime=0.08 cores=1,3,5,7
/proc/31966/task/31981/stat : 31981 (java) S 31964 31966 30535 0 -1 4202560 641 0 0 0 8 0 0 0 15 0 18 0 834445827 10795081728 247102 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 3 0 0 0
[pid=31966/tid=31982] ppid=31964 vsize=10542072 CPUtime=0.07 cores=1,3,5,7
/proc/31966/task/31982/stat : 31982 (java) S 31964 31966 30535 0 -1 4202560 909 0 0 0 7 0 0 0 17 0 18 0 834445827 10795081728 247104 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 7 0 0 0
[pid=31966/tid=31983] ppid=31964 vsize=10542072 CPUtime=0 cores=1,3,5,7
/proc/31966/task/31983/stat : 31983 (java) S 31964 31966 30535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834445827 10795081728 247106 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 1 0 0 0
[pid=31966/tid=31984] ppid=31964 vsize=10542072 CPUtime=0 cores=1,3,5,7
/proc/31966/task/31984/stat : 31984 (java) S 31964 31966 30535 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 834445827 10795081728 247108 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256165376 0 4 0 16800975 18446604455409109952 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.25
Current children cumulated vsize (KiB) 10542072
[startup+6.30095 s]
/proc/loadavg: 2.00 2.02 2.00 3/571 31984
/proc/meminfo: memFree=24076804/32951124 swapFree=58212616/67111528
[pid=31966] ppid=31964 vsize=10542072 CPUtime=6.62 cores=1,3,5,7
/proc/31966/stat : 31966 (java) S 31964 31966 30535 0 -1 4202496 610685 0 1 0 596 66 0 0 23 0 18 0 834445821 10795081728 609994 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/31966/statm: 2635518 610002 2215 9 0 2626252 0
[pid=31966/tid=31967] ppid=31964 vsize=10542072 CPUtime=6.28 cores=1,3,5,7
/proc/31966/task/31967/stat : 31967 (java) R 31964 31966 30535 0 -1 4202560 607504 0 1 0 563 65 0 0 25 0 18 0 834445821 10795081728 610004 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 46912505687974 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31966/tid=31969] ppid=31964 vsize=10542072 CPUtime=0 cores=1,3,5,7
/proc/31966/task/31969/stat : 31969 (java) S 31964 31966 30535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834445823 10795081728 610005 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 7 0 0 0
[pid=31966/tid=31970] ppid=31964 vsize=10542072 CPUtime=0 cores=1,3,5,7
/proc/31966/task/31970/stat : 31970 (java) S 31964 31966 30535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834445823 10795081728 610014 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 3 0 0 0
[pid=31966/tid=31971] ppid=31964 vsize=10542072 CPUtime=0 cores=1,3,5,7
/proc/31966/task/31971/stat : 31971 (java) S 31964 31966 30535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834445823 10795081728 610014 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 7 0 0 0
[pid=31966/tid=31972] ppid=31964 vsize=10542072 CPUtime=0 cores=1,3,5,7
/proc/31966/task/31972/stat : 31972 (java) S 31964 31966 30535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834445823 10795081728 610014 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 7 0 0 0
[pid=31966/tid=31973] ppid=31964 vsize=10542072 CPUtime=0 cores=1,3,5,7
/proc/31966/task/31973/stat : 31973 (java) S 31964 31966 30535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834445823 10795081728 610014 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 7 0 0 0
[pid=31966/tid=31974] ppid=31964 vsize=10542072 CPUtime=0 cores=1,3,5,7
/proc/31966/task/31974/stat : 31974 (java) S 31964 31966 30535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834445823 10795081728 610014 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 7 0 0 0
[pid=31966/tid=31975] ppid=31964 vsize=10542072 CPUtime=0 cores=1,3,5,7
/proc/31966/task/31975/stat : 31975 (java) S 31964 31966 30535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834445823 10795081728 610014 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 7 0 0 0
[pid=31966/tid=31976] ppid=31964 vsize=10542072 CPUtime=0 cores=1,3,5,7
/proc/31966/task/31976/stat : 31976 (java) S 31964 31966 30535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834445823 10795081728 610014 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 7 0 0 0
[pid=31966/tid=31977] ppid=31964 vsize=10542072 CPUtime=0 cores=1,3,5,7
/proc/31966/task/31977/stat : 31977 (java) S 31964 31966 30535 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 18 0 834445824 10795081728 610014 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256165376 0 0 0 16800975 18446604455409109952 0 0 -1 1 0 0 0
[pid=31966/tid=31978] ppid=31964 vsize=10542072 CPUtime=0 cores=1,3,5,7
/proc/31966/task/31978/stat : 31978 (java) S 31964 31966 30535 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 834445825 10795081728 610014 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 1 0 0 0
[pid=31966/tid=31979] ppid=31964 vsize=10542072 CPUtime=0 cores=1,3,5,7
/proc/31966/task/31979/stat : 31979 (java) S 31964 31966 30535 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 834445825 10795081728 610014 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 1 0 0 0
[pid=31966/tid=31980] ppid=31964 vsize=10542072 CPUtime=0 cores=1,3,5,7
/proc/31966/task/31980/stat : 31980 (java) S 31964 31966 30535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834445827 10795081728 610014 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256172465 0 4 0 16800975 18446604455409109952 0 0 -1 1 0 0 0
[pid=31966/tid=31981] ppid=31964 vsize=10542072 CPUtime=0.14 cores=1,3,5,7
/proc/31966/task/31981/stat : 31981 (java) S 31964 31966 30535 0 -1 4202560 653 0 0 0 14 0 0 0 15 0 18 0 834445827 10795081728 610014 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 3 0 0 0
[pid=31966/tid=31982] ppid=31964 vsize=10542072 CPUtime=0.17 cores=1,3,5,7
/proc/31966/task/31982/stat : 31982 (java) S 31964 31966 30535 0 -1 4202560 1383 0 0 0 17 0 0 0 16 0 18 0 834445827 10795081728 610014 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 7 0 0 0
[pid=31966/tid=31983] ppid=31964 vsize=10542072 CPUtime=0 cores=1,3,5,7
/proc/31966/task/31983/stat : 31983 (java) S 31964 31966 30535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 834445827 10795081728 610014 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 1 0 0 0
[pid=31966/tid=31984] ppid=31964 vsize=10542072 CPUtime=0 cores=1,3,5,7
/proc/31966/task/31984/stat : 31984 (java) S 31964 31966 30535 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 834445827 10795081728 610014 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256165376 0 4 0 16800975 18446604455409109952 0 0 -1 3 0 0 0
################
# More data... #
################
/proc/31966/task/31978/stat : 31978 (java) S 31964 31966 30535 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834445825 10801364992 1389716 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 1 0 0 0
[pid=31966/tid=31979] ppid=31964 vsize=10548208 CPUtime=0 cores=1,3,5,7
/proc/31966/task/31979/stat : 31979 (java) S 31964 31966 30535 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834445825 10801364992 1389716 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 1 0 0 0
[pid=31966/tid=31980] ppid=31964 vsize=10548208 CPUtime=0 cores=1,3,5,7
/proc/31966/task/31980/stat : 31980 (java) S 31964 31966 30535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834445827 10801364992 1389716 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256172465 0 4 0 16800975 18446604455409109952 0 0 -1 1 0 0 0
[pid=31966/tid=31981] ppid=31964 vsize=10548208 CPUtime=0.76 cores=1,3,5,7
/proc/31966/task/31981/stat : 31981 (java) S 31964 31966 30535 0 -1 4202560 3036 0 0 0 76 0 0 0 15 0 19 0 834445827 10801364992 1389716 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 3 0 0 0
[pid=31966/tid=31982] ppid=31964 vsize=10548208 CPUtime=0.61 cores=1,3,5,7
/proc/31966/task/31982/stat : 31982 (java) S 31964 31966 30535 0 -1 4202560 3936 0 0 0 61 0 0 0 16 0 19 0 834445827 10801364992 1389716 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 5 0 0 0
[pid=31966/tid=31983] ppid=31964 vsize=10548208 CPUtime=0 cores=1,3,5,7
/proc/31966/task/31983/stat : 31983 (java) S 31964 31966 30535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834445827 10801364992 1389716 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 1 0 0 0
[pid=31966/tid=31984] ppid=31964 vsize=10548208 CPUtime=0 cores=1,3,5,7
/proc/31966/task/31984/stat : 31984 (java) S 31964 31966 30535 0 -1 4202560 94 0 0 0 0 0 0 0 15 0 19 0 834445827 10801364992 1389716 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256165376 0 4 0 16800975 18446604455409109952 0 0 -1 1 0 0 0
[pid=31966/tid=31985] ppid=31964 vsize=10548208 CPUtime=0 cores=1,3,5,7
/proc/31966/task/31985/stat : 31985 (java) S 31964 31966 30535 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 834447220 10801364992 1389716 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256165376 0 4 0 16800975 18446604455409109952 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1628.95
Current children cumulated vsize (KiB) 10548208
[startup+1662.3 s]
/proc/loadavg: 2.07 2.06 2.06 3/572 32032
/proc/meminfo: memFree=19281468/32951124 swapFree=58212616/67111528
[pid=31966] ppid=31964 vsize=10548208 CPUtime=1689.72 cores=1,3,5,7
/proc/31966/stat : 31966 (java) S 31964 31966 30535 0 -1 4202496 1411994 0 1 0 168797 175 0 0 23 0 19 0 834445821 10801364992 1404960 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/31966/statm: 2637052 1404960 2253 9 0 2627786 0
[pid=31966/tid=31967] ppid=31964 vsize=10548208 CPUtime=1651.83 cores=1,3,5,7
/proc/31966/task/31967/stat : 31967 (java) R 31964 31966 30535 0 -1 4202560 651382 0 1 0 165110 73 0 0 25 0 19 0 834445821 10801364992 1404960 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 46912506000683 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31966/tid=31969] ppid=31964 vsize=10548208 CPUtime=4.55 cores=1,3,5,7
/proc/31966/task/31969/stat : 31969 (java) S 31964 31966 30535 0 -1 4202560 93736 0 0 0 444 11 0 0 15 0 19 0 834445823 10801364992 1404960 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 3 0 0 0
[pid=31966/tid=31970] ppid=31964 vsize=10548208 CPUtime=4.75 cores=1,3,5,7
/proc/31966/task/31970/stat : 31970 (java) S 31964 31966 30535 0 -1 4202560 74364 0 0 0 465 10 0 0 16 0 19 0 834445823 10801364992 1404960 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 1 0 0 0
[pid=31966/tid=31971] ppid=31964 vsize=10548208 CPUtime=4.16 cores=1,3,5,7
/proc/31966/task/31971/stat : 31971 (java) S 31964 31966 30535 0 -1 4202560 67128 0 0 0 407 9 0 0 16 0 19 0 834445823 10801364992 1404960 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 3 0 0 0
[pid=31966/tid=31972] ppid=31964 vsize=10548208 CPUtime=4.29 cores=1,3,5,7
/proc/31966/task/31972/stat : 31972 (java) S 31964 31966 30535 0 -1 4202560 102320 0 0 0 416 13 0 0 15 0 19 0 834445823 10801364992 1404960 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 5 0 0 0
[pid=31966/tid=31973] ppid=31964 vsize=10548208 CPUtime=4.29 cores=1,3,5,7
/proc/31966/task/31973/stat : 31973 (java) S 31964 31966 30535 0 -1 4202560 90943 0 0 0 416 13 0 0 15 0 19 0 834445823 10801364992 1404960 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 1 0 0 0
[pid=31966/tid=31974] ppid=31964 vsize=10548208 CPUtime=5.13 cores=1,3,5,7
/proc/31966/task/31974/stat : 31974 (java) S 31964 31966 30535 0 -1 4202560 111847 0 0 0 498 15 0 0 16 0 19 0 834445823 10801364992 1404960 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 5 0 0 0
[pid=31966/tid=31975] ppid=31964 vsize=10548208 CPUtime=4.99 cores=1,3,5,7
/proc/31966/task/31975/stat : 31975 (java) S 31964 31966 30535 0 -1 4202560 99170 0 0 0 487 12 0 0 15 0 19 0 834445823 10801364992 1404960 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 5 0 0 0
[pid=31966/tid=31976] ppid=31964 vsize=10548208 CPUtime=4.2 cores=1,3,5,7
/proc/31966/task/31976/stat : 31976 (java) S 31964 31966 30535 0 -1 4202560 112785 0 0 0 409 11 0 0 16 0 19 0 834445823 10801364992 1404960 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 7 0 0 0
[pid=31966/tid=31977] ppid=31964 vsize=10548208 CPUtime=0.04 cores=1,3,5,7
/proc/31966/task/31977/stat : 31977 (java) S 31964 31966 30535 0 -1 4202560 101 0 0 0 2 2 0 0 15 0 19 0 834445824 10801364992 1404960 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256165376 0 0 0 16800975 18446604455409109952 0 0 -1 5 0 0 0
[pid=31966/tid=31978] ppid=31964 vsize=10548208 CPUtime=0 cores=1,3,5,7
/proc/31966/task/31978/stat : 31978 (java) S 31964 31966 30535 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834445825 10801364992 1404960 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 1 0 0 0
[pid=31966/tid=31979] ppid=31964 vsize=10548208 CPUtime=0 cores=1,3,5,7
/proc/31966/task/31979/stat : 31979 (java) S 31964 31966 30535 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834445825 10801364992 1404960 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 1 0 0 0
[pid=31966/tid=31980] ppid=31964 vsize=10548208 CPUtime=0 cores=1,3,5,7
/proc/31966/task/31980/stat : 31980 (java) S 31964 31966 30535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834445827 10801364992 1404960 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256172465 0 4 0 16800975 18446604455409109952 0 0 -1 1 0 0 0
[pid=31966/tid=31981] ppid=31964 vsize=10548208 CPUtime=0.76 cores=1,3,5,7
/proc/31966/task/31981/stat : 31981 (java) S 31964 31966 30535 0 -1 4202560 3036 0 0 0 76 0 0 0 15 0 19 0 834445827 10801364992 1404960 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 3 0 0 0
[pid=31966/tid=31982] ppid=31964 vsize=10548208 CPUtime=0.61 cores=1,3,5,7
/proc/31966/task/31982/stat : 31982 (java) S 31964 31966 30535 0 -1 4202560 3936 0 0 0 61 0 0 0 16 0 19 0 834445827 10801364992 1404960 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 5 0 0 0
[pid=31966/tid=31983] ppid=31964 vsize=10548208 CPUtime=0 cores=1,3,5,7
/proc/31966/task/31983/stat : 31983 (java) S 31964 31966 30535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834445827 10801364992 1404960 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 1 0 0 0
[pid=31966/tid=31984] ppid=31964 vsize=10548208 CPUtime=0 cores=1,3,5,7
/proc/31966/task/31984/stat : 31984 (java) S 31964 31966 30535 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 834445827 10801364992 1404960 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256165376 0 4 0 16800975 18446604455409109952 0 0 -1 5 0 0 0
[pid=31966/tid=31985] ppid=31964 vsize=10548208 CPUtime=0 cores=1,3,5,7
/proc/31966/task/31985/stat : 31985 (java) S 31964 31966 30535 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 834447220 10801364992 1404960 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256165376 0 4 0 16800975 18446604455409109952 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1689.72
Current children cumulated vsize (KiB) 10548208
[startup+1722.3 s]
/proc/loadavg: 2.02 2.05 2.05 3/572 32034
/proc/meminfo: memFree=19216328/32951124 swapFree=58212616/67111528
[pid=31966] ppid=31964 vsize=10548208 CPUtime=1750.58 cores=1,3,5,7
/proc/31966/stat : 31966 (java) S 31964 31966 30535 0 -1 4202496 1428317 0 1 0 174881 177 0 0 23 0 19 0 834445821 10801364992 1421198 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/31966/statm: 2637052 1421198 2253 9 0 2627786 0
[pid=31966/tid=31967] ppid=31964 vsize=10548208 CPUtime=1711.51 cores=1,3,5,7
/proc/31966/task/31967/stat : 31967 (java) R 31964 31966 30535 0 -1 4202560 651392 0 1 0 171078 73 0 0 25 0 19 0 834445821 10801364992 1421198 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 46912505622068 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31966/tid=31969] ppid=31964 vsize=10548208 CPUtime=4.68 cores=1,3,5,7
/proc/31966/task/31969/stat : 31969 (java) S 31964 31966 30535 0 -1 4202560 95564 0 0 0 457 11 0 0 15 0 19 0 834445823 10801364992 1421198 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 1 0 0 0
[pid=31966/tid=31970] ppid=31964 vsize=10548208 CPUtime=4.92 cores=1,3,5,7
/proc/31966/task/31970/stat : 31970 (java) S 31964 31966 30535 0 -1 4202560 78523 0 0 0 482 10 0 0 15 0 19 0 834445823 10801364992 1421198 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 3 0 0 0
[pid=31966/tid=31971] ppid=31964 vsize=10548208 CPUtime=4.27 cores=1,3,5,7
/proc/31966/task/31971/stat : 31971 (java) S 31964 31966 30535 0 -1 4202560 67132 0 0 0 418 9 0 0 16 0 19 0 834445823 10801364992 1421198 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 1 0 0 0
[pid=31966/tid=31972] ppid=31964 vsize=10548208 CPUtime=4.44 cores=1,3,5,7
/proc/31966/task/31972/stat : 31972 (java) S 31964 31966 30535 0 -1 4202560 102462 0 0 0 431 13 0 0 16 0 19 0 834445823 10801364992 1421198 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 3 0 0 0
[pid=31966/tid=31973] ppid=31964 vsize=10548208 CPUtime=4.46 cores=1,3,5,7
/proc/31966/task/31973/stat : 31973 (java) S 31964 31966 30535 0 -1 4202560 92858 0 0 0 433 13 0 0 15 0 19 0 834445823 10801364992 1421198 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 1 0 0 0
[pid=31966/tid=31974] ppid=31964 vsize=10548208 CPUtime=5.26 cores=1,3,5,7
/proc/31966/task/31974/stat : 31974 (java) S 31964 31966 30535 0 -1 4202560 111906 0 0 0 511 15 0 0 16 0 19 0 834445823 10801364992 1421198 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 5 0 0 0
[pid=31966/tid=31975] ppid=31964 vsize=10548208 CPUtime=5.16 cores=1,3,5,7
/proc/31966/task/31975/stat : 31975 (java) S 31964 31966 30535 0 -1 4202560 103085 0 0 0 504 12 0 0 16 0 19 0 834445823 10801364992 1421198 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 7 0 0 0
[pid=31966/tid=31976] ppid=31964 vsize=10548208 CPUtime=4.35 cores=1,3,5,7
/proc/31966/task/31976/stat : 31976 (java) S 31964 31966 30535 0 -1 4202560 117068 0 0 0 423 12 0 0 15 0 19 0 834445823 10801364992 1421198 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 1 0 0 0
[pid=31966/tid=31977] ppid=31964 vsize=10548208 CPUtime=0.04 cores=1,3,5,7
/proc/31966/task/31977/stat : 31977 (java) S 31964 31966 30535 0 -1 4202560 105 0 0 0 2 2 0 0 15 0 19 0 834445824 10801364992 1421198 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256165376 0 0 0 16800975 18446604455409109952 0 0 -1 5 0 0 0
[pid=31966/tid=31978] ppid=31964 vsize=10548208 CPUtime=0 cores=1,3,5,7
/proc/31966/task/31978/stat : 31978 (java) S 31964 31966 30535 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834445825 10801364992 1421198 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 1 0 0 0
[pid=31966/tid=31979] ppid=31964 vsize=10548208 CPUtime=0 cores=1,3,5,7
/proc/31966/task/31979/stat : 31979 (java) S 31964 31966 30535 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834445825 10801364992 1421198 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 1 0 0 0
[pid=31966/tid=31980] ppid=31964 vsize=10548208 CPUtime=0 cores=1,3,5,7
/proc/31966/task/31980/stat : 31980 (java) S 31964 31966 30535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834445827 10801364992 1421198 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256172465 0 4 0 16800975 18446604455409109952 0 0 -1 1 0 0 0
[pid=31966/tid=31981] ppid=31964 vsize=10548208 CPUtime=0.76 cores=1,3,5,7
/proc/31966/task/31981/stat : 31981 (java) S 31964 31966 30535 0 -1 4202560 3036 0 0 0 76 0 0 0 15 0 19 0 834445827 10801364992 1421198 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 3 0 0 0
[pid=31966/tid=31982] ppid=31964 vsize=10548208 CPUtime=0.61 cores=1,3,5,7
/proc/31966/task/31982/stat : 31982 (java) S 31964 31966 30535 0 -1 4202560 3936 0 0 0 61 0 0 0 16 0 19 0 834445827 10801364992 1421198 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 5 0 0 0
[pid=31966/tid=31983] ppid=31964 vsize=10548208 CPUtime=0 cores=1,3,5,7
/proc/31966/task/31983/stat : 31983 (java) S 31964 31966 30535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834445827 10801364992 1421198 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 1 0 0 0
[pid=31966/tid=31984] ppid=31964 vsize=10548208 CPUtime=0 cores=1,3,5,7
/proc/31966/task/31984/stat : 31984 (java) S 31964 31966 30535 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 834445827 10801364992 1421198 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256165376 0 4 0 16800975 18446604455409109952 0 0 -1 5 0 0 0
[pid=31966/tid=31985] ppid=31964 vsize=10548208 CPUtime=0 cores=1,3,5,7
/proc/31966/task/31985/stat : 31985 (java) S 31964 31966 30535 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 834447220 10801364992 1421198 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256165376 0 4 0 16800975 18446604455409109952 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1750.58
Current children cumulated vsize (KiB) 10548208
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1771.02 s]
/proc/loadavg: 2.01 2.04 2.05 2/552 32038
/proc/meminfo: memFree=23015816/32951124 swapFree=58212616/67111528
[pid=31966] ppid=31964 vsize=10548208 CPUtime=1800.07 cores=1,3,5,7
/proc/31966/stat : 31966 (java) S 31964 31966 30535 0 -1 4202496 1444973 0 1 0 179828 179 0 0 23 0 19 0 834445821 10801364992 1437793 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/31966/statm: 2637052 1437793 2253 9 0 2627786 0
[pid=31966/tid=31967] ppid=31964 vsize=10548208 CPUtime=1759.93 cores=1,3,5,7
/proc/31966/task/31967/stat : 31967 (java) R 31964 31966 30535 0 -1 4202560 651400 0 1 0 175920 73 0 0 25 0 19 0 834445821 10801364992 1437793 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 46912505621997 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31966/tid=31969] ppid=31964 vsize=10548208 CPUtime=4.88 cores=1,3,5,7
/proc/31966/task/31969/stat : 31969 (java) S 31964 31966 30535 0 -1 4202560 96933 0 0 0 477 11 0 0 16 0 19 0 834445823 10801364992 1437793 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 3 0 0 0
[pid=31966/tid=31970] ppid=31964 vsize=10548208 CPUtime=5.1 cores=1,3,5,7
/proc/31966/task/31970/stat : 31970 (java) S 31964 31966 30535 0 -1 4202560 85576 0 0 0 499 11 0 0 15 0 19 0 834445823 10801364992 1437793 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 5 0 0 0
[pid=31966/tid=31971] ppid=31964 vsize=10548208 CPUtime=4.37 cores=1,3,5,7
/proc/31966/task/31971/stat : 31971 (java) S 31964 31966 30535 0 -1 4202560 67166 0 0 0 428 9 0 0 16 0 19 0 834445823 10801364992 1437793 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 7 0 0 0
[pid=31966/tid=31972] ppid=31964 vsize=10548208 CPUtime=4.56 cores=1,3,5,7
/proc/31966/task/31972/stat : 31972 (java) S 31964 31966 30535 0 -1 4202560 102470 0 0 0 443 13 0 0 15 0 19 0 834445823 10801364992 1437793 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 5 0 0 0
[pid=31966/tid=31973] ppid=31964 vsize=10548208 CPUtime=4.57 cores=1,3,5,7
/proc/31966/task/31973/stat : 31973 (java) S 31964 31966 30535 0 -1 4202560 93088 0 0 0 444 13 0 0 16 0 19 0 834445823 10801364992 1437793 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 1 0 0 0
[pid=31966/tid=31974] ppid=31964 vsize=10548208 CPUtime=5.33 cores=1,3,5,7
/proc/31966/task/31974/stat : 31974 (java) S 31964 31966 30535 0 -1 4202560 111929 0 0 0 518 15 0 0 16 0 19 0 834445823 10801364992 1437793 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 5 0 0 0
[pid=31966/tid=31975] ppid=31964 vsize=10548208 CPUtime=5.27 cores=1,3,5,7
/proc/31966/task/31975/stat : 31975 (java) S 31964 31966 30535 0 -1 4202560 107002 0 0 0 514 13 0 0 15 0 19 0 834445823 10801364992 1437793 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 7 0 0 0
[pid=31966/tid=31976] ppid=31964 vsize=10548208 CPUtime=4.51 cores=1,3,5,7
/proc/31966/task/31976/stat : 31976 (java) S 31964 31966 30535 0 -1 4202560 121078 0 0 0 439 12 0 0 15 0 19 0 834445823 10801364992 1437793 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 3 0 0 0
[pid=31966/tid=31977] ppid=31964 vsize=10548208 CPUtime=0.04 cores=1,3,5,7
/proc/31966/task/31977/stat : 31977 (java) S 31964 31966 30535 0 -1 4202560 107 0 0 0 2 2 0 0 15 0 19 0 834445824 10801364992 1437793 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256165376 0 0 0 16800975 18446604455409109952 0 0 -1 5 0 0 0
[pid=31966/tid=31978] ppid=31964 vsize=10548208 CPUtime=0 cores=1,3,5,7
/proc/31966/task/31978/stat : 31978 (java) S 31964 31966 30535 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834445825 10801364992 1437793 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 1 0 0 0
[pid=31966/tid=31979] ppid=31964 vsize=10548208 CPUtime=0 cores=1,3,5,7
/proc/31966/task/31979/stat : 31979 (java) S 31964 31966 30535 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834445825 10801364992 1437793 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 1 0 0 0
[pid=31966/tid=31980] ppid=31964 vsize=10548208 CPUtime=0 cores=1,3,5,7
/proc/31966/task/31980/stat : 31980 (java) S 31964 31966 30535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834445827 10801364992 1437793 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256172465 0 4 0 16800975 18446604455409109952 0 0 -1 1 0 0 0
[pid=31966/tid=31981] ppid=31964 vsize=10548208 CPUtime=0.76 cores=1,3,5,7
/proc/31966/task/31981/stat : 31981 (java) S 31964 31966 30535 0 -1 4202560 3036 0 0 0 76 0 0 0 15 0 19 0 834445827 10801364992 1437793 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 3 0 0 0
[pid=31966/tid=31982] ppid=31964 vsize=10548208 CPUtime=0.61 cores=1,3,5,7
/proc/31966/task/31982/stat : 31982 (java) S 31964 31966 30535 0 -1 4202560 3936 0 0 0 61 0 0 0 16 0 19 0 834445827 10801364992 1437793 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 5 0 0 0
[pid=31966/tid=31983] ppid=31964 vsize=10548208 CPUtime=0 cores=1,3,5,7
/proc/31966/task/31983/stat : 31983 (java) S 31964 31966 30535 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834445827 10801364992 1437793 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256164761 0 4 0 16800975 18446604455409109952 0 0 -1 1 0 0 0
[pid=31966/tid=31984] ppid=31964 vsize=10548208 CPUtime=0 cores=1,3,5,7
/proc/31966/task/31984/stat : 31984 (java) S 31964 31966 30535 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 834445827 10801364992 1437793 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256165376 0 4 0 16800975 18446604455409109952 0 0 -1 3 0 0 0
[pid=31966/tid=31985] ppid=31964 vsize=10548208 CPUtime=0 cores=1,3,5,7
/proc/31966/task/31985/stat : 31985 (java) S 31964 31966 30535 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 834447220 10801364992 1437793 33554432000 1073741824 1073778376 140734309274512 18446744073709551615 228256165376 0 4 0 16800975 18446604455409109952 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 10548208
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1771.2 s]
/proc/loadavg: 2.01 2.04 2.05 2/552 32038
/proc/meminfo: memFree=23015816/32951124 swapFree=58212616/67111528
[pid=31966] ppid=31964 vsize=0 CPUtime=1800.31 cores=1,3,5,7
/proc/31966/stat : 31966 (java) Z 31964 31966 30535 0 -1 4203548 1448757 0 1 0 179840 191 0 0 17 0 2 0 834445821 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/31966/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.31
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1771.3
CPU time (s): 1800.43
CPU user time (s): 1798.41
CPU system time (s): 2.01669
CPU usage (%): 101.644
Max. virtual memory (cumulated for all children) (KiB): 10548208
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.41
system time used= 2.01669
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1448757
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= 44080
involuntary context switches= 33403
runsolver used 9.78851 second user time and 22.4556 second system time
The end