Trace number 357353

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.14 1800.6

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-blend.opb
MD5SUMeff6ad715055e79721cc364806b971f0
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark276.169
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved NO
Number of variables2490
Total number of constraints74
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 constraints74
Minimum length of a constraint30
Maximum length of a constraint780
Number of terms in the objective function 660
Biggest coefficient in the objective function 14388140441600
Number of bits for the biggest coefficient in the objective function 44
Sum of the numbers in the objective function 203610440670021
Number of bits of the sum of numbers in the objective function 48
Biggest number in a constraint 78436840243200
Number of bits of the biggest number in a constraint 47
Biggest sum of numbers in a constraint 789015556311444
Number of bits of the biggest sum of numbers50
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
0.01/0.06	c ...done
0.01/0.06	c #vars=2490 #constraints=118 hasObjective=yes
0.01/0.09	c res. mode=mod
0.01/0.09	c VSIDS like heuristics
0.01/0.09	c complete search running
0.09/0.18	c restart after 401 decisions
0.09/0.19	c nbDecision=500 #constraints=165
0.19/0.25	c restart after 801 decisions
0.19/0.28	c nbDecision=1000 #constraints=199
1.99/2.03	c nbDecision=1500 #constraints=606
2.48/2.50	c restart after 1601 decisions
3.30/3.32	c nbDecision=2000 #constraints=870
5.49/5.57	c nbDecision=2500 #constraints=1230
8.39/8.43	c nbDecision=3000 #constraints=1614
9.69/9.76	c restart after 3201 decisions
10.49/10.55	c nbDecision=3500 #constraints=1864
14.69/14.74	c nbDecision=4000 #constraints=2283
19.28/19.32	c nbDecision=4500 #constraints=2667
25.39/25.41	c nbDecision=5000 #constraints=3091
32.18/32.25	c nbDecision=5500 #constraints=3510
39.38/39.44	c nbDecision=6000 #constraints=3890
45.88/45.93	c restart after 6401 decisions
46.28/46.38	c nbDecision=6500 #constraints=4240
56.47/56.53	c nbDecision=7000 #constraints=4544
64.58/64.65	c nbDecision=7500 #constraints=4809
73.87/73.95	c nbDecision=8000 #constraints=5150
85.17/85.25	c nbDecision=8500 #constraints=5562
95.67/95.78	c nbDecision=9000 #constraints=5877
105.57/105.68	c nbDecision=9500 #constraints=6152
117.76/117.89	c nbDecision=10000 #constraints=6506
130.96/131.03	c nbDecision=10500 #constraints=6854
143.26/143.32	c nbDecision=11000 #constraints=7183
157.26/157.30	c nbDecision=11500 #constraints=7508
170.54/170.68	c nbDecision=12000 #constraints=7832
186.54/186.63	c nbDecision=12500 #constraints=8175
195.74/195.85	c restart after 12801 decisions
196.94/197.09	c nbDecision=13000 #constraints=8405
208.84/208.95	c nbDecision=13500 #constraints=8837
221.24/221.31	c nbDecision=14000 #constraints=9236
233.04/233.12	c nbDecision=14500 #constraints=9638
245.53/245.62	c nbDecision=15000 #constraints=10027
260.23/260.30	c nbDecision=15500 #constraints=10429
274.52/274.68	c nbDecision=16000 #constraints=10842
287.92/288.02	c nbDecision=16500 #constraints=11258
305.22/305.30	c nbDecision=17000 #constraints=11651
324.21/324.32	c nbDecision=17500 #constraints=12085
344.61/344.71	c nbDecision=18000 #constraints=12511
362.00/362.16	c nbDecision=18500 #constraints=12915
380.80/380.91	c nbDecision=19000 #constraints=13300
403.29/403.43	c nbDecision=19500 #constraints=13718
425.88/426.01	c nbDecision=20000 #constraints=14095
449.88/450.08	c nbDecision=20500 #constraints=14477
473.67/473.82	c nbDecision=21000 #constraints=14867
496.76/496.94	c nbDecision=21500 #constraints=15234
518.76/518.98	c nbDecision=22000 #constraints=15593
542.05/542.26	c nbDecision=22500 #constraints=15983
569.14/569.35	c nbDecision=23000 #constraints=16390
595.54/595.72	c nbDecision=23500 #constraints=16776
620.04/620.23	c nbDecision=24000 #constraints=17208
645.43/645.60	c nbDecision=24500 #constraints=17622
668.92/669.13	c nbDecision=25000 #constraints=18026
700.21/700.44	c nbDecision=25500 #constraints=18459
706.91/707.17	c restart after 25601 decisions
725.71/725.92	c nbDecision=26000 #constraints=18758
760.90/761.12	c nbDecision=26500 #constraints=19196
796.89/797.19	c nbDecision=27000 #constraints=19658
830.58/830.84	c nbDecision=27500 #constraints=20055
863.77/864.00	c nbDecision=28000 #constraints=20440
897.37/897.68	c nbDecision=28500 #constraints=20834
935.95/936.22	c nbDecision=29000 #constraints=21260
973.45/973.74	c nbDecision=29500 #constraints=21677
1007.24/1007.52	c nbDecision=30000 #constraints=22047
1046.33/1046.61	c nbDecision=30500 #constraints=22431
1087.11/1087.46	c nbDecision=31000 #constraints=22822
1135.70/1136.06	c nbDecision=31500 #constraints=23239
1181.20/1181.54	c nbDecision=32000 #constraints=23663
1232.98/1233.36	c nbDecision=32500 #constraints=24100
1272.27/1272.63	c nbDecision=33000 #constraints=24467
1306.47/1306.87	c nbDecision=33500 #constraints=24842
1345.05/1345.47	c nbDecision=34000 #constraints=25263
1386.94/1387.32	c nbDecision=34500 #constraints=25639
1434.63/1435.07	c nbDecision=35000 #constraints=26035
1475.11/1475.53	c nbDecision=35500 #constraints=26443
1522.20/1522.69	c nbDecision=36000 #constraints=26884
1570.50/1570.95	c nbDecision=36500 #constraints=27309
1612.69/1613.12	c nbDecision=37000 #constraints=27691
1654.08/1654.58	c nbDecision=37500 #constraints=28061
1696.56/1697.04	c nbDecision=38000 #constraints=28451
1741.95/1742.41	c nbDecision=38500 #constraints=28855
1784.64/1785.16	c nbDecision=39000 #constraints=29222
1800.04/1800.50	Received signal 15
1800.04/1800.50	
1800.04/1800.50	s UNKNOWN
1800.04/1800.50	
1800.04/1800.50	c user time= 1799.32 s
1800.04/1800.50	c system time= 0.732888 s
1800.04/1800.50	c wall clock time=1800.51

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/node70/watcher-357353-1176995438 -o ROOT/results/node70/solver-357353-1176995438 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357353-1176995438/instance-357353-1176995438.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.92 0.98 0.93 3/64 28574
/proc/meminfo: memFree=1463280/2055920 swapFree=4183760/4192956
[pid=28574] ppid=28572 vsize=1468 CPUtime=0
/proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 178 0 0 0 0 0 0 0 18 0 1 0 139081139 1503232 160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270591 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28574/statm: 367 160 131 317 0 46 0

