Trace number 357000

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) 1802.1 1802.54

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib/normalized-reduced-mps-v2-20-10-egout.opb
MD5SUMd6a4c3ac1d0b6ea0e8794ac4dcbcb530
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark162
Best CPU time to get the best result obtained on this benchmark1800.29
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 152
Optimality of the best value was proved NO
Number of variables1705
Total number of constraints98
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 constraints98
Minimum length of a constraint30
Maximum length of a constraint420
Number of terms in the objective function 1615
Biggest coefficient in the objective function 18850
Number of bits for the biggest coefficient in the objective function 15
Sum of the numbers in the objective function 525584
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 525584
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.01/0.02	c ...done
0.01/0.02	c #vars=1705 #constraints=142 hasObjective=yes
0.01/0.04	c res. mode=mod
0.01/0.04	c VSIDS like heuristics
0.01/0.04	c complete search running
0.01/0.05	c restart after 401 decisions
0.01/0.05	c nbDecision=500 #constraints=148
0.01/0.05	c restart after 801 decisions
0.01/0.06	c nbDecision=1000 #constraints=158
0.09/0.18	c nbDecision=1500 #constraints=395
0.19/0.25	c restart after 1601 decisions
0.19/0.25	c nbDecision=2000 #constraints=502
0.49/0.52	c nbDecision=2500 #constraints=960
0.99/1.01	c nbDecision=3000 #constraints=1460
1.19/1.25	c restart after 3201 decisions
1.19/1.26	c nbDecision=3500 #constraints=1662
1.49/1.58	c nbDecision=4000 #constraints=2006
2.20/2.27	c nbDecision=4500 #constraints=2503
3.39/3.46	c nbDecision=5000 #constraints=3004
5.20/5.22	c nbDecision=5500 #constraints=3505
7.39/7.46	c nbDecision=6000 #constraints=4002
9.99/10.05	c restart after 6401 decisions
9.99/10.09	c nbDecision=6500 #constraints=4406
10.89/10.93	c nbDecision=7000 #constraints=4541
13.99/14.01	c nbDecision=7500 #constraints=5038
14.29/14.38	c nbDecision=8000 #constraints=5498
15.09/15.13	c nbDecision=8500 #constraints=5999
16.68/16.70	c nbDecision=9000 #constraints=6497
18.69/18.76	c nbDecision=9500 #constraints=6996
21.19/21.26	c nbDecision=10000 #constraints=7496
24.19/24.27	c nbDecision=10500 #constraints=7996
27.88/27.90	c nbDecision=11000 #constraints=8497
31.98/32.08	c nbDecision=11500 #constraints=8996
37.28/37.34	c nbDecision=12000 #constraints=9497
43.68/43.77	c nbDecision=12500 #constraints=9997
48.08/48.15	c restart after 12801 decisions
48.28/48.33	c nbDecision=13000 #constraints=10300
50.68/50.70	c nbDecision=13500 #constraints=10536
56.38/56.45	c nbDecision=14000 #constraints=10991
64.17/64.23	c nbDecision=14500 #constraints=11490
72.78/72.90	c nbDecision=15000 #constraints=11990
82.48/82.55	c nbDecision=15500 #constraints=12490
93.17/93.21	c nbDecision=16000 #constraints=12990
104.26/104.39	c nbDecision=16500 #constraints=13495
116.27/116.30	c nbDecision=17000 #constraints=13991
129.76/129.86	c nbDecision=17500 #constraints=14492
145.26/145.30	c nbDecision=18000 #constraints=14988
159.25/159.38	c nbDecision=18500 #constraints=15499
176.15/176.23	c nbDecision=19000 #constraints=15990
193.24/193.31	c nbDecision=19500 #constraints=16496
210.84/211.00	c nbDecision=20000 #constraints=16990
230.74/230.83	c nbDecision=20500 #constraints=17497
250.04/250.15	c nbDecision=21000 #constraints=17990
271.33/271.42	c nbDecision=21500 #constraints=18500
293.03/293.14	c nbDecision=22000 #constraints=18987
309.32/309.44	c nbDecision=22500 #constraints=19488
319.92/320.05	c nbDecision=23000 #constraints=19988
330.92/331.07	c nbDecision=23500 #constraints=20490
353.51/353.62	c nbDecision=24000 #constraints=20991
377.80/377.99	c nbDecision=24500 #constraints=21491
399.80/399.96	c nbDecision=25000 #constraints=21988
421.29/421.42	c nbDecision=25500 #constraints=22489
425.59/425.77	c restart after 25601 decisions
426.09/426.23	c nbDecision=26000 #constraints=22590
431.89/432.06	c nbDecision=26500 #constraints=23055
438.18/438.33	c nbDecision=27000 #constraints=23554
444.79/444.91	c nbDecision=27500 #constraints=24053
451.89/452.04	c nbDecision=28000 #constraints=24555
459.59/459.79	c nbDecision=28500 #constraints=25053
467.98/468.12	c nbDecision=29000 #constraints=25558
476.98/477.18	c nbDecision=29500 #constraints=26054
486.68/486.82	c nbDecision=30000 #constraints=26559
497.17/497.32	c nbDecision=30500 #constraints=27054
508.17/508.37	c nbDecision=31000 #constraints=27556
520.07/520.27	c nbDecision=31500 #constraints=28060
532.37/532.57	c nbDecision=32000 #constraints=28554
545.47/545.69	c nbDecision=32500 #constraints=29059
559.56/559.71	c nbDecision=33000 #constraints=29561
573.56/573.78	c nbDecision=33500 #constraints=30057
588.95/589.18	c nbDecision=34000 #constraints=30559
604.85/605.02	c nbDecision=34500 #constraints=31062
621.04/621.21	c nbDecision=35000 #constraints=31555
638.24/638.41	c nbDecision=35500 #constraints=32059
655.84/656.03	c nbDecision=36000 #constraints=32562
706.03/706.21	c nbDecision=36500 #constraints=33059
808.30/808.55	c nbDecision=37000 #constraints=33563
910.28/910.58	c nbDecision=37500 #constraints=34060
1014.25/1014.51	c nbDecision=38000 #constraints=34560
1120.53/1120.85	c nbDecision=38500 #constraints=35064
1227.60/1227.97	c nbDecision=39000 #constraints=35566
1334.58/1334.92	c nbDecision=39500 #constraints=36061
1444.95/1445.37	c nbDecision=40000 #constraints=36565
1556.22/1556.60	c nbDecision=40500 #constraints=37067
1667.00/1667.46	c nbDecision=41000 #constraints=37562
1784.56/1785.00	c nbDecision=41500 #constraints=38078
1800.06/1800.50	Received signal 15

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/node57/watcher-357000-1176851015 -o ROOT/results/node57/solver-357000-1176851015 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357000-1176851015/instance-357000-1176851015.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.94 3/64 5965
/proc/meminfo: memFree=1599672/2055920 swapFree=4174180/4192956
[pid=5965] ppid=5963 vsize=1468 CPUtime=0
/proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 180 0 0 0 0 0 0 0 18 0 1 0 126237486 1503232 162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5965/statm: 367 162 127 317 0 46 0

