Trace number 357266

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.46 1801.13

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-dano3_3.opb
MD5SUM1c7fb7925778882f8c8001dcd3838f28
Bench CategoryOPT-BIGINT (optimisation, big 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 variables404796
Total number of constraints3709
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)3
Number of constraints which are nor clauses,nor cardinality constraints3706
Minimum length of a constraint11
Maximum length of a constraint15900
Number of terms in the objective function 30
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 1073741823
Number of bits of the sum of numbers in the objective function 30
Biggest number in a constraint 134217728000
Number of bits of the biggest number in a constraint 37
Biggest sum of numbers in a constraint 569083166190
Number of bits of the biggest sum of numbers40
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...
8.89/8.99	c ...done
8.89/8.99	c #vars=404796 #constraints=4934 hasObjective=yes
14.98/15.02	c res. mode=mod
14.98/15.02	c VSIDS like heuristics
14.98/15.02	c complete search running
23.79/23.83	c restart after 401 decisions
27.49/27.58	c nbDecision=500 #constraints=4934
31.48/31.57	c restart after 801 decisions
37.38/37.46	c nbDecision=1000 #constraints=4936
44.18/44.25	c nbDecision=1500 #constraints=5251
46.48/46.54	c restart after 1601 decisions
54.88/54.92	c nbDecision=2000 #constraints=5362
61.27/61.34	c nbDecision=2500 #constraints=5764
69.77/69.90	c nbDecision=3000 #constraints=6244
73.36/73.45	c restart after 3201 decisions
81.26/81.38	c nbDecision=3500 #constraints=6426
89.46/89.58	c nbDecision=4000 #constraints=6747
101.65/101.71	c nbDecision=4500 #constraints=7223
117.85/117.98	c nbDecision=5000 #constraints=7713
135.34/135.42	c nbDecision=5500 #constraints=8201
157.63/157.75	c nbDecision=6000 #constraints=8687
177.33/177.40	c restart after 6401 decisions
183.43/183.58	c nbDecision=6500 #constraints=9082
192.72/192.87	c nbDecision=7000 #constraints=9156
200.52/200.64	c nbDecision=7500 #constraints=9327
204.52/204.61	c nbDecision=8000 #constraints=9420
212.91/213.02	c nbDecision=8500 #constraints=9684
219.71/219.81	c nbDecision=9000 #constraints=9905
227.21/227.35	c nbDecision=9500 #constraints=10132
234.41/234.59	c nbDecision=10000 #constraints=10324
242.30/242.46	c nbDecision=10500 #constraints=10515
252.40/252.57	c nbDecision=11000 #constraints=10744
264.39/264.54	c nbDecision=11500 #constraints=10999
275.39/275.53	c nbDecision=12000 #constraints=11216
293.78/293.91	c nbDecision=12500 #constraints=11547
309.58/309.76	c restart after 12801 decisions
321.88/322.02	c nbDecision=13000 #constraints=11803
335.87/336.04	c nbDecision=13500 #constraints=12060
356.76/356.95	c nbDecision=14000 #constraints=12551
380.56/380.77	c nbDecision=14500 #constraints=13049
414.54/414.71	c nbDecision=15000 #constraints=13544
447.53/447.79	c nbDecision=15500 #constraints=14021
483.01/483.25	c nbDecision=16000 #constraints=14499
521.90/522.17	c nbDecision=16500 #constraints=14988
557.78/558.09	c nbDecision=17000 #constraints=15455
597.78/598.08	c nbDecision=17500 #constraints=15930
639.36/639.60	c nbDecision=18000 #constraints=16407
676.54/676.83	c nbDecision=18500 #constraints=16899
729.42/729.78	c nbDecision=19000 #constraints=17389
788.70/789.02	c nbDecision=19500 #constraints=17877
846.08/846.48	c nbDecision=20000 #constraints=18368
915.86/916.27	c nbDecision=20500 #constraints=18866
989.02/989.45	c nbDecision=21000 #constraints=19353
1068.10/1068.55	c nbDecision=21500 #constraints=19849
1148.27/1148.78	c nbDecision=22000 #constraints=20339
1237.73/1238.24	c nbDecision=22500 #constraints=20832
1317.31/1317.81	c nbDecision=23000 #constraints=21319
1410.37/1410.94	c nbDecision=23500 #constraints=21816
1499.85/1500.42	c nbDecision=24000 #constraints=22304
1602.00/1602.69	c nbDecision=24500 #constraints=22799
1703.17/1703.87	c nbDecision=25000 #constraints=23294
1800.03/1800.71	Received signal 15
1800.13/1800.83	
1800.13/1800.83	s UNKNOWN
1800.13/1800.83	
1800.13/1800.83	c user time= 1798.96 s
1800.13/1800.83	c system time= 1.20682 s
1800.13/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/node42/watcher-357266-1176992866 -o ROOT/results/node42/solver-357266-1176992866 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357266-1176992866/instance-357266-1176992866.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.00 0.99 0.98 3/77 8013
/proc/meminfo: memFree=1505264/2055920 swapFree=4133196/4192956
[pid=8013] ppid=8011 vsize=1468 CPUtime=0
/proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 147198659 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8013/statm: 367 161 131 317 0 46 0