[startup+0.019909 s]
/proc/loadavg: 0.92 0.98 0.93 3/64 28574
/proc/meminfo: memFree=1463280/2055920 swapFree=4183760/4192956
[pid=28574] ppid=28572 vsize=1732 CPUtime=0.01
/proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 241 0 0 0 1 0 0 0 18 0 1 0 139081139 1773568 223 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28574/statm: 433 223 131 317 0 112 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1732

[startup+0.101876 s]
/proc/loadavg: 0.92 0.98 0.93 3/64 28574
/proc/meminfo: memFree=1463280/2055920 swapFree=4183760/4192956
[pid=28574] ppid=28572 vsize=2816 CPUtime=0.09
/proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 528 0 0 0 9 0 0 0 18 0 1 0 139081139 2883584 510 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28574/statm: 704 510 139 317 0 383 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2816

[startup+0.301896 s]
/proc/loadavg: 0.92 0.98 0.93 3/64 28574
/proc/meminfo: memFree=1463280/2055920 swapFree=4183760/4192956
[pid=28574] ppid=28572 vsize=3744 CPUtime=0.29
/proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 753 0 0 0 29 0 0 0 19 0 1 0 139081139 3833856 735 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710852 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28574/statm: 936 735 139 317 0 615 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3744

[startup+0.701935 s]
/proc/loadavg: 0.92 0.98 0.93 3/64 28574
/proc/meminfo: memFree=1463280/2055920 swapFree=4183760/4192956
[pid=28574] ppid=28572 vsize=5444 CPUtime=0.69
/proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 1217 0 0 0 69 0 0 0 22 0 1 0 139081139 5574656 1199 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596306 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28574/statm: 1361 1199 170 317 0 1040 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5444

