Trace number 365508

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.25 1800.81

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-stair.opb
MD5SUM93ec90d2ad0b276483c19ced945be9c0
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark12.2451
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables11454
Total number of constraints362
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 constraints362
Minimum length of a constraint13
Maximum length of a constraint810
Number of terms in the objective function 30
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 1073741823
Number of bits of the sum of numbers in the objective function 30
Biggest number in a constraint 528959045369856
Number of bits of the biggest number in a constraint 49
Biggest sum of numbers in a constraint 3702118998041541
Number of bits of the biggest sum of numbers52
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.29/0.32	c ...done
0.29/0.32	c #vars=11454 #constraints=572 hasObjective=yes
0.29/0.35	c res. mode=mod
0.29/0.35	c VSIDS like heuristics
0.29/0.35	c complete search running
1.89/1.94	c restart after 401 decisions
2.29/2.32	c nbDecision=500 #constraints=1043
3.69/3.79	c restart after 801 decisions
4.79/4.80	c nbDecision=1000 #constraints=1531
7.88/7.91	c nbDecision=1500 #constraints=2030
8.58/8.62	c restart after 1601 decisions
11.49/11.53	c nbDecision=2000 #constraints=2519
15.79/15.85	c nbDecision=2500 #constraints=3018
20.79/20.84	c nbDecision=3000 #constraints=3519
22.99/23.05	c restart after 3201 decisions
26.39/26.49	c nbDecision=3500 #constraints=4010
32.88/32.95	c nbDecision=4000 #constraints=4511
39.99/40.09	c nbDecision=4500 #constraints=5008
48.08/48.10	c nbDecision=5000 #constraints=5509
56.77/56.89	c nbDecision=5500 #constraints=6008
66.37/66.47	c nbDecision=6000 #constraints=6509
74.67/74.78	c restart after 6401 decisions
76.67/76.74	c nbDecision=6500 #constraints=6996
87.88/87.95	c nbDecision=7000 #constraints=7497
99.87/99.98	c nbDecision=7500 #constraints=7998
112.76/112.82	c nbDecision=8000 #constraints=8499
126.26/126.33	c nbDecision=8500 #constraints=8996
140.66/140.78	c nbDecision=9000 #constraints=9497
155.95/156.07	c nbDecision=9500 #constraints=9998
172.04/172.14	c nbDecision=10000 #constraints=10499
188.84/188.93	c nbDecision=10500 #constraints=10998
206.43/206.57	c nbDecision=11000 #constraints=11499
224.83/224.97	c nbDecision=11500 #constraints=11998
244.03/244.19	c nbDecision=12000 #constraints=12499
264.02/264.12	c nbDecision=12500 #constraints=12997
276.52/276.64	c restart after 12801 decisions
284.62/284.77	c nbDecision=13000 #constraints=13488
306.22/306.31	c nbDecision=13500 #constraints=13987
328.50/328.69	c nbDecision=14000 #constraints=14488
351.60/351.79	c nbDecision=14500 #constraints=14987
375.59/375.71	c nbDecision=15000 #constraints=15488
400.23/400.41	c nbDecision=15500 #constraints=15987
425.70/425.90	c nbDecision=16000 #constraints=16489
451.67/451.98	c nbDecision=16500 #constraints=16984
478.77/479.01	c nbDecision=17000 #constraints=17485
506.46/506.76	c nbDecision=17500 #constraints=17984
535.05/535.37	c nbDecision=18000 #constraints=18485
564.45/564.72	c nbDecision=18500 #constraints=18986
594.54/594.88	c nbDecision=19000 #constraints=19487
625.43/625.78	c nbDecision=19500 #constraints=19988
657.12/657.47	c nbDecision=20000 #constraints=20489
689.61/689.97	c nbDecision=20500 #constraints=20990
722.81/723.17	c nbDecision=21000 #constraints=21491
756.69/757.03	c nbDecision=21500 #constraints=21990
791.48/791.80	c nbDecision=22000 #constraints=22491
826.89/827.22	c nbDecision=22500 #constraints=22990
863.07/863.46	c nbDecision=23000 #constraints=23491
899.96/900.39	c nbDecision=23500 #constraints=23990
937.75/938.10	c nbDecision=24000 #constraints=24490
976.04/976.46	c nbDecision=24500 #constraints=24987
1015.34/1015.78	c nbDecision=25000 #constraints=25488
1055.42/1055.85	c nbDecision=25500 #constraints=25989
1063.62/1064.06	c restart after 25601 decisions
1096.01/1096.40	c nbDecision=26000 #constraints=26480
1137.40/1137.86	c nbDecision=26500 #constraints=26979
1179.69/1180.18	c nbDecision=27000 #constraints=27480
1222.79/1223.28	c nbDecision=27500 #constraints=27981
1266.67/1267.14	c nbDecision=28000 #constraints=28482
1311.06/1311.50	c nbDecision=28500 #constraints=28979
1356.34/1356.86	c nbDecision=29000 #constraints=29480
1402.33/1402.81	c nbDecision=29500 #constraints=29979
1449.12/1449.66	c nbDecision=30000 #constraints=30480
1496.61/1497.15	c nbDecision=30500 #constraints=30979
1544.90/1545.46	c nbDecision=31000 #constraints=31480
1594.09/1594.60	c nbDecision=31500 #constraints=31981
1643.87/1644.44	c nbDecision=32000 #constraints=32483
1693.96/1694.57	c nbDecision=32500 #constraints=32977
1745.24/1745.87	c nbDecision=33000 #constraints=33478
1797.33/1797.95	c nbDecision=33500 #constraints=33979
1800.04/1800.61	Received signal 15
1800.14/1800.77	
1800.14/1800.77	s UNKNOWN
1800.14/1800.77	
1800.14/1800.77	c user time= 1799.73 s
1800.14/1800.77	c system time= 0.486925 s
1800.14/1800.77	c wall clock time=1800.78

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/node44/watcher-365508-1176994485 -o ROOT/results/node44/solver-365508-1176994485 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/365508-1176994485/instance-365508-1176994485.opb mod 

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


