Trace number 357309

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.26 1800.87

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-fit1p.opb
MD5SUM85f7c2e2894ed59f685fa11d94ed0974
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark10627584
Best CPU time to get the best result obtained on this benchmark1800.15
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 10627584
Optimality of the best value was proved NO
Number of variables45485
Total number of constraints1026
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 constraints1026
Minimum length of a constraint17
Maximum length of a constraint619
Number of terms in the objective function 30780
Biggest coefficient in the objective function 1610612736
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 1591285381686
Number of bits of the sum of numbers in the objective function 41
Biggest number in a constraint 59431609958400
Number of bits of the biggest number in a constraint 46
Biggest sum of numbers in a constraint 209844586667159
Number of bits of the biggest sum of numbers48
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...
1.49/1.53	c ...done
1.49/1.53	c #vars=45485 #constraints=1654 hasObjective=yes
1.79/1.84	c res. mode=mod
1.79/1.84	c VSIDS like heuristics
1.79/1.84	c complete search running
5.99/6.01	c restart after 401 decisions
6.59/6.65	c nbDecision=500 #constraints=1867
10.78/10.90	c restart after 801 decisions
13.10/13.15	c nbDecision=1000 #constraints=2171
20.48/20.55	c nbDecision=1500 #constraints=2559
22.09/22.19	c restart after 1601 decisions
28.49/28.57	c nbDecision=2000 #constraints=2880
41.38/41.41	c nbDecision=2500 #constraints=3287
56.17/56.23	c nbDecision=3000 #constraints=3705
62.87/62.92	c restart after 3201 decisions
69.78/69.84	c nbDecision=3500 #constraints=4051
85.77/85.82	c nbDecision=4000 #constraints=4501
100.96/101.02	c nbDecision=4500 #constraints=4924
122.66/122.77	c nbDecision=5000 #constraints=5386
143.85/143.99	c nbDecision=5500 #constraints=5827
171.65/171.78	c nbDecision=6000 #constraints=6309
195.94/196.04	c restart after 6401 decisions
198.94/199.04	c nbDecision=6500 #constraints=6707
230.13/230.22	c nbDecision=7000 #constraints=7188
259.92/260.07	c nbDecision=7500 #constraints=7654
284.91/285.10	c nbDecision=8000 #constraints=8087
317.90/318.05	c nbDecision=8500 #constraints=8555
350.50/350.62	c nbDecision=9000 #constraints=9026
391.28/391.47	c nbDecision=9500 #constraints=9502
430.78/430.95	c nbDecision=10000 #constraints=9984
470.56/470.78	c nbDecision=10500 #constraints=10458
515.34/515.50	c nbDecision=11000 #constraints=10943
564.04/564.24	c nbDecision=11500 #constraints=11421
613.53/613.73	c nbDecision=12000 #constraints=11902
658.01/658.21	c nbDecision=12500 #constraints=12364
685.00/685.21	c restart after 12801 decisions
691.80/692.06	c nbDecision=13000 #constraints=12704
719.09/719.39	c nbDecision=13500 #constraints=13172
747.18/747.46	c nbDecision=14000 #constraints=13635
773.58/773.85	c nbDecision=14500 #constraints=14078
802.91/803.25	c nbDecision=15000 #constraints=14530
834.07/834.46	c nbDecision=15500 #constraints=15008
857.95/858.34	c nbDecision=16000 #constraints=15436
879.64/880.02	c nbDecision=16500 #constraints=15850
913.93/914.34	c nbDecision=17000 #constraints=16332
949.12/949.50	c nbDecision=17500 #constraints=16812
986.31/986.79	c nbDecision=18000 #constraints=17293
1027.10/1027.50	c nbDecision=18500 #constraints=17774
1063.89/1064.36	c nbDecision=19000 #constraints=18253
1099.78/1100.21	c nbDecision=19500 #constraints=18728
1141.17/1141.70	c nbDecision=20000 #constraints=19206
1190.16/1190.60	c nbDecision=20500 #constraints=19694
1228.34/1228.85	c nbDecision=21000 #constraints=20157
1267.33/1267.83	c nbDecision=21500 #constraints=20622
1301.83/1302.32	c nbDecision=22000 #constraints=21096
1344.61/1345.17	c nbDecision=22500 #constraints=21569
1385.60/1386.16	c nbDecision=23000 #constraints=21989
1408.20/1408.73	c nbDecision=23500 #constraints=22406
1452.78/1453.36	c nbDecision=24000 #constraints=22861
1498.77/1499.35	c nbDecision=24500 #constraints=23323
1541.66/1542.25	c nbDecision=25000 #constraints=23773
1592.65/1593.26	c nbDecision=25500 #constraints=24236
1601.14/1601.75	c restart after 25601 decisions
1692.82/1693.45	c nbDecision=26000 #constraints=24620
1800.09/1800.70	Received signal 15
1800.09/1800.79	
1800.09/1800.79	s UNKNOWN
1800.09/1800.79	
1800.09/1800.79	c user time= 1799.55 s
1800.09/1800.79	c system time= 0.636903 s
1800.09/1800.79	c wall clock time=1800.79

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/node54/watcher-357309-1176994074 -o ROOT/results/node54/solver-357309-1176994074 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357309-1176994074/instance-357309-1176994074.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.91 3/66 25626
/proc/meminfo: memFree=1462336/2055920 swapFree=4181256/4192956
[pid=25626] ppid=25624 vsize=1468 CPUtime=0
/proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 146781911 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25626/statm: 367 161 126 317 0 46 0