[startup+0.017337 s]
/proc/loadavg: 0.91 0.95 0.94 3/64 5965
/proc/meminfo: memFree=1599672/2055920 swapFree=4174180/4192956
[pid=5965] ppid=5963 vsize=1732 CPUtime=0.01
/proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 248 0 0 0 1 0 0 0 18 0 1 0 126237486 1773568 230 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5965/statm: 433 231 131 317 0 112 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1732

[startup+0.101344 s]
/proc/loadavg: 0.91 0.95 0.94 3/64 5965
/proc/meminfo: memFree=1599672/2055920 swapFree=4174180/4192956
[pid=5965] ppid=5963 vsize=2388 CPUtime=0.09
/proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 408 0 0 0 9 0 0 0 18 0 1 0 126237486 2445312 390 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134593405 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5965/statm: 597 390 139 317 0 276 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2388

[startup+0.301361 s]
/proc/loadavg: 0.91 0.95 0.94 3/64 5965
/proc/meminfo: memFree=1599672/2055920 swapFree=4174180/4192956
[pid=5965] ppid=5963 vsize=3568 CPUtime=0.29
/proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 703 0 0 0 29 0 0 0 19 0 1 0 126237486 3653632 685 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715794 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5965/statm: 892 685 139 317 0 571 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3568

