Trace number 357040

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.34 1800.77

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-rd-rplusc-21.opb
MD5SUM3de80c0560622133ffefa60f8e73d039
Bench CategoryOPT-SMALLINT (optimisation, small 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 variables3616
Total number of constraints125707
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)44
Number of constraints which are nor clauses,nor cardinality constraints125663
Minimum length of a constraint5
Maximum length of a constraint189
Number of terms in the objective function 48
Biggest coefficient in the objective function 260554
Number of bits for the biggest coefficient in the objective function 18
Sum of the numbers in the objective function 524316
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 524424
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...
24.99/25.07	c ...done
24.99/25.07	c #vars=3616 #constraints=125845 hasObjective=yes
39.67/39.70	c res. mode=mod
39.67/39.70	c VSIDS like heuristics
39.67/39.70	c complete search running
86.17/86.29	c restart after 401 decisions
93.06/93.11	c nbDecision=500 #constraints=125993
118.96/119.05	c restart after 801 decisions
148.35/148.50	c nbDecision=1000 #constraints=126155
202.54/202.63	c nbDecision=1500 #constraints=126311
216.43/216.60	c restart after 1601 decisions
256.52/256.62	c nbDecision=2000 #constraints=126474
326.11/326.28	c nbDecision=2500 #constraints=126690
461.08/461.22	c nbDecision=3000 #constraints=126959
504.26/504.41	c restart after 3201 decisions
548.26/548.46	c nbDecision=3500 #constraints=127158
586.94/587.13	c nbDecision=4000 #constraints=127352
620.33/620.59	c nbDecision=4500 #constraints=127523
652.33/652.56	c nbDecision=5000 #constraints=127682
668.13/668.33	c nbDecision=5500 #constraints=128063
684.62/684.86	c nbDecision=6000 #constraints=128499
698.42/698.65	c restart after 6401 decisions
715.72/715.93	c nbDecision=6500 #constraints=128882
746.11/746.37	c nbDecision=7000 #constraints=129089
764.80/765.07	c nbDecision=7500 #constraints=129230
790.30/790.55	c nbDecision=8000 #constraints=129576
807.39/807.62	c nbDecision=8500 #constraints=129778
820.79/821.00	c nbDecision=9000 #constraints=130109
840.29/840.53	c nbDecision=9500 #constraints=130587
859.28/859.54	c nbDecision=10000 #constraints=131055
881.18/881.48	c nbDecision=10500 #constraints=131343
904.07/904.33	c nbDecision=11000 #constraints=131565
937.97/938.25	c nbDecision=11500 #constraints=131796
955.36/955.65	c nbDecision=12000 #constraints=132246
971.96/972.26	c nbDecision=12500 #constraints=132655
983.16/983.50	c restart after 12801 decisions
1002.75/1003.06	c nbDecision=13000 #constraints=132807
1031.55/1031.82	c nbDecision=13500 #constraints=132993
1055.74/1056.01	c nbDecision=14000 #constraints=133128
1069.34/1069.66	c nbDecision=14500 #constraints=133308
1090.03/1090.31	c nbDecision=15000 #constraints=133501
1107.72/1108.05	c nbDecision=15500 #constraints=133920
1125.62/1125.95	c nbDecision=16000 #constraints=134351
1143.52/1143.86	c nbDecision=16500 #constraints=134783
1162.91/1163.26	c nbDecision=17000 #constraints=135254
1181.71/1182.00	c nbDecision=17500 #constraints=135712
1199.91/1200.28	c nbDecision=18000 #constraints=136154
1218.30/1218.69	c nbDecision=18500 #constraints=136601
1236.70/1237.05	c nbDecision=19000 #constraints=136936
1256.59/1256.95	c nbDecision=19500 #constraints=137105
1275.28/1275.63	c nbDecision=20000 #constraints=137309
1288.28/1288.63	c nbDecision=20500 #constraints=137450
1305.38/1305.72	c nbDecision=21000 #constraints=137837
1324.77/1325.16	c nbDecision=21500 #constraints=138284
1343.08/1343.40	c nbDecision=22000 #constraints=138708
1362.47/1362.81	c nbDecision=22500 #constraints=139154
1382.96/1383.36	c nbDecision=23000 #constraints=139618
1402.95/1403.34	c nbDecision=23500 #constraints=140096
1421.45/1421.84	c nbDecision=24000 #constraints=140542
1439.45/1439.82	c nbDecision=24500 #constraints=140984
1456.05/1456.46	c nbDecision=25000 #constraints=141273
1474.64/1475.03	c nbDecision=25500 #constraints=141542
1478.94/1479.37	c restart after 25601 decisions
1497.73/1498.12	c nbDecision=26000 #constraints=141746
1514.63/1515.06	c nbDecision=26500 #constraints=142150
1530.43/1530.86	c nbDecision=27000 #constraints=142533
1546.73/1547.17	c nbDecision=27500 #constraints=142922
1565.12/1565.56	c nbDecision=28000 #constraints=143280
1584.12/1584.50	c nbDecision=28500 #constraints=143571
1600.61/1601.03	c nbDecision=29000 #constraints=143957
1617.50/1617.95	c nbDecision=29500 #constraints=144339
1638.21/1638.69	c nbDecision=30000 #constraints=144781
1659.29/1659.72	c nbDecision=30500 #constraints=145232
1680.79/1681.22	c nbDecision=31000 #constraints=145691
1701.49/1701.91	c nbDecision=31500 #constraints=146114
1724.29/1724.75	c nbDecision=32000 #constraints=146571
1747.78/1748.28	c nbDecision=32500 #constraints=147019
1772.37/1772.87	c nbDecision=33000 #constraints=147478
1798.66/1799.14	c nbDecision=33500 #constraints=147939
1800.07/1800.50	Received signal 15
1800.17/1800.64	
1800.17/1800.64	s UNKNOWN
1800.17/1800.64	
1800.17/1800.64	c user time= 1799.14 s
1800.17/1800.64	c system time= 1.07684 s
1800.17/1800.64	c wall clock time=1800.65

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/node34/watcher-357040-1176852543 -o ROOT/results/node34/solver-357040-1176852543 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357040-1176852543/instance-357040-1176852543.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.01 1.00 1.00 3/77 5297
/proc/meminfo: memFree=1645400/2055920 swapFree=4122476/4192956
[pid=5297] ppid=5295 vsize=1468 CPUtime=0
/proc/5297/stat : 5297 (oree) R 5295 5297 4671 0 -1 4194304 180 0 0 0 0 0 0 0 18 0 1 0 133170053 1503232 162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5297/statm: 367 162 131 317 0 46 0