[startup+0 s]
/proc/loadavg: 0.91 0.97 0.99 3/77 4357
/proc/meminfo: memFree=1692080/2055920 swapFree=4150992/4192956
[pid=4357] ppid=4355 vsize=1468 CPUtime=0
/proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 178 0 0 0 0 0 0 0 18 0 1 0 147360204 1503232 160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4357/statm: 367 160 131 317 0 46 0

[startup+0.0877899 s]
/proc/loadavg: 0.91 0.97 0.99 3/77 4357
/proc/meminfo: memFree=1692080/2055920 swapFree=4150992/4192956
[pid=4357] ppid=4355 vsize=2548 CPUtime=0.08
/proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 432 0 0 0 8 0 0 0 18 0 1 0 147360204 2609152 414 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134624371 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4357/statm: 637 414 131 317 0 316 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2548

[startup+0.10179 s]
/proc/loadavg: 0.91 0.97 0.99 3/77 4357
/proc/meminfo: memFree=1692080/2055920 swapFree=4150992/4192956
[pid=4357] ppid=4355 vsize=2684 CPUtime=0.09
/proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 474 0 0 0 9 0 0 0 18 0 1 0 147360204 2748416 456 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4357/statm: 671 456 131 317 0 350 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2684

[startup+0.30181 s]
/proc/loadavg: 0.91 0.97 0.99 3/77 4357
/proc/meminfo: memFree=1692080/2055920 swapFree=4150992/4192956
[pid=4357] ppid=4355 vsize=5772 CPUtime=0.29
/proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 1243 0 0 0 29 0 0 0 19 0 1 0 147360204 5910528 1225 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4357/statm: 1443 1225 131 317 0 1122 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5772

[startup+0.701852 s]
/proc/loadavg: 0.91 0.97 0.99 3/77 4357
/proc/meminfo: memFree=1692080/2055920 swapFree=4150992/4192956
[pid=4357] ppid=4355 vsize=8640 CPUtime=0.69
/proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 1963 0 0 0 69 0 0 0 23 0 1 0 147360204 8847360 1945 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134717250 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4357/statm: 2160 1945 139 317 0 1839 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8640

[startup+1.50193 s]
/proc/loadavg: 0.91 0.97 0.99 2/78 4358
/proc/meminfo: memFree=1684456/2055920 swapFree=4150992/4192956
[pid=4357] ppid=4355 vsize=9560 CPUtime=1.49
/proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 2192 0 0 0 148 1 0 0 25 0 1 0 147360204 9789440 2174 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713935 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4357/statm: 2390 2174 139 317 0 2069 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9560

[startup+3.1011 s]
/proc/loadavg: 0.91 0.97 0.99 2/78 4358
/proc/meminfo: memFree=1683240/2055920 swapFree=4150992/4192956
[pid=4357] ppid=4355 vsize=11032 CPUtime=3.09
/proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 2578 0 0 0 308 1 0 0 25 0 1 0 147360204 11296768 2560 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4357/statm: 2758 2560 139 317 0 2437 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11032

