Trace number 357242

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) 1800.45 1801.11

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-n3700.opb
MD5SUM86879a5871daa11ed8529c30e9ca3bf0
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark4726350847
Best CPU time to get the best result obtained on this benchmark1804.11
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4726350847
Optimality of the best value was proved NO
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 4294967296
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 29631666774144
Number of bits of the sum of numbers in the objective function 45
Biggest number in a constraint 4294967296
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 29631666774144
Number of bits of the biggest sum of numbers45
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...
2.29/2.35	c ...done
2.29/2.35	c #vars=155000 #constraints=5301 hasObjective=yes
4.19/4.28	c res. mode=mod
4.19/4.28	c VSIDS like heuristics
4.19/4.28	c complete search running
5.49/5.56	c restart after 401 decisions
5.69/5.79	c nbDecision=500 #constraints=5301
6.39/6.48	c restart after 801 decisions
6.89/6.94	c nbDecision=1000 #constraints=5301
7.99/8.08	c nbDecision=1500 #constraints=5301
8.29/8.31	c restart after 1601 decisions
9.19/9.22	c nbDecision=2000 #constraints=5301
10.29/10.37	c nbDecision=2500 #constraints=5301
11.49/11.51	c nbDecision=3000 #constraints=5301
11.89/11.97	c restart after 3201 decisions
12.59/12.65	c nbDecision=3500 #constraints=5301
13.69/13.79	c nbDecision=4000 #constraints=5301
14.89/14.92	c nbDecision=4500 #constraints=5301
15.99/16.05	c nbDecision=5000 #constraints=5301
17.09/17.18	c nbDecision=5500 #constraints=5301
18.29/18.31	c nbDecision=6000 #constraints=5301
19.18/19.21	c restart after 6401 decisions
19.38/19.44	c nbDecision=6500 #constraints=5301
20.48/20.57	c nbDecision=7000 #constraints=5301
21.68/21.71	c nbDecision=7500 #constraints=5301
22.78/22.84	c nbDecision=8000 #constraints=5301
23.88/23.98	c nbDecision=8500 #constraints=5301
25.08/25.12	c nbDecision=9000 #constraints=5301
26.18/26.26	c nbDecision=9500 #constraints=5301
27.28/27.39	c nbDecision=10000 #constraints=5301
28.48/28.56	c nbDecision=10500 #constraints=5302
29.58/29.68	c nbDecision=11000 #constraints=5302
30.78/30.81	c nbDecision=11500 #constraints=5302
31.88/31.94	c nbDecision=12000 #constraints=5302
44.98/45.10	c nbDecision=12500 #constraints=5574
59.97/60.04	c restart after 12801 decisions
60.67/60.72	c nbDecision=13000 #constraints=5872
61.77/61.85	c nbDecision=13500 #constraints=5872
62.87/62.98	c nbDecision=14000 #constraints=5872
64.07/64.12	c nbDecision=14500 #constraints=5872
65.17/65.27	c nbDecision=15000 #constraints=5872
66.37/66.41	c nbDecision=15500 #constraints=5872
67.47/67.55	c nbDecision=16000 #constraints=5872
68.57/68.68	c nbDecision=16500 #constraints=5872
69.87/69.93	c nbDecision=17000 #constraints=5872
71.17/71.23	c nbDecision=17500 #constraints=5872
72.47/72.54	c nbDecision=18000 #constraints=5872
73.77/73.85	c nbDecision=18500 #constraints=5872
103.55/103.65	c nbDecision=19000 #constraints=6247
143.14/143.27	c nbDecision=19500 #constraints=6745
190.42/190.54	c nbDecision=20000 #constraints=7244
245.60/245.74	c nbDecision=20500 #constraints=7744
302.58/302.71	c nbDecision=21000 #constraints=8235
372.76/372.98	c nbDecision=21500 #constraints=8739
445.03/445.28	c nbDecision=22000 #constraints=9230
522.50/522.70	c nbDecision=22500 #constraints=9723
606.87/607.16	c nbDecision=23000 #constraints=10220
702.44/702.70	c nbDecision=23500 #constraints=10721
801.30/801.65	c nbDecision=24000 #constraints=11219
889.36/889.73	c nbDecision=24500 #constraints=11716
997.62/998.04	c nbDecision=25000 #constraints=12216
1119.88/1120.33	c nbDecision=25500 #constraints=12711
1140.57/1141.02	c restart after 25601 decisions
1150.08/1150.59	c nbDecision=26000 #constraints=12817
1151.28/1151.73	c nbDecision=26500 #constraints=12817
1152.37/1152.87	c nbDecision=27000 #constraints=12817
1153.57/1154.01	c nbDecision=27500 #constraints=12817
1154.77/1155.22	c nbDecision=28000 #constraints=12817
1155.87/1156.35	c nbDecision=28500 #constraints=12817
1156.97/1157.48	c nbDecision=29000 #constraints=12817
1158.17/1158.62	c nbDecision=29500 #constraints=12817
1161.37/1161.89	c nbDecision=30000 #constraints=12817
1164.86/1165.33	c nbDecision=30500 #constraints=12817
1168.26/1168.74	c nbDecision=31000 #constraints=12817
1189.56/1190.07	c nbDecision=31500 #constraints=12892
1321.71/1322.24	c nbDecision=32000 #constraints=13396
1456.06/1456.63	c nbDecision=32500 #constraints=13892
1595.20/1595.85	c nbDecision=33000 #constraints=14390
1727.26/1727.94	c nbDecision=33500 #constraints=14892
1800.05/1800.71	Received signal 15
1800.14/1800.83	
1800.14/1800.83	s UNKNOWN
1800.14/1800.83	
1800.14/1800.83	c user time= 1798.61 s
1800.14/1800.83	c system time= 1.56176 s
1800.14/1800.83	c wall clock time=1800.83

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/node46/watcher-357242-1176992171 -o ROOT/results/node46/solver-357242-1176992171 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357242-1176992171/instance-357242-1176992171.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.99 0.97 0.91 3/78 24574
/proc/meminfo: memFree=1592560/2055920 swapFree=4114676/4192956
[pid=24574] ppid=24572 vsize=1468 CPUtime=0
/proc/24574/stat : 24574 (oree) R 24572 24574 24189 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 53900845 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710868 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24574/statm: 367 162 127 317 0 46 0