[startup+0.039262 s]
/proc/loadavg: 1.00 0.99 0.98 3/77 8013
/proc/meminfo: memFree=1505264/2055920 swapFree=4133196/4192956
[pid=8013] ppid=8011 vsize=2148 CPUtime=0.03
/proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 339 0 0 0 3 0 0 0 18 0 1 0 147198659 2199552 321 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8013/statm: 537 322 131 317 0 216 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2148

[startup+0.101275 s]
/proc/loadavg: 1.00 0.99 0.98 3/77 8013
/proc/meminfo: memFree=1505264/2055920 swapFree=4133196/4192956
[pid=8013] ppid=8011 vsize=3564 CPUtime=0.09
/proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 641 0 0 0 9 0 0 0 18 0 1 0 147198659 3649536 623 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8013/statm: 891 623 131 317 0 570 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3564

[startup+0.301312 s]
/proc/loadavg: 1.00 0.99 0.98 3/77 8013
/proc/meminfo: memFree=1505264/2055920 swapFree=4133196/4192956
[pid=8013] ppid=8011 vsize=7996 CPUtime=0.29
/proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 1624 0 0 0 29 0 0 0 19 0 1 0 147198659 8187904 1606 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8013/statm: 1999 1606 131 317 0 1678 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7996

[startup+0.701388 s]
/proc/loadavg: 1.00 0.99 0.98 3/77 8013
/proc/meminfo: memFree=1505264/2055920 swapFree=4133196/4192956
[pid=8013] ppid=8011 vsize=16872 CPUtime=0.69
/proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 3580 0 0 0 68 1 0 0 22 0 1 0 147198659 17276928 3562 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8013/statm: 4218 3562 131 317 0 3897 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16872