[startup+0.033581 s]
/proc/loadavg: 1.01 1.00 1.00 3/77 5297
/proc/meminfo: memFree=1645400/2055920 swapFree=4122476/4192956
[pid=5297] ppid=5295 vsize=1996 CPUtime=0.03
/proc/5297/stat : 5297 (oree) R 5295 5297 4671 0 -1 4194304 304 0 0 0 3 0 0 0 18 0 1 0 133170053 2043904 286 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5297/statm: 499 286 131 317 0 178 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 1996

[startup+0.101585 s]
/proc/loadavg: 1.01 1.00 1.00 3/77 5297
/proc/meminfo: memFree=1645400/2055920 swapFree=4122476/4192956
[pid=5297] ppid=5295 vsize=3184 CPUtime=0.09
/proc/5297/stat : 5297 (oree) R 5295 5297 4671 0 -1 4194304 598 0 0 0 9 0 0 0 18 0 1 0 133170053 3260416 580 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5297/statm: 796 580 131 317 0 475 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3184

[startup+0.301601 s]
/proc/loadavg: 1.01 1.00 1.00 3/77 5297
/proc/meminfo: memFree=1645400/2055920 swapFree=4122476/4192956
[pid=5297] ppid=5295 vsize=6616 CPUtime=0.29
/proc/5297/stat : 5297 (oree) R 5295 5297 4671 0 -1 4194304 1460 0 0 0 29 0 0 0 19 0 1 0 133170053 6774784 1442 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5297/statm: 1654 1442 131 317 0 1333 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6616

[startup+0.701633 s]
/proc/loadavg: 1.01 1.00 1.00 3/77 5297
/proc/meminfo: memFree=1645400/2055920 swapFree=4122476/4192956
[pid=5297] ppid=5295 vsize=13480 CPUtime=0.69
/proc/5297/stat : 5297 (oree) R 5295 5297 4671 0 -1 4194304 3188 0 0 0 67 2 0 0 22 0 1 0 133170053 13803520 3170 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5297/statm: 3370 3170 131 317 0 3049 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13480

