Trace number 356869

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.36 1800.99

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-markshare1_1.opb
MD5SUMa432642e9fdf105f945bae55612ade38
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark1800.39
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 7
Optimality of the best value was proved NO
Number of variables280
Total number of constraints11
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 constraints11
Minimum length of a constraint11
Maximum length of a constraint130
Number of terms in the objective function 180
Biggest coefficient in the objective function 43691
Number of bits for the biggest coefficient in the objective function 16
Sum of the numbers in the objective function 524412
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 261245
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 524412
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
0.00/0.00	c ...done
0.00/0.00	c #vars=280 #constraints=18 hasObjective=yes
0.00/0.00	c res. mode=mod
0.00/0.00	c VSIDS like heuristics
0.00/0.00	c complete search running
0.29/0.38	c restart after 401 decisions
0.29/0.38	c nbDecision=500 #constraints=253
0.79/0.83	c restart after 801 decisions
0.89/0.93	c nbDecision=1000 #constraints=520
2.49/2.52	c nbDecision=1500 #constraints=1021
2.79/2.89	c restart after 1601 decisions
4.09/4.15	c nbDecision=2000 #constraints=1373
7.09/7.17	c nbDecision=2500 #constraints=1873
10.99/11.08	c nbDecision=3000 #constraints=2373
12.89/12.96	c restart after 3201 decisions
14.48/14.51	c nbDecision=3500 #constraints=2707
20.19/20.28	c nbDecision=4000 #constraints=3206
27.38/27.44	c nbDecision=4500 #constraints=3706
36.88/36.95	c nbDecision=5000 #constraints=4207
48.78/48.88	c nbDecision=5500 #constraints=4707
61.97/62.06	c nbDecision=6000 #constraints=5207
73.47/73.56	c restart after 6401 decisions
73.87/73.93	c nbDecision=6500 #constraints=5608
90.47/90.51	c nbDecision=7000 #constraints=6041
109.06/109.13	c nbDecision=7500 #constraints=6540
127.65/127.70	c nbDecision=8000 #constraints=7040
148.85/148.93	c nbDecision=8500 #constraints=7541
171.74/171.84	c nbDecision=9000 #constraints=8040
194.14/194.25	c nbDecision=9500 #constraints=8542
215.73/215.82	c nbDecision=10000 #constraints=9040
239.12/239.23	c nbDecision=10500 #constraints=9542
266.82/266.98	c nbDecision=11000 #constraints=10041
296.41/296.57	c nbDecision=11500 #constraints=10539
327.61/327.80	c nbDecision=12000 #constraints=11040
358.79/358.96	c nbDecision=12500 #constraints=11540
377.39/377.56	c restart after 12801 decisions
380.68/380.86	c nbDecision=13000 #constraints=11868
418.77/418.93	c nbDecision=13500 #constraints=12368
455.06/455.22	c nbDecision=14000 #constraints=12868
498.65/498.86	c nbDecision=14500 #constraints=13367
538.75/538.91	c nbDecision=15000 #constraints=13867
580.73/580.99	c nbDecision=15500 #constraints=14368
625.28/625.59	c nbDecision=16000 #constraints=14868
666.59/666.96	c nbDecision=16500 #constraints=15367
708.47/708.84	c nbDecision=17000 #constraints=15867
749.66/750.04	c nbDecision=17500 #constraints=16368
793.44/793.83	c nbDecision=18000 #constraints=16868
841.44/841.83	c nbDecision=18500 #constraints=17369
893.41/893.86	c nbDecision=19000 #constraints=17868
940.20/940.63	c nbDecision=19500 #constraints=18368
988.39/988.81	c nbDecision=20000 #constraints=18869
1041.67/1042.14	c nbDecision=20500 #constraints=19369
1092.16/1092.63	c nbDecision=21000 #constraints=19868
1140.25/1140.71	c nbDecision=21500 #constraints=20368
1190.23/1190.71	c nbDecision=22000 #constraints=20868
1260.81/1261.39	c nbDecision=22500 #constraints=21368
1329.89/1330.47	c nbDecision=23000 #constraints=21868
1400.07/1400.67	c nbDecision=23500 #constraints=22368
1468.76/1469.36	c nbDecision=24000 #constraints=22868
1533.84/1534.47	c nbDecision=24500 #constraints=23369
1597.12/1597.74	c nbDecision=25000 #constraints=23869
1663.20/1663.89	c nbDecision=25500 #constraints=24369
1675.10/1675.80	c restart after 25601 decisions
1713.48/1714.19	c nbDecision=26000 #constraints=24687
1788.66/1789.38	c nbDecision=26500 #constraints=25186
1800.08/1800.71	Received signal 15
1800.27/1800.96	
1800.27/1800.96	s UNKNOWN
1800.27/1800.96	
1800.27/1800.96	c user time= 1799.94 s
1800.27/1800.96	c system time= 0.39094 s
1800.27/1800.96	c wall clock time=1800.96

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/node45/watcher-356869-1176846643 -o ROOT/results/node45/solver-356869-1176846643 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356869-1176846643/instance-356869-1176846643.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.91 0.95 0.98 3/77 17419
/proc/meminfo: memFree=1632240/2055920 swapFree=4141448/4192956
[pid=17419] ppid=17417 vsize=1468 CPUtime=0
/proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 200 0 0 0 0 0 0 0 18 0 1 0 39509948 1503232 182 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602853 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17419/statm: 367 182 137 317 0 46 0