[startup+0.701395 s]
/proc/loadavg: 0.91 0.95 0.94 3/64 5965
/proc/meminfo: memFree=1599672/2055920 swapFree=4174180/4192956
[pid=5965] ppid=5963 vsize=4880 CPUtime=0.69
/proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 1037 0 0 0 69 0 0 0 23 0 1 0 126237486 4997120 1019 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5965/statm: 1220 1019 139 317 0 899 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4880

[startup+1.50146 s]
/proc/loadavg: 0.91 0.95 0.94 2/65 5966
/proc/meminfo: memFree=1595312/2055920 swapFree=4174180/4192956
[pid=5965] ppid=5963 vsize=6856 CPUtime=1.49
/proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 1520 0 0 0 149 0 0 0 25 0 1 0 126237486 7020544 1502 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5965/statm: 1714 1502 139 317 0 1393 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6856

[startup+3.1016 s]
/proc/loadavg: 0.91 0.95 0.94 2/65 5966
/proc/meminfo: memFree=1592624/2055920 swapFree=4174180/4192956
[pid=5965] ppid=5963 vsize=9544 CPUtime=3.09
/proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 2179 0 0 0 308 1 0 0 25 0 1 0 126237486 9773056 2161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5965/statm: 2386 2161 139 317 0 2065 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9544

[startup+6.30188 s]
/proc/loadavg: 0.92 0.95 0.94 2/65 5966
/proc/meminfo: memFree=1589168/2055920 swapFree=4174180/4192956
[pid=5965] ppid=5963 vsize=12348 CPUtime=6.29
/proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 2831 0 0 0 627 2 0 0 25 0 1 0 126237486 12644352 2813 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5965/statm: 3087 2813 139 317 0 2766 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12348

[startup+12.7014 s]
/proc/loadavg: 0.93 0.95 0.94 2/65 5966
/proc/meminfo: memFree=1585968/2055920 swapFree=4174180/4192956
[pid=5965] ppid=5963 vsize=15248 CPUtime=12.68
/proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 3579 0 0 0 1266 2 0 0 25 0 1 0 126237486 15613952 3561 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563781 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5965/statm: 3812 3561 139 317 0 3491 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 15248

[startup+25.5016 s]
/proc/loadavg: 0.94 0.96 0.94 2/65 5966
/proc/meminfo: memFree=1570224/2055920 swapFree=4174180/4192956
[pid=5965] ppid=5963 vsize=30844 CPUtime=25.48
/proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 7468 0 0 0 2542 6 0 0 25 0 1 0 126237486 31584256 7450 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5965/statm: 7711 7450 139 317 0 7390 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 30844

[startup+51.1018 s]
/proc/loadavg: 0.96 0.96 0.94 2/65 5966
/proc/meminfo: memFree=1559344/2055920 swapFree=4174180/4192956
[pid=5965] ppid=5963 vsize=42784 CPUtime=51.08
/proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 10239 0 0 0 5100 8 0 0 25 0 1 0 126237486 43810816 10163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5965/statm: 10696 10163 139 317 0 10375 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 42784