[startup+6.30143 s]
/proc/loadavg: 0.92 0.97 0.99 2/78 4358
/proc/meminfo: memFree=1680312/2055920 swapFree=4150992/4192956
[pid=4357] ppid=4355 vsize=13684 CPUtime=6.29
/proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 3194 0 0 0 628 1 0 0 25 0 1 0 147360204 14012416 3176 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4357/statm: 3421 3176 139 317 0 3100 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13684

[startup+12.7011 s]
/proc/loadavg: 0.93 0.97 0.99 2/78 4358
/proc/meminfo: memFree=1676536/2055920 swapFree=4150992/4192956
[pid=4357] ppid=4355 vsize=17556 CPUtime=12.69
/proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 4113 0 0 0 1267 2 0 0 25 0 1 0 147360204 17977344 4095 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718428 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4357/statm: 4389 4095 139 317 0 4068 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17556

[startup+25.5014 s]
/proc/loadavg: 0.94 0.97 0.99 2/78 4358
/proc/meminfo: memFree=1670840/2055920 swapFree=4150992/4192956
[pid=4357] ppid=4355 vsize=22496 CPUtime=25.48
/proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 5410 0 0 0 2545 3 0 0 25 0 1 0 147360204 23035904 5392 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4357/statm: 5624 5392 139 317 0 5303 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 22496

[startup+51.101 s]
/proc/loadavg: 0.96 0.97 0.99 2/78 4358
/proc/meminfo: memFree=1663096/2055920 swapFree=4150992/4192956
[pid=4357] ppid=4355 vsize=31212 CPUtime=51.08
/proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 7360 0 0 0 5103 5 0 0 25 0 1 0 147360204 31961088 7342 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4357/statm: 7803 7342 139 317 0 7482 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 31212

