Trace number 362258

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
oree 0.1.2 alpha? (MO) 766.178 766.389

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-n3705.opb
MD5SUM1c8cf561f224f1f2f953c533d372407b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark9.02363
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables155000
Total number of constraints5150
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints5150
Minimum length of a constraint31
Maximum length of a constraint3000
Number of terms in the objective function 155000
Biggest coefficient in the objective function 77
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 658002
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 658002
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
1.79/1.89	c ...done
1.79/1.90	c #vars=155000 #constraints=5301 hasObjective=yes
3.79/3.80	c res. mode=mod
3.79/3.80	c VSIDS like heuristics
3.79/3.80	c complete search running
4.99/5.05	c restart after 401 decisions
5.19/5.27	c nbDecision=500 #constraints=5301
5.89/5.96	c restart after 801 decisions
6.39/6.41	c nbDecision=1000 #constraints=5301
7.49/7.54	c nbDecision=1500 #constraints=5301
7.69/7.77	c restart after 1601 decisions
8.59/8.65	c nbDecision=2000 #constraints=5301
9.69/9.78	c nbDecision=2500 #constraints=5301
10.89/10.92	c nbDecision=3000 #constraints=5301
11.29/11.38	c restart after 3201 decisions
11.99/12.07	c nbDecision=3500 #constraints=5301
13.09/13.17	c nbDecision=4000 #constraints=5301
14.19/14.28	c nbDecision=4500 #constraints=5301
15.29/15.38	c nbDecision=5000 #constraints=5301
16.49/16.52	c nbDecision=5500 #constraints=5301
17.59/17.65	c nbDecision=6000 #constraints=5301
18.49/18.56	c restart after 6401 decisions
18.69/18.79	c nbDecision=6500 #constraints=5301
19.88/19.92	c nbDecision=7000 #constraints=5301
20.98/21.05	c nbDecision=7500 #constraints=5301
22.08/22.17	c nbDecision=8000 #constraints=5301
23.18/23.29	c nbDecision=8500 #constraints=5301
24.28/24.39	c nbDecision=9000 #constraints=5301
25.38/25.48	c nbDecision=9500 #constraints=5301
26.48/26.58	c nbDecision=10000 #constraints=5301
27.68/27.70	c nbDecision=10500 #constraints=5301
28.78/28.82	c nbDecision=11000 #constraints=5301
29.88/29.93	c nbDecision=11500 #constraints=5301
30.98/31.05	c nbDecision=12000 #constraints=5301
36.08/36.18	c nbDecision=12500 #constraints=5477
45.28/45.31	c restart after 12801 decisions
45.88/45.94	c nbDecision=13000 #constraints=5776
46.98/47.07	c nbDecision=13500 #constraints=5776
48.18/48.20	c nbDecision=14000 #constraints=5776
49.28/49.32	c nbDecision=14500 #constraints=5776
50.38/50.46	c nbDecision=15000 #constraints=5776
51.48/51.60	c nbDecision=15500 #constraints=5776
52.68/52.73	c nbDecision=16000 #constraints=5776
53.78/53.86	c nbDecision=16500 #constraints=5776
54.98/55.03	c nbDecision=17000 #constraints=5776
56.18/56.28	c nbDecision=17500 #constraints=5776
57.48/57.55	c nbDecision=18000 #constraints=5776
58.77/58.83	c nbDecision=18500 #constraints=5776
71.67/71.78	c nbDecision=19000 #constraints=6057
96.17/96.26	c nbDecision=19500 #constraints=6554
122.76/122.88	c nbDecision=20000 #constraints=7050
163.65/163.80	c nbDecision=20500 #constraints=7550
197.34/197.45	c nbDecision=21000 #constraints=7981
198.44/198.56	c nbDecision=21500 #constraints=7981
199.54/199.67	c nbDecision=22000 #constraints=7981
200.64/200.78	c nbDecision=22500 #constraints=7981
201.74/201.88	c nbDecision=23000 #constraints=7981
202.84/202.98	c nbDecision=23500 #constraints=7981
203.93/204.09	c nbDecision=24000 #constraints=7981
205.03/205.19	c nbDecision=24500 #constraints=7981
210.84/210.96	c nbDecision=25000 #constraints=8192
226.83/226.98	c nbDecision=25500 #constraints=8689
230.43/230.54	c restart after 25601 decisions
234.43/234.55	c nbDecision=26000 #constraints=8790
235.53/235.69	c nbDecision=26500 #constraints=8790
236.72/236.83	c nbDecision=27000 #constraints=8790
237.82/237.97	c nbDecision=27500 #constraints=8790
239.02/239.15	c nbDecision=28000 #constraints=8790
240.12/240.27	c nbDecision=28500 #constraints=8790
241.22/241.39	c nbDecision=29000 #constraints=8790
242.42/242.51	c nbDecision=29500 #constraints=8790
244.13/244.28	c nbDecision=30000 #constraints=8790
246.02/246.20	c nbDecision=30500 #constraints=8790
248.02/248.11	c nbDecision=31000 #constraints=8790
250.02/250.13	c nbDecision=31500 #constraints=8790
251.32/251.45	c nbDecision=32000 #constraints=8790
252.42/252.57	c nbDecision=32500 #constraints=8790
253.52/253.68	c nbDecision=33000 #constraints=8790
254.72/254.81	c nbDecision=33500 #constraints=8790
256.02/256.17	c nbDecision=34000 #constraints=8790
257.42/257.52	c nbDecision=34500 #constraints=8790
258.72/258.90	c nbDecision=35000 #constraints=8790
264.21/264.36	c nbDecision=35500 #constraints=8906
287.41/287.55	c nbDecision=36000 #constraints=9403
316.71/316.84	c nbDecision=36500 #constraints=9903
350.99/351.17	c nbDecision=37000 #constraints=10403
388.78/389.00	c nbDecision=37500 #constraints=10905
407.08/407.26	c nbDecision=38000 #constraints=11110
408.17/408.33	c nbDecision=38500 #constraints=11110
409.27/409.45	c nbDecision=39000 #constraints=11110
410.37/410.56	c nbDecision=39500 #constraints=11110
422.48/422.61	c nbDecision=40000 #constraints=11489
440.57/440.74	c nbDecision=40500 #constraints=11988
462.17/462.30	c nbDecision=41000 #constraints=12497
486.06/486.22	c nbDecision=41500 #constraints=12990
513.55/513.73	c nbDecision=42000 #constraints=13490
544.04/544.22	c nbDecision=42500 #constraints=14000
577.13/577.39	c nbDecision=43000 #constraints=14490
614.02/614.25	c nbDecision=43500 #constraints=14993
654.21/654.43	c nbDecision=44000 #constraints=15493
696.90/697.15	c nbDecision=44500 #constraints=15995
743.18/743.46	c nbDecision=45000 #constraints=16498
765.48/765.70	Received signal 15
765.78/766.09	
765.78/766.09	s UNKNOWN
765.78/766.09	
765.78/766.09	c user time= 764.293 s
765.78/766.09	c system time= 1.58876 s
765.78/766.09	c wall clock time=766.091

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node1/watcher-362258-1176845805 -o ROOT/results/node1/solver-362258-1176845805 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362258-1176845805/instance-362258-1176845805.opb mod 

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): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.97 0.96 3/77 19796
/proc/meminfo: memFree=1818176/2055920 swapFree=4145928/4192956
[pid=19796] ppid=19794 vsize=1620 CPUtime=0
/proc/19796/stat : 19796 (oree) R 19794 19796 19080 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 160618390 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19796/statm: 405 175 126 317 0 84 0

