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-3457277-1307219488/watcher-3457277-1307219488 -o /tmp/evaluation-result-3457277-1307219488/solver-3457277-1307219488 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457277-1307219488.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.05 2.10 2.02 2/471 30902
/proc/meminfo: memFree=28995436/32951124 swapFree=55639044/67111528
[pid=30902] ppid=30900 vsize=10444316 CPUtime=0.01 cores=1,3,5,7
/proc/30902/stat : 30902 (java) S 30900 30902 30316 0 -1 4202496 7100 0 1 0 0 1 0 0 22 0 2 0 833546662 10694979584 6801 33554432000 1073741824 1073778376 140734055852272 18446744073709551615 271562340325 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/30902/statm: 2611079 6815 917 9 0 2602235 0
[pid=30902/tid=30903] ppid=30900 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/30902/task/30903/stat : 30903 (java) R 30900 30902 30316 0 -1 4202560 6045 0 1 0 0 0 0 0 24 0 2 0 833546663 10694979584 6861 33554432000 1073741824 1073778376 140734055852272 18446744073709551615 271550231611 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.0620969 s]
/proc/loadavg: 2.05 2.10 2.02 2/471 30902
/proc/meminfo: memFree=28995436/32951124 swapFree=55639044/67111528
[pid=30902] ppid=30900 vsize=10472924 CPUtime=0.05 cores=1,3,5,7
/proc/30902/stat : 30902 (java) S 30900 30902 30316 0 -1 4202496 11700 0 1 0 3 2 0 0 22 0 18 0 833546662 10724274176 11396 33554432000 1073741824 1073778376 140734055852272 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30902/statm: 2618231 11396 1733 9 0 2608972 0
[pid=30902/tid=30903] ppid=30900 vsize=10472924 CPUtime=0.04 cores=1,3,5,7
/proc/30902/task/30903/stat : 30903 (java) R 30900 30902 30316 0 -1 4202560 10526 0 1 0 3 1 0 0 25 0 18 0 833546663 10724274176 11397 33554432000 1073741824 1073778376 140734055852272 18446744073709551615 47601019071284 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10472924
[startup+0.101091 s]
/proc/loadavg: 2.05 2.10 2.02 2/471 30902
/proc/meminfo: memFree=28995436/32951124 swapFree=55639044/67111528
[pid=30902] ppid=30900 vsize=10539924 CPUtime=0.11 cores=1,3,5,7
/proc/30902/stat : 30902 (java) S 30900 30902 30316 0 -1 4202496 13115 0 1 0 9 2 0 0 22 0 18 0 833546662 10792882176 12776 33554432000 1073741824 1073778376 140734055852272 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30902/statm: 2634981 12778 2093 9 0 2625715 0
[pid=30902/tid=30903] ppid=30900 vsize=10539924 CPUtime=0.08 cores=1,3,5,7
/proc/30902/task/30903/stat : 30903 (java) R 30900 30902 30316 0 -1 4202560 11170 0 1 0 7 1 0 0 18 0 18 0 833546663 10792882176 12778 33554432000 1073741824 1073778376 140734055852272 18446744073709551615 47601019071315 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10539924
[startup+0.302667 s]
/proc/loadavg: 2.05 2.10 2.02 2/471 30902
/proc/meminfo: memFree=28995436/32951124 swapFree=55639044/67111528
[pid=30902] ppid=30900 vsize=10542464 CPUtime=0.58 cores=1,3,5,7
/proc/30902/stat : 30902 (java) S 30900 30902 30316 0 -1 4202496 18904 0 1 0 55 3 0 0 22 0 18 0 833546662 10795483136 17617 33554432000 1073741824 1073778376 140734055852272 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30902/statm: 2635616 17620 2202 9 0 2626350 0
[pid=30902/tid=30903] ppid=30900 vsize=10542464 CPUtime=0.29 cores=1,3,5,7
/proc/30902/task/30903/stat : 30903 (java) R 30900 30902 30316 0 -1 4202560 14487 0 1 0 27 2 0 0 18 0 18 0 833546663 10795483136 17621 33554432000 1073741824 1073778376 140734055852272 18446744073709551615 46912505557734 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 10542464
[startup+0.768004 s]
/proc/loadavg: 2.05 2.10 2.02 2/471 30902
/proc/meminfo: memFree=28995436/32951124 swapFree=55639044/67111528
[pid=30902] ppid=30900 vsize=10545956 CPUtime=1.64 cores=1,3,5,7
/proc/30902/stat : 30902 (java) S 30900 30902 30316 0 -1 4202496 37989 0 1 0 158 6 0 0 22 0 19 0 833546662 10799058944 36134 33554432000 1073741824 1073778376 140734055852272 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30902/statm: 2636489 36134 2234 9 0 2627223 0
[pid=30902/tid=30903] ppid=30900 vsize=10545956 CPUtime=0.75 cores=1,3,5,7
/proc/30902/task/30903/stat : 30903 (java) R 30900 30902 30316 0 -1 4202560 31954 0 1 0 71 4 0 0 19 0 19 0 833546663 10799058944 36134 33554432000 1073741824 1073778376 140734055852272 18446744073709551615 46912505962543 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 10545956
[startup+1.50085 s]
/proc/loadavg: 2.05 2.10 2.02 4/490 30921
/proc/meminfo: memFree=28849840/32951124 swapFree=55639044/67111528
[pid=30902] ppid=30900 vsize=10545956 CPUtime=2.59 cores=1,3,5,7
/proc/30902/stat : 30902 (java) S 30900 30902 30316 0 -1 4202496 45126 0 1 0 252 7 0 0 22 0 19 0 833546662 10799058944 43270 33554432000 1073741824 1073778376 140734055852272 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30902/statm: 2636489 43271 2236 9 0 2627223 0
[pid=30902/tid=30903] ppid=30900 vsize=10545956 CPUtime=1.49 cores=1,3,5,7
/proc/30902/task/30903/stat : 30903 (java) R 30900 30902 30316 0 -1 4202560 39025 0 1 0 143 6 0 0 20 0 19 0 833546663 10799058944 43271 33554432000 1073741824 1073778376 140734055852272 18446744073709551615 46912505962554 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=30902/tid=30905] ppid=30900 vsize=10545956 CPUtime=0 cores=1,3,5,7
/proc/30902/task/30905/stat : 30905 (java) S 30900 30902 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833546665 10799058944 43271 33554432000 1073741824 1073778376 140734055852272 18446744073709551615 271562353561 0 4 0 16800975 18446604457244908480 0 0 -1 7 0 0 0
[pid=30902/tid=30906] ppid=30900 vsize=10545956 CPUtime=0 cores=1,3,5,7
/proc/30902/task/30906/stat : 30906 (java) S 30900 30902 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833546665 10799058944 43271 33554432000 1073741824 1073778376 140734055852272 18446744073709551615 271562353561 0 4 0 16800975 18446604457244908480 0 0 -1 7 0 0 0
[pid=30902/tid=30907] ppid=30900 vsize=10545956 CPUtime=0 cores=1,3,5,7
/proc/30902/task/30907/stat : 30907 (java) S 30900 30902 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833546665 10799058944 43271 33554432000 1073741824 1073778376 140734055852272 18446744073709551615 271562353561 0 4 0 16800975 18446604457244908480 0 0 -1 7 0 0 0
[pid=30902/tid=30908] ppid=30900 vsize=10545956 CPUtime=0 cores=1,3,5,7
/proc/30902/task/30908/stat : 30908 (java) S 30900 30902 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833546665 10799058944 43271 33554432000 1073741824 1073778376 140734055852272 18446744073709551615 271562353561 0 4 0 16800975 18446604457244908480 0 0 -1 7 0 0 0
[pid=30902/tid=30909] ppid=30900 vsize=10545956 CPUtime=0 cores=1,3,5,7
/proc/30902/task/30909/stat : 30909 (java) S 30900 30902 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833546665 10799058944 43271 33554432000 1073741824 1073778376 140734055852272 18446744073709551615 271562353561 0 4 0 16800975 18446604457244908480 0 0 -1 7 0 0 0
[pid=30902/tid=30910] ppid=30900 vsize=10545956 CPUtime=0 cores=1,3,5,7
/proc/30902/task/30910/stat : 30910 (java) S 30900 30902 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833546665 10799058944 43271 33554432000 1073741824 1073778376 140734055852272 18446744073709551615 271562353561 0 4 0 16800975 18446604457244908480 0 0 -1 7 0 0 0
[pid=30902/tid=30911] ppid=30900 vsize=10545956 CPUtime=0 cores=1,3,5,7
/proc/30902/task/30911/stat : 30911 (java) S 30900 30902 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833546665 10799058944 43271 33554432000 1073741824 1073778376 140734055852272 18446744073709551615 271562353561 0 4 0 16800975 18446604457244908480 0 0 -1 7 0 0 0
[pid=30902/tid=30912] ppid=30900 vsize=10545956 CPUtime=0 cores=1,3,5,7
/proc/30902/task/30912/stat : 30912 (java) S 30900 30902 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833546665 10799058944 43272 33554432000 1073741824 1073778376 140734055852272 18446744073709551615 271562353561 0 4 0 16800975 18446604457244908480 0 0 -1 7 0 0 0
[pid=30902/tid=30913] ppid=30900 vsize=10545956 CPUtime=0 cores=1,3,5,7
/proc/30902/task/30913/stat : 30913 (java) S 30900 30902 30316 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833546666 10799058944 43272 33554432000 1073741824 1073778376 140734055852272 18446744073709551615 271562354176 0 0 0 16800975 18446604457244908480 0 0 -1 5 0 0 0
[pid=30902/tid=30914] ppid=30900 vsize=10545956 CPUtime=0 cores=1,3,5,7
/proc/30902/task/30914/stat : 30914 (java) S 30900 30902 30316 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833546666 10799058944 43272 33554432000 1073741824 1073778376 140734055852272 18446744073709551615 271562353561 0 4 0 16800975 18446604457244908480 0 0 -1 5 0 0 0
[pid=30902/tid=30915] ppid=30900 vsize=10545956 CPUtime=0 cores=1,3,5,7
/proc/30902/task/30915/stat : 30915 (java) S 30900 30902 30316 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833546666 10799058944 43272 33554432000 1073741824 1073778376 140734055852272 18446744073709551615 271562353561 0 4 0 16800975 18446604457244908480 0 0 -1 5 0 0 0
[pid=30902/tid=30916] ppid=30900 vsize=10545956 CPUtime=0 cores=1,3,5,7
/proc/30902/task/30916/stat : 30916 (java) S 30900 30902 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833546668 10799058944 43272 33554432000 1073741824 1073778376 140734055852272 18446744073709551615 271562361265 0 4 0 16800975 18446604457244908480 0 0 -1 5 0 0 0
[pid=30902/tid=30917] ppid=30900 vsize=10545956 CPUtime=0.56 cores=1,3,5,7
/proc/30902/task/30917/stat : 30917 (java) S 30900 30902 30316 0 -1 4202560 2140 0 0 0 56 0 0 0 15 0 19 0 833546668 10799058944 43272 33554432000 1073741824 1073778376 140734055852272 18446744073709551615 271562353561 0 4 0 16800975 18446604457244908480 0 0 -1 1 0 0 0
[pid=30902/tid=30918] ppid=30900 vsize=10545956 CPUtime=0.51 cores=1,3,5,7
/proc/30902/task/30918/stat : 30918 (java) S 30900 30902 30316 0 -1 4202560 2801 0 0 0 51 0 0 0 15 0 19 0 833546668 10799058944 43272 33554432000 1073741824 1073778376 140734055852272 18446744073709551615 271562353561 0 4 0 16800975 18446604457244908480 0 0 -1 7 0 0 0
[pid=30902/tid=30919] ppid=30900 vsize=10545956 CPUtime=0 cores=1,3,5,7
/proc/30902/task/30919/stat : 30919 (java) S 30900 30902 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833546668 10799058944 43273 33554432000 1073741824 1073778376 140734055852272 18446744073709551615 271562353561 0 4 0 16800975 18446604457244908480 0 0 -1 5 0 0 0
[pid=30902/tid=30920] ppid=30900 vsize=10545956 CPUtime=0 cores=1,3,5,7
/proc/30902/task/30920/stat : 30920 (java) S 30900 30902 30316 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833546668 10799058944 43273 33554432000 1073741824 1073778376 140734055852272 18446744073709551615 271562354176 0 4 0 16800975 18446604457244908480 0 0 -1 1 0 0 0
[pid=30902/tid=30921] ppid=30900 vsize=10545956 CPUtime=0 cores=1,3,5,7
/proc/30902/task/30921/stat : 30921 (java) S 30900 30902 30316 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833546714 10799058944 43273 33554432000 1073741824 1073778376 140734055852272 18446744073709551615 271562354176 0 4 0 16800975 18446604457244908480 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.59
Current children cumulated vsize (KiB) 10545956
[startup+3.10151 s]
/proc/loadavg: 2.20 2.13 2.03 3/490 30921
/proc/meminfo: memFree=28779404/32951124 swapFree=55639044/67111528
[pid=30902] ppid=30900 vsize=10545956 CPUtime=4.52 cores=1,3,5,7
/proc/30902/stat : 30902 (java) S 30900 30902 30316 0 -1 4202496 87497 0 1 0 440 12 0 0 22 0 19 0 833546662 10799058944 82767 33554432000 1073741824 1073778376 140734055852272 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30902/statm: 2636489 82767 2237 9 0 2627223 0
[pid=30902/tid=30903] ppid=30900 vsize=10545956 CPUtime=3.08 cores=1,3,5,7
/proc/30902/task/30903/stat : 30903 (java) R 30900 30902 30316 0 -1 4202560 75121 0 1 0 298 10 0 0 25 0 19 0 833546663 10799058944 82767 33554432000 1073741824 1073778376 140734055852272 18446744073709551615 46912505857543 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=30902/tid=30905] ppid=30900 vsize=10545956 CPUtime=0 cores=1,3,5,7
/proc/30902/task/30905/stat : 30905 (java) S 30900 30902 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833546665 10799058944 82767 33554432000 1073741824 1073778376 140734055852272 18446744073709551615 271562353561 0 4 0 16800975 18446604457244908480 0 0 -1 7 0 0 0
[pid=30902/tid=30906] ppid=30900 vsize=10545956 CPUtime=0 cores=1,3,5,7
/proc/30902/task/30906/stat : 30906 (java) S 30900 30902 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833546665 10799058944 82767 33554432000 1073741824 1073778376 140734055852272 18446744073709551615 271562353561 0 4 0 16800975 18446604457244908480 0 0 -1 7 0 0 0
[pid=30902/tid=30907] ppid=30900 vsize=10545956 CPUtime=0 cores=1,3,5,7
/proc/30902/task/30907/stat : 30907 (java) S 30900 30902 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833546665 10799058944 82767 33554432000 1073741824 1073778376 140734055852272 18446744073709551615 271562353561 0 4 0 16800975 18446604457244908480 0 0 -1 7 0 0 0
[pid=30902/tid=30908] ppid=30900 vsize=10545956 CPUtime=0 cores=1,3,5,7
/proc/30902/task/30908/stat : 30908 (java) S 30900 30902 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833546665 10799058944 82767 33554432000 1073741824 1073778376 140734055852272 18446744073709551615 271562353561 0 4 0 16800975 18446604457244908480 0 0 -1 7 0 0 0
[pid=30902/tid=30909] ppid=30900 vsize=10545956 CPUtime=0 cores=1,3,5,7
/proc/30902/task/30909/stat : 30909 (java) S 30900 30902 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833546665 10799058944 82767 33554432000 1073741824 1073778376 140734055852272 18446744073709551615 271562353561 0 4 0 16800975 18446604457244908480 0 0 -1 7 0 0 0
[pid=30902/tid=30910] ppid=30900 vsize=10545956 CPUtime=0 cores=1,3,5,7
/proc/30902/task/30910/stat : 30910 (java) S 30900 30902 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833546665 10799058944 82767 33554432000 1073741824 1073778376 140734055852272 18446744073709551615 271562353561 0 4 0 16800975 18446604457244908480 0 0 -1 7 0 0 0
[pid=30902/tid=30911] ppid=30900 vsize=10545956 CPUtime=0 cores=1,3,5,7
/proc/30902/task/30911/stat : 30911 (java) S 30900 30902 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833546665 10799058944 82767 33554432000 1073741824 1073778376 140734055852272 18446744073709551615 271562353561 0 4 0 16800975 18446604457244908480 0 0 -1 7 0 0 0
[pid=30902/tid=30912] ppid=30900 vsize=10545956 CPUtime=0 cores=1,3,5,7
/proc/30902/task/30912/stat : 30912 (java) S 30900 30902 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833546665 10799058944 82767 33554432000 1073741824 1073778376 140734055852272 18446744073709551615 271562353561 0 4 0 16800975 18446604457244908480 0 0 -1 7 0 0 0
[pid=30902/tid=30913] ppid=30900 vsize=10545956 CPUtime=0 cores=1,3,5,7
/proc/30902/task/30913/stat : 30913 (java) S 30900 30902 30316 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833546666 10799058944 82767 33554432000 1073741824 1073778376 140734055852272 18446744073709551615 271562354176 0 0 0 16800975 18446604457244908480 0 0 -1 1 0 0 0
[pid=30902/tid=30914] ppid=30900 vsize=10545956 CPUtime=0 cores=1,3,5,7
/proc/30902/task/30914/stat : 30914 (java) S 30900 30902 30316 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833546666 10799058944 82767 33554432000 1073741824 1073778376 140734055852272 18446744073709551615 271562353561 0 4 0 16800975 18446604457244908480 0 0 -1 5 0 0 0
[pid=30902/tid=30915] ppid=30900 vsize=10545956 CPUtime=0 cores=1,3,5,7
/proc/30902/task/30915/stat : 30915 (java) S 30900 30902 30316 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833546666 10799058944 82767 33554432000 1073741824 1073778376 140734055852272 18446744073709551615 271562353561 0 4 0 16800975 18446604457244908480 0 0 -1 5 0 0 0
[pid=30902/tid=30916] ppid=30900 vsize=10545956 CPUtime=0 cores=1,3,5,7
/proc/30902/task/30916/stat : 30916 (java) S 30900 30902 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833546668 10799058944 82767 33554432000 1073741824 1073778376 140734055852272 18446744073709551615 271562361265 0 4 0 16800975 18446604457244908480 0 0 -1 5 0 0 0
[pid=30902/tid=30917] ppid=30900 vsize=10545956 CPUtime=0.61 cores=1,3,5,7
/proc/30902/task/30917/stat : 30917 (java) S 30900 30902 30316 0 -1 4202560 2149 0 0 0 61 0 0 0 15 0 19 0 833546668 10799058944 82767 33554432000 1073741824 1073778376 140734055852272 18446744073709551615 271562353561 0 4 0 16800975 18446604457244908480 0 0 -1 1 0 0 0
[pid=30902/tid=30918] ppid=30900 vsize=10545956 CPUtime=0.8 cores=1,3,5,7
/proc/30902/task/30918/stat : 30918 (java) S 30900 30902 30316 0 -1 4202560 9066 0 0 0 80 0 0 0 15 0 19 0 833546668 10799058944 82767 33554432000 1073741824 1073778376 140734055852272 18446744073709551615 271562353561 0 4 0 16800975 18446604457244908480 0 0 -1 5 0 0 0
[pid=30902/tid=30919] ppid=30900 vsize=10545956 CPUtime=0 cores=1,3,5,7
/proc/30902/task/30919/stat : 30919 (java) S 30900 30902 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833546668 10799058944 82767 33554432000 1073741824 1073778376 140734055852272 18446744073709551615 271562353561 0 4 0 16800975 18446604457244908480 0 0 -1 5 0 0 0
[pid=30902/tid=30920] ppid=30900 vsize=10545956 CPUtime=0 cores=1,3,5,7
/proc/30902/task/30920/stat : 30920 (java) S 30900 30902 30316 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833546668 10799058944 82767 33554432000 1073741824 1073778376 140734055852272 18446744073709551615 271562354176 0 4 0 16800975 18446604457244908480 0 0 -1 1 0 0 0
[pid=30902/tid=30921] ppid=30900 vsize=10545956 CPUtime=0 cores=1,3,5,7
/proc/30902/task/30921/stat : 30921 (java) S 30900 30902 30316 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833546714 10799058944 82767 33554432000 1073741824 1073778376 140734055852272 18446744073709551615 271562354176 0 4 0 16800975 18446604457244908480 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.52
Current children cumulated vsize (KiB) 10545956
[startup+6.30093 s]
/proc/loadavg: 2.20 2.13 2.03 3/490 30921
/proc/meminfo: memFree=28189088/32951124 swapFree=55639044/67111528
[pid=30902] ppid=30900 vsize=10545956 CPUtime=7.84 cores=1,3,5,7
/proc/30902/stat : 30902 (java) S 30900 30902 30316 0 -1 4202496 253667 0 1 0 751 33 0 0 22 0 19 0 833546662 10799058944 248899 33554432000 1073741824 1073778376 140734055852272 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30902/statm: 2636489 248899 2238 9 0 2627223 0
[pid=30902/tid=30903] ppid=30900 vsize=10545956 CPUtime=6.25 cores=1,3,5,7
/proc/30902/task/30903/stat : 30903 (java) R 30900 30902 30316 0 -1 4202560 241270 0 1 0 594 31 0 0 21 0 19 0 833546663 10799058944 248899 33554432000 1073741824 1073778376 140734055852272 18446744073709551615 46912506007912 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=30902/tid=30905] ppid=30900 vsize=10545956 CPUtime=0 cores=1,3,5,7
/proc/30902/task/30905/stat : 30905 (java) S 30900 30902 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833546665 10799058944 248899 33554432000 1073741824 1073778376 140734055852272 18446744073709551615 271562353561 0 4 0 16800975 18446604457244908480 0 0 -1 7 0 0 0
[pid=30902/tid=30906] ppid=30900 vsize=10545956 CPUtime=0 cores=1,3,5,7
/proc/30902/task/30906/stat : 30906 (java) S 30900 30902 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833546665 10799058944 248899 33554432000 1073741824 1073778376 140734055852272 18446744073709551615 271562353561 0 4 0 16800975 18446604457244908480 0 0 -1 7 0 0 0
[pid=30902/tid=30907] ppid=30900 vsize=10545956 CPUtime=0 cores=1,3,5,7
/proc/30902/task/30907/stat : 30907 (java) S 30900 30902 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833546665 10799058944 248899 33554432000 1073741824 1073778376 140734055852272 18446744073709551615 271562353561 0 4 0 16800975 18446604457244908480 0 0 -1 7 0 0 0
[pid=30902/tid=30908] ppid=30900 vsize=10545956 CPUtime=0 cores=1,3,5,7
/proc/30902/task/30908/stat : 30908 (java) S 30900 30902 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833546665 10799058944 248899 33554432000 1073741824 1073778376 140734055852272 18446744073709551615 271562353561 0 4 0 16800975 18446604457244908480 0 0 -1 7 0 0 0
[pid=30902/tid=30909] ppid=30900 vsize=10545956 CPUtime=0 cores=1,3,5,7
/proc/30902/task/30909/stat : 30909 (java) S 30900 30902 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833546665 10799058944 248899 33554432000 1073741824 1073778376 140734055852272 18446744073709551615 271562353561 0 4 0 16800975 18446604457244908480 0 0 -1 7 0 0 0
[pid=30902/tid=30910] ppid=30900 vsize=10545956 CPUtime=0 cores=1,3,5,7
/proc/30902/task/30910/stat : 30910 (java) S 30900 30902 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833546665 10799058944 248899 33554432000 1073741824 1073778376 140734055852272 18446744073709551615 271562353561 0 4 0 16800975 18446604457244908480 0 0 -1 7 0 0 0
[pid=30902/tid=30911] ppid=30900 vsize=10545956 CPUtime=0 cores=1,3,5,7
/proc/30902/task/30911/stat : 30911 (java) S 30900 30902 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833546665 10799058944 248899 33554432000 1073741824 1073778376 140734055852272 18446744073709551615 271562353561 0 4 0 16800975 18446604457244908480 0 0 -1 7 0 0 0
[pid=30902/tid=30912] ppid=30900 vsize=10545956 CPUtime=0 cores=1,3,5,7
/proc/30902/task/30912/stat : 30912 (java) S 30900 30902 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833546665 10799058944 248899 33554432000 1073741824 1073778376 140734055852272 18446744073709551615 271562353561 0 4 0 16800975 18446604457244908480 0 0 -1 7 0 0 0
[pid=30902/tid=30913] ppid=30900 vsize=10545956 CPUtime=0 cores=1,3,5,7
/proc/30902/task/30913/stat : 30913 (java) S 30900 30902 30316 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 833546666 10799058944 248899 33554432000 1073741824 1073778376 140734055852272 18446744073709551615 271562354176 0 0 0 16800975 18446604457244908480 0 0 -1 1 0 0 0
[pid=30902/tid=30914] ppid=30900 vsize=10545956 CPUtime=0 cores=1,3,5,7
/proc/30902/task/30914/stat : 30914 (java) S 30900 30902 30316 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833546666 10799058944 248899 33554432000 1073741824 1073778376 140734055852272 18446744073709551615 271562353561 0 4 0 16800975 18446604457244908480 0 0 -1 5 0 0 0
[pid=30902/tid=30915] ppid=30900 vsize=10545956 CPUtime=0 cores=1,3,5,7
/proc/30902/task/30915/stat : 30915 (java) S 30900 30902 30316 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833546666 10799058944 248899 33554432000 1073741824 1073778376 140734055852272 18446744073709551615 271562353561 0 4 0 16800975 18446604457244908480 0 0 -1 5 0 0 0
[pid=30902/tid=30916] ppid=30900 vsize=10545956 CPUtime=0 cores=1,3,5,7
/proc/30902/task/30916/stat : 30916 (java) S 30900 30902 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833546668 10799058944 248899 33554432000 1073741824 1073778376 140734055852272 18446744073709551615 271562361265 0 4 0 16800975 18446604457244908480 0 0 -1 5 0 0 0
[pid=30902/tid=30917] ppid=30900 vsize=10545956 CPUtime=0.67 cores=1,3,5,7
/proc/30902/task/30917/stat : 30917 (java) S 30900 30902 30316 0 -1 4202560 2155 0 0 0 67 0 0 0 15 0 19 0 833546668 10799058944 248899 33554432000 1073741824 1073778376 140734055852272 18446744073709551615 271562353561 0 4 0 16800975 18446604457244908480 0 0 -1 1 0 0 0
[pid=30902/tid=30918] ppid=30900 vsize=10545956 CPUtime=0.88 cores=1,3,5,7
/proc/30902/task/30918/stat : 30918 (java) S 30900 30902 30316 0 -1 4202560 9080 0 0 0 88 0 0 0 15 0 19 0 833546668 10799058944 248899 33554432000 1073741824 1073778376 140734055852272 18446744073709551615 271562353561 0 4 0 16800975 18446604457244908480 0 0 -1 5 0 0 0
[pid=30902/tid=30919] ppid=30900 vsize=10545956 CPUtime=0 cores=1,3,5,7
/proc/30902/task/30919/stat : 30919 (java) S 30900 30902 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833546668 10799058944 248899 33554432000 1073741824 1073778376 140734055852272 18446744073709551615 271562353561 0 4 0 16800975 18446604457244908480 0 0 -1 5 0 0 0
[pid=30902/tid=30920] ppid=30900 vsize=10545956 CPUtime=0 cores=1,3,5,7
/proc/30902/task/30920/stat : 30920 (java) S 30900 30902 30316 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 833546668 10799058944 248899 33554432000 1073741824 1073778376 140734055852272 18446744073709551615 271562354176 0 4 0 16800975 18446604457244908480 0 0 -1 1 0 0 0
[pid=30902/tid=30921] ppid=30900 vsize=10545956 CPUtime=0 cores=1,3,5,7
/proc/30902/task/30921/stat : 30921 (java) S 30900 30902 30316 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833546714 10799058944 248899 33554432000 1073741824 1073778376 140734055852272 18446744073709551615 271562354176 0 4 0 16800975 18446604457244908480 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 7.84
Current children cumulated vsize (KiB) 10545956
Solver just ended. Dumping a history of the last processes samples
[startup+6.7009 s]
/proc/loadavg: 2.20 2.13 2.03 3/490 30921
/proc/meminfo: memFree=27932656/32951124 swapFree=55639044/67111528
[pid=30902] ppid=30900 vsize=0 CPUtime=8.25 cores=1,3,5,7
/proc/30902/stat : 30902 (java) Z 30900 30902 30316 0 -1 4203548 274271 0 1 0 787 38 0 0 18 0 2 0 833546662 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30902/statm: 0 0 0 0 0 0 0
[pid=30902/tid=30903] ppid=30900 vsize=0 CPUtime=6.64 cores=1,3,5,7
/proc/30902/task/30903/stat : 30903 (java) R 30900 30902 30316 0 -1 4203588 261830 0 1 0 628 36 0 0 24 0 2 0 833546663 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 8.25
Current children cumulated vsize (KiB) 0
Child status: 30
Real time (s): 6.71798
CPU time (s): 8.27774
CPU user time (s): 7.8778
CPU system time (s): 0.399939
CPU usage (%): 123.218
Max. virtual memory (cumulated for all children) (KiB): 10545956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.8778
system time used= 0.399939
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274271
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= 439
involuntary context switches= 130
runsolver used 0.042993 second user time and 0.076988 second system time
The end