[startup+0.017149 s]
/proc/loadavg: 0.92 0.98 0.91 3/66 25626
/proc/meminfo: memFree=1462336/2055920 swapFree=4181256/4192956
[pid=25626] ppid=25624 vsize=1752 CPUtime=0.01
/proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 235 0 0 0 1 0 0 0 18 0 1 0 146781911 1794048 217 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25626/statm: 438 217 126 317 0 117 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1752

[startup+0.101159 s]
/proc/loadavg: 0.92 0.98 0.91 3/66 25626
/proc/meminfo: memFree=1462336/2055920 swapFree=4181256/4192956
[pid=25626] ppid=25624 vsize=2624 CPUtime=0.09
/proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 538 0 0 0 9 0 0 0 18 0 1 0 146781911 2686976 422 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712576 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25626/statm: 656 422 128 317 0 335 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2624

[startup+0.301184 s]
/proc/loadavg: 0.92 0.98 0.91 3/66 25626
/proc/meminfo: memFree=1462336/2055920 swapFree=4181256/4192956
[pid=25626] ppid=25624 vsize=5852 CPUtime=0.29
/proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 1332 0 0 0 29 0 0 0 19 0 1 0 146781911 5992448 1216 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540773 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25626/statm: 1463 1217 131 317 0 1142 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5852

[startup+0.701234 s]
/proc/loadavg: 0.92 0.98 0.91 3/66 25626
/proc/meminfo: memFree=1462336/2055920 swapFree=4181256/4192956
[pid=25626] ppid=25624 vsize=12432 CPUtime=0.69
/proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 2917 0 0 0 68 1 0 0 22 0 1 0 146781911 12730368 2801 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25626/statm: 3108 2801 131 317 0 2787 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12432

[startup+1.50234 s]
/proc/loadavg: 0.92 0.98 0.91 2/67 25627
/proc/meminfo: memFree=1446776/2055920 swapFree=4181256/4192956
[pid=25626] ppid=25624 vsize=25288 CPUtime=1.49
/proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 6083 0 0 0 147 2 0 0 25 0 1 0 146781911 25894912 5967 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25626/statm: 6322 5968 131 317 0 6001 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25288

[startup+3.10154 s]
/proc/loadavg: 0.93 0.98 0.91 2/67 25627
/proc/meminfo: memFree=1426744/2055920 swapFree=4181256/4192956
[pid=25626] ppid=25624 vsize=37300 CPUtime=3.09
/proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 9076 0 0 0 305 4 0 0 25 0 1 0 146781911 38195200 8960 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25626/statm: 9325 8960 139 317 0 9004 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 37300

[startup+6.30195 s]
/proc/loadavg: 0.93 0.98 0.91 2/67 25627
/proc/meminfo: memFree=1425464/2055920 swapFree=4181256/4192956
[pid=25626] ppid=25624 vsize=38988 CPUtime=6.29
/proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 9524 0 0 0 625 4 0 0 25 0 1 0 146781911 39923712 9408 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606848 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25626/statm: 9747 9408 170 317 0 9426 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 38988