[startup+1.5017 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 5298
/proc/meminfo: memFree=1628816/2055920 swapFree=4122476/4192956
[pid=5297] ppid=5295 vsize=27340 CPUtime=1.49
/proc/5297/stat : 5297 (oree) R 5295 5297 4671 0 -1 4194304 6649 0 0 0 145 4 0 0 25 0 1 0 133170053 27996160 6631 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284160 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5297/statm: 6835 6631 131 317 0 6514 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27340

[startup+3.10182 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 5298
/proc/meminfo: memFree=1610704/2055920 swapFree=4122476/4192956
[pid=5297] ppid=5295 vsize=55060 CPUtime=3.09
/proc/5297/stat : 5297 (oree) R 5295 5297 4671 0 -1 4194304 13583 0 0 0 300 9 0 0 25 0 1 0 133170053 56381440 13565 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5297/statm: 13765 13566 131 317 0 13444 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 55060

[startup+6.30108 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 5298
/proc/meminfo: memFree=1555984/2055920 swapFree=4122476/4192956
[pid=5297] ppid=5295 vsize=110364 CPUtime=6.29
/proc/5297/stat : 5297 (oree) R 5295 5297 4671 0 -1 4194304 27392 0 0 0 613 16 0 0 25 0 1 0 133170053 113012736 27341 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5297/statm: 27591 27342 131 317 0 27270 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 110364

[startup+12.7016 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5298
/proc/meminfo: memFree=1440272/2055920 swapFree=4122476/4192956
[pid=5297] ppid=5295 vsize=222300 CPUtime=12.69
/proc/5297/stat : 5297 (oree) R 5295 5297 4671 0 -1 4194304 55412 0 0 0 1238 31 0 0 25 0 1 0 133170053 227635200 55361 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5297/statm: 55575 55361 131 317 0 55254 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 222300

[startup+25.5016 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5298
/proc/meminfo: memFree=1201360/2055920 swapFree=4122476/4192956
[pid=5297] ppid=5295 vsize=450540 CPUtime=25.49
/proc/5297/stat : 5297 (oree) R 5295 5297 4671 0 -1 4194304 112505 0 0 0 2487 62 0 0 25 0 1 0 133170053 461352960 112389 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602744 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5297/statm: 112635 112389 137 317 0 112314 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 450540

[startup+51.1016 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5298
/proc/meminfo: memFree=1122128/2055920 swapFree=4122476/4192956
[pid=5297] ppid=5295 vsize=538396 CPUtime=51.07
/proc/5297/stat : 5297 (oree) R 5295 5297 4671 0 -1 4194304 146394 0 0 0 5036 71 0 0 25 0 1 0 133170053 551317504 131684 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5297/statm: 134599 131684 139 317 0 134278 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 538396

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5298
/proc/meminfo: memFree=1122128/2055920 swapFree=4122476/4192956
[pid=5297] ppid=5295 vsize=538396 CPUtime=102.26
/proc/5297/stat : 5297 (oree) R 5295 5297 4671 0 -1 4194304 146426 0 0 0 10154 72 0 0 25 0 1 0 133170053 551317504 131716 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5297/statm: 134599 131716 170 317 0 134278 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 538396

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5298
/proc/meminfo: memFree=1122192/2055920 swapFree=4122540/4192956
[pid=5297] ppid=5295 vsize=538396 CPUtime=162.24
/proc/5297/stat : 5297 (oree) R 5295 5297 4671 0 -1 4194304 146427 0 0 0 16152 72 0 0 25 0 1 0 133170053 551317504 131717 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5297/statm: 134599 131717 170 317 0 134278 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 538396

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5298
/proc/meminfo: memFree=1122256/2055920 swapFree=4122540/4192956
[pid=5297] ppid=5295 vsize=538396 CPUtime=222.23
/proc/5297/stat : 5297 (oree) R 5295 5297 4671 0 -1 4194304 146429 0 0 0 22150 73 0 0 25 0 1 0 133170053 551317504 131719 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5297/statm: 134599 131719 170 317 0 134278 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 538396

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5298
/proc/meminfo: memFree=1122256/2055920 swapFree=4122540/4192956
[pid=5297] ppid=5295 vsize=538396 CPUtime=282.21
/proc/5297/stat : 5297 (oree) R 5295 5297 4671 0 -1 4194304 146429 0 0 0 28148 73 0 0 25 0 1 0 133170053 551317504 131719 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5297/statm: 134599 131719 170 317 0 134278 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 538396

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5298
/proc/meminfo: memFree=1122320/2055920 swapFree=4122604/4192956
[pid=5297] ppid=5295 vsize=538396 CPUtime=342.21
/proc/5297/stat : 5297 (oree) R 5295 5297 4671 0 -1 4194304 146431 0 0 0 34147 74 0 0 25 0 1 0 133170053 551317504 131721 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5297/statm: 134599 131721 170 317 0 134278 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 538396

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5298
/proc/meminfo: memFree=1122128/2055920 swapFree=4122604/4192956
[pid=5297] ppid=5295 vsize=538396 CPUtime=402.19
/proc/5297/stat : 5297 (oree) R 5295 5297 4671 0 -1 4194304 146461 0 0 0 40144 75 0 0 25 0 1 0 133170053 551317504 131751 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5297/statm: 134599 131751 170 317 0 134278 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 538396

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5298
/proc/meminfo: memFree=1122128/2055920 swapFree=4122668/4192956
[pid=5297] ppid=5295 vsize=538396 CPUtime=462.17
/proc/5297/stat : 5297 (oree) R 5295 5297 4671 0 -1 4194304 146463 0 0 0 46142 75 0 0 25 0 1 0 133170053 551317504 131753 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5297/statm: 134599 131753 170 317 0 134278 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 538396

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5300
/proc/meminfo: memFree=1122128/2055920 swapFree=4122668/4192956
[pid=5297] ppid=5295 vsize=538396 CPUtime=522.17
/proc/5297/stat : 5297 (oree) R 5295 5297 4671 0 -1 4194304 146467 0 0 0 52141 76 0 0 25 0 1 0 133170053 551317504 131757 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5297/statm: 134599 131757 170 317 0 134278 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 538396

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5300
/proc/meminfo: memFree=1121104/2055920 swapFree=4122668/4192956
[pid=5297] ppid=5295 vsize=539316 CPUtime=582.15
/proc/5297/stat : 5297 (oree) R 5295 5297 4671 0 -1 4194304 146711 0 0 0 58139 76 0 0 25 0 1 0 133170053 552259584 132001 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5297/statm: 134829 132001 170 317 0 134508 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 539316

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5300
/proc/meminfo: memFree=1120016/2055920 swapFree=4122732/4192956
[pid=5297] ppid=5295 vsize=540492 CPUtime=642.14
/proc/5297/stat : 5297 (oree) R 5295 5297 4671 0 -1 4194304 147005 0 0 0 64137 77 0 0 25 0 1 0 133170053 553463808 132295 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712587 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5297/statm: 135123 132295 170 317 0 134802 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 540492


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

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5300
/proc/meminfo: memFree=1101264/2055920 swapFree=4122860/4192956
[pid=5297] ppid=5295 vsize=559580 CPUtime=942.06
/proc/5297/stat : 5297 (oree) R 5295 5297 4671 0 -1 4194304 151810 0 0 0 94123 83 0 0 25 0 1 0 133170053 573009920 136971 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5297/statm: 139895 136971 170 317 0 139574 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 559580

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5300
/proc/meminfo: memFree=1095760/2055920 swapFree=4122860/4192956
[pid=5297] ppid=5295 vsize=565488 CPUtime=1002.05
/proc/5297/stat : 5297 (oree) R 5295 5297 4671 0 -1 4194304 153153 0 0 0 100120 85 0 0 25 0 1 0 133170053 579059712 138314 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5297/statm: 141372 138314 170 317 0 141051 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 565488

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5300
/proc/meminfo: memFree=1094480/2055920 swapFree=4122924/4192956
[pid=5297] ppid=5295 vsize=566660 CPUtime=1062.03
/proc/5297/stat : 5297 (oree) R 5295 5297 4671 0 -1 4194304 153488 0 0 0 106118 85 0 0 25 0 1 0 133170053 580259840 138649 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5297/statm: 141665 138649 170 317 0 141344 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 566660

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5300
/proc/meminfo: memFree=1090832/2055920 swapFree=4122924/4192956
[pid=5297] ppid=5295 vsize=570080 CPUtime=1122.02
/proc/5297/stat : 5297 (oree) R 5295 5297 4671 0 -1 4194304 154401 0 0 0 112115 87 0 0 25 0 1 0 133170053 583761920 139562 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5297/statm: 142520 139562 170 317 0 142199 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 570080

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5300
/proc/meminfo: memFree=1083920/2055920 swapFree=4122988/4192956
[pid=5297] ppid=5295 vsize=576656 CPUtime=1182.01
/proc/5297/stat : 5297 (oree) R 5295 5297 4671 0 -1 4194304 156131 0 0 0 118112 89 0 0 25 0 1 0 133170053 590495744 141292 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5297/statm: 144164 141292 170 317 0 143843 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 576656

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5300
/proc/meminfo: memFree=1077584/2055920 swapFree=4122988/4192956
[pid=5297] ppid=5295 vsize=584556 CPUtime=1241.99
/proc/5297/stat : 5297 (oree) R 5295 5297 4671 0 -1 4194304 157706 0 0 0 124108 91 0 0 25 0 1 0 133170053 598585344 142867 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710933 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5297/statm: 146139 142867 170 317 0 145818 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 584556

[startup+1302.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/78 5300
/proc/meminfo: memFree=1074896/2055920 swapFree=4122988/4192956
[pid=5297] ppid=5295 vsize=586924 CPUtime=1301.99
/proc/5297/stat : 5297 (oree) R 5295 5297 4671 0 -1 4194304 158355 0 0 0 130106 93 0 0 25 0 1 0 133170053 601010176 143516 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5297/statm: 146731 143516 170 317 0 146410 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 586924

[startup+1362.3 s]
/proc/loadavg: 1.08 1.03 1.00 2/78 5300
/proc/meminfo: memFree=1069392/2055920 swapFree=4123052/4192956
[pid=5297] ppid=5295 vsize=592208 CPUtime=1361.97
/proc/5297/stat : 5297 (oree) R 5295 5297 4671 0 -1 4194304 159735 0 0 0 136103 94 0 0 25 0 1 0 133170053 606420992 144896 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562692 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5297/statm: 148052 144896 170 317 0 147731 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 592208

[startup+1422.31 s]
/proc/loadavg: 1.03 1.02 1.00 2/78 5300
/proc/meminfo: memFree=1061392/2055920 swapFree=4123052/4192956
[pid=5297] ppid=5295 vsize=600024 CPUtime=1421.96
/proc/5297/stat : 5297 (oree) R 5295 5297 4671 0 -1 4194304 161746 0 0 0 142100 96 0 0 25 0 1 0 133170053 614424576 146907 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5297/statm: 150006 146907 170 317 0 149685 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 600024

[startup+1482.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 5300
/proc/meminfo: memFree=1057616/2055920 swapFree=4123116/4192956
[pid=5297] ppid=5295 vsize=603688 CPUtime=1481.93
/proc/5297/stat : 5297 (oree) R 5295 5297 4671 0 -1 4194304 162691 0 0 0 148096 97 0 0 25 0 1 0 133170053 618176512 147852 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5297/statm: 150922 147852 170 317 0 150601 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 603688

[startup+1542.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 5300
/proc/meminfo: memFree=1052496/2055920 swapFree=4123116/4192956
[pid=5297] ppid=5295 vsize=608668 CPUtime=1541.93
/proc/5297/stat : 5297 (oree) R 5295 5297 4671 0 -1 4194304 163988 0 0 0 154094 99 0 0 25 0 1 0 133170053 623276032 149149 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5297/statm: 152167 149149 170 317 0 151846 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 608668

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5300
/proc/meminfo: memFree=1044880/2055920 swapFree=4123116/4192956
[pid=5297] ppid=5295 vsize=616184 CPUtime=1601.91
/proc/5297/stat : 5297 (oree) R 5295 5297 4671 0 -1 4194304 165896 0 0 0 160091 100 0 0 25 0 1 0 133170053 630972416 151057 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5297/statm: 154046 151057 170 317 0 153725 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 616184

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5300
/proc/meminfo: memFree=1037264/2055920 swapFree=4123180/4192956
[pid=5297] ppid=5295 vsize=628212 CPUtime=1661.89
/proc/5297/stat : 5297 (oree) R 5295 5297 4671 0 -1 4194304 168599 0 0 0 166087 102 0 0 25 0 1 0 133170053 643289088 152935 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5297/statm: 157053 152935 170 317 0 156732 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 628212

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5300
/proc/meminfo: memFree=1028944/2055920 swapFree=4123180/4192956
[pid=5297] ppid=5295 vsize=636260 CPUtime=1721.89
/proc/5297/stat : 5297 (oree) R 5295 5297 4671 0 -1 4194304 170691 0 0 0 172084 105 0 0 25 0 1 0 133170053 651530240 155027 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5297/statm: 159065 155027 170 317 0 158744 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 636260

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5300
/proc/meminfo: memFree=1022032/2055920 swapFree=4123244/4192956
[pid=5297] ppid=5295 vsize=643000 CPUtime=1781.87
/proc/5297/stat : 5297 (oree) R 5295 5297 4671 0 -1 4194304 172402 0 0 0 178080 107 0 0 25 0 1 0 133170053 658432000 156738 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5297/statm: 160750 156738 170 317 0 160429 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 643000



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5300
/proc/meminfo: memFree=1020368/2055920 swapFree=4123244/4192956
[pid=5297] ppid=5295 vsize=644456 CPUtime=1800.07
/proc/5297/stat : 5297 (oree) R 5295 5297 4671 0 -1 4194304 172807 0 0 0 179900 107 0 0 25 0 1 0 133170053 659922944 157143 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5297/statm: 161114 157143 170 317 0 160793 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 644456

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

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

[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 5301
/proc/meminfo: memFree=1020360/2055920 swapFree=4123244/4192956
[pid=5297] ppid=5295 vsize=644456 CPUtime=1800.17
/proc/5297/stat : 5297 (oree) R 5295 5297 4671 0 -1 4194304 172810 0 0 0 179910 107 0 0 25 0 1 0 133170053 659922944 157146 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5297/statm: 161114 157146 170 317 0 160793 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 644456

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 5301
/proc/meminfo: memFree=1020360/2055920 swapFree=4123244/4192956
[pid=5297] ppid=5295 vsize=0 CPUtime=1800.27
/proc/5297/stat : 5297 (oree) R 5295 5297 4671 0 -1 4194308 172826 0 0 0 179916 111 0 0 25 0 1 0 133170053 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5297/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.27
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.77
CPU time (s): 1800.34
CPU user time (s): 1799.17
CPU system time (s): 1.17282
CPU usage (%): 99.9763
Max. virtual memory (cumulated for all children) (KiB): 644456

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

runsolver used 1.9927 second user time and 4.56331 second system time

The end

Launcher Data (download as text)

Begin job on node34 on Tue Apr 17 23:29:06 UTC 2007

IDJOB= 357040
IDBENCH= 1813
IDSOLVER= 172
FILE ID= node34/357040-1176852543

PBS_JOBID= 4590202

Free space on /tmp= 66410 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/miplib2003/normalized-reduced-mps-v2-20-10-rd-rplusc-21.opb
COMMAND LINE= oree /tmp/evaluation/357040-1176852543/instance-357040-1176852543.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node34/watcher-357040-1176852543 -o ROOT/results/node34/solver-357040-1176852543 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357040-1176852543/instance-357040-1176852543.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  3de80c0560622133ffefa60f8e73d039

RANDOM SEED= 980307713

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node34.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.236
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.236
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:       1645808 kB
Buffers:         33332 kB
Cached:         297788 kB
SwapCached:       3440 kB
Active:         148044 kB
Inactive:       207388 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1645808 kB
SwapTotal:     4192956 kB
SwapFree:      4122476 kB
Dirty:           79920 kB
Writeback:           0 kB
Mapped:          30800 kB
Slab:            39996 kB
Committed_AS:   404688 kB
PageTables:       1976 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= 66410 MiB

End job on node34 on Tue Apr 17 23:59:09 UTC 2007