Trace number 357046

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.13 1800.77

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib3/normalized-reduced-mps-v2-20-10-blend2.opb
MD5SUM94d27ad55443aa92d0406d6e0a54bcaf
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2944
Total number of constraints214
Number of constraints which are clauses9
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints205
Minimum length of a constraint1
Maximum length of a constraint2659
Number of terms in the objective function 88
Biggest coefficient in the objective function 53442
Number of bits for the biggest coefficient in the objective function 16
Sum of the numbers in the objective function 524332
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262120
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 526376
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
0.04/0.08	c ...done
0.04/0.08	c #vars=2944 #constraints=304 hasObjective=yes
0.04/0.09	c res. mode=mod
0.04/0.09	c VSIDS like heuristics
0.04/0.09	c complete search running
0.19/0.23	c restart after 401 decisions
0.19/0.27	c nbDecision=500 #constraints=654
0.69/0.71	c restart after 801 decisions
0.79/0.83	c nbDecision=1000 #constraints=1087
1.19/1.25	c nbDecision=1500 #constraints=1518
1.19/1.28	c restart after 1601 decisions
1.69/1.79	c nbDecision=2000 #constraints=1937
15.78/15.89	c nbDecision=2500 #constraints=2375
17.68/17.71	c nbDecision=3000 #constraints=2851
19.29/19.31	c restart after 3201 decisions
26.68/26.75	c nbDecision=3500 #constraints=3284
49.07/49.11	c nbDecision=4000 #constraints=3742
49.87/49.92	c nbDecision=4500 #constraints=4194
50.67/50.75	c nbDecision=5000 #constraints=4668
52.37/52.42	c nbDecision=5500 #constraints=5081
55.37/55.46	c nbDecision=6000 #constraints=5559
84.96/85.02	c restart after 6401 decisions
85.46/85.50	c nbDecision=6500 #constraints=6022
86.26/86.36	c nbDecision=7000 #constraints=6476
88.16/88.26	c nbDecision=7500 #constraints=6939
113.85/113.99	c nbDecision=8000 #constraints=7375
174.62/174.75	c nbDecision=8500 #constraints=7793
209.41/209.59	c nbDecision=9000 #constraints=8262
239.01/239.18	c nbDecision=9500 #constraints=8761
264.29/264.48	c nbDecision=10000 #constraints=9262
290.69/290.82	c nbDecision=10500 #constraints=9761
316.87/317.08	c nbDecision=11000 #constraints=10261
344.07/344.28	c nbDecision=11500 #constraints=10761
370.66/370.89	c nbDecision=12000 #constraints=11261
398.95/399.18	c nbDecision=12500 #constraints=11761
414.05/414.21	c restart after 12801 decisions
420.05/420.29	c nbDecision=13000 #constraints=12191
447.73/447.97	c nbDecision=13500 #constraints=12691
479.62/479.88	c nbDecision=14000 #constraints=13191
516.91/517.19	c nbDecision=14500 #constraints=13692
550.20/550.44	c nbDecision=15000 #constraints=14191
579.98/580.29	c nbDecision=15500 #constraints=14691
611.27/611.55	c nbDecision=16000 #constraints=15191
645.56/645.85	c nbDecision=16500 #constraints=15693
675.65/675.90	c nbDecision=17000 #constraints=16191
711.35/711.65	c nbDecision=17500 #constraints=16691
745.22/745.51	c nbDecision=18000 #constraints=17191
784.91/785.21	c nbDecision=18500 #constraints=17691
828.49/828.89	c nbDecision=19000 #constraints=18192
871.99/872.35	c nbDecision=19500 #constraints=18691
912.17/912.59	c nbDecision=20000 #constraints=19191
956.55/956.98	c nbDecision=20500 #constraints=19691
999.64/1000.00	c nbDecision=21000 #constraints=20192
1044.53/1044.93	c nbDecision=21500 #constraints=20691
1089.61/1090.04	c nbDecision=22000 #constraints=21191
1132.99/1133.42	c nbDecision=22500 #constraints=21691
1183.77/1184.21	c nbDecision=23000 #constraints=22191
1236.35/1236.81	c nbDecision=23500 #constraints=22693
1285.64/1286.12	c nbDecision=24000 #constraints=23193
1356.41/1356.99	c nbDecision=24500 #constraints=23691
1413.00/1413.51	c nbDecision=25000 #constraints=24191
1465.47/1466.06	c nbDecision=25500 #constraints=24691
1477.87/1478.48	c restart after 25601 decisions
1521.86/1522.46	c nbDecision=26000 #constraints=25129
1591.43/1592.09	c nbDecision=26500 #constraints=25629
1645.21/1645.82	c nbDecision=27000 #constraints=26129
1703.79/1704.42	c nbDecision=27500 #constraints=26629
1767.67/1768.37	c nbDecision=28000 #constraints=27129
1800.07/1800.70	Received signal 15
1800.07/1800.71	
1800.07/1800.71	s UNKNOWN
1800.07/1800.71	
1800.07/1800.71	c user time= 1799.69 s
1800.07/1800.71	c system time= 0.39194 s
1800.07/1800.71	c wall clock time=1800.72

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node20/watcher-357046-1176852656 -o ROOT/results/node20/solver-357046-1176852656 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357046-1176852656/instance-357046-1176852656.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.99 0.97 0.92 3/77 15375
/proc/meminfo: memFree=1722648/2055920 swapFree=4149456/4192956
[pid=15375] ppid=15373 vsize=1468 CPUtime=0
/proc/15375/stat : 15375 (oree) R 15373 15375 14749 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 133182949 1503232 165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15375/statm: 367 165 131 317 0 46 0