[startup+12.7018 s]
/proc/loadavg: 0.94 0.98 0.91 2/67 25627
/proc/meminfo: memFree=1421368/2055920 swapFree=4181256/4192956
[pid=25626] ppid=25624 vsize=43132 CPUtime=12.69
/proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 10534 0 0 0 1264 5 0 0 25 0 1 0 146781911 44167168 10418 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25626/statm: 10783 10418 170 317 0 10462 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 43132

[startup+25.5014 s]
/proc/loadavg: 0.95 0.98 0.91 2/67 25627
/proc/meminfo: memFree=1414264/2055920 swapFree=4181256/4192956
[pid=25626] ppid=25624 vsize=50128 CPUtime=25.49
/proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 12288 0 0 0 2543 6 0 0 25 0 1 0 146781911 51331072 12172 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713798 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25626/statm: 12532 12172 170 317 0 12211 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 50128

[startup+51.1016 s]
/proc/loadavg: 1.03 1.00 0.92 2/67 25627
/proc/meminfo: memFree=1402872/2055920 swapFree=4181256/4192956
[pid=25626] ppid=25624 vsize=62296 CPUtime=51.08
/proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 15141 0 0 0 5101 7 0 0 25 0 1 0 146781911 63791104 15025 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25626/statm: 15574 15025 170 317 0 15253 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 62296

[startup+102.305 s]
/proc/loadavg: 1.01 1.00 0.92 2/67 25627
/proc/meminfo: memFree=1384312/2055920 swapFree=4181256/4192956
[pid=25626] ppid=25624 vsize=80576 CPUtime=102.26
/proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 19774 0 0 0 10217 9 0 0 25 0 1 0 146781911 82509824 19658 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606691 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25626/statm: 20144 19658 170 317 0 19823 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 80576

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 25627
/proc/meminfo: memFree=1364984/2055920 swapFree=4181256/4192956
[pid=25626] ppid=25624 vsize=101708 CPUtime=162.25
/proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 24610 0 0 0 16213 12 0 0 25 0 1 0 146781911 104148992 24494 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25626/statm: 25427 24494 170 317 0 25106 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 101708

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 25627
/proc/meminfo: memFree=1351224/2055920 swapFree=4181256/4192956
[pid=25626] ppid=25624 vsize=115572 CPUtime=222.23
/proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 28055 0 0 0 22208 15 0 0 25 0 1 0 146781911 118345728 27896 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563634 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25626/statm: 28893 27896 170 317 0 28572 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 115572

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 25627
/proc/meminfo: memFree=1337208/2055920 swapFree=4181256/4192956
[pid=25626] ppid=25624 vsize=129032 CPUtime=282.21
/proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 31603 0 0 0 28204 17 0 0 25 0 1 0 146781911 132128768 31444 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25626/statm: 32258 31444 170 317 0 31937 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 129032

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 25627
/proc/meminfo: memFree=1324024/2055920 swapFree=4181256/4192956
[pid=25626] ppid=25624 vsize=141540 CPUtime=342.19
/proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 34850 0 0 0 34199 20 0 0 25 0 1 0 146781911 144936960 34691 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563634 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25626/statm: 35385 34691 170 317 0 35064 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 141540

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 25627
/proc/meminfo: memFree=1310520/2055920 swapFree=4181256/4192956
[pid=25626] ppid=25624 vsize=158576 CPUtime=402.18
/proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 38240 0 0 0 40195 23 0 0 25 0 1 0 146781911 162381824 38081 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715638 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25626/statm: 39644 38081 170 317 0 39323 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 158576

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 25627
/proc/meminfo: memFree=1298424/2055920 swapFree=4181256/4192956
[pid=25626] ppid=25624 vsize=171680 CPUtime=462.16
/proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 41232 0 0 0 46191 25 0 0 25 0 1 0 146781911 175800320 41073 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272676 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25626/statm: 42920 41073 170 317 0 42599 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 171680

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 25627
/proc/meminfo: memFree=1287800/2055920 swapFree=4181256/4192956
[pid=25626] ppid=25624 vsize=183800 CPUtime=522.15
/proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 43873 0 0 0 52188 27 0 0 25 0 1 0 146781911 188211200 43714 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25626/statm: 45950 43714 170 317 0 45629 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 183800

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 25627
/proc/meminfo: memFree=1278712/2055920 swapFree=4181256/4192956
[pid=25626] ppid=25624 vsize=193136 CPUtime=582.13
/proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 46143 0 0 0 58185 28 0 0 25 0 1 0 146781911 197771264 45984 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134533545 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25626/statm: 48284 45984 170 317 0 47963 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 193136

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 25627
/proc/meminfo: memFree=1271096/2055920 swapFree=4181256/4192956
[pid=25626] ppid=25624 vsize=200252 CPUtime=642.11
/proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 48030 0 0 0 64182 29 0 0 25 0 1 0 146781911 205058048 47871 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563449 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25626/statm: 50063 47871 170 317 0 49742 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 200252


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