[startup+0.083411 s]
/proc/loadavg: 0.91 0.95 0.98 3/77 17419
/proc/meminfo: memFree=1632240/2055920 swapFree=4141448/4192956
[pid=17419] ppid=17417 vsize=1864 CPUtime=0.08
/proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 295 0 0 0 8 0 0 0 18 0 1 0 39509948 1908736 277 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712495 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17419/statm: 466 277 139 317 0 145 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1864

[startup+0.101411 s]
/proc/loadavg: 0.91 0.95 0.98 3/77 17419
/proc/meminfo: memFree=1632240/2055920 swapFree=4141448/4192956
[pid=17419] ppid=17417 vsize=1996 CPUtime=0.09
/proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 320 0 0 0 9 0 0 0 18 0 1 0 39509948 2043904 302 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17419/statm: 499 302 139 317 0 178 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1996

[startup+0.301432 s]
/proc/loadavg: 0.91 0.95 0.98 3/77 17419
/proc/meminfo: memFree=1632240/2055920 swapFree=4141448/4192956
[pid=17419] ppid=17417 vsize=2784 CPUtime=0.29
/proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 518 0 0 0 29 0 0 0 19 0 1 0 39509948 2850816 500 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17419/statm: 696 500 139 317 0 375 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2784

[startup+0.701473 s]
/proc/loadavg: 0.91 0.95 0.98 3/77 17419
/proc/meminfo: memFree=1632240/2055920 swapFree=4141448/4192956
[pid=17419] ppid=17417 vsize=3964 CPUtime=0.69
/proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 825 0 0 0 69 0 0 0 22 0 1 0 39509948 4059136 807 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272561 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17419/statm: 991 807 139 317 0 670 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3964

[startup+1.50155 s]
/proc/loadavg: 0.91 0.95 0.98 2/78 17420
/proc/meminfo: memFree=1628648/2055920 swapFree=4141448/4192956
[pid=17419] ppid=17417 vsize=5936 CPUtime=1.49
/proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 1292 0 0 0 148 1 0 0 25 0 1 0 39509948 6078464 1274 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134534233 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17419/statm: 1484 1274 139 317 0 1163 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5936

[startup+3.10172 s]
/proc/loadavg: 0.91 0.95 0.98 2/78 17420
/proc/meminfo: memFree=1626408/2055920 swapFree=4141448/4192956
[pid=17419] ppid=17417 vsize=8468 CPUtime=3.09
/proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 1926 0 0 0 308 1 0 0 25 0 1 0 39509948 8671232 1908 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271361 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17419/statm: 2117 1908 139 317 0 1796 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8468

[startup+6.30104 s]
/proc/loadavg: 0.92 0.95 0.98 2/78 17420
/proc/meminfo: memFree=1622120/2055920 swapFree=4141448/4192956
[pid=17419] ppid=17417 vsize=11900 CPUtime=6.29
/proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 2788 0 0 0 627 2 0 0 25 0 1 0 39509948 12185600 2770 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17419/statm: 2975 2770 139 317 0 2654 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11900

[startup+12.7027 s]
/proc/loadavg: 0.93 0.95 0.98 2/78 17420
/proc/meminfo: memFree=1617192/2055920 swapFree=4141448/4192956
[pid=17419] ppid=17417 vsize=17092 CPUtime=12.69
/proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 3956 0 0 0 1266 3 0 0 25 0 1 0 39509948 17502208 3938 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17419/statm: 4273 3938 139 317 0 3952 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17092

