Trace number 357389

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.11 1800.78

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-mas76.opb
MD5SUM1a1687e6de95bc6822d45f4331f81d44
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark209715197291
Best CPU time to get the best result obtained on this benchmark1800.06
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 143487941105
Optimality of the best value was proved NO
Number of variables240
Total number of constraints13
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints12
Minimum length of a constraint90
Maximum length of a constraint239
Number of terms in the objective function 240
Biggest coefficient in the objective function 1934281311383406679529881600000
Number of bits for the biggest coefficient in the objective function 101
Sum of the numbers in the objective function 3868562622766813359059763201675
Number of bits of the sum of numbers in the objective function 102
Biggest number in a constraint 1208925819614629174706176000000000
Number of bits of the biggest number in a constraint 110
Biggest sum of numbers in a constraint 2417851639229258350907097073774043
Number of bits of the biggest sum of numbers111
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.01	c ...done
0.00/0.01	c #vars=240 #constraints=14 hasObjective=yes
0.00/0.01	c res. mode=mod
0.00/0.01	c VSIDS like heuristics
0.00/0.01	c complete search running
0.69/0.76	c restart after 401 decisions
0.69/0.77	c nbDecision=500 #constraints=252
1.49/1.57	c restart after 801 decisions
1.69/1.72	c nbDecision=1000 #constraints=526
3.59/3.67	c nbDecision=1500 #constraints=1019
4.09/4.13	c restart after 1601 decisions
5.29/5.33	c nbDecision=2000 #constraints=1353
8.39/8.48	c nbDecision=2500 #constraints=1842
12.49/12.51	c nbDecision=3000 #constraints=2312
14.18/14.27	c restart after 3201 decisions
15.89/15.91	c nbDecision=3500 #constraints=2640
21.39/21.41	c nbDecision=4000 #constraints=3136
27.28/27.35	c nbDecision=4500 #constraints=3635
34.58/34.67	c nbDecision=5000 #constraints=4130
43.17/43.23	c nbDecision=5500 #constraints=4624
51.87/51.96	c nbDecision=6000 #constraints=5112
59.77/59.88	c restart after 6401 decisions
60.67/60.71	c nbDecision=6500 #constraints=5475
69.87/69.96	c nbDecision=7000 #constraints=5869
80.66/80.71	c nbDecision=7500 #constraints=6331
93.86/93.93	c nbDecision=8000 #constraints=6775
108.25/108.32	c nbDecision=8500 #constraints=7222
122.05/122.12	c nbDecision=9000 #constraints=7695
138.73/138.86	c nbDecision=9500 #constraints=8147
154.53/154.68	c nbDecision=10000 #constraints=8619
169.53/169.62	c nbDecision=10500 #constraints=9103
185.63/185.75	c nbDecision=11000 #constraints=9598
200.71/200.85	c nbDecision=11500 #constraints=10094
217.61/217.77	c nbDecision=12000 #constraints=10591
236.00/236.12	c nbDecision=12500 #constraints=11085
247.60/247.74	c restart after 12801 decisions
251.30/251.45	c nbDecision=13000 #constraints=11415
269.40/269.51	c nbDecision=13500 #constraints=11914
289.19/289.38	c nbDecision=14000 #constraints=12402
312.28/312.42	c nbDecision=14500 #constraints=12902
333.47/333.64	c nbDecision=15000 #constraints=13401
356.26/356.44	c nbDecision=15500 #constraints=13899
382.45/382.66	c nbDecision=16000 #constraints=14402
405.74/405.94	c nbDecision=16500 #constraints=14900
432.33/432.59	c nbDecision=17000 #constraints=15399
458.43/458.65	c nbDecision=17500 #constraints=15898
482.62/482.88	c nbDecision=18000 #constraints=16399
513.40/513.67	c nbDecision=18500 #constraints=16898
541.59/541.88	c nbDecision=19000 #constraints=17399
570.98/571.28	c nbDecision=19500 #constraints=17899
602.77/603.06	c nbDecision=20000 #constraints=18398
631.76/632.09	c nbDecision=20500 #constraints=18898
659.14/659.42	c nbDecision=21000 #constraints=19398
688.84/689.14	c nbDecision=21500 #constraints=19901
726.43/726.80	c nbDecision=22000 #constraints=20398
760.21/760.52	c nbDecision=22500 #constraints=20898
796.60/796.98	c nbDecision=23000 #constraints=21398
836.78/837.19	c nbDecision=23500 #constraints=21896
873.77/874.11	c nbDecision=24000 #constraints=22398
911.25/911.67	c nbDecision=24500 #constraints=22896
951.74/952.10	c nbDecision=25000 #constraints=23391
991.93/992.35	c nbDecision=25500 #constraints=23892
999.92/1000.33	c restart after 25601 decisions
1022.92/1023.36	c nbDecision=26000 #constraints=24231
1063.89/1064.33	c nbDecision=26500 #constraints=24729
1105.48/1105.92	c nbDecision=27000 #constraints=25230
1143.47/1144.00	c nbDecision=27500 #constraints=25729
1183.95/1184.47	c nbDecision=28000 #constraints=26230
1234.24/1234.72	c nbDecision=28500 #constraints=26729
1278.82/1279.37	c nbDecision=29000 #constraints=27231
1322.60/1323.12	c nbDecision=29500 #constraints=27730
1370.48/1371.04	c nbDecision=30000 #constraints=28229
1417.27/1417.87	c nbDecision=30500 #constraints=28725
1463.65/1464.20	c nbDecision=31000 #constraints=29228
1507.13/1507.70	c nbDecision=31500 #constraints=29728
1557.92/1558.59	c nbDecision=32000 #constraints=30230
1612.59/1613.26	c nbDecision=32500 #constraints=30728
1663.28/1663.91	c nbDecision=33000 #constraints=31228
1714.66/1715.31	c nbDecision=33500 #constraints=31728
1769.04/1769.73	c nbDecision=34000 #constraints=32180
1800.03/1800.70	Received signal 15
1800.03/1800.71	
1800.03/1800.71	s UNKNOWN
1800.03/1800.71	
1800.03/1800.71	c user time= 1799.33 s
1800.03/1800.71	c system time= 0.727889 s
1800.03/1800.71	c wall clock time=1800.72

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node42/watcher-357389-1176996476 -o ROOT/results/node42/solver-357389-1176996476 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357389-1176996476/instance-357389-1176996476.opb mod 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 0.99 0.98 3/77 8299
/proc/meminfo: memFree=1535528/2055920 swapFree=4134572/4192956
[pid=8299] ppid=8297 vsize=1468 CPUtime=0
/proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 175 0 0 0 0 0 0 0 18 0 1 0 147559474 1503232 157 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715285 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8299/statm: 367 157 131 317 0 46 0

