Trace number 356944

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-forplan.opb
MD5SUM4cdda58963f46d542400f05ed7600db2
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 variables12528
Total number of constraints155
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 constraints155
Minimum length of a constraint27
Maximum length of a constraint9090
Number of terms in the objective function 9340
Biggest coefficient in the objective function 2973
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 531813
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 531813
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.49/0.50	c ...done
0.49/0.50	c #vars=12528 #constraints=246 hasObjective=yes
0.59/0.65	c res. mode=mod
0.59/0.65	c VSIDS like heuristics
0.59/0.65	c complete search running
0.78/0.80	c restart after 401 decisions
0.99/1.01	c nbDecision=500 #constraints=286
1.29/1.31	c restart after 801 decisions
1.29/1.35	c nbDecision=1000 #constraints=339
1.49/1.52	c nbDecision=1500 #constraints=357
1.49/1.55	c restart after 1601 decisions
1.79/1.82	c nbDecision=2000 #constraints=387
5.49/5.51	c nbDecision=2500 #constraints=883
10.18/10.24	c nbDecision=3000 #constraints=1379
12.28/12.38	c restart after 3201 decisions
12.38/12.47	c nbDecision=3500 #constraints=1583
17.08/17.13	c nbDecision=4000 #constraints=2050
22.88/22.97	c nbDecision=4500 #constraints=2533
30.08/30.17	c nbDecision=5000 #constraints=3014
38.48/38.54	c nbDecision=5500 #constraints=3490
47.57/47.63	c nbDecision=6000 #constraints=3975
56.86/56.94	c restart after 6401 decisions
56.86/56.98	c nbDecision=6500 #constraints=4376
63.56/63.65	c nbDecision=7000 #constraints=4670
77.16/77.27	c nbDecision=7500 #constraints=5163
91.05/91.11	c nbDecision=8000 #constraints=5653
106.95/107.03	c nbDecision=8500 #constraints=6151
123.16/123.26	c nbDecision=9000 #constraints=6646
141.54/141.62	c nbDecision=9500 #constraints=7140
159.74/159.82	c nbDecision=10000 #constraints=7631
177.64/177.72	c nbDecision=10500 #constraints=8126
199.33/199.43	c nbDecision=11000 #constraints=8617
223.12/223.23	c nbDecision=11500 #constraints=9113
247.32/247.45	c nbDecision=12000 #constraints=9605
270.61/270.75	c nbDecision=12500 #constraints=10100
284.91/285.03	c restart after 12801 decisions
285.11/285.21	c nbDecision=13000 #constraints=10396
298.90/299.08	c nbDecision=13500 #constraints=10663
324.70/324.87	c nbDecision=14000 #constraints=11159
353.59/353.74	c nbDecision=14500 #constraints=11656
381.68/381.82	c nbDecision=15000 #constraints=12151
413.38/413.50	c nbDecision=15500 #constraints=12645
443.96/444.10	c nbDecision=16000 #constraints=13142
473.36/473.58	c nbDecision=16500 #constraints=13637
507.34/507.52	c nbDecision=17000 #constraints=14133
544.94/545.11	c nbDecision=17500 #constraints=14629
583.03/583.25	c nbDecision=18000 #constraints=15129
619.52/619.78	c nbDecision=18500 #constraints=15622
660.81/661.05	c nbDecision=19000 #constraints=16123
699.40/699.70	c nbDecision=19500 #constraints=16616
736.69/736.94	c nbDecision=20000 #constraints=17111
773.87/774.10	c nbDecision=20500 #constraints=17598
815.67/815.98	c nbDecision=21000 #constraints=18090
859.26/859.56	c nbDecision=21500 #constraints=18587
897.75/898.08	c nbDecision=22000 #constraints=19078
928.83/929.18	c nbDecision=22500 #constraints=19549
967.12/967.46	c nbDecision=23000 #constraints=20039
1011.21/1011.54	c nbDecision=23500 #constraints=20531
1063.80/1064.17	c nbDecision=24000 #constraints=21029
1110.59/1110.95	c nbDecision=24500 #constraints=21525
1163.68/1164.06	c nbDecision=25000 #constraints=22019
1215.45/1215.83	c nbDecision=25500 #constraints=22509
1227.56/1227.96	c restart after 25601 decisions
1232.16/1232.50	c nbDecision=26000 #constraints=22639
1297.23/1297.60	c nbDecision=26500 #constraints=23113
1338.22/1338.64	c nbDecision=27000 #constraints=23594
1388.60/1389.00	c nbDecision=27500 #constraints=24086
1439.59/1440.03	c nbDecision=28000 #constraints=24580
1493.17/1493.69	c nbDecision=28500 #constraints=25075
1548.87/1549.33	c nbDecision=29000 #constraints=25568
1608.55/1609.01	c nbDecision=29500 #constraints=26063
1681.13/1681.69	c nbDecision=30000 #constraints=26557
1754.51/1755.09	c nbDecision=30500 #constraints=27053
1800.10/1800.60	Received signal 15
1800.29/1800.82	
1800.29/1800.82	s UNKNOWN
1800.29/1800.82	
1800.29/1800.82	c user time= 1799.15 s
1800.29/1800.82	c system time= 1.17982 s
1800.29/1800.82	c wall clock time=1800.82

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/node50/watcher-356944-1176849033 -o ROOT/results/node50/solver-356944-1176849033 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356944-1176849033/instance-356944-1176849033.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.72 0.93 0.98 2/64 4211
/proc/meminfo: memFree=1489400/2055920 swapFree=4183816/4192956
[pid=4211] ppid=4209 vsize=1468 CPUtime=0
/proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 161 0 0 0 0 0 0 0 20 0 1 0 39748498 1503232 143 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4211/statm: 367 143 126 317 0 46 0