[startup+25.502 s]
/proc/loadavg: 0.94 0.96 0.98 3/78 17420
/proc/meminfo: memFree=1610600/2055920 swapFree=4141448/4192956
[pid=17419] ppid=17417 vsize=23160 CPUtime=25.48
/proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 5502 0 0 0 2544 4 0 0 25 0 1 0 39509948 23715840 5484 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270591 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17419/statm: 5790 5484 139 317 0 5469 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 23160

[startup+51.1016 s]
/proc/loadavg: 0.96 0.96 0.98 2/78 17420
/proc/meminfo: memFree=1603432/2055920 swapFree=4141448/4192956
[pid=17419] ppid=17417 vsize=30832 CPUtime=51.08
/proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 7294 0 0 0 5102 6 0 0 25 0 1 0 39509948 31571968 7276 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17419/statm: 7708 7276 139 317 0 7387 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 30832

[startup+102.306 s]
/proc/loadavg: 0.98 0.96 0.98 2/78 17420
/proc/meminfo: memFree=1594024/2055920 swapFree=4141448/4192956
[pid=17419] ppid=17417 vsize=40428 CPUtime=102.26
/proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 9634 0 0 0 10218 8 0 0 25 0 1 0 39509948 41398272 9616 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564065 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17419/statm: 10107 9616 170 317 0 9786 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 40428

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 17420
/proc/meminfo: memFree=1585448/2055920 swapFree=4141448/4192956
[pid=17419] ppid=17417 vsize=48676 CPUtime=162.24
/proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 11762 0 0 0 16214 10 0 0 25 0 1 0 39509948 49844224 11744 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17419/statm: 12169 11744 170 317 0 11848 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 48676

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 17420
/proc/meminfo: memFree=1576872/2055920 swapFree=4141448/4192956
[pid=17419] ppid=17417 vsize=58004 CPUtime=222.23
/proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 13941 0 0 0 22211 12 0 0 25 0 1 0 39509948 59396096 13866 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17419/statm: 14501 13866 170 317 0 14180 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 58004

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 17420
/proc/meminfo: memFree=1569960/2055920 swapFree=4141448/4192956
[pid=17419] ppid=17417 vsize=65552 CPUtime=282.22
/proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 15681 0 0 0 28208 14 0 0 25 0 1 0 39509948 67125248 15606 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17419/statm: 16388 15606 170 317 0 16067 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 65552

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 17420
/proc/meminfo: memFree=1563176/2055920 swapFree=4141448/4192956
[pid=17419] ppid=17417 vsize=73460 CPUtime=342.19
/proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 17356 0 0 0 34204 15 0 0 25 0 1 0 39509948 75223040 17281 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17419/statm: 18365 17281 170 317 0 18044 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 73460

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 17420
/proc/meminfo: memFree=1557992/2055920 swapFree=4141448/4192956
[pid=17419] ppid=17417 vsize=78624 CPUtime=402.17
/proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 18658 0 0 0 40201 16 0 0 25 0 1 0 39509948 80510976 18583 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17419/statm: 19656 18583 170 317 0 19335 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 78624

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 17420
/proc/meminfo: memFree=1553256/2055920 swapFree=4141448/4192956
[pid=17419] ppid=17417 vsize=83372 CPUtime=462.16
/proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 19840 0 0 0 46199 17 0 0 25 0 1 0 39509948 85372928 19765 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17419/statm: 20843 19765 170 317 0 20522 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 83372

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 17420
/proc/meminfo: memFree=1548968/2055920 swapFree=4141448/4192956
[pid=17419] ppid=17417 vsize=88464 CPUtime=522.14
/proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 20953 0 0 0 52196 18 0 0 25 0 1 0 39509948 90587136 20878 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17419/statm: 22116 20878 170 317 0 21795 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 88464

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 17420
/proc/meminfo: memFree=1544488/2055920 swapFree=4141448/4192956
[pid=17419] ppid=17417 vsize=92260 CPUtime=582.13
/proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 22031 0 0 0 58193 20 0 0 25 0 1 0 39509948 94474240 21956 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17419/statm: 23065 21956 170 317 0 22744 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 92260

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/84 17558
/proc/meminfo: memFree=1539376/2055920 swapFree=4141448/4192956
[pid=17419] ppid=17417 vsize=95724 CPUtime=642.03
/proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 22983 0 0 0 64182 21 0 0 25 0 1 0 39509948 98021376 22908 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17419/statm: 23931 22908 170 317 0 23610 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 95724


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

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 17618
/proc/meminfo: memFree=1519400/2055920 swapFree=4141448/4192956
[pid=17419] ppid=17417 vsize=119392 CPUtime=941.9
/proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 28613 0 0 0 94164 26 0 0 25 0 1 0 39509948 122257408 28161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17419/statm: 29848 28161 170 317 0 29527 0
Current children cumulated CPU time (s) 941.9
Current children cumulated vsize (KiB) 119392

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 17618
/proc/meminfo: memFree=1515880/2055920 swapFree=4141448/4192956
[pid=17419] ppid=17417 vsize=122668 CPUtime=1001.89
/proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 29519 0 0 0 100162 27 0 0 25 0 1 0 39509948 125612032 29034 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17419/statm: 30667 29034 170 317 0 30346 0
Current children cumulated CPU time (s) 1001.89
Current children cumulated vsize (KiB) 122668

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 17620
/proc/meminfo: memFree=1512680/2055920 swapFree=4141448/4192956
[pid=17419] ppid=17417 vsize=126096 CPUtime=1061.87
/proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 30458 0 0 0 106159 28 0 0 25 0 1 0 39509948 129122304 29907 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17419/statm: 31524 29907 170 317 0 31203 0
Current children cumulated CPU time (s) 1061.87
Current children cumulated vsize (KiB) 126096

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 17620
/proc/meminfo: memFree=1508904/2055920 swapFree=4141448/4192956
[pid=17419] ppid=17417 vsize=130432 CPUtime=1121.85
/proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 31478 0 0 0 112157 28 0 0 25 0 1 0 39509948 133562368 30861 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17419/statm: 32608 30861 170 317 0 32287 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 130432

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 17620
/proc/meminfo: memFree=1504808/2055920 swapFree=4141448/4192956
[pid=17419] ppid=17417 vsize=134572 CPUtime=1181.83
/proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 32565 0 0 0 118154 29 0 0 25 0 1 0 39509948 137801728 31882 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17419/statm: 33643 31882 170 317 0 33322 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 134572

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 17620
/proc/meminfo: memFree=1502504/2055920 swapFree=4141448/4192956
[pid=17419] ppid=17417 vsize=136672 CPUtime=1241.82
/proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 33134 0 0 0 124152 30 0 0 25 0 1 0 39509948 139952128 32418 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17419/statm: 34168 32418 170 317 0 33847 0
Current children cumulated CPU time (s) 1241.82
Current children cumulated vsize (KiB) 136672

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 17620
/proc/meminfo: memFree=1500008/2055920 swapFree=4141448/4192956
[pid=17419] ppid=17417 vsize=140176 CPUtime=1301.81
/proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 33979 0 0 0 130150 31 0 0 25 0 1 0 39509948 143540224 33032 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17419/statm: 35044 33032 170 317 0 34723 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 140176

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 17620
/proc/meminfo: memFree=1497832/2055920 swapFree=4141448/4192956
[pid=17419] ppid=17417 vsize=142268 CPUtime=1361.79
/proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 34584 0 0 0 136147 32 0 0 25 0 1 0 39509948 145682432 33571 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17419/statm: 35567 33571 170 317 0 35246 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 142268

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 17620
/proc/meminfo: memFree=1495592/2055920 swapFree=4141448/4192956
[pid=17419] ppid=17417 vsize=144380 CPUtime=1421.77
/proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 35156 0 0 0 142144 33 0 0 25 0 1 0 39509948 147845120 34143 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17419/statm: 36095 34143 170 317 0 35774 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 144380

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 17620
/proc/meminfo: memFree=1492008/2055920 swapFree=4141448/4192956
[pid=17419] ppid=17417 vsize=150592 CPUtime=1481.75
/proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 36561 0 0 0 148141 34 0 0 25 0 1 0 39509948 154206208 35020 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17419/statm: 37648 35020 170 317 0 37327 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 150592

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 17620
/proc/meminfo: memFree=1489512/2055920 swapFree=4141448/4192956
[pid=17419] ppid=17417 vsize=153080 CPUtime=1541.74
/proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 37228 0 0 0 154139 35 0 0 25 0 1 0 39509948 156753920 35654 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17419/statm: 38270 35654 170 317 0 37949 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 153080

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 17620
/proc/meminfo: memFree=1486952/2055920 swapFree=4141448/4192956
[pid=17419] ppid=17417 vsize=155308 CPUtime=1601.71
/proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 37877 0 0 0 160136 35 0 0 25 0 1 0 39509948 159035392 36303 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17419/statm: 38827 36303 170 317 0 38506 0
Current children cumulated CPU time (s) 1601.71
Current children cumulated vsize (KiB) 155308

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 17620
/proc/meminfo: memFree=1484072/2055920 swapFree=4141448/4192956
[pid=17419] ppid=17417 vsize=159204 CPUtime=1661.7
/proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 38808 0 0 0 166134 36 0 0 25 0 1 0 39509948 163024896 36970 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134530479 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17419/statm: 39801 36970 170 317 0 39480 0
Current children cumulated CPU time (s) 1661.7
Current children cumulated vsize (KiB) 159204

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 17620
/proc/meminfo: memFree=1482152/2055920 swapFree=4141448/4192956
[pid=17419] ppid=17417 vsize=160912 CPUtime=1721.69
/proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 39320 0 0 0 172131 38 0 0 25 0 1 0 39509948 164773888 37482 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17419/statm: 40228 37482 170 317 0 39907 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 160912

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 17620
/proc/meminfo: memFree=1479784/2055920 swapFree=4141448/4192956
[pid=17419] ppid=17417 vsize=163152 CPUtime=1781.67
/proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 39939 0 0 0 178129 38 0 0 25 0 1 0 39509948 167067648 38068 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17419/statm: 40788 38068 170 317 0 40467 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 163152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 17620
/proc/meminfo: memFree=1479144/2055920 swapFree=4141448/4192956
[pid=17419] ppid=17417 vsize=163676 CPUtime=1800.08
/proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 40098 0 0 0 179969 39 0 0 25 0 1 0 39509948 167604224 38227 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17419/statm: 40919 38227 170 317 0 40598 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 163676

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

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