[startup+0.092333 s]
/proc/loadavg: 0.92 0.97 0.96 3/77 19796
/proc/meminfo: memFree=1818176/2055920 swapFree=4145928/4192956
[pid=19796] ppid=19794 vsize=3440 CPUtime=0.09
/proc/19796/stat : 19796 (oree) R 19794 19796 19080 0 -1 4194304 871 0 0 0 9 0 0 0 18 0 1 0 160618390 3522560 626 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19796/statm: 860 626 126 317 0 539 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3440

[startup+0.101334 s]
/proc/loadavg: 0.92 0.97 0.96 3/77 19796
/proc/meminfo: memFree=1818176/2055920 swapFree=4145928/4192956
[pid=19796] ppid=19794 vsize=3440 CPUtime=0.09
/proc/19796/stat : 19796 (oree) R 19794 19796 19080 0 -1 4194304 896 0 0 0 9 0 0 0 18 0 1 0 160618390 3522560 651 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19796/statm: 860 651 126 317 0 539 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3440

[startup+0.301358 s]
/proc/loadavg: 0.92 0.97 0.96 3/77 19796
/proc/meminfo: memFree=1818176/2055920 swapFree=4145928/4192956
[pid=19796] ppid=19794 vsize=9548 CPUtime=0.29
/proc/19796/stat : 19796 (oree) R 19794 19796 19080 0 -1 4194304 2787 0 0 0 29 0 0 0 19 0 1 0 160618390 9777152 1772 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278906 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19796/statm: 2387 1772 127 317 0 2066 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9548