[startup+102.304 s]
/proc/loadavg: 0.98 0.96 0.94 2/65 5966
/proc/meminfo: memFree=1546992/2055920 swapFree=4174180/4192956
[pid=5965] ppid=5963 vsize=54852 CPUtime=102.27
/proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 13276 0 0 0 10216 11 0 0 25 0 1 0 126237486 56168448 13200 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5965/statm: 13713 13200 139 317 0 13392 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 54852

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 5966
/proc/meminfo: memFree=1536816/2055920 swapFree=4174180/4192956
[pid=5965] ppid=5963 vsize=67208 CPUtime=162.25
/proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 15839 0 0 0 16212 13 0 0 25 0 1 0 126237486 68820992 15763 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5965/statm: 16802 15763 139 317 0 16481 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 67208

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 5966
/proc/meminfo: memFree=1529840/2055920 swapFree=4174180/4192956
[pid=5965] ppid=5963 vsize=74224 CPUtime=222.24
/proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 17677 0 0 0 22209 15 0 0 25 0 1 0 126237486 76005376 17487 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5965/statm: 18556 17487 139 317 0 18235 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 74224

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 5966
/proc/meminfo: memFree=1523952/2055920 swapFree=4174180/4192956
[pid=5965] ppid=5963 vsize=79884 CPUtime=282.22
/proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 19159 0 0 0 28206 16 0 0 25 0 1 0 126237486 81801216 18969 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5965/statm: 19971 18969 139 317 0 19650 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 79884

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 5966
/proc/meminfo: memFree=1515184/2055920 swapFree=4174180/4192956
[pid=5965] ppid=5963 vsize=87796 CPUtime=342.21
/proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 21333 0 0 0 34203 18 0 0 25 0 1 0 126237486 89903104 21143 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5965/statm: 21949 21143 139 317 0 21628 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 87796

[startup+402.301 s]
/proc/loadavg: 1.06 0.99 0.95 2/65 5966
/proc/meminfo: memFree=1509552/2055920 swapFree=4174180/4192956
[pid=5965] ppid=5963 vsize=92924 CPUtime=402.2
/proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 22757 0 0 0 40200 20 0 0 25 0 1 0 126237486 95154176 22567 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5965/statm: 23231 22567 139 317 0 22910 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 92924

[startup+462.302 s]
/proc/loadavg: 1.02 0.99 0.95 2/65 5966
/proc/meminfo: memFree=1500400/2055920 swapFree=4174180/4192956
[pid=5965] ppid=5963 vsize=107696 CPUtime=462.18
/proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 26087 0 0 0 46196 22 0 0 25 0 1 0 126237486 110280704 24841 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5965/statm: 26924 24841 139 317 0 26603 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 107696

[startup+522.302 s]
/proc/loadavg: 1.01 0.99 0.95 2/65 5966
/proc/meminfo: memFree=1493808/2055920 swapFree=4174180/4192956
[pid=5965] ppid=5963 vsize=114584 CPUtime=522.17
/proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 27731 0 0 0 52194 23 0 0 25 0 1 0 126237486 117334016 26485 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5965/statm: 28646 26485 139 317 0 28325 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 114584

[startup+582.301 s]
/proc/loadavg: 1.00 0.99 0.95 2/65 5966
/proc/meminfo: memFree=1488432/2055920 swapFree=4174180/4192956
[pid=5965] ppid=5963 vsize=120632 CPUtime=582.16
/proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 29071 0 0 0 58191 25 0 0 25 0 1 0 126237486 123527168 27825 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5965/statm: 30158 27825 139 317 0 29837 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 120632

[startup+642.301 s]
/proc/loadavg: 1.00 0.99 0.95 2/65 5966
/proc/meminfo: memFree=1484336/2055920 swapFree=4174180/4192956
[pid=5965] ppid=5963 vsize=124392 CPUtime=642.14
/proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 30069 0 0 0 64189 25 0 0 25 0 1 0 126237486 127377408 28823 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5965/statm: 31098 28823 139 317 0 30777 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 124392


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

/proc/meminfo: memFree=1465520/2055920 swapFree=4174180/4192956
[pid=5965] ppid=5963 vsize=143724 CPUtime=1062.04
/proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 35019 0 0 0 106175 29 0 0 25 0 1 0 126237486 147173376 33514 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5965/statm: 35931 33514 139 317 0 35610 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 143724

[startup+1122.3 s]
/proc/loadavg: 1.04 1.00 0.95 2/65 5966
/proc/meminfo: memFree=1463216/2055920 swapFree=4174180/4192956
[pid=5965] ppid=5963 vsize=145964 CPUtime=1122.03
/proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 35575 0 0 0 112173 30 0 0 25 0 1 0 126237486 149467136 34070 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5965/statm: 36491 34070 139 317 0 36170 0
Current children cumulated CPU time (s) 1122.03
Current children cumulated vsize (KiB) 145964