[startup+1.50202 s]
/proc/loadavg: 0.93 0.98 0.93 2/65 28575
/proc/meminfo: memFree=1458152/2055920 swapFree=4183760/4192956
[pid=28574] ppid=28572 vsize=8616 CPUtime=1.49
/proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 1987 0 0 0 149 0 0 0 25 0 1 0 139081139 8822784 1969 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28574/statm: 2154 1969 170 317 0 1833 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8616

[startup+3.10117 s]
/proc/loadavg: 0.93 0.98 0.93 2/65 28575
/proc/meminfo: memFree=1454184/2055920 swapFree=4183760/4192956
[pid=28574] ppid=28572 vsize=14808 CPUtime=3.09
/proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 3547 0 0 0 308 1 0 0 25 0 1 0 139081139 15163392 3529 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712494 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28574/statm: 3702 3529 170 317 0 3381 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14808

[startup+6.3015 s]
/proc/loadavg: 0.93 0.98 0.93 2/65 28575
/proc/meminfo: memFree=1440808/2055920 swapFree=4183760/4192956
[pid=28574] ppid=28572 vsize=26556 CPUtime=6.29
/proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 6353 0 0 0 627 2 0 0 25 0 1 0 139081139 27193344 6335 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284229 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28574/statm: 6639 6335 170 317 0 6318 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26556

[startup+12.7011 s]
/proc/loadavg: 0.94 0.98 0.93 2/65 28575
/proc/meminfo: memFree=1423544/2055920 swapFree=4183760/4192956
[pid=28574] ppid=28572 vsize=44176 CPUtime=12.68
/proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 10605 0 0 0 1264 4 0 0 25 0 1 0 139081139 45236224 10587 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563656 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28574/statm: 11044 10587 170 317 0 10723 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 44176

[startup+25.5014 s]
/proc/loadavg: 0.95 0.98 0.93 2/65 28575
/proc/meminfo: memFree=1391032/2055920 swapFree=4183760/4192956
[pid=28574] ppid=28572 vsize=80216 CPUtime=25.49
/proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 18299 0 0 0 2540 9 0 0 25 0 1 0 139081139 82141184 18281 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28574/statm: 20054 18281 170 317 0 19733 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 80216