[startup+0.701404 s]
/proc/loadavg: 0.92 0.97 0.96 3/77 19796
/proc/meminfo: memFree=1818176/2055920 swapFree=4145928/4192956
[pid=19796] ppid=19794 vsize=14576 CPUtime=0.69
/proc/19796/stat : 19796 (oree) R 19794 19796 19080 0 -1 4194304 3899 0 0 0 68 1 0 0 22 0 1 0 160618390 14925824 2884 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19796/statm: 3644 2884 131 317 0 3323 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14576

[startup+1.5015 s]
/proc/loadavg: 0.92 0.97 0.96 2/78 19797
/proc/meminfo: memFree=1800376/2055920 swapFree=4145928/4192956
[pid=19796] ppid=19794 vsize=33080 CPUtime=1.49
/proc/19796/stat : 19796 (oree) R 19794 19796 19080 0 -1 4194304 8114 0 0 0 147 2 0 0 25 0 1 0 160618390 33873920 7099 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19796/statm: 8270 7099 131 317 0 7949 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33080

[startup+3.10169 s]
/proc/loadavg: 0.93 0.97 0.96 2/78 19797
/proc/meminfo: memFree=1769016/2055920 swapFree=4145928/4192956
[pid=19796] ppid=19794 vsize=57580 CPUtime=3.09
/proc/19796/stat : 19796 (oree) R 19794 19796 19080 0 -1 4194304 14260 0 0 0 303 6 0 0 25 0 1 0 160618390 58961920 13245 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602739 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19796/statm: 14395 13245 137 317 0 14074 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 57580

[startup+6.30106 s]
/proc/loadavg: 0.93 0.97 0.96 2/78 19797
/proc/meminfo: memFree=1763832/2055920 swapFree=4145928/4192956
[pid=19796] ppid=19794 vsize=59032 CPUtime=6.29
/proc/19796/stat : 19796 (oree) R 19794 19796 19080 0 -1 4194304 14630 0 0 0 623 6 0 0 25 0 1 0 160618390 60448768 13615 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19796/statm: 14758 13615 138 317 0 14437 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 59032

[startup+12.7018 s]
/proc/loadavg: 0.94 0.97 0.96 2/78 19797
/proc/meminfo: memFree=1763904/2055920 swapFree=4145928/4192956
[pid=19796] ppid=19794 vsize=59032 CPUtime=12.69
/proc/19796/stat : 19796 (oree) R 19794 19796 19080 0 -1 4194304 14630 0 0 0 1263 6 0 0 25 0 1 0 160618390 60448768 13615 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19796/statm: 14758 13615 138 317 0 14437 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 59032

[startup+25.5013 s]
/proc/loadavg: 0.95 0.97 0.96 2/78 19797
/proc/meminfo: memFree=1763968/2055920 swapFree=4145928/4192956
[pid=19796] ppid=19794 vsize=59032 CPUtime=25.48
/proc/19796/stat : 19796 (oree) R 19794 19796 19080 0 -1 4194304 14630 0 0 0 2542 6 0 0 25 0 1 0 160618390 60448768 13615 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19796/statm: 14758 13615 138 317 0 14437 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 59032

[startup+51.1013 s]
/proc/loadavg: 0.96 0.97 0.96 2/78 19797
/proc/meminfo: memFree=1699648/2055920 swapFree=4145928/4192956
[pid=19796] ppid=19794 vsize=129692 CPUtime=51.08
/proc/19796/stat : 19796 (oree) R 19794 19796 19080 0 -1 4194304 30735 0 0 0 5096 12 0 0 25 0 1 0 160618390 132804608 29683 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19796/statm: 32423 29683 139 317 0 32102 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 129692