[startup+0.0520659 s]
/proc/loadavg: 0.99 0.97 0.92 3/77 15375
/proc/meminfo: memFree=1722648/2055920 swapFree=4149456/4192956
[pid=15375] ppid=15373 vsize=2492 CPUtime=0.04
/proc/15375/stat : 15375 (oree) R 15373 15375 14749 0 -1 4194304 400 0 0 0 4 0 0 0 18 0 1 0 133182949 2551808 382 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15375/statm: 623 382 131 317 0 302 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2492

[startup+0.10109 s]
/proc/loadavg: 0.99 0.97 0.92 3/77 15375
/proc/meminfo: memFree=1722648/2055920 swapFree=4149456/4192956
[pid=15375] ppid=15373 vsize=3768 CPUtime=0.09
/proc/15375/stat : 15375 (oree) R 15373 15375 14749 0 -1 4194304 724 0 0 0 9 0 0 0 18 0 1 0 133182949 3858432 706 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606869 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15375/statm: 942 706 139 317 0 621 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3768

[startup+0.301116 s]
/proc/loadavg: 0.99 0.97 0.92 3/77 15375
/proc/meminfo: memFree=1722648/2055920 swapFree=4149456/4192956
[pid=15375] ppid=15373 vsize=4452 CPUtime=0.29
/proc/15375/stat : 15375 (oree) R 15373 15375 14749 0 -1 4194304 863 0 0 0 29 0 0 0 19 0 1 0 133182949 4558848 845 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563818 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15375/statm: 1113 845 139 317 0 792 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4452

[startup+0.701196 s]
/proc/loadavg: 0.99 0.97 0.92 3/77 15375
/proc/meminfo: memFree=1722648/2055920 swapFree=4149456/4192956
[pid=15375] ppid=15373 vsize=4984 CPUtime=0.69
/proc/15375/stat : 15375 (oree) R 15373 15375 14749 0 -1 4194304 1016 0 0 0 69 0 0 0 22 0 1 0 133182949 5103616 998 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15375/statm: 1246 998 139 317 0 925 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4984