[startup+0.094404 s]
/proc/loadavg: 0.72 0.93 0.98 2/64 4211
/proc/meminfo: memFree=1489400/2055920 swapFree=4183816/4192956
[pid=4211] ppid=4209 vsize=3232 CPUtime=0.08
/proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 618 0 0 0 8 0 0 0 20 0 1 0 39748498 3309568 501 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4211/statm: 808 501 131 317 0 487 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 3232

[startup+0.101404 s]
/proc/loadavg: 0.72 0.93 0.98 2/64 4211
/proc/meminfo: memFree=1489400/2055920 swapFree=4183816/4192956
[pid=4211] ppid=4209 vsize=3372 CPUtime=0.09
/proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 658 0 0 0 9 0 0 0 20 0 1 0 39748498 3452928 541 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4211/statm: 843 541 131 317 0 522 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3372

[startup+0.301421 s]
/proc/loadavg: 0.72 0.93 0.98 2/64 4211
/proc/meminfo: memFree=1489400/2055920 swapFree=4183816/4192956
[pid=4211] ppid=4209 vsize=7608 CPUtime=0.29
/proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 1557 0 0 0 29 0 0 0 21 0 1 0 39748498 7790592 1407 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746922 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4211/statm: 1902 1407 131 317 0 1581 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7608

[startup+0.701456 s]
/proc/loadavg: 0.72 0.93 0.98 2/64 4211
/proc/meminfo: memFree=1489400/2055920 swapFree=4183816/4192956
[pid=4211] ppid=4209 vsize=15740 CPUtime=0.68
/proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 3411 0 0 0 67 1 0 0 25 0 1 0 39748498 16117760 3261 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4211/statm: 3935 3261 139 317 0 3614 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 15740

[startup+1.50153 s]
/proc/loadavg: 0.72 0.93 0.98 2/65 4212
/proc/meminfo: memFree=1474224/2055920 swapFree=4183816/4192956
[pid=4211] ppid=4209 vsize=20592 CPUtime=1.49
/proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 4617 0 0 0 147 2 0 0 25 0 1 0 39748498 21086208 4467 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4211/statm: 5148 4467 170 317 0 4827 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20592

[startup+3.10167 s]
/proc/loadavg: 0.72 0.93 0.98 2/65 4212
/proc/meminfo: memFree=1469360/2055920 swapFree=4183816/4192956
[pid=4211] ppid=4209 vsize=28684 CPUtime=3.09
/proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 6401 0 0 0 306 3 0 0 25 0 1 0 39748498 29372416 6251 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712525 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4211/statm: 7171 6251 170 317 0 6850 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28684

[startup+6.30195 s]
/proc/loadavg: 0.74 0.94 0.98 2/65 4212
/proc/meminfo: memFree=1455600/2055920 swapFree=4183816/4192956
[pid=4211] ppid=4209 vsize=42748 CPUtime=6.29
/proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 9492 0 0 0 624 5 0 0 25 0 1 0 39748498 43773952 9342 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271308 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4211/statm: 10687 9342 170 317 0 10366 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 42748