[startup+102.305 s]
/proc/loadavg: 0.98 0.97 0.96 2/78 19797
/proc/meminfo: memFree=1568512/2055920 swapFree=4145928/4192956
[pid=19796] ppid=19794 vsize=274328 CPUtime=102.27
/proc/19796/stat : 19796 (oree) R 19794 19796 19080 0 -1 4194304 63491 0 0 0 10203 24 0 0 25 0 1 0 160618390 280911872 62439 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563634 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19796/statm: 68582 62439 139 317 0 68261 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 274328

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 19797
/proc/meminfo: memFree=1439104/2055920 swapFree=4145928/4192956
[pid=19796] ppid=19794 vsize=429464 CPUtime=162.25
/proc/19796/stat : 19796 (oree) R 19794 19796 19080 0 -1 4194304 96007 0 0 0 16188 37 0 0 25 0 1 0 160618390 439771136 94955 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19796/statm: 107366 94955 139 317 0 107045 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 429464

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 19797
/proc/meminfo: memFree=1298240/2055920 swapFree=4145928/4192956
[pid=19796] ppid=19794 vsize=577568 CPUtime=222.23
/proc/19796/stat : 19796 (oree) R 19794 19796 19080 0 -1 4194304 130988 0 0 0 22171 52 0 0 25 0 1 0 160618390 591429632 129936 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19796/statm: 144392 129936 139 317 0 144071 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 577568

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 19797
/proc/meminfo: memFree=1195584/2055920 swapFree=4145928/4192956
[pid=19796] ppid=19794 vsize=694208 CPUtime=282.21
/proc/19796/stat : 19796 (oree) R 19794 19796 19080 0 -1 4194304 157060 0 0 0 28160 61 0 0 25 0 1 0 160618390 710868992 156008 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602404 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19796/statm: 173552 156008 139 317 0 173231 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 694208

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 19797
/proc/meminfo: memFree=1051776/2055920 swapFree=4145928/4192956
[pid=19796] ppid=19794 vsize=860912 CPUtime=342.19
/proc/19796/stat : 19796 (oree) R 19794 19796 19080 0 -1 4194304 192442 0 0 0 34144 75 0 0 25 0 1 0 160618390 881573888 191390 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19796/statm: 215228 191390 139 317 0 214907 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 860912

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 19797
/proc/meminfo: memFree=956096/2055920 swapFree=4145928/4192956
[pid=19796] ppid=19794 vsize=958816 CPUtime=402.18
/proc/19796/stat : 19796 (oree) R 19794 19796 19080 0 -1 4194304 216624 0 0 0 40134 84 0 0 25 0 1 0 160618390 981827584 215500 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541595 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19796/statm: 239704 215500 139 317 0 239383 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 958816

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 19797
/proc/meminfo: memFree=752768/2055920 swapFree=4145928/4192956
[pid=19796] ppid=19794 vsize=1181548 CPUtime=462.17
/proc/19796/stat : 19796 (oree) R 19794 19796 19080 0 -1 4194304 267318 0 0 0 46115 102 0 0 25 0 1 0 160618390 1209905152 266192 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19796/statm: 295387 266192 139 317 0 295066 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 1181548

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 19797
/proc/meminfo: memFree=590784/2055920 swapFree=4145928/4192956
[pid=19796] ppid=19794 vsize=1369444 CPUtime=522.15
/proc/19796/stat : 19796 (oree) R 19794 19796 19080 0 -1 4194304 307907 0 0 0 52100 115 0 0 25 0 1 0 160618390 1402310656 306781 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19796/statm: 342361 306781 139 317 0 342040 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 1369444

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 19797
/proc/meminfo: memFree=477696/2055920 swapFree=4145928/4192956
[pid=19796] ppid=19794 vsize=1482348 CPUtime=582.13
/proc/19796/stat : 19796 (oree) R 19794 19796 19080 0 -1 4194304 335817 0 0 0 58087 126 0 0 25 0 1 0 160618390 1517924352 334691 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19796/statm: 370587 334691 139 317 0 370266 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 1482348

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 19797
/proc/meminfo: memFree=334080/2055920 swapFree=4145928/4192956
[pid=19796] ppid=19794 vsize=1673752 CPUtime=642.12
/proc/19796/stat : 19796 (oree) R 19794 19796 19080 0 -1 4194304 371431 0 0 0 64071 141 0 0 25 0 1 0 160618390 1713922048 370305 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19796/statm: 418438 370305 139 317 0 418117 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 1673752