[startup+102.305 s]
/proc/loadavg: 0.98 0.97 0.99 2/78 4358
/proc/meminfo: memFree=1653496/2055920 swapFree=4150992/4192956
[pid=4357] ppid=4355 vsize=39740 CPUtime=102.27
/proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 9717 0 0 0 10220 7 0 0 25 0 1 0 147360204 40693760 9699 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4357/statm: 9935 9699 139 317 0 9614 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 39740

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 4358
/proc/meminfo: memFree=1643640/2055920 swapFree=4150992/4192956
[pid=4357] ppid=4355 vsize=52200 CPUtime=162.25
/proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 12250 0 0 0 16216 9 0 0 25 0 1 0 147360204 53452800 12175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4357/statm: 13050 12175 139 317 0 12729 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 52200

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 4358
/proc/meminfo: memFree=1636664/2055920 swapFree=4150992/4192956
[pid=4357] ppid=4355 vsize=58368 CPUtime=222.23
/proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 13970 0 0 0 22212 11 0 0 25 0 1 0 147360204 59768832 13895 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564080 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4357/statm: 14592 13895 139 317 0 14271 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 58368

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 4358
/proc/meminfo: memFree=1630904/2055920 swapFree=4150992/4192956
[pid=4357] ppid=4355 vsize=63752 CPUtime=282.22
/proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 15430 0 0 0 28209 13 0 0 25 0 1 0 147360204 65282048 15355 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4357/statm: 15938 15355 139 317 0 15617 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 63752

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 4358
/proc/meminfo: memFree=1625528/2055920 swapFree=4150992/4192956
[pid=4357] ppid=4355 vsize=68580 CPUtime=342.2
/proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 16756 0 0 0 34205 15 0 0 25 0 1 0 147360204 70225920 16681 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4357/statm: 17145 16681 139 317 0 16824 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 68580

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/84 4496
/proc/meminfo: memFree=1619384/2055920 swapFree=4150992/4192956
[pid=4357] ppid=4355 vsize=72904 CPUtime=402.12
/proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 17976 0 0 0 40195 17 0 0 25 0 1 0 147360204 74653696 17901 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4357/statm: 18226 17901 139 317 0 17905 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 72904

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 4556
/proc/meminfo: memFree=1615032/2055920 swapFree=4150992/4192956
[pid=4357] ppid=4355 vsize=82848 CPUtime=462.08
/proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 20045 0 0 0 46189 19 0 0 25 0 1 0 147360204 84836352 19263 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4357/statm: 20712 19263 139 317 0 20391 0
Current children cumulated CPU time (s) 462.08
Current children cumulated vsize (KiB) 82848

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 4556
/proc/meminfo: memFree=1610680/2055920 swapFree=4150992/4192956
[pid=4357] ppid=4355 vsize=87036 CPUtime=522.06
/proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 21120 0 0 0 52185 21 0 0 25 0 1 0 147360204 89124864 20338 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4357/statm: 21759 20338 139 317 0 21438 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 87036

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 4556
/proc/meminfo: memFree=1606072/2055920 swapFree=4150992/4192956
[pid=4357] ppid=4355 vsize=94180 CPUtime=582.04
/proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 22810 0 0 0 58182 22 0 0 25 0 1 0 147360204 96440320 21500 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134742973 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4357/statm: 23545 21500 139 317 0 23224 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 94180

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 4556
/proc/meminfo: memFree=1602168/2055920 swapFree=4150992/4192956
[pid=4357] ppid=4355 vsize=97724 CPUtime=642.03
/proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 23776 0 0 0 64179 24 0 0 25 0 1 0 147360204 100069376 22466 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4357/statm: 24431 22466 139 317 0 24110 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 97724


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 4556
/proc/meminfo: memFree=1588024/2055920 swapFree=4150992/4192956
[pid=4357] ppid=4355 vsize=110296 CPUtime=881.97
/proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 27306 0 0 0 88168 29 0 0 25 0 1 0 147360204 112943104 25996 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4357/statm: 27574 25996 139 317 0 27253 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 110296

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 4556
/proc/meminfo: memFree=1584824/2055920 swapFree=4150992/4192956
[pid=4357] ppid=4355 vsize=113048 CPUtime=941.95
/proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 28108 0 0 0 94165 30 0 0 25 0 1 0 147360204 115761152 26798 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4357/statm: 28262 26798 139 317 0 27941 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 113048

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 4556
/proc/meminfo: memFree=1581688/2055920 swapFree=4150992/4192956
[pid=4357] ppid=4355 vsize=115928 CPUtime=1001.93
/proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 28892 0 0 0 100162 31 0 0 25 0 1 0 147360204 118710272 27582 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4357/statm: 28982 27582 139 317 0 28661 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 115928

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 4556
/proc/meminfo: memFree=1578680/2055920 swapFree=4150992/4192956
[pid=4357] ppid=4355 vsize=118664 CPUtime=1061.92
/proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 29652 0 0 0 106159 33 0 0 25 0 1 0 147360204 121511936 28342 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4357/statm: 29666 28342 139 317 0 29345 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 118664

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 4556
/proc/meminfo: memFree=1575736/2055920 swapFree=4150992/4192956
[pid=4357] ppid=4355 vsize=121148 CPUtime=1121.91
/proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 30393 0 0 0 112156 35 0 0 25 0 1 0 147360204 124055552 29083 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4357/statm: 30287 29083 139 317 0 29966 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 121148

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 4556
/proc/meminfo: memFree=1572920/2055920 swapFree=4150992/4192956
[pid=4357] ppid=4355 vsize=123624 CPUtime=1181.89
/proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 31094 0 0 0 118153 36 0 0 25 0 1 0 147360204 126590976 29784 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4357/statm: 30906 29784 139 317 0 30585 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 123624

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 4556
/proc/meminfo: memFree=1570168/2055920 swapFree=4150992/4192956
[pid=4357] ppid=4355 vsize=126116 CPUtime=1241.87
/proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 31776 0 0 0 124150 37 0 0 25 0 1 0 147360204 129142784 30466 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4357/statm: 31529 30466 139 317 0 31208 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 126116

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 4556
/proc/meminfo: memFree=1567224/2055920 swapFree=4150992/4192956
[pid=4357] ppid=4355 vsize=128480 CPUtime=1301.86
/proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 32489 0 0 0 130148 38 0 0 25 0 1 0 147360204 131563520 31179 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4357/statm: 32120 31179 139 317 0 31799 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 128480

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 4556
/proc/meminfo: memFree=1564600/2055920 swapFree=4150992/4192956
[pid=4357] ppid=4355 vsize=130828 CPUtime=1361.84
/proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 33154 0 0 0 136145 39 0 0 25 0 1 0 147360204 133967872 31844 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606843 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4357/statm: 32707 31844 139 317 0 32386 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 130828

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 4556
/proc/meminfo: memFree=1562040/2055920 swapFree=4150992/4192956
[pid=4357] ppid=4355 vsize=133184 CPUtime=1421.83
/proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 33800 0 0 0 142143 40 0 0 25 0 1 0 147360204 136380416 32490 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4357/statm: 33296 32490 139 317 0 32975 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 133184

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 4556
/proc/meminfo: memFree=1559416/2055920 swapFree=4150992/4192956
[pid=4357] ppid=4355 vsize=135408 CPUtime=1481.81
/proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 34456 0 0 0 148139 42 0 0 25 0 1 0 147360204 138657792 33146 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134717207 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4357/statm: 33852 33146 139 317 0 33531 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 135408

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 4556
/proc/meminfo: memFree=1556984/2055920 swapFree=4150992/4192956
[pid=4357] ppid=4355 vsize=137636 CPUtime=1541.8
/proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 35077 0 0 0 154137 43 0 0 25 0 1 0 147360204 140939264 33767 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4357/statm: 34409 33767 139 317 0 34088 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 137636