[startup+12.7015 s]
/proc/loadavg: 0.76 0.94 0.98 2/65 4212
/proc/meminfo: memFree=1434224/2055920 swapFree=4183816/4192956
[pid=4211] ppid=4209 vsize=65500 CPUtime=12.68
/proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 14417 0 0 0 1261 7 0 0 25 0 1 0 39748498 67072000 14267 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4211/statm: 16375 14267 170 317 0 16054 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 65500

[startup+25.5026 s]
/proc/loadavg: 0.81 0.94 0.98 2/65 4212
/proc/meminfo: memFree=1399472/2055920 swapFree=4183816/4192956
[pid=4211] ppid=4209 vsize=102720 CPUtime=25.48
/proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 22826 0 0 0 2538 10 0 0 25 0 1 0 39748498 105185280 22676 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4211/statm: 25680 22676 170 317 0 25359 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 102720

[startup+51.1029 s]
/proc/loadavg: 0.87 0.94 0.98 2/65 4212
/proc/meminfo: memFree=1356400/2055920 swapFree=4183816/4192956
[pid=4211] ppid=4209 vsize=149524 CPUtime=51.07
/proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 33611 0 0 0 5090 17 0 0 25 0 1 0 39748498 153112576 33461 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4211/statm: 37381 33461 170 317 0 37060 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 149524

[startup+102.305 s]
/proc/loadavg: 0.94 0.95 0.98 2/65 4212
/proc/meminfo: memFree=1295088/2055920 swapFree=4183816/4192956
[pid=4211] ppid=4209 vsize=220276 CPUtime=102.26
/proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 48736 0 0 0 10202 24 0 0 25 0 1 0 39748498 225562624 48586 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4211/statm: 55069 48586 170 317 0 54748 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 220276

[startup+162.303 s]
/proc/loadavg: 0.98 0.95 0.98 2/65 4212
/proc/meminfo: memFree=1248112/2055920 swapFree=4183816/4192956
[pid=4211] ppid=4209 vsize=267376 CPUtime=162.24
/proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 60636 0 0 0 16193 31 0 0 25 0 1 0 39748498 273793024 60486 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4211/statm: 66844 60486 170 317 0 66523 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 267376

[startup+222.303 s]
/proc/loadavg: 0.99 0.96 0.98 2/65 4212
/proc/meminfo: memFree=1207152/2055920 swapFree=4183816/4192956
[pid=4211] ppid=4209 vsize=310164 CPUtime=222.22
/proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 70752 0 0 0 22186 36 0 0 25 0 1 0 39748498 317607936 70544 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4211/statm: 77541 70544 170 317 0 77220 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 310164

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4212
/proc/meminfo: memFree=1156912/2055920 swapFree=4183816/4192956
[pid=4211] ppid=4209 vsize=379004 CPUtime=282.21
/proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 83405 0 0 0 28178 43 0 0 25 0 1 0 39748498 388100096 83197 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4211/statm: 94751 83197 170 317 0 94430 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 379004

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4212
/proc/meminfo: memFree=1122672/2055920 swapFree=4183816/4192956
[pid=4211] ppid=4209 vsize=412528 CPUtime=342.19
/proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 91840 0 0 0 34172 47 0 0 25 0 1 0 39748498 422428672 91632 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4211/statm: 103132 91632 170 317 0 102811 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 412528

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4212
/proc/meminfo: memFree=1093616/2055920 swapFree=4183816/4192956
[pid=4211] ppid=4209 vsize=442560 CPUtime=402.18
/proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 99226 0 0 0 40167 51 0 0 25 0 1 0 39748498 453181440 99018 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4211/statm: 110640 99018 170 317 0 110319 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 442560

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4212
/proc/meminfo: memFree=1059632/2055920 swapFree=4183816/4192956
[pid=4211] ppid=4209 vsize=476700 CPUtime=462.16
/proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 107584 0 0 0 46162 54 0 0 25 0 1 0 39748498 488140800 107376 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4211/statm: 119175 107376 170 317 0 118854 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 476700

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4212
/proc/meminfo: memFree=1028208/2055920 swapFree=4183816/4192956
[pid=4211] ppid=4209 vsize=509464 CPUtime=522.14
/proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 115430 0 0 0 52157 57 0 0 25 0 1 0 39748498 521691136 115222 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4211/statm: 127366 115222 170 317 0 127045 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 509464