[startup+0.0626031 s]
/proc/loadavg: 0.99 0.97 0.91 3/78 24574
/proc/meminfo: memFree=1592560/2055920 swapFree=4114676/4192956
[pid=24574] ppid=24572 vsize=2400 CPUtime=0.06
/proc/24574/stat : 24574 (oree) R 24572 24574 24189 0 -1 4194304 486 0 0 0 6 0 0 0 18 0 1 0 53900845 2457600 370 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24574/statm: 600 370 127 317 0 279 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2400

[startup+0.10161 s]
/proc/loadavg: 0.99 0.97 0.91 3/78 24574
/proc/meminfo: memFree=1592560/2055920 swapFree=4114676/4192956
[pid=24574] ppid=24572 vsize=3440 CPUtime=0.09
/proc/24574/stat : 24574 (oree) R 24572 24574 24189 0 -1 4194304 803 0 0 0 9 0 0 0 18 0 1 0 53900845 3522560 558 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24574/statm: 860 558 127 317 0 539 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3440

[startup+0.301646 s]
/proc/loadavg: 0.99 0.97 0.91 3/78 24574
/proc/meminfo: memFree=1592560/2055920 swapFree=4114676/4192956
[pid=24574] ppid=24572 vsize=5520 CPUtime=0.29
/proc/24574/stat : 24574 (oree) R 24572 24574 24189 0 -1 4194304 1653 0 0 0 29 0 0 0 19 0 1 0 53900845 5652480 1151 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24574/statm: 1380 1151 127 317 0 1059 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5520

[startup+0.70172 s]
/proc/loadavg: 0.99 0.97 0.91 3/78 24574
/proc/meminfo: memFree=1592560/2055920 swapFree=4114676/4192956
[pid=24574] ppid=24572 vsize=9548 CPUtime=0.69
/proc/24574/stat : 24574 (oree) R 24572 24574 24189 0 -1 4194304 2791 0 0 0 68 1 0 0 23 0 1 0 53900845 9777152 1776 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270591 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24574/statm: 2387 1776 131 317 0 2066 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9548

