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-3455183-1307190782/watcher-3455183-1307190782 -o /tmp/evaluation-result-3455183-1307190782/solver-3455183-1307190782 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455183-1307190782.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: 1.97 2.30 2.95 3/407 9953
/proc/meminfo: memFree=22415180/32951124 swapFree=49244120/67111528
[pid=9953] ppid=9951 vsize=30580 CPUtime=0 cores=0,2,4,6
/proc/9953/stat : 9953 (java) S 9951 9953 6095 0 -1 4202496 1195 0 0 0 0 0 0 0 25 0 2 0 830680930 31313920 921 33554432000 1073741824 1073778376 140737243749440 18446744073709551615 218382759909 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/9953/statm: 7645 929 706 9 0 383 0
[pid=9953/tid=9954] ppid=9951 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/9953/task/9954/stat : 9954 (java) R 9951 9953 6095 0 -1 4202560 4343 0 1 0 0 0 0 0 25 0 2 0 830680931 10694979584 5159 33554432000 1073741824 1073778376 140737243749440 18446744073709551615 218370651195 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.106915 s]
/proc/loadavg: 1.97 2.30 2.95 3/407 9953
/proc/meminfo: memFree=22415180/32951124 swapFree=49244120/67111528
[pid=9953] ppid=9951 vsize=10539840 CPUtime=0.11 cores=0,2,4,6
/proc/9953/stat : 9953 (java) S 9951 9953 6095 0 -1 4202496 13084 0 1 0 10 1 0 0 25 0 18 0 830680930 10792796160 12781 33554432000 1073741824 1073778376 140737243749440 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/9953/statm: 2634960 12782 2092 9 0 2625694 0
[pid=9953/tid=9954] ppid=9951 vsize=10539840 CPUtime=0.09 cores=0,2,4,6
/proc/9953/task/9954/stat : 9954 (java) R 9951 9953 6095 0 -1 4202560 11201 0 1 0 8 1 0 0 18 0 18 0 830680931 10792796160 12783 33554432000 1073741824 1073778376 140737243749440 18446744073709551615 47314698935123 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10539840
[startup+0.200909 s]
/proc/loadavg: 1.97 2.30 2.95 3/407 9953
/proc/meminfo: memFree=22415180/32951124 swapFree=49244120/67111528
[pid=9953] ppid=9951 vsize=10540092 CPUtime=0.29 cores=0,2,4,6
/proc/9953/stat : 9953 (java) S 9951 9953 6095 0 -1 4202496 14368 0 1 0 28 1 0 0 25 0 18 0 830680930 10793054208 13829 33554432000 1073741824 1073778376 140737243749440 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/9953/statm: 2635023 13829 2189 9 0 2625757 0
[pid=9953/tid=9954] ppid=9951 vsize=10540092 CPUtime=0.18 cores=0,2,4,6
/proc/9953/task/9954/stat : 9954 (java) R 9951 9953 6095 0 -1 4202560 11964 0 1 0 17 1 0 0 18 0 18 0 830680931 10793054208 13830 33554432000 1073741824 1073778376 140737243749440 18446744073709551615 47314698935123 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10540092
[startup+0.305844 s]
/proc/loadavg: 1.97 2.30 2.95 3/407 9953
/proc/meminfo: memFree=22415180/32951124 swapFree=49244120/67111528
[pid=9953] ppid=9951 vsize=10553844 CPUtime=0.55 cores=0,2,4,6
/proc/9953/stat : 9953 (java) S 9951 9953 6095 0 -1 4202496 22809 0 1 0 52 3 0 0 25 0 18 0 830680930 10807136256 19962 33554432000 1073741824 1073778376 140737243749440 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/9953/statm: 2638461 21418 2201 9 0 2629195 0
[pid=9953/tid=9954] ppid=9951 vsize=10553844 CPUtime=0.29 cores=0,2,4,6
/proc/9953/task/9954/stat : 9954 (java) R 9951 9953 6095 0 -1 4202560 13631 0 1 0 28 1 0 0 18 0 18 0 830680931 10807136256 21418 33554432000 1073741824 1073778376 140737243749440 18446744073709551615 46912505121134 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 10553844
[startup+0.700842 s]
/proc/loadavg: 1.97 2.30 2.95 3/407 9953
/proc/meminfo: memFree=22415180/32951124 swapFree=49244120/67111528
[pid=9953] ppid=9951 vsize=10554408 CPUtime=1.57 cores=0,2,4,6
/proc/9953/stat : 9953 (java) S 9951 9953 6095 0 -1 4202496 43161 0 1 0 151 6 0 0 25 0 18 0 830680930 10807713792 37540 33554432000 1073741824 1073778376 140737243749440 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/9953/statm: 2638602 37543 2205 9 0 2629336 0
[pid=9953/tid=9954] ppid=9951 vsize=10554408 CPUtime=0.68 cores=0,2,4,6
/proc/9953/task/9954/stat : 9954 (java) R 9951 9953 6095 0 -1 4202560 27590 0 1 0 65 3 0 0 18 0 18 0 830680931 10807713792 37545 33554432000 1073741824 1073778376 140737243749440 18446744073709551615 46912505550619 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.57
Current children cumulated vsize (KiB) 10554408
Solver just ended. Dumping a history of the last processes samples
[startup+0.800783 s]
/proc/loadavg: 1.97 2.30 2.95 3/407 9953
/proc/meminfo: memFree=22415180/32951124 swapFree=49244120/67111528
[pid=9953] ppid=9951 vsize=10556464 CPUtime=1.69 cores=0,2,4,6
/proc/9953/stat : 9953 (java) S 9951 9953 6095 0 -1 4202496 45707 0 1 0 163 6 0 0 25 0 18 0 830680930 10809819136 40084 33554432000 1073741824 1073778376 140737243749440 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/9953/statm: 2639116 40084 2222 9 0 2629850 0
[pid=9953/tid=9954] ppid=9951 vsize=10556464 CPUtime=0.72 cores=0,2,4,6
/proc/9953/task/9954/stat : 9954 (java) S 9951 9953 6095 0 -1 4202560 29870 0 1 0 68 4 0 0 19 0 18 0 830680931 10809819136 40084 33554432000 1073741824 1073778376 140737243749440 18446744073709551615 218382773760 0 4 0 16800975 18446604449666539840 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.69
Current children cumulated vsize (KiB) 10556464
[startup+1.21471 s]
/proc/loadavg: 1.97 2.30 2.95 2/422 9976
/proc/meminfo: memFree=22262736/32951124 swapFree=49244120/67111528
[pid=9953] ppid=9951 vsize=10556464 CPUtime=1.69 cores=0,2,4,6
/proc/9953/stat : 9953 (java) S 9951 9953 6095 0 -1 4202496 45707 0 1 0 163 6 0 0 25 0 18 0 830680930 10809819136 40084 33554432000 1073741824 1073778376 140737243749440 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/9953/statm: 2639116 40084 2222 9 0 2629850 0
[pid=9953/tid=9954] ppid=9951 vsize=10556464 CPUtime=0.72 cores=0,2,4,6
/proc/9953/task/9954/stat : 9954 (java) S 9951 9953 6095 0 -1 4202560 29870 0 1 0 68 4 0 0 19 0 18 0 830680931 10809819136 40084 33554432000 1073741824 1073778376 140737243749440 18446744073709551615 218382773760 0 4 0 16800975 18446604449666539840 0 0 -1 4 0 0 0
[pid=9953/tid=9956] ppid=9951 vsize=10556464 CPUtime=0 cores=0,2,4,6
/proc/9953/task/9956/stat : 9956 (java) S 9951 9953 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830680932 10809819136 40084 33554432000 1073741824 1073778376 140737243749440 18446744073709551615 218382773145 0 4 0 16800975 18446604449666539840 0 0 -1 6 0 0 0
[pid=9953/tid=9957] ppid=9951 vsize=10556464 CPUtime=0 cores=0,2,4,6
/proc/9953/task/9957/stat : 9957 (java) S 9951 9953 6095 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 830680932 10809819136 40084 33554432000 1073741824 1073778376 140737243749440 18446744073709551615 218382773145 0 4 0 16800975 18446604449666539840 0 0 -1 6 0 0 0
[pid=9953/tid=9958] ppid=9951 vsize=10556464 CPUtime=0 cores=0,2,4,6
/proc/9953/task/9958/stat : 9958 (java) S 9951 9953 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830680932 10809819136 40084 33554432000 1073741824 1073778376 140737243749440 18446744073709551615 218382773145 0 4 0 16800975 18446604449666539840 0 0 -1 6 0 0 0
[pid=9953/tid=9959] ppid=9951 vsize=10556464 CPUtime=0 cores=0,2,4,6
/proc/9953/task/9959/stat : 9959 (java) S 9951 9953 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830680932 10809819136 40084 33554432000 1073741824 1073778376 140737243749440 18446744073709551615 218382773145 0 4 0 16800975 18446604449666539840 0 0 -1 6 0 0 0
[pid=9953/tid=9960] ppid=9951 vsize=10556464 CPUtime=0 cores=0,2,4,6
/proc/9953/task/9960/stat : 9960 (java) S 9951 9953 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830680932 10809819136 40084 33554432000 1073741824 1073778376 140737243749440 18446744073709551615 218382773145 0 4 0 16800975 18446604449666539840 0 0 -1 6 0 0 0
[pid=9953/tid=9961] ppid=9951 vsize=10556464 CPUtime=0 cores=0,2,4,6
/proc/9953/task/9961/stat : 9961 (java) S 9951 9953 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830680932 10809819136 40084 33554432000 1073741824 1073778376 140737243749440 18446744073709551615 218382773145 0 4 0 16800975 18446604449666539840 0 0 -1 6 0 0 0
[pid=9953/tid=9962] ppid=9951 vsize=10556464 CPUtime=0 cores=0,2,4,6
/proc/9953/task/9962/stat : 9962 (java) S 9951 9953 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830680932 10809819136 40084 33554432000 1073741824 1073778376 140737243749440 18446744073709551615 218382773145 0 4 0 16800975 18446604449666539840 0 0 -1 6 0 0 0
[pid=9953/tid=9963] ppid=9951 vsize=10556464 CPUtime=0 cores=0,2,4,6
/proc/9953/task/9963/stat : 9963 (java) S 9951 9953 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830680932 10809819136 40084 33554432000 1073741824 1073778376 140737243749440 18446744073709551615 218382773145 0 4 0 16800975 18446604449666539840 0 0 -1 6 0 0 0
[pid=9953/tid=9964] ppid=9951 vsize=10556464 CPUtime=0 cores=0,2,4,6
/proc/9953/task/9964/stat : 9964 (java) S 9951 9953 6095 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 830680933 10809819136 40084 33554432000 1073741824 1073778376 140737243749440 18446744073709551615 218382773760 0 0 0 16800975 18446604449666539840 0 0 -1 2 0 0 0
[pid=9953/tid=9965] ppid=9951 vsize=10556464 CPUtime=0 cores=0,2,4,6
/proc/9953/task/9965/stat : 9965 (java) S 9951 9953 6095 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 830680934 10809819136 40084 33554432000 1073741824 1073778376 140737243749440 18446744073709551615 218382773145 0 4 0 16800975 18446604449666539840 0 0 -1 2 0 0 0
[pid=9953/tid=9966] ppid=9951 vsize=10556464 CPUtime=0 cores=0,2,4,6
/proc/9953/task/9966/stat : 9966 (java) S 9951 9953 6095 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 18 0 830680934 10809819136 40084 33554432000 1073741824 1073778376 140737243749440 18446744073709551615 218382773145 0 4 0 16800975 18446604449666539840 0 0 -1 0 0 0 0
[pid=9953/tid=9967] ppid=9951 vsize=10556464 CPUtime=0 cores=0,2,4,6
/proc/9953/task/9967/stat : 9967 (java) S 9951 9953 6095 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 830680936 10809819136 40084 33554432000 1073741824 1073778376 140737243749440 18446744073709551615 218382780849 0 4 0 16800975 18446604449666539840 0 0 -1 2 0 0 0
[pid=9953/tid=9968] ppid=9951 vsize=10556464 CPUtime=0.44 cores=0,2,4,6
/proc/9953/task/9968/stat : 9968 (java) S 9951 9953 6095 0 -1 4202560 4516 0 0 0 44 0 0 0 17 0 18 0 830680936 10809819136 40084 33554432000 1073741824 1073778376 140737243749440 18446744073709551615 218382773145 0 4 0 16800975 18446604449666539840 0 0 -1 4 0 0 0
[pid=9953/tid=9969] ppid=9951 vsize=10556464 CPUtime=0.47 cores=0,2,4,6
/proc/9953/task/9969/stat : 9969 (java) S 9951 9953 6095 0 -1 4202560 9913 0 0 0 45 2 0 0 16 0 18 0 830680936 10809819136 40084 33554432000 1073741824 1073778376 140737243749440 18446744073709551615 218382773145 0 4 0 16800975 18446604449666539840 0 0 -1 2 0 0 0
[pid=9953/tid=9970] ppid=9951 vsize=10556464 CPUtime=0 cores=0,2,4,6
/proc/9953/task/9970/stat : 9970 (java) S 9951 9953 6095 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 830680936 10809819136 40084 33554432000 1073741824 1073778376 140737243749440 18446744073709551615 218382773145 0 4 0 16800975 18446604449666539840 0 0 -1 2 0 0 0
[pid=9953/tid=9971] ppid=9951 vsize=10556464 CPUtime=0 cores=0,2,4,6
/proc/9953/task/9971/stat : 9971 (java) S 9951 9953 6095 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 830680936 10809819136 40084 33554432000 1073741824 1073778376 140737243749440 18446744073709551615 218382773760 0 4 0 16800975 18446604449666539840 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.69
Current children cumulated vsize (KiB) 10556464
Child status: 20
Real time (s): 1.2455
CPU time (s): 1.71674
CPU user time (s): 1.64075
CPU system time (s): 0.075988
CPU usage (%): 137.836
Max. virtual memory (cumulated for all children) (KiB): 10556464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.64075
system time used= 0.075988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45716
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= 236
involuntary context switches= 21
runsolver used 0.009998 second user time and 0.021996 second system time
The end