[startup+51.102 s]
/proc/loadavg: 0.97 0.98 0.93 2/65 28575
/proc/meminfo: memFree=1355320/2055920 swapFree=4183760/4192956
[pid=28574] ppid=28572 vsize=121692 CPUtime=51.08
/proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 27179 0 0 0 5095 13 0 0 25 0 1 0 139081139 124612608 27161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28574/statm: 30423 27161 170 317 0 30102 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 121692

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.93 2/65 28575
/proc/meminfo: memFree=1319992/2055920 swapFree=4183760/4192956
[pid=28574] ppid=28572 vsize=157352 CPUtime=102.27
/proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 35891 0 0 0 10209 18 0 0 25 0 1 0 139081139 161128448 35873 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28574/statm: 39338 35873 170 317 0 39017 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 157352

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/65 28575
/proc/meminfo: memFree=1289592/2055920 swapFree=4183760/4192956
[pid=28574] ppid=28572 vsize=185180 CPUtime=162.25
/proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 43562 0 0 0 16202 23 0 0 25 0 1 0 139081139 189624320 43544 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563622 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28574/statm: 46295 43544 170 317 0 45974 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 185180

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/65 28575
/proc/meminfo: memFree=1254904/2055920 swapFree=4183760/4192956
[pid=28574] ppid=28572 vsize=226860 CPUtime=222.24
/proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 52187 0 0 0 22197 27 0 0 25 0 1 0 139081139 232304640 52111 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28574/statm: 56715 52111 170 317 0 56394 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 226860

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/65 28575
/proc/meminfo: memFree=1228536/2055920 swapFree=4183760/4192956
[pid=28574] ppid=28572 vsize=251836 CPUtime=282.22
/proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 58824 0 0 0 28190 32 0 0 25 0 1 0 139081139 257880064 58748 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28574/statm: 62959 58748 170 317 0 62638 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 251836

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/65 28575
/proc/meminfo: memFree=1207864/2055920 swapFree=4183760/4192956
[pid=28574] ppid=28572 vsize=271416 CPUtime=342.21
/proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 63928 0 0 0 34187 34 0 0 25 0 1 0 139081139 277929984 63852 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28574/statm: 67854 63852 170 317 0 67533 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 271416

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/65 28575
/proc/meminfo: memFree=1189752/2055920 swapFree=4183760/4192956
[pid=28574] ppid=28572 vsize=287940 CPUtime=402.19
/proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 68455 0 0 0 40182 37 0 0 25 0 1 0 139081139 294850560 68379 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28574/statm: 71985 68379 170 317 0 71664 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 287940

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/65 28575
/proc/meminfo: memFree=1175032/2055920 swapFree=4183760/4192956
[pid=28574] ppid=28572 vsize=301288 CPUtime=462.17
/proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 72076 0 0 0 46179 38 0 0 25 0 1 0 139081139 308518912 72000 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28574/statm: 75322 72000 170 317 0 75001 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 301288

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/65 28575
/proc/meminfo: memFree=1161080/2055920 swapFree=4183760/4192956
[pid=28574] ppid=28572 vsize=314372 CPUtime=522.16
/proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 75625 0 0 0 52174 42 0 0 25 0 1 0 139081139 321916928 75549 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28574/statm: 78593 75549 170 317 0 78272 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 314372

[startup+582.301 s]
/proc/loadavg: 1.05 1.00 0.93 2/65 28575
/proc/meminfo: memFree=1141112/2055920 swapFree=4183760/4192956
[pid=28574] ppid=28572 vsize=351512 CPUtime=582.14
/proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 83728 0 0 0 58169 45 0 0 25 0 1 0 139081139 359948288 80403 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28574/statm: 87878 80403 170 317 0 87557 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 351512

[startup+642.301 s]
/proc/loadavg: 1.06 1.01 0.94 2/65 28575
/proc/meminfo: memFree=1126264/2055920 swapFree=4183760/4192956
[pid=28574] ppid=28572 vsize=371292 CPUtime=642.13
/proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 88550 0 0 0 64166 47 0 0 25 0 1 0 139081139 380203008 84136 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28574/statm: 92823 84136 170 317 0 92502 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 371292


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

