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-3457394-1307658849/watcher-3457394-1307658849 -o /tmp/evaluation-result-3457394-1307658849/solver-3457394-1307658849 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457394-1307658849.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 2.62 2/175 6944
/proc/meminfo: memFree=32609976/32950940 swapFree=67074964/67111528
[pid=6944] ppid=6942 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/6944/stat : 6944 (java) R 6942 6944 4604 0 -1 4202496 550 0 0 0 0 0 0 0 24 0 1 0 956115805 23580672 296 33554432000 1073741824 1073778376 140735464601504 18446744073709551615 215983630080 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/6944/statm: 5757 307 236 9 0 124 0
[startup+0.0470909 s]
/proc/loadavg: 2.26 2.07 2.62 2/175 6944
/proc/meminfo: memFree=32609976/32950940 swapFree=67074964/67111528
[pid=6944] ppid=6942 vsize=10467480 CPUtime=0.03 cores=0,2,4,6
/proc/6944/stat : 6944 (java) S 6942 6944 4604 0 -1 4202496 11279 0 1 0 2 1 0 0 24 0 13 0 956115805 10718699520 10978 33554432000 1073741824 1073778376 140735464601504 18446744073709551615 216000395237 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/6944/statm: 2616870 10979 1673 9 0 2607618 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10467480
[startup+0.101105 s]
/proc/loadavg: 2.26 2.07 2.62 2/175 6944
/proc/meminfo: memFree=32609976/32950940 swapFree=67074964/67111528
[pid=6944] ppid=6942 vsize=10540048 CPUtime=0.1 cores=0,2,4,6
/proc/6944/stat : 6944 (java) S 6942 6944 4604 0 -1 4202496 13019 0 1 0 9 1 0 0 24 0 18 0 956115805 10793009152 12717 33554432000 1073741824 1073778376 140735464601504 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/6944/statm: 2635012 12719 2093 9 0 2625746 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540048
[startup+0.301083 s]
/proc/loadavg: 2.26 2.07 2.62 2/175 6944
/proc/meminfo: memFree=32609976/32950940 swapFree=67074964/67111528
[pid=6944] ppid=6942 vsize=10542752 CPUtime=0.47 cores=0,2,4,6
/proc/6944/stat : 6944 (java) S 6942 6944 4604 0 -1 4202496 20505 0 1 0 45 2 0 0 24 0 18 0 956115805 10795778048 19898 33554432000 1073741824 1073778376 140735464601504 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/6944/statm: 2635688 19901 2200 9 0 2626422 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10542752
[startup+0.700901 s]
/proc/loadavg: 2.26 2.07 2.62 2/175 6944
/proc/meminfo: memFree=32609976/32950940 swapFree=67074964/67111528
[pid=6944] ppid=6942 vsize=10557220 CPUtime=1.26 cores=0,2,4,6
/proc/6944/stat : 6944 (java) S 6942 6944 4604 0 -1 4202496 45929 0 1 0 120 6 0 0 24 0 18 0 956115805 10810593280 43055 33554432000 1073741824 1073778376 140735464601504 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/6944/statm: 2639305 43055 2207 9 0 2630039 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 10557220
[startup+1.50076 s]
/proc/loadavg: 2.26 2.07 2.62 3/192 6969
/proc/meminfo: memFree=32361112/32950940 swapFree=67074964/67111528
[pid=6944] ppid=6942 vsize=10557220 CPUtime=2.12 cores=0,2,4,6
/proc/6944/stat : 6944 (java) S 6942 6944 4604 0 -1 4202496 104398 0 1 0 198 14 0 0 24 0 18 0 956115805 10810593280 101240 33554432000 1073741824 1073778376 140735464601504 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/6944/statm: 2639305 101247 2207 9 0 2630039 0
[pid=6944/tid=6946] ppid=6942 vsize=10557220 CPUtime=1.48 cores=0,2,4,6
/proc/6944/task/6946/stat : 6946 (java) R 6942 6944 4604 0 -1 4202560 94138 0 1 0 135 13 0 0 19 0 18 0 956115806 10810593280 101247 33554432000 1073741824 1073778376 140735464601504 18446744073709551615 46912505640001 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=6944/tid=6947] ppid=6942 vsize=10557220 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6947/stat : 6947 (java) S 6942 6944 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 956115807 10810593280 101249 33554432000 1073741824 1073778376 140735464601504 18446744073709551615 216000408473 0 4 0 16800975 18446604453985693760 0 0 -1 2 0 0 0
[pid=6944/tid=6948] ppid=6942 vsize=10557220 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6948/stat : 6948 (java) S 6942 6944 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 956115807 10810593280 101251 33554432000 1073741824 1073778376 140735464601504 18446744073709551615 216000408473 0 4 0 16800975 18446604453985693760 0 0 -1 2 0 0 0
[pid=6944/tid=6949] ppid=6942 vsize=10557220 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6949/stat : 6949 (java) S 6942 6944 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 956115807 10810593280 101253 33554432000 1073741824 1073778376 140735464601504 18446744073709551615 216000408473 0 4 0 16800975 18446604453985693760 0 0 -1 2 0 0 0
[pid=6944/tid=6950] ppid=6942 vsize=10557220 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6950/stat : 6950 (java) S 6942 6944 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 956115807 10810593280 101255 33554432000 1073741824 1073778376 140735464601504 18446744073709551615 216000408473 0 4 0 16800975 18446604453985693760 0 0 -1 2 0 0 0
[pid=6944/tid=6951] ppid=6942 vsize=10557220 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6951/stat : 6951 (java) S 6942 6944 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 956115807 10810593280 101257 33554432000 1073741824 1073778376 140735464601504 18446744073709551615 216000408473 0 4 0 16800975 18446604453985693760 0 0 -1 2 0 0 0
[pid=6944/tid=6952] ppid=6942 vsize=10557220 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6952/stat : 6952 (java) S 6942 6944 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 956115807 10810593280 101258 33554432000 1073741824 1073778376 140735464601504 18446744073709551615 216000408473 0 4 0 16800975 18446604453985693760 0 0 -1 2 0 0 0
[pid=6944/tid=6953] ppid=6942 vsize=10557220 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6953/stat : 6953 (java) S 6942 6944 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 956115807 10810593280 101260 33554432000 1073741824 1073778376 140735464601504 18446744073709551615 216000408473 0 4 0 16800975 18446604453985693760 0 0 -1 2 0 0 0
[pid=6944/tid=6954] ppid=6942 vsize=10557220 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6954/stat : 6954 (java) S 6942 6944 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 956115807 10810593280 101262 33554432000 1073741824 1073778376 140735464601504 18446744073709551615 216000408473 0 4 0 16800975 18446604453985693760 0 0 -1 2 0 0 0
[pid=6944/tid=6955] ppid=6942 vsize=10557220 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6955/stat : 6955 (java) S 6942 6944 4604 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 956115809 10810593280 101264 33554432000 1073741824 1073778376 140735464601504 18446744073709551615 216000409088 0 0 0 16800975 18446604453985693760 0 0 -1 6 0 0 0
[pid=6944/tid=6956] ppid=6942 vsize=10557220 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6956/stat : 6956 (java) S 6942 6944 4604 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 956115809 10810593280 101265 33554432000 1073741824 1073778376 140735464601504 18446744073709551615 216000408473 0 4 0 16800975 18446604453985693760 0 0 -1 4 0 0 0
[pid=6944/tid=6957] ppid=6942 vsize=10557220 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6957/stat : 6957 (java) S 6942 6944 4604 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 956115809 10810593280 101267 33554432000 1073741824 1073778376 140735464601504 18446744073709551615 216000408473 0 4 0 16800975 18446604453985693760 0 0 -1 4 0 0 0
[pid=6944/tid=6958] ppid=6942 vsize=10557220 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6958/stat : 6958 (java) S 6942 6944 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 956115811 10810593280 101269 33554432000 1073741824 1073778376 140735464601504 18446744073709551615 216000416177 0 4 0 16800975 18446604453985693760 0 0 -1 4 0 0 0
[pid=6944/tid=6959] ppid=6942 vsize=10557220 CPUtime=0.22 cores=0,2,4,6
/proc/6944/task/6959/stat : 6959 (java) S 6942 6944 4604 0 -1 4202560 2739 0 0 0 22 0 0 0 16 0 18 0 956115811 10810593280 101271 33554432000 1073741824 1073778376 140735464601504 18446744073709551615 216000408473 0 4 0 16800975 18446604453985693760 0 0 -1 2 0 0 0
[pid=6944/tid=6960] ppid=6942 vsize=10557220 CPUtime=0.4 cores=0,2,4,6
/proc/6944/task/6960/stat : 6960 (java) S 6942 6944 4604 0 -1 4202560 6379 0 0 0 40 0 0 0 15 0 18 0 956115811 10810593280 101273 33554432000 1073741824 1073778376 140735464601504 18446744073709551615 216000408473 0 4 0 16800975 18446604453985693760 0 0 -1 0 0 0 0
[pid=6944/tid=6961] ppid=6942 vsize=10557220 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6961/stat : 6961 (java) S 6942 6944 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 956115811 10810593280 101275 33554432000 1073741824 1073778376 140735464601504 18446744073709551615 216000408473 0 4 0 16800975 18446604453985693760 0 0 -1 4 0 0 0
[pid=6944/tid=6962] ppid=6942 vsize=10557220 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6962/stat : 6962 (java) S 6942 6944 4604 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 956115811 10810593280 101276 33554432000 1073741824 1073778376 140735464601504 18446744073709551615 216000409088 0 4 0 16800975 18446604453985693760 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.12
Current children cumulated vsize (KiB) 10557220
[startup+3.10148 s]
/proc/loadavg: 2.24 2.07 2.62 3/212 7017
/proc/meminfo: memFree=31895972/32950940 swapFree=67074964/67111528
[pid=6944] ppid=6942 vsize=10557220 CPUtime=3.81 cores=0,2,4,6
/proc/6944/stat : 6944 (java) S 6942 6944 4604 0 -1 4202496 218701 0 1 0 353 28 0 0 24 0 18 0 956115805 10810593280 215543 33554432000 1073741824 1073778376 140735464601504 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/6944/statm: 2639305 215543 2219 9 0 2630039 0
[pid=6944/tid=6946] ppid=6942 vsize=10557220 CPUtime=3.08 cores=0,2,4,6
/proc/6944/task/6946/stat : 6946 (java) R 6942 6944 4604 0 -1 4202560 208420 0 1 0 282 26 0 0 22 0 18 0 956115806 10810593280 215543 33554432000 1073741824 1073778376 140735464601504 18446744073709551615 46912505806032 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=6944/tid=6947] ppid=6942 vsize=10557220 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6947/stat : 6947 (java) S 6942 6944 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 956115807 10810593280 215543 33554432000 1073741824 1073778376 140735464601504 18446744073709551615 216000408473 0 4 0 16800975 18446604453985693760 0 0 -1 2 0 0 0
[pid=6944/tid=6948] ppid=6942 vsize=10557220 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6948/stat : 6948 (java) S 6942 6944 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 956115807 10810593280 215543 33554432000 1073741824 1073778376 140735464601504 18446744073709551615 216000408473 0 4 0 16800975 18446604453985693760 0 0 -1 2 0 0 0
[pid=6944/tid=6949] ppid=6942 vsize=10557220 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6949/stat : 6949 (java) S 6942 6944 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 956115807 10810593280 215543 33554432000 1073741824 1073778376 140735464601504 18446744073709551615 216000408473 0 4 0 16800975 18446604453985693760 0 0 -1 2 0 0 0
[pid=6944/tid=6950] ppid=6942 vsize=10557220 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6950/stat : 6950 (java) S 6942 6944 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 956115807 10810593280 215543 33554432000 1073741824 1073778376 140735464601504 18446744073709551615 216000408473 0 4 0 16800975 18446604453985693760 0 0 -1 2 0 0 0
[pid=6944/tid=6951] ppid=6942 vsize=10557220 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6951/stat : 6951 (java) S 6942 6944 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 956115807 10810593280 215543 33554432000 1073741824 1073778376 140735464601504 18446744073709551615 216000408473 0 4 0 16800975 18446604453985693760 0 0 -1 2 0 0 0
[pid=6944/tid=6952] ppid=6942 vsize=10557220 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6952/stat : 6952 (java) S 6942 6944 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 956115807 10810593280 215543 33554432000 1073741824 1073778376 140735464601504 18446744073709551615 216000408473 0 4 0 16800975 18446604453985693760 0 0 -1 2 0 0 0
[pid=6944/tid=6953] ppid=6942 vsize=10557220 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6953/stat : 6953 (java) S 6942 6944 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 956115807 10810593280 215543 33554432000 1073741824 1073778376 140735464601504 18446744073709551615 216000408473 0 4 0 16800975 18446604453985693760 0 0 -1 2 0 0 0
[pid=6944/tid=6954] ppid=6942 vsize=10557220 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6954/stat : 6954 (java) S 6942 6944 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 956115807 10810593280 215543 33554432000 1073741824 1073778376 140735464601504 18446744073709551615 216000408473 0 4 0 16800975 18446604453985693760 0 0 -1 2 0 0 0
[pid=6944/tid=6955] ppid=6942 vsize=10557220 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6955/stat : 6955 (java) S 6942 6944 4604 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 956115809 10810593280 215543 33554432000 1073741824 1073778376 140735464601504 18446744073709551615 216000409088 0 0 0 16800975 18446604453985693760 0 0 -1 6 0 0 0
[pid=6944/tid=6956] ppid=6942 vsize=10557220 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6956/stat : 6956 (java) S 6942 6944 4604 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 956115809 10810593280 215543 33554432000 1073741824 1073778376 140735464601504 18446744073709551615 216000408473 0 4 0 16800975 18446604453985693760 0 0 -1 4 0 0 0
[pid=6944/tid=6957] ppid=6942 vsize=10557220 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6957/stat : 6957 (java) S 6942 6944 4604 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 956115809 10810593280 215543 33554432000 1073741824 1073778376 140735464601504 18446744073709551615 216000408473 0 4 0 16800975 18446604453985693760 0 0 -1 4 0 0 0
[pid=6944/tid=6958] ppid=6942 vsize=10557220 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6958/stat : 6958 (java) S 6942 6944 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 956115811 10810593280 215543 33554432000 1073741824 1073778376 140735464601504 18446744073709551615 216000416177 0 4 0 16800975 18446604453985693760 0 0 -1 4 0 0 0
[pid=6944/tid=6959] ppid=6942 vsize=10557220 CPUtime=0.25 cores=0,2,4,6
/proc/6944/task/6959/stat : 6959 (java) S 6942 6944 4604 0 -1 4202560 2742 0 0 0 25 0 0 0 16 0 18 0 956115811 10810593280 215543 33554432000 1073741824 1073778376 140735464601504 18446744073709551615 216000408473 0 4 0 16800975 18446604453985693760 0 0 -1 2 0 0 0
[pid=6944/tid=6960] ppid=6942 vsize=10557220 CPUtime=0.45 cores=0,2,4,6
/proc/6944/task/6960/stat : 6960 (java) S 6942 6944 4604 0 -1 4202560 6390 0 0 0 45 0 0 0 15 0 18 0 956115811 10810593280 215543 33554432000 1073741824 1073778376 140735464601504 18446744073709551615 216000408473 0 4 0 16800975 18446604453985693760 0 0 -1 0 0 0 0
[pid=6944/tid=6961] ppid=6942 vsize=10557220 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6961/stat : 6961 (java) S 6942 6944 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 956115811 10810593280 215543 33554432000 1073741824 1073778376 140735464601504 18446744073709551615 216000408473 0 4 0 16800975 18446604453985693760 0 0 -1 4 0 0 0
[pid=6944/tid=6962] ppid=6942 vsize=10557220 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6962/stat : 6962 (java) S 6942 6944 4604 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 956115811 10810593280 215543 33554432000 1073741824 1073778376 140735464601504 18446744073709551615 216000409088 0 4 0 16800975 18446604453985693760 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.81
Current children cumulated vsize (KiB) 10557220
Solver just ended. Dumping a history of the last processes samples
[startup+3.20146 s]
/proc/loadavg: 2.24 2.07 2.62 3/213 7018
/proc/meminfo: memFree=31398972/32950940 swapFree=67074964/67111528
[pid=6944] ppid=6942 vsize=10557220 CPUtime=3.98 cores=0,2,4,6
/proc/6944/stat : 6944 (java) S 6942 6944 4604 0 -1 4202496 220473 0 1 0 370 28 0 0 24 0 18 0 956115805 10810593280 217315 33554432000 1073741824 1073778376 140735464601504 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/6944/statm: 2639305 217315 2219 9 0 2630039 0
[pid=6944/tid=6946] ppid=6942 vsize=10557220 CPUtime=3.18 cores=0,2,4,6
/proc/6944/task/6946/stat : 6946 (java) R 6942 6944 4604 0 -1 4202560 210191 0 1 0 292 26 0 0 23 0 18 0 956115806 10810593280 217325 33554432000 1073741824 1073778376 140735464601504 18446744073709551615 46912505697695 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=6944/tid=6947] ppid=6942 vsize=10557220 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6947/stat : 6947 (java) S 6942 6944 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 956115807 10810593280 217327 33554432000 1073741824 1073778376 140735464601504 18446744073709551615 216000408473 0 4 0 16800975 18446604453985693760 0 0 -1 2 0 0 0
[pid=6944/tid=6948] ppid=6942 vsize=10557220 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6948/stat : 6948 (java) S 6942 6944 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 956115807 10810593280 217328 33554432000 1073741824 1073778376 140735464601504 18446744073709551615 216000408473 0 4 0 16800975 18446604453985693760 0 0 -1 2 0 0 0
[pid=6944/tid=6949] ppid=6942 vsize=10557220 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6949/stat : 6949 (java) S 6942 6944 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 956115807 10810593280 217329 33554432000 1073741824 1073778376 140735464601504 18446744073709551615 216000408473 0 4 0 16800975 18446604453985693760 0 0 -1 2 0 0 0
[pid=6944/tid=6950] ppid=6942 vsize=10557220 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6950/stat : 6950 (java) S 6942 6944 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 956115807 10810593280 217331 33554432000 1073741824 1073778376 140735464601504 18446744073709551615 216000408473 0 4 0 16800975 18446604453985693760 0 0 -1 2 0 0 0
[pid=6944/tid=6951] ppid=6942 vsize=10557220 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6951/stat : 6951 (java) S 6942 6944 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 956115807 10810593280 217332 33554432000 1073741824 1073778376 140735464601504 18446744073709551615 216000408473 0 4 0 16800975 18446604453985693760 0 0 -1 2 0 0 0
[pid=6944/tid=6952] ppid=6942 vsize=10557220 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6952/stat : 6952 (java) S 6942 6944 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 956115807 10810593280 217333 33554432000 1073741824 1073778376 140735464601504 18446744073709551615 216000408473 0 4 0 16800975 18446604453985693760 0 0 -1 2 0 0 0
[pid=6944/tid=6953] ppid=6942 vsize=10557220 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6953/stat : 6953 (java) S 6942 6944 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 956115807 10810593280 217334 33554432000 1073741824 1073778376 140735464601504 18446744073709551615 216000408473 0 4 0 16800975 18446604453985693760 0 0 -1 2 0 0 0
[pid=6944/tid=6954] ppid=6942 vsize=10557220 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6954/stat : 6954 (java) S 6942 6944 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 956115807 10810593280 217335 33554432000 1073741824 1073778376 140735464601504 18446744073709551615 216000408473 0 4 0 16800975 18446604453985693760 0 0 -1 2 0 0 0
[pid=6944/tid=6955] ppid=6942 vsize=10557220 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6955/stat : 6955 (java) S 6942 6944 4604 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 956115809 10810593280 217335 33554432000 1073741824 1073778376 140735464601504 18446744073709551615 216000409088 0 0 0 16800975 18446604453985693760 0 0 -1 6 0 0 0
[pid=6944/tid=6956] ppid=6942 vsize=10557220 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6956/stat : 6956 (java) S 6942 6944 4604 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 956115809 10810593280 217336 33554432000 1073741824 1073778376 140735464601504 18446744073709551615 216000408473 0 4 0 16800975 18446604453985693760 0 0 -1 4 0 0 0
[pid=6944/tid=6957] ppid=6942 vsize=10557220 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6957/stat : 6957 (java) S 6942 6944 4604 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 956115809 10810593280 217336 33554432000 1073741824 1073778376 140735464601504 18446744073709551615 216000408473 0 4 0 16800975 18446604453985693760 0 0 -1 4 0 0 0
[pid=6944/tid=6958] ppid=6942 vsize=10557220 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6958/stat : 6958 (java) S 6942 6944 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 956115811 10810593280 217336 33554432000 1073741824 1073778376 140735464601504 18446744073709551615 216000416177 0 4 0 16800975 18446604453985693760 0 0 -1 4 0 0 0
[pid=6944/tid=6959] ppid=6942 vsize=10557220 CPUtime=0.26 cores=0,2,4,6
/proc/6944/task/6959/stat : 6959 (java) S 6942 6944 4604 0 -1 4202560 2744 0 0 0 26 0 0 0 15 0 18 0 956115811 10810593280 217336 33554432000 1073741824 1073778376 140735464601504 18446744073709551615 216000408473 0 4 0 16800975 18446604453985693760 0 0 -1 2 0 0 0
[pid=6944/tid=6960] ppid=6942 vsize=10557220 CPUtime=0.51 cores=0,2,4,6
/proc/6944/task/6960/stat : 6960 (java) S 6942 6944 4604 0 -1 4202560 6398 0 0 0 51 0 0 0 16 0 18 0 956115811 10810593280 217336 33554432000 1073741824 1073778376 140735464601504 18446744073709551615 216000408473 0 4 0 16800975 18446604453985693760 0 0 -1 0 0 0 0
[pid=6944/tid=6961] ppid=6942 vsize=10557220 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6961/stat : 6961 (java) S 6942 6944 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 956115811 10810593280 217337 33554432000 1073741824 1073778376 140735464601504 18446744073709551615 216000408473 0 4 0 16800975 18446604453985693760 0 0 -1 4 0 0 0
[pid=6944/tid=6962] ppid=6942 vsize=10557220 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6962/stat : 6962 (java) S 6942 6944 4604 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 956115811 10810593280 217337 33554432000 1073741824 1073778376 140735464601504 18446744073709551615 216000409088 0 4 0 16800975 18446604453985693760 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.98
Current children cumulated vsize (KiB) 10557220
Child status: 20
Real time (s): 3.28637
CPU time (s): 4.08438
CPU user time (s): 3.76843
CPU system time (s): 0.315951
CPU usage (%): 124.282
Max. virtual memory (cumulated for all children) (KiB): 10557220
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.76843
system time used= 0.315951
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 221268
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= 316
involuntary context switches= 56
runsolver used 0.007998 second user time and 0.014997 second system time
The end