[startup+1182.3 s]
/proc/loadavg: 1.01 1.00 0.95 2/65 5966
/proc/meminfo: memFree=1460400/2055920 swapFree=4174180/4192956
[pid=5965] ppid=5963 vsize=148868 CPUtime=1182
/proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 36296 0 0 0 118170 30 0 0 25 0 1 0 126237486 152440832 34791 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5965/statm: 37217 34791 139 317 0 36896 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 148868

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 5966
/proc/meminfo: memFree=1457968/2055920 swapFree=4174180/4192956
[pid=5965] ppid=5963 vsize=151076 CPUtime=1242
/proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 36885 0 0 0 124169 31 0 0 25 0 1 0 126237486 154701824 35380 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5965/statm: 37769 35380 139 317 0 37448 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 151076

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 5966
/proc/meminfo: memFree=1455600/2055920 swapFree=4174180/4192956
[pid=5965] ppid=5963 vsize=153336 CPUtime=1301.98
/proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 37466 0 0 0 130167 31 0 0 25 0 1 0 126237486 157016064 35961 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5965/statm: 38334 35961 139 317 0 38013 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 153336

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 5966
/proc/meminfo: memFree=1453104/2055920 swapFree=4174180/4192956
[pid=5965] ppid=5963 vsize=155908 CPUtime=1361.97
/proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 38081 0 0 0 136165 32 0 0 25 0 1 0 126237486 159649792 36576 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711114 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5965/statm: 38977 36576 139 317 0 38656 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 155908

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 5966
/proc/meminfo: memFree=1450864/2055920 swapFree=4174180/4192956
[pid=5965] ppid=5963 vsize=157976 CPUtime=1421.95
/proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 38638 0 0 0 142163 32 0 0 25 0 1 0 126237486 161767424 37133 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604259 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5965/statm: 39494 37133 139 317 0 39173 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 157976

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 5968
/proc/meminfo: memFree=1447280/2055920 swapFree=4174180/4192956
[pid=5965] ppid=5963 vsize=163232 CPUtime=1481.94
/proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 39531 0 0 0 148161 33 0 0 25 0 1 0 126237486 167149568 38026 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712536 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5965/statm: 40808 38026 139 317 0 40487 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 163232

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 5968
/proc/meminfo: memFree=1444912/2055920 swapFree=4174180/4192956
[pid=5965] ppid=5963 vsize=165332 CPUtime=1541.92
/proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 40108 0 0 0 154159 33 0 0 25 0 1 0 126237486 169299968 38603 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5965/statm: 41333 38603 139 317 0 41012 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 165332

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 5968
/proc/meminfo: memFree=1442672/2055920 swapFree=4174180/4192956
[pid=5965] ppid=5963 vsize=167540 CPUtime=1601.9
/proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 40674 0 0 0 160157 33 0 0 25 0 1 0 126237486 171560960 39169 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5965/statm: 41885 39169 139 317 0 41564 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 167540

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 5968
/proc/meminfo: memFree=1440496/2055920 swapFree=4174180/4192956
[pid=5965] ppid=5963 vsize=169572 CPUtime=1661.9
/proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 41206 0 0 0 166156 34 0 0 25 0 1 0 126237486 173641728 39701 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5965/statm: 42393 39701 139 317 0 42072 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 169572

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 5968
/proc/meminfo: memFree=1437360/2055920 swapFree=4174180/4192956
[pid=5965] ppid=5963 vsize=173192 CPUtime=1721.88
/proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 42001 0 0 0 172154 34 0 0 25 0 1 0 126237486 177348608 40496 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5965/statm: 43298 40496 139 317 0 42977 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 173192

[startup+1782.3 s]
/proc/loadavg: 1.07 1.02 0.96 2/65 5968
/proc/meminfo: memFree=1435248/2055920 swapFree=4174180/4192956
[pid=5965] ppid=5963 vsize=175404 CPUtime=1781.86
/proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 42545 0 0 0 178152 34 0 0 25 0 1 0 126237486 179613696 41007 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5965/statm: 43851 41007 139 317 0 43530 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 175404



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.05 1.01 0.96 2/65 5968
/proc/meminfo: memFree=1434544/2055920 swapFree=4174180/4192956
[pid=5965] ppid=5963 vsize=176168 CPUtime=1800.06
/proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 42786 0 0 0 179972 34 0 0 25 0 1 0 126237486 180396032 41182 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5965/statm: 44042 41182 139 317 0 43721 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 176168

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

