Trace number 356845

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? (TO) 1801.09 1801.75

General information on the benchmark

Namenormalized-PB06/OPT-MEDINT/reduced/mps-v2-20-10/
plato.asu.edu/pub/lptestset/fome/normalized-reduced-mps-v2-20-10-fome13.opb
MD5SUMdc68c84ca9a12d789f4fef65e97f0e43
Bench CategoryOPT-MEDINT (optimisation, medium integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2933624
Total number of constraints48672
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 constraints48672
Minimum length of a constraint13
Maximum length of a constraint6840
Number of terms in the objective function 1496264
Biggest coefficient in the objective function 160
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 1988816
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 131072
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 1988816
Number of bits of the biggest sum of numbers21
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...
32.37/32.43	c ...done
32.37/32.43	c #vars=2933624 #constraints=97241 hasObjective=yes
57.96/58.05	c res. mode=mod
57.96/58.05	c VSIDS like heuristics
57.96/58.05	c complete search running
99.04/99.10	c restart after 401 decisions
106.74/106.87	c nbDecision=500 #constraints=97320
131.13/131.27	c restart after 801 decisions
147.72/147.84	c nbDecision=1000 #constraints=97399
189.81/189.93	c nbDecision=1500 #constraints=97487
198.71/198.82	c restart after 1601 decisions
231.49/231.62	c nbDecision=2000 #constraints=97553
273.38/273.58	c nbDecision=2500 #constraints=97633
315.17/315.33	c nbDecision=3000 #constraints=97688
332.56/332.79	c restart after 3201 decisions
356.75/356.98	c nbDecision=3500 #constraints=97754
399.04/399.22	c nbDecision=4000 #constraints=97826
440.02/440.26	c nbDecision=4500 #constraints=97853
481.61/481.85	c nbDecision=5000 #constraints=97921
522.79/523.01	c nbDecision=5500 #constraints=97953
566.18/566.45	c nbDecision=6000 #constraints=98070
600.16/600.43	c restart after 6401 decisions
607.96/608.21	c nbDecision=6500 #constraints=98143
649.24/649.54	c nbDecision=7000 #constraints=98181
689.73/690.00	c nbDecision=7500 #constraints=98210
730.21/730.55	c nbDecision=8000 #constraints=98221
771.80/772.18	c nbDecision=8500 #constraints=98271
813.09/813.47	c nbDecision=9000 #constraints=98309
855.07/855.44	c nbDecision=9500 #constraints=98372
896.86/897.22	c nbDecision=10000 #constraints=98425
938.64/939.09	c nbDecision=10500 #constraints=98484
979.52/979.99	c nbDecision=11000 #constraints=98506
1021.01/1021.42	c nbDecision=11500 #constraints=98544
1062.10/1062.57	c nbDecision=12000 #constraints=98573
1103.18/1103.65	c nbDecision=12500 #constraints=98600
1127.77/1128.25	c restart after 12801 decisions
1144.57/1145.08	c nbDecision=13000 #constraints=98655
1186.25/1186.73	c nbDecision=13500 #constraints=98702
1227.43/1227.97	c nbDecision=14000 #constraints=98740
1268.52/1269.07	c nbDecision=14500 #constraints=98772
1309.51/1310.07	c nbDecision=15000 #constraints=98796
1350.59/1351.19	c nbDecision=15500 #constraints=98830
1391.27/1391.89	c nbDecision=16000 #constraints=98846
1432.16/1432.70	c nbDecision=16500 #constraints=98866
1472.75/1473.35	c nbDecision=17000 #constraints=98880
1513.63/1514.23	c nbDecision=17500 #constraints=98905
1554.12/1554.76	c nbDecision=18000 #constraints=98914
1595.60/1596.27	c nbDecision=18500 #constraints=98958
1636.98/1637.70	c nbDecision=19000 #constraints=98998
1677.67/1678.33	c nbDecision=19500 #constraints=99010
1718.36/1719.08	c nbDecision=20000 #constraints=99026
1759.54/1760.20	c nbDecision=20500 #constraints=99055
1800.04/1800.70	Received signal 15
1800.04/1800.71	
1800.04/1800.71	s UNKNOWN
1800.04/1800.71	
1800.04/1800.71	c user time= 1798.47 s
1800.04/1800.71	c system time= 1.58076 s
1800.04/1800.71	c wall clock time=1800.71

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/node40/watcher-356845-1176845157 -o ROOT/results/node40/solver-356845-1176845157 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356845-1176845157/instance-356845-1176845157.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: 1.08 1.02 1.00 3/77 31504
/proc/meminfo: memFree=1401080/2055920 swapFree=4192956/4192956
[pid=31504] ppid=31502 vsize=1620 CPUtime=0
/proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 13396410 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134831224 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31504/statm: 405 175 126 317 0 84 0

[startup+0.0645641 s]
/proc/loadavg: 1.08 1.02 1.00 3/77 31504
/proc/meminfo: memFree=1401080/2055920 swapFree=4192956/4192956
[pid=31504] ppid=31502 vsize=3440 CPUtime=0.05
/proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 791 0 0 0 5 0 0 0 18 0 1 0 13396410 3522560 546 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31504/statm: 860 546 126 317 0 539 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 3440

[startup+0.101572 s]
/proc/loadavg: 1.08 1.02 1.00 3/77 31504
/proc/meminfo: memFree=1401080/2055920 swapFree=4192956/4192956
[pid=31504] ppid=31502 vsize=3440 CPUtime=0.09
/proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 896 0 0 0 9 0 0 0 18 0 1 0 13396410 3522560 651 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31504/statm: 860 651 126 317 0 539 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3440

[startup+0.301614 s]
/proc/loadavg: 1.08 1.02 1.00 3/77 31504
/proc/meminfo: memFree=1401080/2055920 swapFree=4192956/4192956
[pid=31504] ppid=31502 vsize=9548 CPUtime=0.29
/proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 2901 0 0 0 28 1 0 0 19 0 1 0 13396410 9777152 1886 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31504/statm: 2387 1886 126 317 0 2066 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9548

[startup+0.701698 s]
/proc/loadavg: 1.08 1.02 1.00 3/77 31504
/proc/meminfo: memFree=1401080/2055920 swapFree=4192956/4192956
[pid=31504] ppid=31502 vsize=17736 CPUtime=0.69
/proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 5933 0 0 0 66 3 0 0 22 0 1 0 13396410 18161664 3893 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31504/statm: 4434 3893 126 317 0 4113 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17736

[startup+1.50187 s]
/proc/loadavg: 1.08 1.02 1.00 2/78 31505
/proc/meminfo: memFree=1375344/2055920 swapFree=4192956/4192956
[pid=31504] ppid=31502 vsize=34244 CPUtime=1.49
/proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 12008 0 0 0 143 6 0 0 25 0 1 0 13396410 35065856 7919 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31504/statm: 8561 7920 126 317 0 8240 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 34244

[startup+3.1022 s]
/proc/loadavg: 1.08 1.02 1.00 2/78 31505
/proc/meminfo: memFree=1347376/2055920 swapFree=4192956/4192956
[pid=31504] ppid=31502 vsize=66996 CPUtime=3.09
/proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 22365 0 0 0 297 12 0 0 25 0 1 0 13396410 68603904 14179 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31504/statm: 16749 14179 127 317 0 16428 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 66996

[startup+6.30187 s]
/proc/loadavg: 1.15 1.03 1.01 2/78 31505
/proc/meminfo: memFree=1304240/2055920 swapFree=4192956/4192956
[pid=31504] ppid=31502 vsize=130716 CPUtime=6.29
/proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 38002 0 0 0 606 23 0 0 25 0 1 0 13396410 133853184 29816 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31504/statm: 32679 29817 131 317 0 32358 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 130716

[startup+12.7012 s]
/proc/loadavg: 1.14 1.03 1.01 2/78 31505
/proc/meminfo: memFree=1144112/2055920 swapFree=4192956/4192956
[pid=31504] ppid=31502 vsize=288556 CPUtime=12.68
/proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 76877 0 0 0 1225 43 0 0 25 0 1 0 13396410 295481344 68691 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31504/statm: 72139 68691 131 317 0 71818 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 288556

[startup+25.5019 s]
/proc/loadavg: 1.11 1.03 1.00 2/78 31505
/proc/meminfo: memFree=819184/2055920 swapFree=4192956/4192956
[pid=31504] ppid=31502 vsize=608288 CPUtime=25.47
/proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 155581 0 0 0 2466 81 0 0 25 0 1 0 13396410 622886912 147297 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31504/statm: 152072 147298 131 317 0 151751 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 608288

[startup+51.1012 s]
/proc/loadavg: 1.07 1.03 1.00 2/78 31505
/proc/meminfo: memFree=313904/2055920 swapFree=4192956/4192956
[pid=31504] ppid=31502 vsize=1107788 CPUtime=51.06
/proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 279841 0 0 0 4972 134 0 0 25 0 1 0 13396410 1134374912 271557 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31504/statm: 276947 271557 137 317 0 276626 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 1107788

[startup+102.306 s]
/proc/loadavg: 1.03 1.02 1.00 2/78 31505
/proc/meminfo: memFree=223792/2055920 swapFree=4192956/4192956
[pid=31504] ppid=31502 vsize=1200324 CPUtime=102.25
/proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 302961 0 0 0 10081 144 0 0 25 0 1 0 13396410 1229131776 294012 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385209 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31504/statm: 300081 294012 139 317 0 299760 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 1200324

[startup+162.301 s]
/proc/loadavg: 1.01 1.02 1.00 2/78 31505
/proc/meminfo: memFree=223792/2055920 swapFree=4192956/4192956
[pid=31504] ppid=31502 vsize=1200324 CPUtime=162.22
/proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 302961 0 0 0 16078 144 0 0 25 0 1 0 13396410 1229131776 294012 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31504/statm: 300081 294012 139 317 0 299760 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 1200324

[startup+222.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 31505
/proc/meminfo: memFree=223920/2055920 swapFree=4192956/4192956
[pid=31504] ppid=31502 vsize=1200324 CPUtime=222.2
/proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 302963 0 0 0 22075 145 0 0 25 0 1 0 13396410 1229131776 294014 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606698 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31504/statm: 300081 294014 139 317 0 299760 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 1200324

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31505
/proc/meminfo: memFree=223920/2055920 swapFree=4192956/4192956
[pid=31504] ppid=31502 vsize=1200324 CPUtime=282.17
/proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 302963 0 0 0 28072 145 0 0 25 0 1 0 13396410 1229131776 294014 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31504/statm: 300081 294014 139 317 0 299760 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 1200324

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31505
/proc/meminfo: memFree=223856/2055920 swapFree=4192956/4192956
[pid=31504] ppid=31502 vsize=1200324 CPUtime=342.16
/proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 302963 0 0 0 34070 146 0 0 25 0 1 0 13396410 1229131776 294014 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31504/statm: 300081 294014 139 317 0 299760 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 1200324

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31505
/proc/meminfo: memFree=223856/2055920 swapFree=4192956/4192956
[pid=31504] ppid=31502 vsize=1200324 CPUtime=402.13
/proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 302965 0 0 0 40067 146 0 0 25 0 1 0 13396410 1229131776 294016 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385236 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31504/statm: 300081 294016 139 317 0 299760 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 1200324

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31505
/proc/meminfo: memFree=223856/2055920 swapFree=4192956/4192956
[pid=31504] ppid=31502 vsize=1200324 CPUtime=462.11
/proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 302965 0 0 0 46064 147 0 0 25 0 1 0 13396410 1229131776 294016 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31504/statm: 300081 294016 139 317 0 299760 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 1200324

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31505
/proc/meminfo: memFree=223856/2055920 swapFree=4192956/4192956
[pid=31504] ppid=31502 vsize=1200324 CPUtime=522.09
/proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 302965 0 0 0 52062 147 0 0 25 0 1 0 13396410 1229131776 294016 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385198 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31504/statm: 300081 294016 139 317 0 299760 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 1200324

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31505
/proc/meminfo: memFree=223664/2055920 swapFree=4192956/4192956
[pid=31504] ppid=31502 vsize=1200456 CPUtime=582.07
/proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 303036 0 0 0 58059 148 0 0 25 0 1 0 13396410 1229266944 294087 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31504/statm: 300114 294087 170 317 0 299793 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 1200456

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31505
/proc/meminfo: memFree=223472/2055920 swapFree=4192956/4192956
[pid=31504] ppid=31502 vsize=1200584 CPUtime=642.05
/proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 303082 0 0 0 64057 148 0 0 25 0 1 0 13396410 1229398016 294133 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31504/statm: 300146 294133 170 317 0 299825 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 1200584


################
# More data... #
################

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31505
/proc/meminfo: memFree=221168/2055920 swapFree=4192956/4192956
[pid=31504] ppid=31502 vsize=1202936 CPUtime=1001.91
/proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 303668 0 0 0 100040 151 0 0 25 0 1 0 13396410 1231806464 294719 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384501 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31504/statm: 300734 294719 170 317 0 300413 0
Current children cumulated CPU time (s) 1001.91
Current children cumulated vsize (KiB) 1202936

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31505
/proc/meminfo: memFree=220784/2055920 swapFree=4192956/4192956
[pid=31504] ppid=31502 vsize=1203328 CPUtime=1061.9
/proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 303757 0 0 0 106038 152 0 0 25 0 1 0 13396410 1232207872 294808 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31504/statm: 300832 294808 170 317 0 300511 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 1203328

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31505
/proc/meminfo: memFree=220528/2055920 swapFree=4192956/4192956
[pid=31504] ppid=31502 vsize=1203580 CPUtime=1121.87
/proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 303821 0 0 0 112035 152 0 0 25 0 1 0 13396410 1232465920 294872 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606845 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31504/statm: 300895 294872 170 317 0 300574 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 1203580

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31505
/proc/meminfo: memFree=220272/2055920 swapFree=4192956/4192956
[pid=31504] ppid=31502 vsize=1203840 CPUtime=1181.85
/proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 303900 0 0 0 118032 153 0 0 25 0 1 0 13396410 1232732160 294951 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385274 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31504/statm: 300960 294951 170 317 0 300639 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 1203840

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31505
/proc/meminfo: memFree=219824/2055920 swapFree=4192956/4192956
[pid=31504] ppid=31502 vsize=1204236 CPUtime=1241.83
/proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 304004 0 0 0 124030 153 0 0 25 0 1 0 13396410 1233137664 295055 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385274 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31504/statm: 301059 295055 170 317 0 300738 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 1204236

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31505
/proc/meminfo: memFree=218992/2055920 swapFree=4192956/4192956
[pid=31504] ppid=31502 vsize=1205032 CPUtime=1301.81
/proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 304200 0 0 0 130027 154 0 0 25 0 1 0 13396410 1233952768 295251 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385198 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31504/statm: 301258 295251 170 317 0 300937 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 1205032

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31505
/proc/meminfo: memFree=218672/2055920 swapFree=4192956/4192956
[pid=31504] ppid=31502 vsize=1205304 CPUtime=1361.78
/proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 304271 0 0 0 136024 154 0 0 25 0 1 0 13396410 1234231296 295322 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606843 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31504/statm: 301326 295322 170 317 0 301005 0
Current children cumulated CPU time (s) 1361.78
Current children cumulated vsize (KiB) 1205304

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31505
/proc/meminfo: memFree=218416/2055920 swapFree=4192956/4192956
[pid=31504] ppid=31502 vsize=1205692 CPUtime=1421.77
/proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 304356 0 0 0 142022 155 0 0 25 0 1 0 13396410 1234628608 295407 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31504/statm: 301423 295407 170 317 0 301102 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 1205692

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31505
/proc/meminfo: memFree=218160/2055920 swapFree=4192956/4192956
[pid=31504] ppid=31502 vsize=1205940 CPUtime=1481.74
/proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 304411 0 0 0 148019 155 0 0 25 0 1 0 13396410 1234882560 295462 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31504/statm: 301485 295462 170 317 0 301164 0
Current children cumulated CPU time (s) 1481.74
Current children cumulated vsize (KiB) 1205940

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31505
/proc/meminfo: memFree=217904/2055920 swapFree=4192956/4192956
[pid=31504] ppid=31502 vsize=1206200 CPUtime=1541.73
/proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 304479 0 0 0 154017 156 0 0 25 0 1 0 13396410 1235148800 295530 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606679 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31504/statm: 301550 295530 170 317 0 301229 0
Current children cumulated CPU time (s) 1541.73
Current children cumulated vsize (KiB) 1206200

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31505
/proc/meminfo: memFree=217648/2055920 swapFree=4192956/4192956
[pid=31504] ppid=31502 vsize=1206464 CPUtime=1601.7
/proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 304540 0 0 0 160014 156 0 0 25 0 1 0 13396410 1235419136 295591 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31504/statm: 301616 295591 170 317 0 301295 0
Current children cumulated CPU time (s) 1601.7
Current children cumulated vsize (KiB) 1206464

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31505
/proc/meminfo: memFree=217392/2055920 swapFree=4192956/4192956
[pid=31504] ppid=31502 vsize=1206716 CPUtime=1661.68
/proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 304617 0 0 0 166011 157 0 0 25 0 1 0 13396410 1235677184 295668 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606869 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31504/statm: 301679 295668 170 317 0 301358 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 1206716

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31505
/proc/meminfo: memFree=217136/2055920 swapFree=4192956/4192956
[pid=31504] ppid=31502 vsize=1206852 CPUtime=1721.66
/proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 304666 0 0 0 172009 157 0 0 25 0 1 0 13396410 1235816448 295717 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385236 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31504/statm: 301713 295717 170 317 0 301392 0
Current children cumulated CPU time (s) 1721.66
Current children cumulated vsize (KiB) 1206852

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 31505
/proc/meminfo: memFree=216816/2055920 swapFree=4192956/4192956
[pid=31504] ppid=31502 vsize=1207240 CPUtime=1781.63
/proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 304751 0 0 0 178006 157 0 0 25 0 1 0 13396410 1236213760 295802 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385190 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31504/statm: 301810 295802 170 317 0 301489 0
Current children cumulated CPU time (s) 1781.63
Current children cumulated vsize (KiB) 1207240



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31505
/proc/meminfo: memFree=216752/2055920 swapFree=4192956/4192956
[pid=31504] ppid=31502 vsize=1207240 CPUtime=1800.04
/proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 304763 0 0 0 179846 158 0 0 25 0 1 0 13396410 1236213760 295814 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31504/statm: 301810 295814 170 317 0 301489 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1207240

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

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31505
/proc/meminfo: memFree=216752/2055920 swapFree=4192956/4192956
[pid=31504] ppid=31502 vsize=1143900 CPUtime=1800.72
/proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 304779 0 0 0 179914 158 0 0 25 0 1 0 13396410 1171353600 280646 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135266299 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31504/statm: 285975 280646 186 317 0 285654 0
Current children cumulated CPU time (s) 1800.72
Current children cumulated vsize (KiB) 1143900

[startup+1801.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 31505
/proc/meminfo: memFree=216752/2055920 swapFree=4192956/4192956
[pid=31504] ppid=31502 vsize=0 CPUtime=1800.93
/proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194308 304779 0 0 0 179932 161 0 0 25 0 1 0 13396410 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31504/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.93
Current children cumulated vsize (KiB) 0

[startup+1801.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 31506
/proc/meminfo: memFree=1076648/2055920 swapFree=4192956/4192956
[pid=31504] ppid=31502 vsize=0 CPUtime=1801.03
/proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194308 304779 0 0 0 179932 171 0 0 25 0 1 0 13396410 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31504/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1801.03
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1801.75
CPU time (s): 1801.09
CPU user time (s): 1799.33
CPU system time (s): 1.76473
CPU usage (%): 99.9632
Max. virtual memory (cumulated for all children) (KiB): 1207240

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.33
system time used= 1.76473
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 304779
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= 2731

runsolver used 2.17667 second user time and 4.38833 second system time

The end

Launcher Data (download as text)

Begin job on node40 on Tue Apr 17 21:26:08 UTC 2007

IDJOB= 356845
IDBENCH= 1503
IDSOLVER= 172
FILE ID= node40/356845-1176845157

PBS_JOBID= 4590176

Free space on /tmp= 66426 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-MEDINT/reduced/mps-v2-20-10/plato.asu.edu/pub/lptestset/fome/normalized-reduced-mps-v2-20-10-fome13.opb
COMMAND LINE= oree /tmp/evaluation/356845-1176845157/instance-356845-1176845157.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node40/watcher-356845-1176845157 -o ROOT/results/node40/solver-356845-1176845157 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/356845-1176845157/instance-356845-1176845157.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  dc68c84ca9a12d789f4fef65e97f0e43

RANDOM SEED= 115583888

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node40.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.283
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.283
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:       1401488 kB
Buffers:         40956 kB
Cached:         438512 kB
SwapCached:          0 kB
Active:         198228 kB
Inactive:       383604 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1401488 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:          124036 kB
Writeback:           0 kB
Mapped:         121260 kB
Slab:            58028 kB
Committed_AS:   246776 kB
PageTables:       1864 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= 66426 MiB

End job on node40 on Tue Apr 17 21:56:11 UTC 2007