[startup+0.0966431 s]
/proc/loadavg: 1.00 0.99 0.98 3/77 8299
/proc/meminfo: memFree=1535528/2055920 swapFree=4134572/4192956
[pid=8299] ppid=8297 vsize=1868 CPUtime=0.09
/proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 275 0 0 0 9 0 0 0 18 0 1 0 147559474 1912832 257 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713905 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8299/statm: 467 257 139 317 0 146 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1868

[startup+0.102644 s]
/proc/loadavg: 1.00 0.99 0.98 3/77 8299
/proc/meminfo: memFree=1535528/2055920 swapFree=4134572/4192956
[pid=8299] ppid=8297 vsize=1868 CPUtime=0.09
/proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 292 0 0 0 9 0 0 0 18 0 1 0 147559474 1912832 274 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272561 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8299/statm: 467 274 139 317 0 146 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1868

[startup+0.302682 s]
/proc/loadavg: 1.00 0.99 0.98 3/77 8299
/proc/meminfo: memFree=1535528/2055920 swapFree=4134572/4192956
[pid=8299] ppid=8297 vsize=2524 CPUtime=0.29
/proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 448 0 0 0 29 0 0 0 19 0 1 0 147559474 2584576 430 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8299/statm: 631 430 139 317 0 310 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2524

[startup+0.701758 s]
/proc/loadavg: 1.00 0.99 0.98 3/77 8299
/proc/meminfo: memFree=1535528/2055920 swapFree=4134572/4192956
[pid=8299] ppid=8297 vsize=3824 CPUtime=0.69
/proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 764 0 0 0 69 0 0 0 22 0 1 0 147559474 3915776 746 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134717261 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8299/statm: 956 746 139 317 0 635 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3824

[startup+1.50191 s]
/proc/loadavg: 1.00 0.99 0.98 3/78 8300
/proc/meminfo: memFree=1531872/2055920 swapFree=4134572/4192956
[pid=8299] ppid=8297 vsize=6196 CPUtime=1.49
/proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 1397 0 0 0 149 0 0 0 25 0 1 0 147559474 6344704 1379 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8299/statm: 1549 1379 170 317 0 1228 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6196