[startup+882.301 s]
/proc/loadavg: 1.01 1.03 0.95 2/65 28575
/proc/meminfo: memFree=1079992/2055920 swapFree=4183760/4192956
[pid=28574] ppid=28572 vsize=414124 CPUtime=882.06
/proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 100502 0 0 0 88153 53 0 0 25 0 1 0 139081139 424062976 95692 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715809 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28574/statm: 103531 95692 170 317 0 103210 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 414124

[startup+942.301 s]
/proc/loadavg: 1.00 1.02 0.95 2/65 28575
/proc/meminfo: memFree=1069368/2055920 swapFree=4183760/4192956
[pid=28574] ppid=28572 vsize=423264 CPUtime=942.05
/proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 103207 0 0 0 94150 55 0 0 25 0 1 0 139081139 433422336 98364 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28574/statm: 105816 98364 170 317 0 105495 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 423264

[startup+1002.3 s]
/proc/loadavg: 1.00 1.01 0.95 2/65 28575
/proc/meminfo: memFree=1059448/2055920 swapFree=4183760/4192956
[pid=28574] ppid=28572 vsize=432256 CPUtime=1002.03
/proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 105661 0 0 0 100146 57 0 0 25 0 1 0 139081139 442630144 100818 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28574/statm: 108064 100818 170 317 0 107743 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 432256