[startup+1.50136 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 15376
/proc/meminfo: memFree=1718736/2055920 swapFree=4149456/4192956
[pid=15375] ppid=15373 vsize=6352 CPUtime=1.49
/proc/15375/stat : 15375 (oree) R 15373 15375 14749 0 -1 4194304 1355 0 0 0 149 0 0 0 25 0 1 0 133182949 6504448 1337 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712511 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15375/statm: 1588 1337 139 317 0 1267 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6352

[startup+3.10268 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 15376
/proc/meminfo: memFree=1716752/2055920 swapFree=4149456/4192956
[pid=15375] ppid=15373 vsize=7836 CPUtime=3.09
/proc/15375/stat : 15375 (oree) R 15373 15375 14749 0 -1 4194304 1683 0 0 0 309 0 0 0 25 0 1 0 133182949 8024064 1665 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541556 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15375/statm: 1959 1665 139 317 0 1638 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7836

[startup+6.30132 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 15376
/proc/meminfo: memFree=1715792/2055920 swapFree=4149456/4192956
[pid=15375] ppid=15373 vsize=8440 CPUtime=6.28
/proc/15375/stat : 15375 (oree) R 15373 15375 14749 0 -1 4194304 1839 0 0 0 628 0 0 0 25 0 1 0 133182949 8642560 1821 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713872 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15375/statm: 2110 1821 139 317 0 1789 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 8440

[startup+12.7016 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 15376
/proc/meminfo: memFree=1713880/2055920 swapFree=4149520/4192956
[pid=15375] ppid=15373 vsize=11096 CPUtime=12.69
/proc/15375/stat : 15375 (oree) R 15373 15375 14749 0 -1 4194304 2402 0 0 0 1268 1 0 0 25 0 1 0 133182949 11362304 2384 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271339 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15375/statm: 2774 2384 139 317 0 2453 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 11096

[startup+25.5012 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 15376
/proc/meminfo: memFree=1707480/2055920 swapFree=4149520/4192956
[pid=15375] ppid=15373 vsize=17644 CPUtime=25.48
/proc/15375/stat : 15375 (oree) R 15373 15375 14749 0 -1 4194304 3940 0 0 0 2546 2 0 0 25 0 1 0 133182949 18067456 3922 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134559099 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15375/statm: 4411 3922 139 317 0 4090 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 17644

[startup+51.1013 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 15376
/proc/meminfo: memFree=1698008/2055920 swapFree=4149520/4192956
[pid=15375] ppid=15373 vsize=28468 CPUtime=51.07
/proc/15375/stat : 15375 (oree) R 15373 15375 14749 0 -1 4194304 6335 0 0 0 5104 3 0 0 25 0 1 0 133182949 29151232 6317 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15375/statm: 7117 6317 139 317 0 6796 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 28468

[startup+102.306 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 15376
/proc/meminfo: memFree=1688536/2055920 swapFree=4149520/4192956
[pid=15375] ppid=15373 vsize=38172 CPUtime=102.25
/proc/15375/stat : 15375 (oree) R 15373 15375 14749 0 -1 4194304 8635 0 0 0 10221 4 0 0 25 0 1 0 133182949 39088128 8617 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718727 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15375/statm: 9543 8617 170 317 0 9222 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 38172

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 15376
/proc/meminfo: memFree=1678808/2055920 swapFree=4149520/4192956
[pid=15375] ppid=15373 vsize=49316 CPUtime=162.23
/proc/15375/stat : 15375 (oree) R 15373 15375 14749 0 -1 4194304 11073 0 0 0 16217 6 0 0 25 0 1 0 133182949 50499584 11055 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272635 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15375/statm: 12329 11055 170 317 0 12008 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 49316

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 15376
/proc/meminfo: memFree=1665304/2055920 swapFree=4149584/4192956
[pid=15375] ppid=15373 vsize=64532 CPUtime=222.21
/proc/15375/stat : 15375 (oree) R 15373 15375 14749 0 -1 4194304 14465 0 0 0 22213 8 0 0 25 0 1 0 133182949 66080768 14390 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710752 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15375/statm: 16133 14390 170 317 0 15812 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 64532

[startup+282.303 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 15376
/proc/meminfo: memFree=1651672/2055920 swapFree=4149584/4192956
[pid=15375] ppid=15373 vsize=80156 CPUtime=282.19
/proc/15375/stat : 15375 (oree) R 15373 15375 14749 0 -1 4194304 17915 0 0 0 28209 10 0 0 25 0 1 0 133182949 82079744 17828 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15375/statm: 20039 17828 170 317 0 19718 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 80156

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 15376
/proc/meminfo: memFree=1638744/2055920 swapFree=4149648/4192956
[pid=15375] ppid=15373 vsize=94572 CPUtime=342.17
/proc/15375/stat : 15375 (oree) R 15373 15375 14749 0 -1 4194304 21120 0 0 0 34206 11 0 0 25 0 1 0 133182949 96841728 21033 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712538 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15375/statm: 23643 21033 170 317 0 23322 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 94572

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 15376
/proc/meminfo: memFree=1624856/2055920 swapFree=4149648/4192956
[pid=15375] ppid=15373 vsize=109912 CPUtime=402.15
/proc/15375/stat : 15375 (oree) R 15373 15375 14749 0 -1 4194304 24654 0 0 0 40203 12 0 0 25 0 1 0 133182949 112549888 24567 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134530440 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15375/statm: 27478 24567 170 317 0 27157 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 109912

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 15378
/proc/meminfo: memFree=1612440/2055920 swapFree=4149648/4192956
[pid=15375] ppid=15373 vsize=123416 CPUtime=462.12
/proc/15375/stat : 15375 (oree) R 15373 15375 14749 0 -1 4194304 27703 0 0 0 46199 13 0 0 25 0 1 0 133182949 126377984 27616 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284641 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15375/statm: 30854 27616 170 317 0 30533 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 123416

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 15378
/proc/meminfo: memFree=1602072/2055920 swapFree=4149712/4192956
[pid=15375] ppid=15373 vsize=135992 CPUtime=522.11
/proc/15375/stat : 15375 (oree) R 15373 15375 14749 0 -1 4194304 30402 0 0 0 52196 15 0 0 25 0 1 0 133182949 139255808 30315 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541520 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15375/statm: 33998 30315 170 317 0 33677 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 135992

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 15378
/proc/meminfo: memFree=1592472/2055920 swapFree=4149712/4192956
[pid=15375] ppid=15373 vsize=147004 CPUtime=582.09
/proc/15375/stat : 15375 (oree) R 15373 15375 14749 0 -1 4194304 32692 0 0 0 58192 17 0 0 25 0 1 0 133182949 150532096 32605 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604194 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15375/statm: 36751 32605 170 317 0 36430 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 147004

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 15378
/proc/meminfo: memFree=1583384/2055920 swapFree=4149776/4192956
[pid=15375] ppid=15373 vsize=157568 CPUtime=642.07
/proc/15375/stat : 15375 (oree) R 15373 15375 14749 0 -1 4194304 34997 0 0 0 64189 18 0 0 25 0 1 0 133182949 161349632 34910 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272594 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15375/statm: 39392 34910 170 317 0 39071 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 157568


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 15378
/proc/meminfo: memFree=1548696/2055920 swapFree=4149840/4192956
[pid=15375] ppid=15373 vsize=196240 CPUtime=881.98
/proc/15375/stat : 15375 (oree) R 15373 15375 14749 0 -1 4194304 43752 0 0 0 88174 24 0 0 25 0 1 0 133182949 200949760 43552 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712551 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15375/statm: 49060 43552 170 317 0 48739 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 196240

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 15378
/proc/meminfo: memFree=1537944/2055920 swapFree=4149904/4192956
[pid=15375] ppid=15373 vsize=208988 CPUtime=941.96
/proc/15375/stat : 15375 (oree) R 15373 15375 14749 0 -1 4194304 46462 0 0 0 94171 25 0 0 25 0 1 0 133182949 214003712 46262 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15375/statm: 52247 46262 170 317 0 51926 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 208988

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 15378
/proc/meminfo: memFree=1530456/2055920 swapFree=4149904/4192956
[pid=15375] ppid=15373 vsize=217000 CPUtime=1001.94
/proc/15375/stat : 15375 (oree) R 15373 15375 14749 0 -1 4194304 48332 0 0 0 100168 26 0 0 25 0 1 0 133182949 222208000 48132 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15375/statm: 54250 48132 170 317 0 53929 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 217000

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 15378
/proc/meminfo: memFree=1523096/2055920 swapFree=4149904/4192956
[pid=15375] ppid=15373 vsize=225536 CPUtime=1061.91
/proc/15375/stat : 15375 (oree) R 15373 15375 14749 0 -1 4194304 50327 0 0 0 106164 27 0 0 25 0 1 0 133182949 230948864 50061 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272627 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15375/statm: 56384 50061 170 317 0 56063 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 225536

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 15378
/proc/meminfo: memFree=1515480/2055920 swapFree=4149968/4192956
[pid=15375] ppid=15373 vsize=234376 CPUtime=1121.89
/proc/15375/stat : 15375 (oree) R 15373 15375 14749 0 -1 4194304 52286 0 0 0 112161 28 0 0 25 0 1 0 133182949 240001024 51888 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710868 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15375/statm: 58594 51888 170 317 0 58273 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 234376

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 15378
/proc/meminfo: memFree=1506968/2055920 swapFree=4149968/4192956
[pid=15375] ppid=15373 vsize=244620 CPUtime=1181.87
/proc/15375/stat : 15375 (oree) R 15373 15375 14749 0 -1 4194304 54577 0 0 0 118158 29 0 0 25 0 1 0 133182949 250490880 54014 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715618 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15375/statm: 61155 54014 170 317 0 60834 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 244620

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 15378
/proc/meminfo: memFree=1500440/2055920 swapFree=4149968/4192956
[pid=15375] ppid=15373 vsize=253092 CPUtime=1241.85
/proc/15375/stat : 15375 (oree) R 15373 15375 14749 0 -1 4194304 56415 0 0 0 124155 30 0 0 25 0 1 0 133182949 259166208 55621 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712576 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15375/statm: 63273 55621 170 317 0 62952 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 253092

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 15378
/proc/meminfo: memFree=1494680/2055920 swapFree=4150032/4192956
[pid=15375] ppid=15373 vsize=259812 CPUtime=1301.83
/proc/15375/stat : 15375 (oree) R 15373 15375 14749 0 -1 4194304 57921 0 0 0 130152 31 0 0 25 0 1 0 133182949 266047488 57061 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713823 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15375/statm: 64953 57061 170 317 0 64632 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 259812

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 15378
/proc/meminfo: memFree=1490968/2055920 swapFree=4150032/4192956
[pid=15375] ppid=15373 vsize=264132 CPUtime=1361.81
/proc/15375/stat : 15375 (oree) R 15373 15375 14749 0 -1 4194304 58923 0 0 0 136149 32 0 0 25 0 1 0 133182949 270471168 57997 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15375/statm: 66033 57997 170 317 0 65712 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 264132

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 15378
/proc/meminfo: memFree=1485144/2055920 swapFree=4150096/4192956
[pid=15375] ppid=15373 vsize=270284 CPUtime=1421.79
/proc/15375/stat : 15375 (oree) R 15373 15375 14749 0 -1 4194304 60374 0 0 0 142146 33 0 0 25 0 1 0 133182949 276770816 59448 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15375/statm: 67571 59448 170 317 0 67250 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 270284

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 15378
/proc/meminfo: memFree=1480216/2055920 swapFree=4150096/4192956
[pid=15375] ppid=15373 vsize=275456 CPUtime=1481.76
/proc/15375/stat : 15375 (oree) R 15373 15375 14749 0 -1 4194304 61607 0 0 0 148143 33 0 0 25 0 1 0 133182949 282066944 60681 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15375/statm: 68864 60681 170 317 0 68543 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 275456

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 15378
/proc/meminfo: memFree=1479128/2055920 swapFree=4150096/4192956
[pid=15375] ppid=15373 vsize=276624 CPUtime=1541.74
/proc/15375/stat : 15375 (oree) R 15373 15375 14749 0 -1 4194304 61909 0 0 0 154140 34 0 0 25 0 1 0 133182949 283262976 60983 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15375/statm: 69156 60983 170 317 0 68835 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 276624

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 15378
/proc/meminfo: memFree=1473560/2055920 swapFree=4150160/4192956
[pid=15375] ppid=15373 vsize=282712 CPUtime=1601.72
/proc/15375/stat : 15375 (oree) R 15373 15375 14749 0 -1 4194304 63352 0 0 0 160137 35 0 0 25 0 1 0 133182949 289497088 62393 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15375/statm: 70678 62393 170 317 0 70357 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 282712

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 15378
/proc/meminfo: memFree=1468184/2055920 swapFree=4150160/4192956
[pid=15375] ppid=15373 vsize=288468 CPUtime=1661.7
/proc/15375/stat : 15375 (oree) R 15373 15375 14749 0 -1 4194304 64705 0 0 0 166134 36 0 0 25 0 1 0 133182949 295391232 63746 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284176 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15375/statm: 72117 63746 170 317 0 71796 0
Current children cumulated CPU time (s) 1661.7
Current children cumulated vsize (KiB) 288468

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 15378
/proc/meminfo: memFree=1463768/2055920 swapFree=4150160/4192956
[pid=15375] ppid=15373 vsize=293556 CPUtime=1721.68
/proc/15375/stat : 15375 (oree) R 15373 15375 14749 0 -1 4194304 65828 0 0 0 172131 37 0 0 25 0 1 0 133182949 300601344 64836 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710932 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15375/statm: 73389 64836 170 317 0 73068 0
Current children cumulated CPU time (s) 1721.68
Current children cumulated vsize (KiB) 293556

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 15378
/proc/meminfo: memFree=1458520/2055920 swapFree=4150224/4192956
[pid=15375] ppid=15373 vsize=299444 CPUtime=1781.66
/proc/15375/stat : 15375 (oree) R 15373 15375 14749 0 -1 4194304 67171 0 0 0 178128 38 0 0 25 0 1 0 133182949 306630656 66146 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15375/statm: 74861 66146 170 317 0 74540 0
Current children cumulated CPU time (s) 1781.66
Current children cumulated vsize (KiB) 299444



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 15378
/proc/meminfo: memFree=1457240/2055920 swapFree=4150224/4192956
[pid=15375] ppid=15373 vsize=300772 CPUtime=1800.07
/proc/15375/stat : 15375 (oree) R 15373 15375 14749 0 -1 4194304 67490 0 0 0 179968 39 0 0 25 0 1 0 133182949 307990528 66465 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15375/statm: 75193 66465 170 317 0 74872 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 300772

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

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

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 15378
/proc/meminfo: memFree=1457240/2055920 swapFree=4150224/4192956
[pid=15375] ppid=15373 vsize=300772 CPUtime=1800.07
/proc/15375/stat : 15375 (oree) R 15373 15375 14749 0 -1 4194304 67490 0 0 0 179968 39 0 0 25 0 1 0 133182949 307990528 66465 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15375/statm: 75193 66465 170 317 0 74872 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 300772

Child status: 0
Real time (s): 1800.77
CPU time (s): 1800.13
CPU user time (s): 1799.69
CPU system time (s): 0.434933
CPU usage (%): 99.9646
Max. virtual memory (cumulated for all children) (KiB): 300772

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

runsolver used 2.09468 second user time and 4.17636 second system time

The end

Launcher Data (download as text)

Begin job on node20 on Tue Apr 17 23:30:56 UTC 2007

IDJOB= 357046
IDBENCH= 1832
IDSOLVER= 172
FILE ID= node20/357046-1176852656

PBS_JOBID= 4590206

Free space on /tmp= 66495 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib3/normalized-reduced-mps-v2-20-10-blend2.opb
COMMAND LINE= oree /tmp/evaluation/357046-1176852656/instance-357046-1176852656.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node20/watcher-357046-1176852656 -o ROOT/results/node20/solver-357046-1176852656 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357046-1176852656/instance-357046-1176852656.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  94d27ad55443aa92d0406d6e0a54bcaf

RANDOM SEED= 659285618

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node20.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.265
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.265
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:       1723056 kB
Buffers:         34564 kB
Cached:         239464 kB
SwapCached:      22724 kB
Active:         139304 kB
Inactive:       164220 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1723056 kB
SwapTotal:     4192956 kB
SwapFree:      4149456 kB
Dirty:            1692 kB
Writeback:           0 kB
Mapped:          32296 kB
Slab:            14876 kB
Committed_AS:  1818676 kB
PageTables:       1744 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= 66495 MiB

End job on node20 on Wed Apr 18 00:00:59 UTC 2007