[startup+3.10122 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 8300
/proc/meminfo: memFree=1528288/2055920 swapFree=4134572/4192956
[pid=8299] ppid=8297 vsize=10556 CPUtime=3.08
/proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 2479 0 0 0 308 0 0 0 25 0 1 0 147559474 10809344 2461 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8299/statm: 2639 2461 170 317 0 2318 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 10556

[startup+6.30182 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 8300
/proc/meminfo: memFree=1520928/2055920 swapFree=4134572/4192956
[pid=8299] ppid=8297 vsize=17592 CPUtime=6.29
/proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 4224 0 0 0 627 2 0 0 25 0 1 0 147559474 18014208 4206 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8299/statm: 4398 4206 170 317 0 4077 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17592

[startup+12.701 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 8300
/proc/meminfo: memFree=1510696/2055920 swapFree=4134572/4192956
[pid=8299] ppid=8297 vsize=27336 CPUtime=12.68
/proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 6458 0 0 0 1265 3 0 0 25 0 1 0 147559474 27992064 6440 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718425 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8299/statm: 6834 6440 170 317 0 6513 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 27336

[startup+25.5015 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 8300
/proc/meminfo: memFree=1499752/2055920 swapFree=4134572/4192956
[pid=8299] ppid=8297 vsize=37132 CPUtime=25.48
/proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 9108 0 0 0 2543 5 0 0 25 0 1 0 147559474 38023168 9090 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8299/statm: 9283 9090 170 317 0 8962 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 37132

[startup+51.1023 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 8300
/proc/meminfo: memFree=1482856/2055920 swapFree=4134628/4192956
[pid=8299] ppid=8297 vsize=56328 CPUtime=51.07
/proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 13339 0 0 0 5098 9 0 0 25 0 1 0 147559474 57679872 13321 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8299/statm: 14082 13321 170 317 0 13761 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 56328

[startup+102.305 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 8300
/proc/meminfo: memFree=1464424/2055920 swapFree=4134628/4192956
[pid=8299] ppid=8297 vsize=73108 CPUtime=102.25
/proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 17880 0 0 0 10212 13 0 0 25 0 1 0 147559474 74862592 17862 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8299/statm: 18277 17862 170 317 0 17956 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 73108

[startup+162.302 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 8300
/proc/meminfo: memFree=1442280/2055920 swapFree=4134628/4192956
[pid=8299] ppid=8297 vsize=100944 CPUtime=162.23
/proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 23489 0 0 0 16207 16 0 0 25 0 1 0 147559474 103366656 23414 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8299/statm: 25236 23414 170 317 0 24915 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 100944

[startup+222.302 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 8300
/proc/meminfo: memFree=1425192/2055920 swapFree=4134628/4192956
[pid=8299] ppid=8297 vsize=116900 CPUtime=222.21
/proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 27711 0 0 0 22201 20 0 0 25 0 1 0 147559474 119705600 27636 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8299/statm: 29225 27636 170 317 0 28904 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 116900

[startup+282.301 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 8300
/proc/meminfo: memFree=1411240/2055920 swapFree=4134688/4192956
[pid=8299] ppid=8297 vsize=130172 CPUtime=282.18
/proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 31222 0 0 0 28196 22 0 0 25 0 1 0 147559474 133296128 31147 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8299/statm: 32543 31147 170 317 0 32222 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 130172

[startup+342.302 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 8300
/proc/meminfo: memFree=1398504/2055920 swapFree=4134736/4192956
[pid=8299] ppid=8297 vsize=141524 CPUtime=342.16
/proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 34383 0 0 0 34191 25 0 0 25 0 1 0 147559474 144920576 34308 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8299/statm: 35381 34308 170 317 0 35060 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 141524

[startup+402.301 s]
/proc/loadavg: 1.00 0.99 0.98 3/78 8300
/proc/meminfo: memFree=1387112/2055920 swapFree=4134736/4192956
[pid=8299] ppid=8297 vsize=152080 CPUtime=402.14
/proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 37242 0 0 0 40186 28 0 0 25 0 1 0 147559474 155729920 37167 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8299/statm: 38020 37167 170 317 0 37699 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 152080

[startup+462.302 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 8300
/proc/meminfo: memFree=1375976/2055920 swapFree=4134736/4192956
[pid=8299] ppid=8297 vsize=161956 CPUtime=462.12
/proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 39975 0 0 0 46182 30 0 0 25 0 1 0 147559474 165842944 39900 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8299/statm: 40489 39900 170 317 0 40168 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 161956

[startup+522.302 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 8300
/proc/meminfo: memFree=1360872/2055920 swapFree=4134796/4192956
[pid=8299] ppid=8297 vsize=194444 CPUtime=522.1
/proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 46860 0 0 0 52176 34 0 0 25 0 1 0 147559474 199110656 43669 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8299/statm: 48611 43669 170 317 0 48290 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 194444

[startup+582.301 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 8300
/proc/meminfo: memFree=1351080/2055920 swapFree=4134856/4192956
[pid=8299] ppid=8297 vsize=204024 CPUtime=582.07
/proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 49480 0 0 0 58172 35 0 0 25 0 1 0 147559474 208920576 46091 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712497 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8299/statm: 51006 46091 170 317 0 50685 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 204024

[startup+642.302 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 8300
/proc/meminfo: memFree=1341224/2055920 swapFree=4134856/4192956
[pid=8299] ppid=8297 vsize=212768 CPUtime=642.06
/proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 51976 0 0 0 64168 38 0 0 25 0 1 0 147559474 217874432 48587 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8299/statm: 53192 48587 170 317 0 52871 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 212768


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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 8302
/proc/meminfo: memFree=1308520/2055920 swapFree=4134976/4192956
[pid=8299] ppid=8297 vsize=242336 CPUtime=881.97
/proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 60326 0 0 0 88149 48 0 0 25 0 1 0 147559474 248152064 56706 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8299/statm: 60584 56706 170 317 0 60263 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 242336

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 8302
/proc/meminfo: memFree=1300904/2055920 swapFree=4135036/4192956
[pid=8299] ppid=8297 vsize=249028 CPUtime=941.94
/proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 62313 0 0 0 94145 49 0 0 25 0 1 0 147559474 255004672 58627 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8299/statm: 62257 58627 170 317 0 61936 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 249028

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 8302
/proc/meminfo: memFree=1294312/2055920 swapFree=4135036/4192956
[pid=8299] ppid=8297 vsize=255076 CPUtime=1001.92
/proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 64001 0 0 0 100141 51 0 0 25 0 1 0 147559474 261197824 60282 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718425 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8299/statm: 63769 60282 170 317 0 63448 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 255076

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 8302
/proc/meminfo: memFree=1287144/2055920 swapFree=4135036/4192956
[pid=8299] ppid=8297 vsize=260996 CPUtime=1061.9
/proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 65796 0 0 0 106138 52 0 0 25 0 1 0 147559474 267259904 62077 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8299/statm: 65249 62077 170 317 0 64928 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 260996

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 8302
/proc/meminfo: memFree=1280424/2055920 swapFree=4135092/4192956
[pid=8299] ppid=8297 vsize=267296 CPUtime=1121.88
/proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 67578 0 0 0 112134 54 0 0 25 0 1 0 147559474 273711104 63760 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8299/statm: 66824 63760 170 317 0 66503 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 267296

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 8302
/proc/meminfo: memFree=1272616/2055920 swapFree=4135092/4192956
[pid=8299] ppid=8297 vsize=274008 CPUtime=1181.86
/proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 69555 0 0 0 118130 56 0 0 25 0 1 0 147559474 280584192 65704 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8299/statm: 68502 65704 170 317 0 68181 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 274008

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 8302
/proc/meminfo: memFree=1266792/2055920 swapFree=4135092/4192956
[pid=8299] ppid=8297 vsize=279264 CPUtime=1241.83
/proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 71055 0 0 0 124126 57 0 0 25 0 1 0 147559474 285966336 67138 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8299/statm: 69816 67138 170 317 0 69495 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 279264

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 8302
/proc/meminfo: memFree=1260264/2055920 swapFree=4135148/4192956
[pid=8299] ppid=8297 vsize=284924 CPUtime=1301.81
/proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 72653 0 0 0 130123 58 0 0 25 0 1 0 147559474 291762176 68736 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8299/statm: 71231 68736 170 317 0 70910 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 284924

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 8302
/proc/meminfo: memFree=1254248/2055920 swapFree=4135148/4192956
[pid=8299] ppid=8297 vsize=290180 CPUtime=1361.79
/proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 74158 0 0 0 136119 60 0 0 25 0 1 0 147559474 297144320 70241 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563647 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8299/statm: 72545 70241 170 317 0 72224 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 290180

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 8302
/proc/meminfo: memFree=1247720/2055920 swapFree=4135148/4192956
[pid=8299] ppid=8297 vsize=295428 CPUtime=1421.77
/proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 75774 0 0 0 142115 62 0 0 25 0 1 0 147559474 302518272 71857 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8299/statm: 73857 71857 170 317 0 73536 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 295428

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 8302
/proc/meminfo: memFree=1241448/2055920 swapFree=4135204/4192956
[pid=8299] ppid=8297 vsize=301340 CPUtime=1481.74
/proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 77421 0 0 0 148111 63 0 0 25 0 1 0 147559474 308572160 73438 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718451 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8299/statm: 75335 73438 170 317 0 75014 0
Current children cumulated CPU time (s) 1481.74
Current children cumulated vsize (KiB) 301340

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 8302
/proc/meminfo: memFree=1235176/2055920 swapFree=4135204/4192956
[pid=8299] ppid=8297 vsize=306972 CPUtime=1541.72
/proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 79020 0 0 0 154107 65 0 0 25 0 1 0 147559474 314339328 74971 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718425 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8299/statm: 76743 74971 170 317 0 76422 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 306972

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 8302
/proc/meminfo: memFree=1230440/2055920 swapFree=4135264/4192956
[pid=8299] ppid=8297 vsize=311164 CPUtime=1601.7
/proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 80245 0 0 0 160103 67 0 0 25 0 1 0 147559474 318631936 76196 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8299/statm: 77791 76196 170 317 0 77470 0
Current children cumulated CPU time (s) 1601.7
Current children cumulated vsize (KiB) 311164

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 8302
/proc/meminfo: memFree=1224680/2055920 swapFree=4135264/4192956
[pid=8299] ppid=8297 vsize=316280 CPUtime=1661.68
/proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 81690 0 0 0 166099 69 0 0 25 0 1 0 147559474 323870720 77608 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8299/statm: 79070 77608 170 317 0 78749 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 316280

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 8302
/proc/meminfo: memFree=1218728/2055920 swapFree=4135264/4192956
[pid=8299] ppid=8297 vsize=321276 CPUtime=1721.65
/proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 83222 0 0 0 172095 70 0 0 25 0 1 0 147559474 328986624 79107 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8299/statm: 80319 79107 170 317 0 79998 0
Current children cumulated CPU time (s) 1721.65
Current children cumulated vsize (KiB) 321276

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 8302
/proc/meminfo: memFree=1213992/2055920 swapFree=4135320/4192956
[pid=8299] ppid=8297 vsize=325212 CPUtime=1781.64
/proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 84406 0 0 0 178092 72 0 0 25 0 1 0 147559474 333017088 80291 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8299/statm: 81303 80291 170 317 0 80982 0
Current children cumulated CPU time (s) 1781.64
Current children cumulated vsize (KiB) 325212



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 8302
/proc/meminfo: memFree=1212456/2055920 swapFree=4135320/4192956
[pid=8299] ppid=8297 vsize=326788 CPUtime=1800.03
/proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 84805 0 0 0 179931 72 0 0 25 0 1 0 147559474 334630912 80657 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8299/statm: 81697 80657 170 317 0 81376 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 326788

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 8302
/proc/meminfo: memFree=1212456/2055920 swapFree=4135320/4192956
[pid=8299] ppid=8297 vsize=326788 CPUtime=1800.03
/proc/8299/stat : 8299 (oree) R 8297 8299 7628 0 -1 4194304 84805 0 0 0 179931 72 0 0 25 0 1 0 147559474 334630912 80657 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8299/statm: 81697 80657 170 317 0 81376 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 326788

Child status: 0
Real time (s): 1800.78
CPU time (s): 1800.11
CPU user time (s): 1799.33
CPU system time (s): 0.778881
CPU usage (%): 99.9631
Max. virtual memory (cumulated for all children) (KiB): 326788

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

runsolver used 1.9587 second user time and 4.6063 second system time

The end

Launcher Data (download as text)

Begin job on node42 on Thu Apr 19 15:27:56 UTC 2007

IDJOB= 357389
IDBENCH= 2510
IDSOLVER= 172
FILE ID= node42/357389-1176996476

PBS_JOBID= 4630465

Free space on /tmp= 66448 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mas76.opb
COMMAND LINE= oree /tmp/evaluation/357389-1176996476/instance-357389-1176996476.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node42/watcher-357389-1176996476 -o ROOT/results/node42/solver-357389-1176996476 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357389-1176996476/instance-357389-1176996476.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  1a1687e6de95bc6822d45f4331f81d44

RANDOM SEED= 356242518

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node42.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.277
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.277
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1536000 kB
Buffers:         36800 kB
Cached:         394156 kB
SwapCached:      18184 kB
Active:          98752 kB
Inactive:       364080 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1536000 kB
SwapTotal:     4192956 kB
SwapFree:      4134572 kB
Dirty:            1388 kB
Writeback:           0 kB
Mapped:          39040 kB
Slab:            42460 kB
Committed_AS:  2994880 kB
PageTables:       1912 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66448 MiB

End job on node42 on Thu Apr 19 15:57:59 UTC 2007