[startup+1.50154 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 8014
/proc/meminfo: memFree=1485544/2055920 swapFree=4133196/4192956
[pid=8013] ppid=8011 vsize=34600 CPUtime=1.49
/proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 7477 0 0 0 147 2 0 0 25 0 1 0 147198659 35430400 7459 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8013/statm: 8650 7459 131 317 0 8329 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 34600

[startup+3.10184 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 8014
/proc/meminfo: memFree=1463912/2055920 swapFree=4133196/4192956
[pid=8013] ppid=8011 vsize=68412 CPUtime=3.09
/proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 14990 0 0 0 303 6 0 0 25 0 1 0 147198659 70053888 14972 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8013/statm: 17103 14972 131 317 0 16782 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 68412

[startup+6.30145 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 8014
/proc/meminfo: memFree=1402088/2055920 swapFree=4133196/4192956
[pid=8013] ppid=8011 vsize=125300 CPUtime=6.29
/proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 30145 0 0 0 614 15 0 0 25 0 1 0 147198659 128307200 28906 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8013/statm: 31325 28906 131 317 0 31004 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 125300

[startup+12.7017 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 8014
/proc/meminfo: memFree=1312424/2055920 swapFree=4133196/4192956
[pid=8013] ppid=8011 vsize=204684 CPUtime=12.69
/proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 49930 0 0 0 1243 26 0 0 25 0 1 0 147198659 209596416 48328 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602739 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8013/statm: 51171 48328 137 317 0 50850 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 204684

[startup+25.5011 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 8014
/proc/meminfo: memFree=1286248/2055920 swapFree=4133196/4192956
[pid=8013] ppid=8011 vsize=230612 CPUtime=25.49
/proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 56531 0 0 0 2520 29 0 0 25 0 1 0 147198659 236146688 54825 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8013/statm: 57653 54825 138 317 0 57332 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 230612

[startup+51.102 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 8014
/proc/meminfo: memFree=1271016/2055920 swapFree=4133196/4192956
[pid=8013] ppid=8011 vsize=246304 CPUtime=51.08
/proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 60439 0 0 0 5077 31 0 0 25 0 1 0 147198659 252215296 58699 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8013/statm: 61576 58699 170 317 0 61255 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 246304

[startup+102.306 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 8014
/proc/meminfo: memFree=1207272/2055920 swapFree=4133196/4192956
[pid=8013] ppid=8011 vsize=312972 CPUtime=102.25
/proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 76379 0 0 0 10188 37 0 0 25 0 1 0 147198659 320483328 74639 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384501 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8013/statm: 78243 74639 170 317 0 77922 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 312972

[startup+162.301 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 8014
/proc/meminfo: memFree=1154984/2055920 swapFree=4133256/4192956
[pid=8013] ppid=8011 vsize=367228 CPUtime=162.23
/proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 89490 0 0 0 16179 44 0 0 25 0 1 0 147198659 376041472 87750 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8013/statm: 91807 87750 170 317 0 91486 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 367228

[startup+222.302 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 8014
/proc/meminfo: memFree=1083880/2055920 swapFree=4133256/4192956
[pid=8013] ppid=8011 vsize=447760 CPUtime=222.21
/proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 107353 0 0 0 22171 50 0 0 25 0 1 0 147198659 458506240 105527 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713792 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8013/statm: 111940 105527 170 317 0 111619 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 447760

[startup+282.302 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 8014
/proc/meminfo: memFree=980776/2055920 swapFree=4133312/4192956
[pid=8013] ppid=8011 vsize=567380 CPUtime=282.19
/proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 133320 0 0 0 28161 58 0 0 25 0 1 0 147198659 580997120 131448 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8013/statm: 141845 131448 170 317 0 141524 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 567380

[startup+342.302 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 8014
/proc/meminfo: memFree=905768/2055920 swapFree=4133312/4192956
[pid=8013] ppid=8011 vsize=661280 CPUtime=342.17
/proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 151822 0 0 0 34151 66 0 0 25 0 1 0 147198659 677150720 149908 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8013/statm: 165320 149908 170 317 0 164999 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 661280

[startup+402.302 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 8014
/proc/meminfo: memFree=867624/2055920 swapFree=4133312/4192956
[pid=8013] ppid=8011 vsize=702608 CPUtime=402.15
/proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 161397 0 0 0 40145 70 0 0 25 0 1 0 147198659 719470592 159483 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712585 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8013/statm: 175652 159483 170 317 0 175331 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 702608

[startup+462.301 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 8014
/proc/meminfo: memFree=833128/2055920 swapFree=4133372/4192956
[pid=8013] ppid=8011 vsize=741364 CPUtime=462.13
/proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 169891 0 0 0 46138 75 0 0 25 0 1 0 147198659 759156736 167977 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564062 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8013/statm: 185341 167977 170 317 0 185020 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 741364

[startup+522.302 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 8014
/proc/meminfo: memFree=808296/2055920 swapFree=4133372/4192956
[pid=8013] ppid=8011 vsize=764976 CPUtime=522.1
/proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 176126 0 0 0 52131 79 0 0 25 0 1 0 147198659 783335424 174212 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8013/statm: 191244 174212 170 317 0 190923 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 764976

[startup+582.301 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 8014
/proc/meminfo: memFree=785320/2055920 swapFree=4133432/4192956
[pid=8013] ppid=8011 vsize=786008 CPUtime=582.08
/proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 181830 0 0 0 58126 82 0 0 25 0 1 0 147198659 804872192 179916 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8013/statm: 196502 179916 170 317 0 196181 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 786008

[startup+642.301 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 8014
/proc/meminfo: memFree=763816/2055920 swapFree=4133432/4192956
[pid=8013] ppid=8011 vsize=806152 CPUtime=642.06
/proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 187188 0 0 0 64121 85 0 0 25 0 1 0 147198659 825499648 185274 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8013/statm: 201538 185274 170 317 0 201217 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 806152


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

[startup+942.302 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 8016
/proc/meminfo: memFree=658600/2055920 swapFree=4133540/4192956
[pid=8013] ppid=8011 vsize=931352 CPUtime=941.94
/proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 213431 0 0 0 94097 97 0 0 25 0 1 0 147198659 953704448 211517 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8013/statm: 232838 211517 170 317 0 232517 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 931352

[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 8016
/proc/meminfo: memFree=645352/2055920 swapFree=4133540/4192956
[pid=8013] ppid=8011 vsize=945028 CPUtime=1001.92
/proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 216726 0 0 0 100093 99 0 0 25 0 1 0 147198659 967708672 214812 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8013/statm: 236257 214812 170 317 0 235936 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 945028

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 8016
/proc/meminfo: memFree=625960/2055920 swapFree=4133600/4192956
[pid=8013] ppid=8011 vsize=970844 CPUtime=1061.9
/proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 221728 0 0 0 106089 101 0 0 25 0 1 0 147198659 994144256 219680 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8013/statm: 242711 219680 170 317 0 242390 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 970844

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 8016
/proc/meminfo: memFree=611048/2055920 swapFree=4133600/4192956
[pid=8013] ppid=8011 vsize=987312 CPUtime=1121.87
/proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 225390 0 0 0 112085 102 0 0 25 0 1 0 147198659 1011007488 223342 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8013/statm: 246828 223342 170 317 0 246507 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 987312

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 8016
/proc/meminfo: memFree=597352/2055920 swapFree=4133648/4192956
[pid=8013] ppid=8011 vsize=1000668 CPUtime=1181.85
/proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 228837 0 0 0 118081 104 0 0 25 0 1 0 147198659 1024684032 226789 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278901 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8013/statm: 250167 226789 170 317 0 249846 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 1000668

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 8016
/proc/meminfo: memFree=584296/2055920 swapFree=4133648/4192956
[pid=8013] ppid=8011 vsize=1012312 CPUtime=1241.83
/proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 232030 0 0 0 124077 106 0 0 25 0 1 0 147198659 1036607488 229982 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8013/statm: 253078 229982 170 317 0 252757 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 1012312

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 8016
/proc/meminfo: memFree=571880/2055920 swapFree=4133704/4192956
[pid=8013] ppid=8011 vsize=1024480 CPUtime=1301.82
/proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 235129 0 0 0 130074 108 0 0 25 0 1 0 147198659 1049067520 233081 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8013/statm: 256120 233081 170 317 0 255799 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 1024480

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 8016
/proc/meminfo: memFree=560232/2055920 swapFree=4133704/4192956
[pid=8013] ppid=8011 vsize=1035676 CPUtime=1361.79
/proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 238053 0 0 0 136070 109 0 0 25 0 1 0 147198659 1060532224 236005 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604419 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8013/statm: 258919 236005 170 317 0 258598 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 1035676

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 8016
/proc/meminfo: memFree=549352/2055920 swapFree=4133704/4192956
[pid=8013] ppid=8011 vsize=1045536 CPUtime=1421.77
/proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 240728 0 0 0 142066 111 0 0 25 0 1 0 147198659 1070628864 238680 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134593368 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8013/statm: 261384 238680 170 317 0 261063 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 1045536

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 8016
/proc/meminfo: memFree=538280/2055920 swapFree=4133760/4192956
[pid=8013] ppid=8011 vsize=1056088 CPUtime=1481.74
/proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 243507 0 0 0 148062 112 0 0 25 0 1 0 147198659 1081434112 241459 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8013/statm: 264022 241459 170 317 0 263701 0
Current children cumulated CPU time (s) 1481.74
Current children cumulated vsize (KiB) 1056088

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 8016
/proc/meminfo: memFree=527720/2055920 swapFree=4133760/4192956
[pid=8013] ppid=8011 vsize=1066708 CPUtime=1541.72
/proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 246139 0 0 0 154059 113 0 0 25 0 1 0 147198659 1092308992 244091 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8013/statm: 266677 244091 170 317 0 266356 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 1066708

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 8016
/proc/meminfo: memFree=516072/2055920 swapFree=4133820/4192956
[pid=8013] ppid=8011 vsize=1077224 CPUtime=1601.7
/proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 249084 0 0 0 160055 115 0 0 25 0 1 0 147198659 1103077376 247036 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718560 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8013/statm: 269306 247036 170 317 0 268985 0
Current children cumulated CPU time (s) 1601.7
Current children cumulated vsize (KiB) 1077224

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 8016
/proc/meminfo: memFree=505832/2055920 swapFree=4133820/4192956
[pid=8013] ppid=8011 vsize=1086660 CPUtime=1661.68
/proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 251600 0 0 0 166051 117 0 0 25 0 1 0 147198659 1112739840 249552 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8013/statm: 271665 249552 170 317 0 271344 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 1086660

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 8016
/proc/meminfo: memFree=495912/2055920 swapFree=4133820/4192956
[pid=8013] ppid=8011 vsize=1096796 CPUtime=1721.66
/proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 254077 0 0 0 172047 119 0 0 25 0 1 0 147198659 1123119104 252029 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8013/statm: 274199 252029 170 317 0 273878 0
Current children cumulated CPU time (s) 1721.66
Current children cumulated vsize (KiB) 1096796

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 8016
/proc/meminfo: memFree=485352/2055920 swapFree=4133880/4192956
[pid=8013] ppid=8011 vsize=1106340 CPUtime=1781.63
/proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 256706 0 0 0 178043 120 0 0 25 0 1 0 147198659 1132892160 254658 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8013/statm: 276585 254658 170 317 0 276264 0
Current children cumulated CPU time (s) 1781.63
Current children cumulated vsize (KiB) 1106340



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 8016
/proc/meminfo: memFree=482408/2055920 swapFree=4133880/4192956
[pid=8013] ppid=8011 vsize=1109172 CPUtime=1800.03
/proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 257422 0 0 0 179883 120 0 0 25 0 1 0 147198659 1135792128 255374 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8013/statm: 277293 255374 170 317 0 276972 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1109172

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: 1.00 0.99 0.98 2/78 8016
/proc/meminfo: memFree=482408/2055920 swapFree=4133880/4192956
[pid=8013] ppid=8011 vsize=0 CPUtime=1800.33
/proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194308 257444 0 0 0 179909 124 0 0 25 0 1 0 147198659 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8013/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: 1.00 0.99 0.98 2/78 8016
/proc/meminfo: memFree=482408/2055920 swapFree=4133880/4192956
[pid=8013] ppid=8011 vsize=0 CPUtime=1800.43
/proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194308 257444 0 0 0 179909 134 0 0 25 0 1 0 147198659 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8013/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.13
CPU time (s): 1800.46
CPU user time (s): 1799.09
CPU system time (s): 1.36879
CPU usage (%): 99.963
Max. virtual memory (cumulated for all children) (KiB): 1109300

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

runsolver used 1.91971 second user time and 4.64329 second system time

The end

Launcher Data (download as text)

Begin job on node42 on Thu Apr 19 14:27:48 UTC 2007

IDJOB= 357266
IDBENCH= 2329
IDSOLVER= 172
FILE ID= node42/357266-1176992866

PBS_JOBID= 4630465

Free space on /tmp= 66416 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/milp/normalized-mps-v2-20-10-dano3_3.opb
COMMAND LINE= oree /tmp/evaluation/357266-1176992866/instance-357266-1176992866.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node42/watcher-357266-1176992866 -o ROOT/results/node42/solver-357266-1176992866 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357266-1176992866/instance-357266-1176992866.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  1c7fb7925778882f8c8001dcd3838f28

RANDOM SEED= 275427789

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node42.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.277
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.277
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:       1505608 kB
Buffers:         36416 kB
Cached:         424300 kB
SwapCached:      18004 kB
Active:         128040 kB
Inactive:       364328 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1505608 kB
SwapTotal:     4192956 kB
SwapFree:      4133196 kB
Dirty:           33708 kB
Writeback:           0 kB
Mapped:          39024 kB
Slab:            43276 kB
Committed_AS:  2996388 kB
PageTables:       1912 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= 66416 MiB

End job on node42 on Thu Apr 19 14:57:51 UTC 2007