Sending SIGKILL to process tree (bottom up)

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

[startup+1801.4 s]
/proc/loadavg: 1.05 1.01 0.96 2/66 5969
/proc/meminfo: memFree=1434536/2055920 swapFree=4174180/4192956
[pid=5965] ppid=5963 vsize=176556 CPUtime=1800.96
/proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 42864 0 0 0 180062 34 0 0 25 0 1 0 126237486 180793344 41194 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711049 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5965/statm: 44139 41194 139 317 0 43818 0
Current children cumulated CPU time (s) 1800.96
Current children cumulated vsize (KiB) 176556

[startup+1802.2 s]
/proc/loadavg: 1.05 1.01 0.96 2/66 5969
/proc/meminfo: memFree=1434344/2055920 swapFree=4174180/4192956
[pid=5965] ppid=5963 vsize=176816 CPUtime=1801.76
/proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 42898 0 0 0 180142 34 0 0 25 0 1 0 126237486 181059584 41228 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604263 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5965/statm: 44204 41228 139 317 0 43883 0
Current children cumulated CPU time (s) 1801.76
Current children cumulated vsize (KiB) 176816

[startup+1802.4 s]
/proc/loadavg: 1.05 1.01 0.96 2/66 5969
/proc/meminfo: memFree=1434344/2055920 swapFree=4174180/4192956
[pid=5965] ppid=5963 vsize=176944 CPUtime=1801.97
/proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 42932 0 0 0 180162 35 0 0 25 0 1 0 126237486 181190656 41229 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718451 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5965/statm: 44236 41229 139 317 0 43915 0
Current children cumulated CPU time (s) 1801.97
Current children cumulated vsize (KiB) 176944

[startup+1802.5 s]
/proc/loadavg: 1.05 1.01 0.96 2/66 5969
/proc/meminfo: memFree=1434344/2055920 swapFree=4174180/4192956
[pid=5965] ppid=5963 vsize=177072 CPUtime=1802.07
/proc/5965/stat : 5965 (oree) R 5963 5965 5623 0 -1 4194304 42971 0 0 0 180172 35 0 0 25 0 1 0 126237486 181321728 41235 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5965/statm: 44268 41235 139 317 0 43947 0
Current children cumulated CPU time (s) 1802.07
Current children cumulated vsize (KiB) 177072

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.54
CPU time (s): 1802.1
CPU user time (s): 1801.73
CPU system time (s): 0.375942
CPU usage (%): 99.9761
Max. virtual memory (cumulated for all children) (KiB): 177072

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

runsolver used 1.3058 second user time and 3.64345 second system time

The end

Launcher Data (download as text)

Begin job on node57 on Tue Apr 17 23:03:35 UTC 2007

IDJOB= 357000
IDBENCH= 1761
IDSOLVER= 172
FILE ID= node57/357000-1176851015

PBS_JOBID= 4590226

Free space on /tmp= 66511 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-egout.opb
COMMAND LINE= oree /tmp/evaluation/357000-1176851015/instance-357000-1176851015.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node57/watcher-357000-1176851015 -o ROOT/results/node57/solver-357000-1176851015 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357000-1176851015/instance-357000-1176851015.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  d6a4c3ac1d0b6ea0e8794ac4dcbcb530

RANDOM SEED= 599464442

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node57.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.239
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.239
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:       1600016 kB
Buffers:         26460 kB
Cached:         368828 kB
SwapCached:      13052 kB
Active:         303384 kB
Inactive:       110872 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1600016 kB
SwapTotal:     4192956 kB
SwapFree:      4174180 kB
Dirty:            1364 kB
Writeback:           0 kB
Mapped:          15468 kB
Slab:            27700 kB
Committed_AS:   838088 kB
PageTables:       1408 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= 66511 MiB

End job on node57 on Tue Apr 17 23:33:38 UTC 2007