[startup+882.301 s]
/proc/loadavg: 1.04 1.01 0.93 2/67 25825
/proc/meminfo: memFree=1209528/2055920 swapFree=4181256/4192956
[pid=25626] ppid=25624 vsize=259872 CPUtime=881.94
/proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 63347 0 0 0 88155 39 0 0 25 0 1 0 146781911 266108928 63102 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25626/statm: 64968 63102 170 317 0 64647 0
Current children cumulated CPU time (s) 881.94
Current children cumulated vsize (KiB) 259872

[startup+942.301 s]
/proc/loadavg: 1.01 1.01 0.93 2/67 25825
/proc/meminfo: memFree=1196408/2055920 swapFree=4181256/4192956
[pid=25626] ppid=25624 vsize=272596 CPUtime=941.93
/proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 66675 0 0 0 94153 40 0 0 25 0 1 0 146781911 279138304 66430 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25626/statm: 68149 66430 170 317 0 67828 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 272596

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 25825
/proc/meminfo: memFree=1181432/2055920 swapFree=4181256/4192956
[pid=25626] ppid=25624 vsize=294080 CPUtime=1001.91
/proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 71757 0 0 0 100149 42 0 0 25 0 1 0 146781911 301137920 70126 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25626/statm: 73520 70126 170 317 0 73199 0
Current children cumulated CPU time (s) 1001.91
Current children cumulated vsize (KiB) 294080

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 25825
/proc/meminfo: memFree=1167800/2055920 swapFree=4181256/4192956
[pid=25626] ppid=25624 vsize=313888 CPUtime=1061.89
/proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 76386 0 0 0 106145 44 0 0 25 0 1 0 146781911 321421312 73567 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25626/statm: 78472 73567 170 317 0 78151 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 313888

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 25825
/proc/meminfo: memFree=1154488/2055920 swapFree=4181256/4192956
[pid=25626] ppid=25624 vsize=329152 CPUtime=1121.87
/proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 80341 0 0 0 112141 46 0 0 25 0 1 0 146781911 337051648 76862 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25626/statm: 82288 76862 170 317 0 81967 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 329152

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 25825
/proc/meminfo: memFree=1141816/2055920 swapFree=4181256/4192956
[pid=25626] ppid=25624 vsize=346648 CPUtime=1181.86
/proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 84199 0 0 0 118138 48 0 0 25 0 1 0 146781911 354967552 80027 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25626/statm: 86662 80027 170 317 0 86341 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 346648

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 25825
/proc/meminfo: memFree=1129656/2055920 swapFree=4181256/4192956
[pid=25626] ppid=25624 vsize=358984 CPUtime=1241.84
/proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 87276 0 0 0 124134 50 0 0 25 0 1 0 146781911 367599616 83071 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712569 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25626/statm: 89746 83071 170 317 0 89425 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 358984

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 25827
/proc/meminfo: memFree=1116920/2055920 swapFree=4181256/4192956
[pid=25626] ppid=25624 vsize=370832 CPUtime=1301.83
/proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 90521 0 0 0 130131 52 0 0 25 0 1 0 146781911 379731968 86217 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25626/statm: 92708 86217 170 317 0 92387 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 370832

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 25827
/proc/meminfo: memFree=1106232/2055920 swapFree=4181256/4192956
[pid=25626] ppid=25624 vsize=381948 CPUtime=1361.81
/proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 93465 0 0 0 136127 54 0 0 25 0 1 0 146781911 391114752 88897 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25626/statm: 95487 88897 170 317 0 95166 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 381948

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 25827
/proc/meminfo: memFree=1093368/2055920 swapFree=4181256/4192956
[pid=25626] ppid=25624 vsize=393184 CPUtime=1421.79
/proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 96663 0 0 0 142123 56 0 0 25 0 1 0 146781911 402620416 92095 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25626/statm: 98296 92095 170 317 0 97975 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 393184

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 25827
/proc/meminfo: memFree=1084536/2055920 swapFree=4181256/4192956
[pid=25626] ppid=25624 vsize=401476 CPUtime=1481.78
/proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 98948 0 0 0 148120 58 0 0 25 0 1 0 146781911 411111424 94314 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25626/statm: 100369 94314 170 317 0 100048 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 401476

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 25827
/proc/meminfo: memFree=1074424/2055920 swapFree=4181256/4192956
[pid=25626] ppid=25624 vsize=410436 CPUtime=1541.76
/proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 101459 0 0 0 154116 60 0 0 25 0 1 0 146781911 420286464 96825 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25626/statm: 102609 96825 170 317 0 102288 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 410436

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 25827
/proc/meminfo: memFree=1065592/2055920 swapFree=4181256/4192956
[pid=25626] ppid=25624 vsize=418560 CPUtime=1601.74
/proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 103703 0 0 0 160113 61 0 0 25 0 1 0 146781911 428605440 99036 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710932 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25626/statm: 104640 99036 170 317 0 104319 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 418560