[startup+582.302 s]
/proc/loadavg: 1.11 1.00 0.99 2/65 4212
/proc/meminfo: memFree=1000688/2055920 swapFree=4183816/4192956
[pid=4211] ppid=4209 vsize=536636 CPUtime=582.13
/proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 122330 0 0 0 58153 60 0 0 25 0 1 0 39748498 549515264 122122 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4211/statm: 134159 122122 170 317 0 133838 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 536636

[startup+642.302 s]
/proc/loadavg: 1.15 1.03 1.00 2/65 4212
/proc/meminfo: memFree=971312/2055920 swapFree=4183816/4192956
[pid=4211] ppid=4209 vsize=565832 CPUtime=642.12
/proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 129550 0 0 0 64149 63 0 0 25 0 1 0 39748498 579411968 129342 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4211/statm: 141458 129342 170 317 0 141137 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 565832


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

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4212
/proc/meminfo: memFree=792816/2055920 swapFree=4183816/4192956
[pid=4211] ppid=4209 vsize=806200 CPUtime=942.03
/proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 184618 0 0 0 94118 85 0 0 25 0 1 0 39748498 825548800 173900 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4211/statm: 201550 173900 170 317 0 201229 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 806200

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4212
/proc/meminfo: memFree=759664/2055920 swapFree=4183816/4192956
[pid=4211] ppid=4209 vsize=838016 CPUtime=1002.01
/proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 192878 0 0 0 100112 89 0 0 25 0 1 0 39748498 858128384 182127 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4211/statm: 209504 182127 170 317 0 209183 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 838016

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4212
/proc/meminfo: memFree=732336/2055920 swapFree=4183816/4192956
[pid=4211] ppid=4209 vsize=866368 CPUtime=1062
/proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 199836 0 0 0 106108 92 0 0 25 0 1 0 39748498 887160832 189019 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4211/statm: 216592 189019 170 317 0 216271 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 866368

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4212
/proc/meminfo: memFree=691440/2055920 swapFree=4183816/4192956
[pid=4211] ppid=4209 vsize=919128 CPUtime=1121.99
/proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 209954 0 0 0 112102 97 0 0 25 0 1 0 39748498 941187072 199137 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4211/statm: 229782 199137 170 317 0 229461 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 919128

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4212
/proc/meminfo: memFree=663792/2055920 swapFree=4183816/4192956
[pid=4211] ppid=4209 vsize=946260 CPUtime=1181.97
/proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 217024 0 0 0 118098 99 0 0 25 0 1 0 39748498 968970240 206207 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715624 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4211/statm: 236565 206207 170 317 0 236244 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 946260

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4212
/proc/meminfo: memFree=641520/2055920 swapFree=4183816/4192956
[pid=4211] ppid=4209 vsize=968128 CPUtime=1241.95
/proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 222403 0 0 0 124094 101 0 0 25 0 1 0 39748498 991363072 211586 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4211/statm: 242032 211586 170 317 0 241711 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 968128

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4212
/proc/meminfo: memFree=627120/2055920 swapFree=4183816/4192956
[pid=4211] ppid=4209 vsize=981568 CPUtime=1301.94
/proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 225955 0 0 0 130092 102 0 0 25 0 1 0 39748498 1005125632 215138 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4211/statm: 245392 215138 170 317 0 245071 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 981568

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4212
/proc/meminfo: memFree=607792/2055920 swapFree=4183816/4192956
[pid=4211] ppid=4209 vsize=1000252 CPUtime=1361.91
/proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 230887 0 0 0 136087 104 0 0 25 0 1 0 39748498 1024258048 220037 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4211/statm: 250063 220037 170 317 0 249742 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 1000252

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4212
/proc/meminfo: memFree=590832/2055920 swapFree=4183816/4192956
[pid=4211] ppid=4209 vsize=1016756 CPUtime=1421.9
/proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 235103 0 0 0 142084 106 0 0 25 0 1 0 39748498 1041158144 224220 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4211/statm: 254189 224220 170 317 0 253868 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 1016756

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4212
/proc/meminfo: memFree=574192/2055920 swapFree=4183816/4192956
[pid=4211] ppid=4209 vsize=1032972 CPUtime=1481.88
/proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 239254 0 0 0 148079 109 0 0 25 0 1 0 39748498 1057763328 228371 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4211/statm: 258243 228371 170 317 0 257922 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1032972

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4212
/proc/meminfo: memFree=558320/2055920 swapFree=4183816/4192956
[pid=4211] ppid=4209 vsize=1047912 CPUtime=1541.86
/proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 243185 0 0 0 154075 111 0 0 25 0 1 0 39748498 1073061888 232302 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563625 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4211/statm: 261978 232302 170 317 0 261657 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1047912

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4212
/proc/meminfo: memFree=543280/2055920 swapFree=4183816/4192956
[pid=4211] ppid=4209 vsize=1062312 CPUtime=1601.85
/proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 246954 0 0 0 160072 113 0 0 25 0 1 0 39748498 1087807488 236071 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4211/statm: 265578 236071 170 317 0 265257 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1062312

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4212
/proc/meminfo: memFree=530672/2055920 swapFree=4183816/4192956
[pid=4211] ppid=4209 vsize=1074124 CPUtime=1661.84
/proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 250077 0 0 0 166069 115 0 0 25 0 1 0 39748498 1099902976 239194 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4211/statm: 268531 239194 170 317 0 268210 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1074124

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4212
/proc/meminfo: memFree=518896/2055920 swapFree=4183816/4192956
[pid=4211] ppid=4209 vsize=1085464 CPUtime=1721.82
/proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 253048 0 0 0 172066 116 0 0 25 0 1 0 39748498 1111515136 242165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4211/statm: 271366 242165 170 317 0 271045 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1085464

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4212
/proc/meminfo: memFree=506672/2055920 swapFree=4183816/4192956
[pid=4211] ppid=4209 vsize=1096852 CPUtime=1781.8
/proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 256069 0 0 0 178063 117 0 0 25 0 1 0 39748498 1123176448 245186 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4211/statm: 274213 245186 170 317 0 273892 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1096852



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4212
/proc/meminfo: memFree=503344/2055920 swapFree=4183816/4192956
[pid=4211] ppid=4209 vsize=1100140 CPUtime=1800.1
/proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 256874 0 0 0 179893 117 0 0 25 0 1 0 39748498 1126543360 245991 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4211/statm: 275035 245991 170 317 0 274714 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 1100140

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

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

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4212
/proc/meminfo: memFree=503344/2055920 swapFree=4183816/4192956
[pid=4211] ppid=4209 vsize=1100140 CPUtime=1800.29
/proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194304 256889 0 0 0 179912 117 0 0 25 0 1 0 39748498 1126543360 246006 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4211/statm: 275035 246006 170 317 0 274714 0
Current children cumulated CPU time (s) 1800.29
Current children cumulated vsize (KiB) 1100140