[startup+702.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 19797
/proc/meminfo: memFree=248832/2055920 swapFree=4145928/4192956
[pid=19796] ppid=19794 vsize=1760472 CPUtime=702.09
/proc/19796/stat : 19796 (oree) R 19794 19796 19080 0 -1 4194304 392847 0 0 0 70060 149 0 0 25 0 1 0 160618390 1802723328 391721 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564062 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19796/statm: 440118 391721 139 317 0 439797 0
Current children cumulated CPU time (s) 702.09
Current children cumulated vsize (KiB) 1760472

[startup+762.306 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 19797
/proc/meminfo: memFree=170560/2055920 swapFree=4145928/4192956
[pid=19796] ppid=19794 vsize=1839252 CPUtime=762.08
/proc/19796/stat : 19796 (oree) R 19794 19796 19080 0 -1 4194304 412263 0 0 0 76051 157 0 0 25 0 1 0 160618390 1883394048 411137 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711049 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19796/statm: 459813 411137 139 317 0 459492 0
Current children cumulated CPU time (s) 762.08
Current children cumulated vsize (KiB) 1839252



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+765.701 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 19797
/proc/meminfo: memFree=166208/2055920 swapFree=4145928/4192956
[pid=19796] ppid=19794 vsize=1843500 CPUtime=765.48
/proc/19796/stat : 19796 (oree) R 19794 19796 19080 0 -1 4194304 413303 0 0 0 76390 158 0 0 25 0 1 0 160618390 1887744000 412177 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19796/statm: 460875 412177 139 317 0 460554 0
Current children cumulated CPU time (s) 765.48
Current children cumulated vsize (KiB) 1843500

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+765.806 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 19797
/proc/meminfo: memFree=166208/2055920 swapFree=4145928/4192956
[pid=19796] ppid=19794 vsize=1843668 CPUtime=765.58
/proc/19796/stat : 19796 (oree) R 19794 19796 19080 0 -1 4194304 413355 0 0 0 76400 158 0 0 25 0 1 0 160618390 1887916032 412229 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19796/statm: 460917 412229 139 317 0 460596 0
Current children cumulated CPU time (s) 765.58
Current children cumulated vsize (KiB) 1843668

[startup+766.201 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 19797
/proc/meminfo: memFree=166208/2055920 swapFree=4145928/4192956
[pid=19796] ppid=19794 vsize=0 CPUtime=765.98
/proc/19796/stat : 19796 (oree) R 19794 19796 19080 0 -1 4194308 413460 0 0 0 76433 165 0 0 25 0 1 0 160618390 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19796/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 765.98
Current children cumulated vsize (KiB) 0

[startup+766.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 19797
/proc/meminfo: memFree=166208/2055920 swapFree=4145928/4192956
[pid=19796] ppid=19794 vsize=0 CPUtime=766.08
/proc/19796/stat : 19796 (oree) R 19794 19796 19080 0 -1 4194308 413460 0 0 0 76433 175 0 0 25 0 1 0 160618390 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19796/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 766.08
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 766.389
CPU time (s): 766.178
CPU user time (s): 764.331
CPU system time (s): 1.84672
CPU usage (%): 99.9723
Max. virtual memory (cumulated for all children) (KiB): 1843980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 764.331
system time used= 1.84672
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 413460
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8
involuntary context switches= 714

runsolver used 0.874867 second user time and 1.88471 second system time

The end

Launcher Data (download as text)

Begin job on node1 on Tue Apr 17 21:36:46 UTC 2007

IDJOB= 362258
IDBENCH= 1544
IDSOLVER= 172
FILE ID= node1/362258-1176845805

PBS_JOBID= 4590173

Free space on /tmp= 66393 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-n3705.opb
COMMAND LINE= oree /tmp/evaluation/362258-1176845805/instance-362258-1176845805.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node1/watcher-362258-1176845805 -o ROOT/results/node1/solver-362258-1176845805 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/362258-1176845805/instance-362258-1176845805.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  1c8cf561f224f1f2f953c533d372407b

RANDOM SEED= 106081421

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node1.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1818648 kB
Buffers:         28364 kB
Cached:         141864 kB
SwapCached:      14460 kB
Active:          65920 kB
Inactive:       127196 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1818648 kB
SwapTotal:     4192956 kB
SwapFree:      4145928 kB
Dirty:            7964 kB
Writeback:           0 kB
Mapped:          30028 kB
Slab:            29668 kB
Committed_AS:  4917028 kB
PageTables:       1832 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66393 MiB

End job on node1 on Tue Apr 17 21:49:33 UTC 2007