[startup+1800.81 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 17620
/proc/meminfo: memFree=1479144/2055920 swapFree=4141448/4192956
[pid=17419] ppid=17417 vsize=163676 CPUtime=1800.17
/proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 40098 0 0 0 179978 39 0 0 25 0 1 0 39509948 167604224 38227 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17419/statm: 40919 38227 170 317 0 40598 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 163676

[startup+1800.9 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 17620
/proc/meminfo: memFree=1479144/2055920 swapFree=4141448/4192956
[pid=17419] ppid=17417 vsize=163676 CPUtime=1800.27
/proc/17419/stat : 17419 (oree) R 17417 17419 16463 0 -1 4194304 40098 0 0 0 179988 39 0 0 25 0 1 0 39509948 167604224 38227 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17419/statm: 40919 38227 170 317 0 40598 0
Current children cumulated CPU time (s) 1800.27
Current children cumulated vsize (KiB) 163676

Child status: 0
Real time (s): 1800.99
CPU time (s): 1800.36
CPU user time (s): 1799.95
CPU system time (s): 0.415936
CPU usage (%): 99.965
Max. virtual memory (cumulated for all children) (KiB): 163676

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

runsolver used 2.19766 second user time and 4.36034 second system time

The end

Launcher Data (download as text)

Begin job on node45 on Tue Apr 17 21:50:43 UTC 2007

IDJOB= 356869
IDBENCH= 1573
IDSOLVER= 172
FILE ID= node45/356869-1176846643

PBS_JOBID= 4590162

Free space on /tmp= 66483 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  a432642e9fdf105f945bae55612ade38

RANDOM SEED= 930831976

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node45.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.218
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.218
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:       1632648 kB
Buffers:         37940 kB
Cached:         299956 kB
SwapCached:      32908 kB
Active:         243816 kB
Inactive:       136164 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1632648 kB
SwapTotal:     4192956 kB
SwapFree:      4141448 kB
Dirty:            1420 kB
Writeback:           0 kB
Mapped:          31820 kB
Slab:            28876 kB
Committed_AS:  1105388 kB
PageTables:       1732 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= 66483 MiB

End job on node45 on Tue Apr 17 22:20:46 UTC 2007