[startup+1662.3 s]
/proc/loadavg: 1.03 1.01 0.93 2/67 25827
/proc/meminfo: memFree=1062840/2055920 swapFree=4181256/4192956
[pid=25626] ppid=25624 vsize=420956 CPUtime=1661.73
/proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 104385 0 0 0 166111 62 0 0 25 0 1 0 146781911 431058944 99718 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25626/statm: 105239 99718 170 317 0 104918 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 420956

[startup+1722.3 s]
/proc/loadavg: 1.01 1.01 0.93 2/67 25827
/proc/meminfo: memFree=1059768/2055920 swapFree=4181256/4192956
[pid=25626] ppid=25624 vsize=423632 CPUtime=1721.71
/proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 105160 0 0 0 172109 62 0 0 25 0 1 0 146781911 433799168 100493 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25626/statm: 105908 100493 170 317 0 105587 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 423632

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 25827
/proc/meminfo: memFree=1056632/2055920 swapFree=4181256/4192956
[pid=25626] ppid=25624 vsize=427136 CPUtime=1781.69
/proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 106104 0 0 0 178106 63 0 0 25 0 1 0 146781911 437387264 101267 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25626/statm: 106784 101267 170 317 0 106463 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 427136



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 25827
/proc/meminfo: memFree=1055288/2055920 swapFree=4181256/4192956
[pid=25626] ppid=25624 vsize=428172 CPUtime=1800.09
/proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 106428 0 0 0 179946 63 0 0 25 0 1 0 146781911 438448128 101591 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25626/statm: 107043 101591 170 317 0 106722 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 428172

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

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

[startup+1800.81 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 25827
/proc/meminfo: memFree=1055288/2055920 swapFree=4181256/4192956
[pid=25626] ppid=25624 vsize=392000 CPUtime=1800.19
/proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 106444 0 0 0 179955 64 0 0 25 0 1 0 146781911 401408000 95350 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135339169 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25626/statm: 97870 95282 186 317 0 97549 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 392000

Child status: 0
Real time (s): 1800.87
CPU time (s): 1800.26
CPU user time (s): 1799.56
CPU system time (s): 0.704892
CPU usage (%): 99.9663
Max. virtual memory (cumulated for all children) (KiB): 428172

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

runsolver used 1.78073 second user time and 4.78727 second system time

The end

Launcher Data (download as text)

Begin job on node54 on Thu Apr 19 14:47:54 UTC 2007

IDJOB= 357309
IDBENCH= 2377
IDSOLVER= 172
FILE ID= node54/357309-1176994074

PBS_JOBID= 4630421

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  85f7c2e2894ed59f685fa11d94ed0974

RANDOM SEED= 645780588

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node54.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:       1462680 kB
Buffers:         30232 kB
Cached:         510888 kB
SwapCached:       4648 kB
Active:          27756 kB
Inactive:       523952 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1462680 kB
SwapTotal:     4192956 kB
SwapFree:      4181256 kB
Dirty:            6200 kB
Writeback:           0 kB
Mapped:          15744 kB
Slab:            27416 kB
Committed_AS:  2091836 kB
PageTables:       1412 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66334 MiB

End job on node54 on Thu Apr 19 15:17:57 UTC 2007