[startup+1.50187 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24575
/proc/meminfo: memFree=1580520/2055920 swapFree=4114676/4192956
[pid=24574] ppid=24572 vsize=25520 CPUtime=1.49
/proc/24574/stat : 24574 (oree) R 24572 24574 24189 0 -1 4194304 6388 0 0 0 147 2 0 0 25 0 1 0 53900845 26132480 5373 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24574/statm: 6380 5374 131 317 0 6059 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25520

[startup+3.10116 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24575
/proc/meminfo: memFree=1561832/2055920 swapFree=4114676/4192956
[pid=24574] ppid=24572 vsize=54280 CPUtime=3.09
/proc/24574/stat : 24574 (oree) R 24572 24574 24189 0 -1 4194304 13445 0 0 0 302 7 0 0 25 0 1 0 53900845 55582720 12430 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24574/statm: 13570 12430 137 317 0 13249 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 54280

[startup+6.30175 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24575
/proc/meminfo: memFree=1538472/2055920 swapFree=4114676/4192956
[pid=24574] ppid=24572 vsize=59032 CPUtime=6.29
/proc/24574/stat : 24574 (oree) R 24572 24574 24189 0 -1 4194304 14634 0 0 0 622 7 0 0 25 0 1 0 53900845 60448768 13619 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24574/statm: 14758 13619 138 317 0 14437 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 59032

[startup+12.7019 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24575
/proc/meminfo: memFree=1538480/2055920 swapFree=4114676/4192956
[pid=24574] ppid=24572 vsize=59032 CPUtime=12.69
/proc/24574/stat : 24574 (oree) R 24572 24574 24189 0 -1 4194304 14634 0 0 0 1262 7 0 0 25 0 1 0 53900845 60448768 13619 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606848 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24574/statm: 14758 13619 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.99 0.97 0.91 2/79 24575
/proc/meminfo: memFree=1538480/2055920 swapFree=4114676/4192956
[pid=24574] ppid=24572 vsize=59032 CPUtime=25.48
/proc/24574/stat : 24574 (oree) R 24572 24574 24189 0 -1 4194304 14634 0 0 0 2541 7 0 0 25 0 1 0 53900845 60448768 13619 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24574/statm: 14758 13619 138 317 0 14437 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 59032

[startup+51.1011 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24575
/proc/meminfo: memFree=1484464/2055920 swapFree=4114676/4192956
[pid=24574] ppid=24572 vsize=119236 CPUtime=51.07
/proc/24574/stat : 24574 (oree) R 24572 24574 24189 0 -1 4194304 28429 0 0 0 5094 13 0 0 25 0 1 0 53900845 122097664 27373 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284196 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24574/statm: 29809 27373 139 317 0 29488 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 119236

[startup+102.306 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24575
/proc/meminfo: memFree=1412976/2055920 swapFree=4114740/4192956
[pid=24574] ppid=24572 vsize=197040 CPUtime=102.26
/proc/24574/stat : 24574 (oree) R 24572 24574 24189 0 -1 4194304 46071 0 0 0 10206 20 0 0 25 0 1 0 53900845 201768960 45015 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713807 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24574/statm: 49260 45015 170 317 0 48939 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 197040

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24575
/proc/meminfo: memFree=1311600/2055920 swapFree=4114740/4192956
[pid=24574] ppid=24572 vsize=308200 CPUtime=162.23
/proc/24574/stat : 24574 (oree) R 24572 24574 24189 0 -1 4194304 71562 0 0 0 16193 30 0 0 25 0 1 0 53900845 315596800 70501 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24574/statm: 77050 70501 170 317 0 76729 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 308200

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24575
/proc/meminfo: memFree=1213744/2055920 swapFree=4114804/4192956
[pid=24574] ppid=24572 vsize=428636 CPUtime=222.21
/proc/24574/stat : 24574 (oree) R 24572 24574 24189 0 -1 4194304 95791 0 0 0 22181 40 0 0 25 0 1 0 53900845 438923264 94724 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134714788 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24574/statm: 107159 94724 170 317 0 106838 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 428636

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24575
/proc/meminfo: memFree=1154416/2055920 swapFree=4114804/4192956
[pid=24574] ppid=24572 vsize=488844 CPUtime=282.19
/proc/24574/stat : 24574 (oree) R 24572 24574 24189 0 -1 4194304 110704 0 0 0 28171 48 0 0 25 0 1 0 53900845 500576256 109635 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24574/statm: 122211 109635 170 317 0 121890 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 488844

[startup+342.303 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24575
/proc/meminfo: memFree=1095600/2055920 swapFree=4114804/4192956
[pid=24574] ppid=24572 vsize=547692 CPUtime=342.17
/proc/24574/stat : 24574 (oree) R 24572 24574 24189 0 -1 4194304 125312 0 0 0 34164 53 0 0 25 0 1 0 53900845 560836608 124239 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24574/statm: 136923 124239 170 317 0 136602 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 547692

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24575
/proc/meminfo: memFree=1047536/2055920 swapFree=4114868/4192956
[pid=24574] ppid=24572 vsize=597488 CPUtime=402.14
/proc/24574/stat : 24574 (oree) R 24572 24574 24189 0 -1 4194304 137444 0 0 0 40157 57 0 0 25 0 1 0 53900845 611827712 136371 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24574/statm: 149372 136371 170 317 0 149051 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 597488

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24575
/proc/meminfo: memFree=1002800/2055920 swapFree=4114868/4192956
[pid=24574] ppid=24572 vsize=646664 CPUtime=462.12
/proc/24574/stat : 24574 (oree) R 24572 24574 24189 0 -1 4194304 148444 0 0 0 46150 62 0 0 25 0 1 0 53900845 662183936 147362 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24574/statm: 161666 147362 170 317 0 161345 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 646664

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24575
/proc/meminfo: memFree=905072/2055920 swapFree=4114932/4192956
[pid=24574] ppid=24572 vsize=787336 CPUtime=522.1
/proc/24574/stat : 24574 (oree) R 24572 24574 24189 0 -1 4194304 172951 0 0 0 52138 72 0 0 25 0 1 0 53900845 806232064 171859 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24574/statm: 196834 171859 170 317 0 196513 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 787336

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24575
/proc/meminfo: memFree=861616/2055920 swapFree=4114932/4192956
[pid=24574] ppid=24572 vsize=830764 CPUtime=582.08
/proc/24574/stat : 24574 (oree) R 24572 24574 24189 0 -1 4194304 183746 0 0 0 58132 76 0 0 25 0 1 0 53900845 850702336 182648 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24574/statm: 207691 182648 170 317 0 207370 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 830764

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24575
/proc/meminfo: memFree=821808/2055920 swapFree=4114932/4192956
[pid=24574] ppid=24572 vsize=870636 CPUtime=642.06
/proc/24574/stat : 24574 (oree) R 24572 24574 24189 0 -1 4194304 193539 0 0 0 64124 82 0 0 25 0 1 0 53900845 891531264 192437 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24574/statm: 217659 192437 170 317 0 217338 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 870636


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

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24575
/proc/meminfo: memFree=632688/2055920 swapFree=4115060/4192956
[pid=24574] ppid=24572 vsize=1062224 CPUtime=941.95
/proc/24574/stat : 24574 (oree) R 24572 24574 24189 0 -1 4194304 240898 0 0 0 94091 104 0 0 25 0 1 0 53900845 1087717376 239723 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24574/statm: 265556 239723 170 317 0 265235 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 1062224

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24575
/proc/meminfo: memFree=600688/2055920 swapFree=4115124/4192956
[pid=24574] ppid=24572 vsize=1094188 CPUtime=1001.92
/proc/24574/stat : 24574 (oree) R 24572 24574 24189 0 -1 4194304 248829 0 0 0 100085 107 0 0 25 0 1 0 53900845 1120448512 247654 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24574/statm: 273547 247654 170 317 0 273226 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 1094188

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24575
/proc/meminfo: memFree=570608/2055920 swapFree=4115124/4192956
[pid=24574] ppid=24572 vsize=1125084 CPUtime=1061.9
/proc/24574/stat : 24574 (oree) R 24572 24574 24189 0 -1 4194304 256424 0 0 0 106079 111 0 0 25 0 1 0 53900845 1152086016 255249 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563625 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24574/statm: 281271 255249 170 317 0 280950 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 1125084

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24575
/proc/meminfo: memFree=541616/2055920 swapFree=4115188/4192956
[pid=24574] ppid=24572 vsize=1154240 CPUtime=1121.88
/proc/24574/stat : 24574 (oree) R 24572 24574 24189 0 -1 4194304 263629 0 0 0 112074 114 0 0 25 0 1 0 53900845 1181941760 262451 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24574/statm: 288560 262451 170 317 0 288239 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 1154240

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24577
/proc/meminfo: memFree=525040/2055920 swapFree=4115188/4192956
[pid=24574] ppid=24572 vsize=1171244 CPUtime=1181.85
/proc/24574/stat : 24574 (oree) R 24572 24574 24189 0 -1 4194304 267801 0 0 0 118069 116 0 0 25 0 1 0 53900845 1199353856 266623 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24574/statm: 292811 266623 170 317 0 292490 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 1171244

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24577
/proc/meminfo: memFree=498416/2055920 swapFree=4115256/4192956
[pid=24574] ppid=24572 vsize=1199164 CPUtime=1241.83
/proc/24574/stat : 24574 (oree) R 24572 24574 24189 0 -1 4194304 274378 0 0 0 124064 119 0 0 25 0 1 0 53900845 1227943936 273197 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24574/statm: 299791 273197 170 317 0 299470 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 1199164

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24577
/proc/meminfo: memFree=474608/2055920 swapFree=4115256/4192956
[pid=24574] ppid=24572 vsize=1225340 CPUtime=1301.82
/proc/24574/stat : 24574 (oree) R 24572 24574 24189 0 -1 4194304 280251 0 0 0 130059 123 0 0 25 0 1 0 53900845 1254748160 279070 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135266579 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24574/statm: 306335 279070 170 317 0 306014 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 1225340

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24577
/proc/meminfo: memFree=348528/2055920 swapFree=4115256/4192956
[pid=24574] ppid=24572 vsize=1448752 CPUtime=1361.8
/proc/24574/stat : 24574 (oree) R 24572 24574 24189 0 -1 4194304 311732 0 0 0 136045 135 0 0 25 0 1 0 53900845 1483522048 310545 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135277243 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24574/statm: 362188 310545 170 317 0 361867 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 1448752

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24577
/proc/meminfo: memFree=323184/2055920 swapFree=4115320/4192956
[pid=24574] ppid=24572 vsize=1477056 CPUtime=1421.78
/proc/24574/stat : 24574 (oree) R 24572 24574 24189 0 -1 4194304 318034 0 0 0 142041 137 0 0 25 0 1 0 53900845 1512505344 316847 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24574/statm: 369264 316847 170 317 0 368943 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 1477056

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24577
/proc/meminfo: memFree=302768/2055920 swapFree=4115320/4192956
[pid=24574] ppid=24572 vsize=1500220 CPUtime=1481.75
/proc/24574/stat : 24574 (oree) R 24572 24574 24189 0 -1 4194304 323154 0 0 0 148036 139 0 0 25 0 1 0 53900845 1536225280 321963 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24574/statm: 375055 321963 170 317 0 374734 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 1500220

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24577
/proc/meminfo: memFree=270448/2055920 swapFree=4115384/4192956
[pid=24574] ppid=24572 vsize=1529720 CPUtime=1541.72
/proc/24574/stat : 24574 (oree) R 24572 24574 24189 0 -1 4194304 331177 0 0 0 154029 143 0 0 25 0 1 0 53900845 1566433280 329986 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24574/statm: 382430 329986 170 317 0 382109 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 1529720

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24577
/proc/meminfo: memFree=248240/2055920 swapFree=4115384/4192956
[pid=24574] ppid=24572 vsize=1554928 CPUtime=1601.71
/proc/24574/stat : 24574 (oree) R 24572 24574 24189 0 -1 4194304 336787 0 0 0 160025 146 0 0 25 0 1 0 53900845 1592246272 335593 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24574/statm: 388732 335593 170 317 0 388411 0
Current children cumulated CPU time (s) 1601.71
Current children cumulated vsize (KiB) 1554928

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24577
/proc/meminfo: memFree=215472/2055920 swapFree=4115384/4192956
[pid=24574] ppid=24572 vsize=1584504 CPUtime=1661.68
/proc/24574/stat : 24574 (oree) R 24572 24574 24189 0 -1 4194304 344900 0 0 0 166019 149 0 0 25 0 1 0 53900845 1622532096 343706 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602641 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24574/statm: 396126 343706 170 317 0 395805 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 1584504

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24577
/proc/meminfo: memFree=191664/2055920 swapFree=4115448/4192956
[pid=24574] ppid=24572 vsize=1610876 CPUtime=1721.66
/proc/24574/stat : 24574 (oree) R 24572 24574 24189 0 -1 4194304 350864 0 0 0 172014 152 0 0 25 0 1 0 53900845 1649537024 349662 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24574/statm: 402719 349662 170 317 0 402398 0
Current children cumulated CPU time (s) 1721.66
Current children cumulated vsize (KiB) 1610876

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24577
/proc/meminfo: memFree=161584/2055920 swapFree=4115448/4192956
[pid=24574] ppid=24572 vsize=1637532 CPUtime=1781.64
/proc/24574/stat : 24574 (oree) R 24572 24574 24189 0 -1 4194304 358330 0 0 0 178009 155 0 0 25 0 1 0 53900845 1676832768 357122 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24574/statm: 409383 357122 170 317 0 409062 0
Current children cumulated CPU time (s) 1781.64
Current children cumulated vsize (KiB) 1637532



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24577
/proc/meminfo: memFree=154096/2055920 swapFree=4115448/4192956
[pid=24574] ppid=24572 vsize=1645872 CPUtime=1800.05
/proc/24574/stat : 24574 (oree) R 24572 24574 24189 0 -1 4194304 360185 0 0 0 179849 156 0 0 25 0 1 0 53900845 1685372928 358977 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712475 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24574/statm: 411468 358977 170 317 0 411147 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1645872

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

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

[startup+1801 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24577
/proc/meminfo: memFree=154096/2055920 swapFree=4115448/4192956
[pid=24574] ppid=24572 vsize=0 CPUtime=1800.33
/proc/24574/stat : 24574 (oree) R 24572 24574 24189 0 -1 4194308 360201 0 0 0 179865 168 0 0 25 0 1 0 53900845 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24574/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.33
Current children cumulated vsize (KiB) 0

[startup+1801.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24577
/proc/meminfo: memFree=154096/2055920 swapFree=4115448/4192956
[pid=24574] ppid=24572 vsize=0 CPUtime=1800.43
/proc/24574/stat : 24574 (oree) R 24572 24574 24189 0 -1 4194308 360201 0 0 0 179865 178 0 0 25 0 1 0 53900845 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24574/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.43
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1801.11
CPU time (s): 1800.45
CPU user time (s): 1798.66
CPU system time (s): 1.79073
CPU usage (%): 99.9629
Max. virtual memory (cumulated for all children) (KiB): 1645872

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

runsolver used 1.82572 second user time and 4.73928 second system time

The end

Launcher Data (download as text)

Begin job on node46 on Thu Apr 19 14:16:19 UTC 2007

IDJOB= 357242
IDBENCH= 2304
IDSOLVER= 172
FILE ID= node46/357242-1176992171

PBS_JOBID= 4630453

Free space on /tmp= 66075 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  86879a5871daa11ed8529c30e9ca3bf0

RANDOM SEED= 506614248

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node46.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.268
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	: 5931.00
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.268
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:       1593096 kB
Buffers:         37428 kB
Cached:         354956 kB
SwapCached:       2968 kB
Active:         215368 kB
Inactive:       200592 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1593096 kB
SwapTotal:     4192956 kB
SwapFree:      4114676 kB
Dirty:           10040 kB
Writeback:           0 kB
Mapped:          30820 kB
Slab:            32260 kB
Committed_AS:  1949652 kB
PageTables:       1988 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= 66075 MiB

End job on node46 on Thu Apr 19 14:46:21 UTC 2007