[startup+1602.3 s]
/proc/loadavg: 1.07 0.99 0.99 2/78 4556
/proc/meminfo: memFree=1554488/2055920 swapFree=4150992/4192956
[pid=4357] ppid=4355 vsize=139740 CPUtime=1601.79
/proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 35690 0 0 0 160135 44 0 0 25 0 1 0 147360204 143093760 34380 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4357/statm: 34935 34380 139 317 0 34614 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 139740

[startup+1662.3 s]
/proc/loadavg: 1.03 0.99 0.99 2/78 4556
/proc/meminfo: memFree=1551992/2055920 swapFree=4150992/4192956
[pid=4357] ppid=4355 vsize=142224 CPUtime=1661.77
/proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 36331 0 0 0 166132 45 0 0 25 0 1 0 147360204 145637376 34988 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4357/statm: 35556 34988 139 317 0 35235 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 142224

[startup+1722.3 s]
/proc/loadavg: 1.01 0.99 0.99 2/78 4556
/proc/meminfo: memFree=1549496/2055920 swapFree=4150992/4192956
[pid=4357] ppid=4355 vsize=146120 CPUtime=1721.75
/proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 37399 0 0 0 172129 46 0 0 25 0 1 0 147360204 149626880 35632 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4357/statm: 36530 35632 139 317 0 36209 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 146120

[startup+1782.3 s]
/proc/loadavg: 1.05 1.00 1.00 2/78 4556
/proc/meminfo: memFree=1546680/2055920 swapFree=4150992/4192956
[pid=4357] ppid=4355 vsize=157428 CPUtime=1781.73
/proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 40033 0 0 0 178126 47 0 0 25 0 1 0 147360204 161206272 36313 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4357/statm: 39357 36313 139 317 0 39036 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 157428



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.04 1.00 1.00 2/78 4556
/proc/meminfo: memFree=1545848/2055920 swapFree=4150992/4192956
[pid=4357] ppid=4355 vsize=157956 CPUtime=1800.04
/proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194304 40246 0 0 0 179956 48 0 0 25 0 1 0 147360204 161746944 36526 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563636 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4357/statm: 39489 36526 139 317 0 39168 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 157956

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.04 1.00 1.00 2/78 4556
/proc/meminfo: memFree=1545848/2055920 swapFree=4150992/4192956
[pid=4357] ppid=4355 vsize=0 CPUtime=1800.23
/proc/4357/stat : 4357 (oree) R 4355 4357 3969 0 -1 4194308 40299 0 0 0 179973 50 0 0 25 0 1 0 147360204 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4357/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.81
CPU time (s): 1800.25
CPU user time (s): 1799.74
CPU system time (s): 0.510922
CPU usage (%): 99.9687
Max. virtual memory (cumulated for all children) (KiB): 158084

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

runsolver used 2.11168 second user time and 4.43532 second system time

The end

Launcher Data (download as text)

Begin job on node44 on Thu Apr 19 14:54:45 UTC 2007

IDJOB= 365508
IDBENCH= 2409
IDSOLVER= 172
FILE ID= node44/365508-1176994485

PBS_JOBID= 4630462

Free space on /tmp= 66412 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-stair.opb
COMMAND LINE= oree /tmp/evaluation/365508-1176994485/instance-365508-1176994485.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node44/watcher-365508-1176994485 -o ROOT/results/node44/solver-365508-1176994485 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/365508-1176994485/instance-365508-1176994485.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  93ec90d2ad0b276483c19ced945be9c0

RANDOM SEED= 911514883

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node44.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.234
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.234
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:       1692488 kB
Buffers:         42216 kB
Cached:         228224 kB
SwapCached:      18832 kB
Active:          84924 kB
Inactive:       214872 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1692488 kB
SwapTotal:     4192956 kB
SwapFree:      4150992 kB
Dirty:            2568 kB
Writeback:           0 kB
Mapped:          32396 kB
Slab:            49148 kB
Committed_AS:   498760 kB
PageTables:       1736 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= 66412 MiB

End job on node44 on Thu Apr 19 15:24:48 UTC 2007