[startup+1062.3 s]
/proc/loadavg: 1.00 1.01 0.95 2/65 28575
/proc/meminfo: memFree=1050872/2055920 swapFree=4183760/4192956
[pid=28574] ppid=28572 vsize=440352 CPUtime=1062.03
/proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 107852 0 0 0 106144 59 0 0 25 0 1 0 139081139 450920448 102976 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563639 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28574/statm: 110088 102976 170 317 0 109767 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 440352

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 28575
/proc/meminfo: memFree=1042808/2055920 swapFree=4183760/4192956
[pid=28574] ppid=28572 vsize=447680 CPUtime=1122.01
/proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 109878 0 0 0 112141 60 0 0 25 0 1 0 139081139 458424320 104969 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28574/statm: 111920 104969 170 317 0 111599 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 447680

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 28575
/proc/meminfo: memFree=1034808/2055920 swapFree=4183760/4192956
[pid=28574] ppid=28572 vsize=454976 CPUtime=1182
/proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 111925 0 0 0 118138 62 0 0 25 0 1 0 139081139 465895424 106983 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28574/statm: 113744 106983 170 317 0 113423 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 454976

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 28575
/proc/meminfo: memFree=1027064/2055920 swapFree=4183760/4192956
[pid=28574] ppid=28572 vsize=461800 CPUtime=1241.97
/proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 113860 0 0 0 124135 62 0 0 25 0 1 0 139081139 472883200 108885 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28574/statm: 115450 108885 170 317 0 115129 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 461800

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 28575
/proc/meminfo: memFree=1017464/2055920 swapFree=4183760/4192956
[pid=28574] ppid=28572 vsize=469992 CPUtime=1301.97
/proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 116245 0 0 0 130133 64 0 0 25 0 1 0 139081139 481271808 111270 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28574/statm: 117498 111270 170 317 0 117177 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 469992

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 28575
/proc/meminfo: memFree=1008120/2055920 swapFree=4183760/4192956
[pid=28574] ppid=28572 vsize=478384 CPUtime=1361.95
/proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 118599 0 0 0 136130 65 0 0 25 0 1 0 139081139 489865216 113624 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28574/statm: 119596 113624 170 317 0 119275 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 478384

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 28575
/proc/meminfo: memFree=1000440/2055920 swapFree=4183760/4192956
[pid=28574] ppid=28572 vsize=485348 CPUtime=1421.94
/proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 120538 0 0 0 142128 66 0 0 25 0 1 0 139081139 496996352 115530 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28574/statm: 121337 115530 170 317 0 121016 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 485348

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 28575
/proc/meminfo: memFree=991352/2055920 swapFree=4183760/4192956
[pid=28574] ppid=28572 vsize=493808 CPUtime=1481.92
/proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 122821 0 0 0 148124 68 0 0 25 0 1 0 139081139 505659392 117813 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563665 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28574/statm: 123452 117813 170 317 0 123131 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 493808

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 28575
/proc/meminfo: memFree=982200/2055920 swapFree=4183760/4192956
[pid=28574] ppid=28572 vsize=502380 CPUtime=1541.9
/proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 125099 0 0 0 154122 68 0 0 25 0 1 0 139081139 514437120 120091 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28574/statm: 125595 120091 170 317 0 125274 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 502380

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 28575
/proc/meminfo: memFree=972792/2055920 swapFree=4183760/4192956
[pid=28574] ppid=28572 vsize=511076 CPUtime=1601.89
/proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 127507 0 0 0 160119 70 0 0 25 0 1 0 139081139 523341824 122466 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28574/statm: 127769 122466 170 317 0 127448 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 511076

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 28575
/proc/meminfo: memFree=964408/2055920 swapFree=4183760/4192956
[pid=28574] ppid=28572 vsize=518624 CPUtime=1661.87
/proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 129619 0 0 0 166116 71 0 0 25 0 1 0 139081139 531070976 124545 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28574/statm: 129656 124545 170 317 0 129335 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 518624

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 28575
/proc/meminfo: memFree=956152/2055920 swapFree=4183760/4192956
[pid=28574] ppid=28572 vsize=526240 CPUtime=1721.86
/proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 131705 0 0 0 172115 71 0 0 25 0 1 0 139081139 538869760 126631 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712569 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28574/statm: 131560 126631 170 317 0 131239 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 526240

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 28575
/proc/meminfo: memFree=948344/2055920 swapFree=4183760/4192956
[pid=28574] ppid=28572 vsize=533140 CPUtime=1781.84
/proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 133635 0 0 0 178112 72 0 0 25 0 1 0 139081139 545935360 128561 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28574/statm: 133285 128561 170 317 0 132964 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 533140



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 28575
/proc/meminfo: memFree=946296/2055920 swapFree=4183760/4192956
[pid=28574] ppid=28572 vsize=535100 CPUtime=1800.04
/proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 134130 0 0 0 179931 73 0 0 25 0 1 0 139081139 547942400 129056 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28574/statm: 133775 129056 170 317 0 133454 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 535100

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

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 28575
/proc/meminfo: memFree=946296/2055920 swapFree=4183760/4192956
[pid=28574] ppid=28572 vsize=535100 CPUtime=1800.04
/proc/28574/stat : 28574 (oree) R 28572 28574 27470 0 -1 4194304 134130 0 0 0 179931 73 0 0 25 0 1 0 139081139 547942400 129056 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28574/statm: 133775 129056 170 317 0 133454 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 535100

Child status: 0
Real time (s): 1800.6
CPU time (s): 1800.14
CPU user time (s): 1799.32
CPU system time (s): 0.817875
CPU usage (%): 99.9747
Max. virtual memory (cumulated for all children) (KiB): 535100

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

runsolver used 1.3358 second user time and 3.59745 second system time

The end

Launcher Data (download as text)

Begin job on node70 on Thu Apr 19 15:10:38 UTC 2007

IDJOB= 357353
IDBENCH= 2462
IDSOLVER= 172
FILE ID= node70/357353-1176995438

PBS_JOBID= 4630424

Free space on /tmp= 66476 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  eff6ad715055e79721cc364806b971f0

RANDOM SEED= 463598082

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1463752 kB
Buffers:         28700 kB
Cached:         492692 kB
SwapCached:       3092 kB
Active:          23568 kB
Inactive:       507756 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1463752 kB
SwapTotal:     4192956 kB
SwapFree:      4183760 kB
Dirty:            1516 kB
Writeback:           0 kB
Mapped:          15916 kB
Slab:            46924 kB
Committed_AS:  2491192 kB
PageTables:       1396 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= 66476 MiB

End job on node70 on Thu Apr 19 15:40:41 UTC 2007