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-3457439-1307660691/watcher-3457439-1307660691 -o /tmp/evaluation-result-3457439-1307660691/solver-3457439-1307660691 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457439-1307660691.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.04 2.04 2.72 2/199 31684
/proc/meminfo: memFree=29440876/32951124 swapFree=67054536/67111528
[pid=31684] ppid=31682 vsize=30536 CPUtime=0 cores=1,3,5,7
/proc/31684/stat : 31684 (java) S 31682 31684 29691 0 -1 4202496 1244 0 0 0 0 0 0 0 25 0 2 0 877667006 31268864 963 33554432000 1073741824 1073778376 140733870183632 18446744073709551615 271562340325 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/31684/statm: 7901 966 738 9 0 386 0
[pid=31684/tid=31685] ppid=31682 vsize=31604 CPUtime=0 cores=1,3,5,7
/proc/31684/task/31685/stat : 31685 (java) R 31682 31684 29691 0 -1 4202560 136 0 0 0 0 0 0 0 25 0 2 0 877667007 32362496 969 33554432000 1073741824 1073778376 140733870183632 18446744073709551615 46912498549760 0 0 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.089586 s]
/proc/loadavg: 2.04 2.04 2.72 2/199 31684
/proc/meminfo: memFree=29440876/32951124 swapFree=67054536/67111528
[pid=31684] ppid=31682 vsize=10540452 CPUtime=0.09 cores=1,3,5,7
/proc/31684/stat : 31684 (java) S 31682 31684 29691 0 -1 4202496 12966 0 1 0 7 2 0 0 25 0 18 0 877667006 10793422848 12644 33554432000 1073741824 1073778376 140733870183632 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31684/statm: 2635113 12644 2092 9 0 2625847 0
[pid=31684/tid=31685] ppid=31682 vsize=10540452 CPUtime=0.07 cores=1,3,5,7
/proc/31684/task/31685/stat : 31685 (java) R 31682 31684 29691 0 -1 4202560 11024 0 1 0 6 1 0 0 25 0 18 0 877667007 10793422848 12644 33554432000 1073741824 1073778376 140733870183632 18446744073709551615 47981671249939 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10540452
[startup+0.100545 s]
/proc/loadavg: 2.04 2.04 2.72 2/199 31684
/proc/meminfo: memFree=29440876/32951124 swapFree=67054536/67111528
[pid=31684] ppid=31682 vsize=10540452 CPUtime=0.1 cores=1,3,5,7
/proc/31684/stat : 31684 (java) S 31682 31684 29691 0 -1 4202496 13136 0 1 0 8 2 0 0 25 0 18 0 877667006 10793422848 12814 33554432000 1073741824 1073778376 140733870183632 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31684/statm: 2635113 12814 2092 9 0 2625847 0
[pid=31684/tid=31685] ppid=31682 vsize=10540452 CPUtime=0.08 cores=1,3,5,7
/proc/31684/task/31685/stat : 31685 (java) R 31682 31684 29691 0 -1 4202560 11194 0 1 0 7 1 0 0 25 0 18 0 877667007 10793422848 12814 33554432000 1073741824 1073778376 140733870183632 18446744073709551615 47981673347923 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540452
[startup+0.300475 s]
/proc/loadavg: 2.04 2.04 2.72 2/199 31684
/proc/meminfo: memFree=29440876/32951124 swapFree=67054536/67111528
[pid=31684] ppid=31682 vsize=10543884 CPUtime=0.49 cores=1,3,5,7
/proc/31684/stat : 31684 (java) S 31682 31684 29691 0 -1 4202496 16211 0 1 0 47 2 0 0 25 0 19 0 877667006 10796937216 15501 33554432000 1073741824 1073778376 140733870183632 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31684/statm: 2635971 15501 2212 9 0 2626705 0
[pid=31684/tid=31685] ppid=31682 vsize=10543884 CPUtime=0.29 cores=1,3,5,7
/proc/31684/task/31685/stat : 31685 (java) R 31682 31684 29691 0 -1 4202560 12880 0 1 0 27 2 0 0 25 0 19 0 877667007 10796937216 15501 33554432000 1073741824 1073778376 140733870183632 18446744073709551615 47981668868949 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10543884
[startup+0.700434 s]
/proc/loadavg: 2.04 2.04 2.72 2/199 31684
/proc/meminfo: memFree=29440876/32951124 swapFree=67054536/67111528
[pid=31684] ppid=31682 vsize=10546600 CPUtime=1.11 cores=1,3,5,7
/proc/31684/stat : 31684 (java) S 31682 31684 29691 0 -1 4202496 20332 0 1 0 108 3 0 0 25 0 19 0 877667006 10799718400 18804 33554432000 1073741824 1073778376 140733870183632 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31684/statm: 2636650 18804 2217 9 0 2627384 0
[pid=31684/tid=31685] ppid=31682 vsize=10546600 CPUtime=0.69 cores=1,3,5,7
/proc/31684/task/31685/stat : 31685 (java) R 31682 31684 29691 0 -1 4202560 15264 0 1 0 67 2 0 0 18 0 19 0 877667007 10799718400 18804 33554432000 1073741824 1073778376 140733870183632 18446744073709551615 46912505617681 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 10546600
Solver just ended. Dumping a history of the last processes samples
[startup+0.9004 s]
/proc/loadavg: 2.04 2.04 2.72 2/199 31684
/proc/meminfo: memFree=29440876/32951124 swapFree=67054536/67111528
[pid=31684] ppid=31682 vsize=10546600 CPUtime=1.31 cores=1,3,5,7
/proc/31684/stat : 31684 (java) S 31682 31684 29691 0 -1 4202496 21573 0 1 0 128 3 0 0 25 0 19 0 877667006 10799718400 20045 33554432000 1073741824 1073778376 140733870183632 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31684/statm: 2636650 20046 2217 9 0 2627384 0
[pid=31684/tid=31685] ppid=31682 vsize=10546600 CPUtime=0.88 cores=1,3,5,7
/proc/31684/task/31685/stat : 31685 (java) R 31682 31684 29691 0 -1 4202560 16506 0 1 0 86 2 0 0 18 0 19 0 877667007 10799718400 20046 33554432000 1073741824 1073778376 140733870183632 18446744073709551615 46912505633531 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 10546600
[startup+1.00038 s]
/proc/loadavg: 2.04 2.04 2.72 4/218 31703
/proc/meminfo: memFree=29366040/32951124 swapFree=67054536/67111528
[pid=31684] ppid=31682 vsize=10546600 CPUtime=1.42 cores=1,3,5,7
/proc/31684/stat : 31684 (java) S 31682 31684 29691 0 -1 4202496 22535 0 1 0 139 3 0 0 25 0 19 0 877667006 10799718400 21007 33554432000 1073741824 1073778376 140733870183632 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31684/statm: 2636650 21007 2217 9 0 2627384 0
[pid=31684/tid=31685] ppid=31682 vsize=10546600 CPUtime=0.99 cores=1,3,5,7
/proc/31684/task/31685/stat : 31685 (java) R 31682 31684 29691 0 -1 4202560 17467 0 1 0 97 2 0 0 18 0 19 0 877667007 10799718400 21007 33554432000 1073741824 1073778376 140733870183632 18446744073709551615 46912505617448 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31684/tid=31687] ppid=31682 vsize=10546600 CPUtime=0 cores=1,3,5,7
/proc/31684/task/31687/stat : 31687 (java) S 31682 31684 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877667008 10799718400 21007 33554432000 1073741824 1073778376 140733870183632 18446744073709551615 271562353561 0 4 0 16800975 18446604464453687424 0 0 -1 1 0 0 0
[pid=31684/tid=31688] ppid=31682 vsize=10546600 CPUtime=0 cores=1,3,5,7
/proc/31684/task/31688/stat : 31688 (java) S 31682 31684 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877667008 10799718400 21008 33554432000 1073741824 1073778376 140733870183632 18446744073709551615 271562353561 0 4 0 16800975 18446604464453687424 0 0 -1 1 0 0 0
[pid=31684/tid=31689] ppid=31682 vsize=10546600 CPUtime=0 cores=1,3,5,7
/proc/31684/task/31689/stat : 31689 (java) S 31682 31684 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877667008 10799718400 21008 33554432000 1073741824 1073778376 140733870183632 18446744073709551615 271562353561 0 4 0 16800975 18446604464453687424 0 0 -1 1 0 0 0
[pid=31684/tid=31690] ppid=31682 vsize=10546600 CPUtime=0 cores=1,3,5,7
/proc/31684/task/31690/stat : 31690 (java) S 31682 31684 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877667008 10799718400 21008 33554432000 1073741824 1073778376 140733870183632 18446744073709551615 271562353561 0 4 0 16800975 18446604464453687424 0 0 -1 1 0 0 0
[pid=31684/tid=31691] ppid=31682 vsize=10546600 CPUtime=0 cores=1,3,5,7
/proc/31684/task/31691/stat : 31691 (java) S 31682 31684 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877667008 10799718400 21008 33554432000 1073741824 1073778376 140733870183632 18446744073709551615 271562353561 0 4 0 16800975 18446604464453687424 0 0 -1 1 0 0 0
[pid=31684/tid=31692] ppid=31682 vsize=10546600 CPUtime=0 cores=1,3,5,7
/proc/31684/task/31692/stat : 31692 (java) S 31682 31684 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877667008 10799718400 21008 33554432000 1073741824 1073778376 140733870183632 18446744073709551615 271562353561 0 4 0 16800975 18446604464453687424 0 0 -1 1 0 0 0
[pid=31684/tid=31693] ppid=31682 vsize=10546600 CPUtime=0 cores=1,3,5,7
/proc/31684/task/31693/stat : 31693 (java) S 31682 31684 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877667008 10799718400 21008 33554432000 1073741824 1073778376 140733870183632 18446744073709551615 271562353561 0 4 0 16800975 18446604464453687424 0 0 -1 1 0 0 0
[pid=31684/tid=31694] ppid=31682 vsize=10546600 CPUtime=0 cores=1,3,5,7
/proc/31684/task/31694/stat : 31694 (java) S 31682 31684 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877667008 10799718400 21008 33554432000 1073741824 1073778376 140733870183632 18446744073709551615 271562353561 0 4 0 16800975 18446604464453687424 0 0 -1 1 0 0 0
[pid=31684/tid=31695] ppid=31682 vsize=10546600 CPUtime=0 cores=1,3,5,7
/proc/31684/task/31695/stat : 31695 (java) S 31682 31684 29691 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 877667009 10799718400 21008 33554432000 1073741824 1073778376 140733870183632 18446744073709551615 271562354176 0 0 0 16800975 18446604464453687424 0 0 -1 5 0 0 0
[pid=31684/tid=31696] ppid=31682 vsize=10546600 CPUtime=0 cores=1,3,5,7
/proc/31684/task/31696/stat : 31696 (java) S 31682 31684 29691 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877667010 10799718400 21008 33554432000 1073741824 1073778376 140733870183632 18446744073709551615 271562353561 0 4 0 16800975 18446604464453687424 0 0 -1 5 0 0 0
[pid=31684/tid=31697] ppid=31682 vsize=10546600 CPUtime=0 cores=1,3,5,7
/proc/31684/task/31697/stat : 31697 (java) S 31682 31684 29691 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877667010 10799718400 21008 33554432000 1073741824 1073778376 140733870183632 18446744073709551615 271562353561 0 4 0 16800975 18446604464453687424 0 0 -1 5 0 0 0
[pid=31684/tid=31698] ppid=31682 vsize=10546600 CPUtime=0 cores=1,3,5,7
/proc/31684/task/31698/stat : 31698 (java) S 31682 31684 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877667012 10799718400 21009 33554432000 1073741824 1073778376 140733870183632 18446744073709551615 271562361265 0 4 0 16800975 18446604464453687424 0 0 -1 5 0 0 0
[pid=31684/tid=31699] ppid=31682 vsize=10546600 CPUtime=0.22 cores=1,3,5,7
/proc/31684/task/31699/stat : 31699 (java) S 31682 31684 29691 0 -1 4202560 2147 0 0 0 22 0 0 0 20 0 19 0 877667012 10799718400 21009 33554432000 1073741824 1073778376 140733870183632 18446744073709551615 271562353561 0 4 0 16800975 18446604464453687424 0 0 -1 1 0 0 0
[pid=31684/tid=31700] ppid=31682 vsize=10546600 CPUtime=0.19 cores=1,3,5,7
/proc/31684/task/31700/stat : 31700 (java) S 31682 31684 29691 0 -1 4202560 1764 0 0 0 19 0 0 0 25 0 19 0 877667012 10799718400 21009 33554432000 1073741824 1073778376 140733870183632 18446744073709551615 271562353561 0 4 0 16800975 18446604464453687424 0 0 -1 7 0 0 0
[pid=31684/tid=31701] ppid=31682 vsize=10546600 CPUtime=0 cores=1,3,5,7
/proc/31684/task/31701/stat : 31701 (java) S 31682 31684 29691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877667012 10799718400 21009 33554432000 1073741824 1073778376 140733870183632 18446744073709551615 271562353561 0 4 0 16800975 18446604464453687424 0 0 -1 5 0 0 0
[pid=31684/tid=31702] ppid=31682 vsize=10546600 CPUtime=0 cores=1,3,5,7
/proc/31684/task/31702/stat : 31702 (java) S 31682 31684 29691 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 877667012 10799718400 21009 33554432000 1073741824 1073778376 140733870183632 18446744073709551615 271562354176 0 4 0 16800975 18446604464453687424 0 0 -1 1 0 0 0
[pid=31684/tid=31703] ppid=31682 vsize=10546600 CPUtime=0 cores=1,3,5,7
/proc/31684/task/31703/stat : 31703 (java) S 31682 31684 29691 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877667031 10799718400 21010 33554432000 1073741824 1073778376 140733870183632 18446744073709551615 271562354176 0 4 0 16800975 18446604464453687424 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 10546600
Child status: 20
Real time (s): 1.01651
CPU time (s): 1.44378
CPU user time (s): 1.40079
CPU system time (s): 0.042993
CPU usage (%): 142.033
Max. virtual memory (cumulated for all children) (KiB): 10546600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.40079
system time used= 0.042993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22701
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= 178
involuntary context switches= 14
runsolver used 0.002999 second user time and 0.010998 second system time
The end