[startup+1800.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4212
/proc/meminfo: memFree=503344/2055920 swapFree=4183816/4192956
[pid=4211] ppid=4209 vsize=0 CPUtime=1800.4
/proc/4211/stat : 4211 (oree) R 4209 4211 4154 0 -1 4194308 256905 0 0 0 179915 125 0 0 25 0 1 0 39748498 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4211/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.4
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.99
CPU time (s): 1800.49
CPU user time (s): 1799.16
CPU system time (s): 1.3378
CPU usage (%): 99.9725
Max. virtual memory (cumulated for all children) (KiB): 1100140

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.16
system time used= 1.3378
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 256905
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= 7
involuntary context switches= 3823

runsolver used 1.3108 second user time and 3.62645 second system time

The end

Launcher Data (download as text)

Begin job on node50 on Tue Apr 17 22:30:33 UTC 2007

IDJOB= 356944
IDBENCH= 1668
IDSOLVER= 172
FILE ID= node50/356944-1176849033

PBS_JOBID= 4590233

Free space on /tmp= 66541 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-forplan.opb
COMMAND LINE= oree /tmp/evaluation/356944-1176849033/instance-356944-1176849033.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node50/watcher-356944-1176849033 -o ROOT/results/node50/solver-356944-1176849033 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/356944-1176849033/instance-356944-1176849033.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  4cdda58963f46d542400f05ed7600db2

RANDOM SEED= 651056725

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node50.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.232
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.232
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:       1489872 kB
Buffers:         40004 kB
Cached:         451220 kB
SwapCached:       3272 kB
Active:         162844 kB
Inactive:       337928 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1489872 kB
SwapTotal:     4192956 kB
SwapFree:      4183816 kB
Dirty:            2744 kB
Writeback:           0 kB
Mapped:          15324 kB
Slab:            51316 kB
Committed_AS:   998808 kB
PageTables:       1460 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= 66541 MiB

End job on node50 on Tue Apr 17 23:00:36 UTC 2007