Trace number 357375

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.19 1800.69

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-mas74.opb
MD5SUMd879f5802b2059e72ece8e718d439f85
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark91750400640
Best CPU time to get the best result obtained on this benchmark1800.18
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 52428797515
Optimality of the best value was proved NO
Number of variables240
Total number of constraints14
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints13
Minimum length of a constraint90
Maximum length of a constraint239
Number of terms in the objective function 240
Biggest coefficient in the objective function 1934281311383406679529881600000
Number of bits for the biggest coefficient in the objective function 101
Sum of the numbers in the objective function 3868562622766813359059763201675
Number of bits of the sum of numbers in the objective function 102
Biggest number in a constraint 1208925819614629174706176000000000
Number of bits of the biggest number in a constraint 110
Biggest sum of numbers in a constraint 2417851639229258350773194212202779
Number of bits of the biggest sum of numbers111
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.00/0.01	c ...done
0.00/0.01	c #vars=240 #constraints=15 hasObjective=yes
0.00/0.02	c res. mode=mod
0.00/0.02	c VSIDS like heuristics
0.00/0.02	c complete search running
0.89/0.96	c restart after 401 decisions
0.89/0.97	c nbDecision=500 #constraints=252
1.79/1.88	c restart after 801 decisions
1.99/2.04	c nbDecision=1000 #constraints=491
4.19/4.24	c nbDecision=1500 #constraints=936
4.59/4.62	c restart after 1601 decisions
5.89/5.96	c nbDecision=2000 #constraints=1212
8.99/9.02	c nbDecision=2500 #constraints=1640
12.88/12.93	c nbDecision=3000 #constraints=2074
14.69/14.70	c restart after 3201 decisions
16.19/16.28	c nbDecision=3500 #constraints=2343
22.98/23.04	c nbDecision=4000 #constraints=2817
29.48/29.59	c nbDecision=4500 #constraints=3244
36.58/36.64	c nbDecision=5000 #constraints=3648
45.08/45.18	c nbDecision=5500 #constraints=4069
53.57/53.63	c nbDecision=6000 #constraints=4463
61.47/61.58	c restart after 6401 decisions
62.27/62.30	c nbDecision=6500 #constraints=4797
71.67/71.74	c nbDecision=7000 #constraints=5156
82.37/82.44	c nbDecision=7500 #constraints=5548
94.76/94.87	c nbDecision=8000 #constraints=5937
108.46/108.50	c nbDecision=8500 #constraints=6351
121.95/122.01	c nbDecision=9000 #constraints=6730
139.15/139.27	c nbDecision=9500 #constraints=7147
157.75/157.90	c nbDecision=10000 #constraints=7591
176.55/176.65	c nbDecision=10500 #constraints=8029
195.94/196.09	c nbDecision=11000 #constraints=8464
214.54/214.68	c nbDecision=11500 #constraints=8866
231.72/231.90	c nbDecision=12000 #constraints=9248
249.52/249.60	c nbDecision=12500 #constraints=9623
262.72/262.83	c restart after 12801 decisions
266.22/266.33	c nbDecision=13000 #constraints=9896
288.31/288.44	c nbDecision=13500 #constraints=10312
309.50/309.62	c nbDecision=14000 #constraints=10701
330.50/330.65	c nbDecision=14500 #constraints=11089
352.19/352.31	c nbDecision=15000 #constraints=11471
373.69/373.89	c nbDecision=15500 #constraints=11842
399.19/399.40	c nbDecision=16000 #constraints=12238
423.07/423.26	c nbDecision=16500 #constraints=12621
450.57/450.78	c nbDecision=17000 #constraints=13023
476.56/476.73	c nbDecision=17500 #constraints=13400
502.45/502.68	c nbDecision=18000 #constraints=13782
528.35/528.53	c nbDecision=18500 #constraints=14154
555.74/555.94	c nbDecision=19000 #constraints=14542
583.63/583.82	c nbDecision=19500 #constraints=14921
610.72/610.99	c nbDecision=20000 #constraints=15284
642.71/642.91	c nbDecision=20500 #constraints=15677
676.50/676.72	c nbDecision=21000 #constraints=16077
706.80/707.06	c nbDecision=21500 #constraints=16451
741.88/742.18	c nbDecision=22000 #constraints=16853
775.28/775.52	c nbDecision=22500 #constraints=17234
810.47/810.78	c nbDecision=23000 #constraints=17615
843.86/844.17	c nbDecision=23500 #constraints=17992
879.14/879.46	c nbDecision=24000 #constraints=18381
912.24/912.53	c nbDecision=24500 #constraints=18745
946.53/946.89	c nbDecision=25000 #constraints=19108
982.81/983.13	c nbDecision=25500 #constraints=19477
988.92/989.27	c restart after 25601 decisions
1014.71/1015.02	c nbDecision=26000 #constraints=19734
1062.89/1063.21	c nbDecision=26500 #constraints=20169
1110.08/1110.49	c nbDecision=27000 #constraints=20595
1161.27/1161.62	c nbDecision=27500 #constraints=21025
1207.05/1207.42	c nbDecision=28000 #constraints=21429
1257.54/1257.98	c nbDecision=28500 #constraints=21849
1308.83/1309.22	c nbDecision=29000 #constraints=22282
1360.11/1360.50	c nbDecision=29500 #constraints=22706
1406.40/1406.80	c nbDecision=30000 #constraints=23090
1456.19/1456.63	c nbDecision=30500 #constraints=23499
1505.37/1505.85	c nbDecision=31000 #constraints=23909
1546.86/1547.34	c nbDecision=31500 #constraints=24270
1594.24/1594.80	c nbDecision=32000 #constraints=24657
1642.73/1643.24	c nbDecision=32500 #constraints=25038
1694.73/1695.24	c nbDecision=33000 #constraints=25449
1750.21/1750.76	c nbDecision=33500 #constraints=25863
1800.10/1800.60	Received signal 15
1800.10/1800.64	
1800.10/1800.64	s UNKNOWN
1800.10/1800.64	
1800.10/1800.64	c user time= 1799.55 s
1800.10/1800.64	c system time= 0.59191 s
1800.10/1800.64	c wall clock time=1800.64

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/node18/watcher-357375-1176996088 -o ROOT/results/node18/solver-357375-1176996088 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357375-1176996088/instance-357375-1176996088.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.99 3/77 14399
/proc/meminfo: memFree=1750024/2055920 swapFree=4147128/4192956
[pid=14399] ppid=14397 vsize=1468 CPUtime=0
/proc/14399/stat : 14399 (oree) R 14397 14399 14101 0 -1 4194304 176 0 0 0 0 0 0 0 18 0 1 0 147526189 1503232 158 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14399/statm: 367 158 131 317 0 46 0

[startup+0.101451 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 14399
/proc/meminfo: memFree=1750024/2055920 swapFree=4147128/4192956
[pid=14399] ppid=14397 vsize=1864 CPUtime=0.09
/proc/14399/stat : 14399 (oree) R 14397 14399 14101 0 -1 4194304 269 0 0 0 9 0 0 0 18 0 1 0 147526189 1908736 251 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14399/statm: 466 251 139 317 0 145 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1864

[startup+0.20146 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 14399
/proc/meminfo: memFree=1750024/2055920 swapFree=4147128/4192956
[pid=14399] ppid=14397 vsize=2128 CPUtime=0.19
/proc/14399/stat : 14399 (oree) R 14397 14399 14101 0 -1 4194304 337 0 0 0 19 0 0 0 18 0 1 0 147526189 2179072 319 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14399/statm: 532 319 139 317 0 211 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 2128

[startup+0.301469 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 14399
/proc/meminfo: memFree=1750024/2055920 swapFree=4147128/4192956
[pid=14399] ppid=14397 vsize=2392 CPUtime=0.29
/proc/14399/stat : 14399 (oree) R 14397 14399 14101 0 -1 4194304 413 0 0 0 29 0 0 0 19 0 1 0 147526189 2449408 395 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14399/statm: 598 395 139 317 0 277 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2392

[startup+0.701507 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 14399
/proc/meminfo: memFree=1750024/2055920 swapFree=4147128/4192956
[pid=14399] ppid=14397 vsize=3436 CPUtime=0.69
/proc/14399/stat : 14399 (oree) R 14397 14399 14101 0 -1 4194304 678 0 0 0 69 0 0 0 23 0 1 0 147526189 3518464 660 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271317 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14399/statm: 859 660 139 317 0 538 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3436

[startup+1.50158 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 14400
/proc/meminfo: memFree=1746816/2055920 swapFree=4147128/4192956
[pid=14399] ppid=14397 vsize=5292 CPUtime=1.49
/proc/14399/stat : 14399 (oree) R 14397 14399 14101 0 -1 4194304 1157 0 0 0 149 0 0 0 25 0 1 0 147526189 5419008 1139 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14399/statm: 1323 1139 139 317 0 1002 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5292

[startup+3.10174 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 14400
/proc/meminfo: memFree=1743680/2055920 swapFree=4147128/4192956
[pid=14399] ppid=14397 vsize=9260 CPUtime=3.09
/proc/14399/stat : 14399 (oree) R 14397 14399 14101 0 -1 4194304 2134 0 0 0 308 1 0 0 25 0 1 0 147526189 9482240 2116 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14399/statm: 2315 2116 139 317 0 1994 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9260

[startup+6.30105 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 14400
/proc/meminfo: memFree=1737224/2055920 swapFree=4147128/4192956
[pid=14399] ppid=14397 vsize=15436 CPUtime=6.29
/proc/14399/stat : 14399 (oree) R 14397 14399 14101 0 -1 4194304 3558 0 0 0 627 2 0 0 25 0 1 0 147526189 15806464 3540 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563656 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14399/statm: 3859 3540 139 317 0 3538 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15436

[startup+12.7017 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 14400
/proc/meminfo: memFree=1729544/2055920 swapFree=4147128/4192956
[pid=14399] ppid=14397 vsize=22144 CPUtime=12.68
/proc/14399/stat : 14399 (oree) R 14397 14399 14101 0 -1 4194304 5339 0 0 0 1265 3 0 0 25 0 1 0 147526189 22675456 5321 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564062 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14399/statm: 5536 5322 139 317 0 5215 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 22144

[startup+25.5019 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 14400
/proc/meminfo: memFree=1718984/2055920 swapFree=4147128/4192956
[pid=14399] ppid=14397 vsize=33020 CPUtime=25.48
/proc/14399/stat : 14399 (oree) R 14397 14399 14101 0 -1 4194304 7896 0 0 0 2544 4 0 0 25 0 1 0 147526189 33812480 7878 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564062 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14399/statm: 8255 7878 139 317 0 7934 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 33020

[startup+51.1014 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 14400
/proc/meminfo: memFree=1703240/2055920 swapFree=4147128/4192956
[pid=14399] ppid=14397 vsize=51104 CPUtime=51.08
/proc/14399/stat : 14399 (oree) R 14397 14399 14101 0 -1 4194304 11824 0 0 0 5101 7 0 0 25 0 1 0 147526189 52330496 11806 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604263 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14399/statm: 12776 11806 139 317 0 12455 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 51104

[startup+102.301 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 14400
/proc/meminfo: memFree=1685832/2055920 swapFree=4147128/4192956
[pid=14399] ppid=14397 vsize=66864 CPUtime=102.26
/proc/14399/stat : 14399 (oree) R 14397 14399 14101 0 -1 4194304 16134 0 0 0 10216 10 0 0 25 0 1 0 147526189 68468736 16116 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14399/statm: 16716 16116 170 317 0 16395 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 66864

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 14400
/proc/meminfo: memFree=1671624/2055920 swapFree=4147128/4192956
[pid=14399] ppid=14397 vsize=80000 CPUtime=162.24
/proc/14399/stat : 14399 (oree) R 14397 14399 14101 0 -1 4194304 19707 0 0 0 16211 13 0 0 25 0 1 0 147526189 81920000 19689 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718425 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14399/statm: 20000 19689 170 317 0 19679 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 80000

[startup+222.306 s]
/proc/loadavg: 1.05 1.00 1.00 2/78 14400
/proc/meminfo: memFree=1653704/2055920 swapFree=4147128/4192956
[pid=14399] ppid=14397 vsize=103868 CPUtime=222.23
/proc/14399/stat : 14399 (oree) R 14397 14399 14101 0 -1 4194304 24182 0 0 0 22207 16 0 0 25 0 1 0 147526189 106360832 24107 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710964 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14399/statm: 25967 24107 170 317 0 25646 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 103868

[startup+282.302 s]
/proc/loadavg: 1.02 1.00 1.00 2/78 14400
/proc/meminfo: memFree=1643080/2055920 swapFree=4147128/4192956
[pid=14399] ppid=14397 vsize=114132 CPUtime=282.21
/proc/14399/stat : 14399 (oree) R 14397 14399 14101 0 -1 4194304 26901 0 0 0 28202 19 0 0 25 0 1 0 147526189 116871168 26826 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14399/statm: 28533 26826 170 317 0 28212 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 114132

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14400
/proc/meminfo: memFree=1632328/2055920 swapFree=4147128/4192956
[pid=14399] ppid=14397 vsize=123800 CPUtime=342.2
/proc/14399/stat : 14399 (oree) R 14397 14399 14101 0 -1 4194304 29554 0 0 0 34198 22 0 0 25 0 1 0 147526189 126771200 29479 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14399/statm: 30950 29479 170 317 0 30629 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 123800

[startup+402.301 s]
/proc/loadavg: 1.04 1.01 1.00 2/78 14400
/proc/meminfo: memFree=1623496/2055920 swapFree=4147128/4192956
[pid=14399] ppid=14397 vsize=132612 CPUtime=402.18
/proc/14399/stat : 14399 (oree) R 14397 14399 14101 0 -1 4194304 31771 0 0 0 40194 24 0 0 25 0 1 0 147526189 135794688 31696 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14399/statm: 33153 31696 170 317 0 32832 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 132612

[startup+462.302 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 14400
/proc/meminfo: memFree=1614856/2055920 swapFree=4147128/4192956
[pid=14399] ppid=14397 vsize=140272 CPUtime=462.17
/proc/14399/stat : 14399 (oree) R 14397 14399 14101 0 -1 4194304 33901 0 0 0 46191 26 0 0 25 0 1 0 147526189 143638528 33826 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14399/statm: 35068 33826 170 317 0 34747 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 140272

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14400
/proc/meminfo: memFree=1606600/2055920 swapFree=4147128/4192956
[pid=14399] ppid=14397 vsize=147904 CPUtime=522.15
/proc/14399/stat : 14399 (oree) R 14397 14399 14101 0 -1 4194304 35988 0 0 0 52187 28 0 0 25 0 1 0 147526189 151453696 35913 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14399/statm: 36976 35913 170 317 0 36655 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 147904

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14400
/proc/meminfo: memFree=1598536/2055920 swapFree=4147128/4192956
[pid=14399] ppid=14397 vsize=155020 CPUtime=582.13
/proc/14399/stat : 14399 (oree) R 14397 14399 14101 0 -1 4194304 37976 0 0 0 58183 30 0 0 25 0 1 0 147526189 158740480 37901 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14399/statm: 38755 37901 170 317 0 38434 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 155020

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14400
/proc/meminfo: memFree=1591688/2055920 swapFree=4147128/4192956
[pid=14399] ppid=14397 vsize=161468 CPUtime=642.11
/proc/14399/stat : 14399 (oree) R 14397 14399 14101 0 -1 4194304 39721 0 0 0 64180 31 0 0 25 0 1 0 147526189 165343232 39646 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718419 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14399/statm: 40367 39646 170 317 0 40046 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 161468


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

[startup+882.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14400
/proc/meminfo: memFree=1560136/2055920 swapFree=4147128/4192956
[pid=14399] ppid=14397 vsize=209516 CPUtime=882.05
/proc/14399/stat : 14399 (oree) R 14397 14399 14101 0 -1 4194304 51015 0 0 0 88166 39 0 0 25 0 1 0 147526189 214544384 47461 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14399/statm: 52379 47461 170 317 0 52058 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 209516

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14400
/proc/meminfo: memFree=1553352/2055920 swapFree=4147128/4192956
[pid=14399] ppid=14397 vsize=215168 CPUtime=942.03
/proc/14399/stat : 14399 (oree) R 14397 14399 14101 0 -1 4194304 52767 0 0 0 94163 40 0 0 25 0 1 0 147526189 220332032 49147 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14399/statm: 53792 49147 170 317 0 53471 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 215168

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14402
/proc/meminfo: memFree=1548040/2055920 swapFree=4147128/4192956
[pid=14399] ppid=14397 vsize=220152 CPUtime=1002.01
/proc/14399/stat : 14399 (oree) R 14397 14399 14101 0 -1 4194304 54174 0 0 0 100159 42 0 0 25 0 1 0 147526189 225435648 50488 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14399/statm: 55038 50488 170 317 0 54717 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 220152

[startup+1062.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/78 14402
/proc/meminfo: memFree=1542984/2055920 swapFree=4147128/4192956
[pid=14399] ppid=14397 vsize=224752 CPUtime=1061.99
/proc/14399/stat : 14399 (oree) R 14397 14399 14101 0 -1 4194304 55495 0 0 0 106156 43 0 0 25 0 1 0 147526189 230146048 51776 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563647 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14399/statm: 56188 51776 170 317 0 55867 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 224752

[startup+1122.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 14402
/proc/meminfo: memFree=1537800/2055920 swapFree=4147128/4192956
[pid=14399] ppid=14397 vsize=229228 CPUtime=1121.98
/proc/14399/stat : 14399 (oree) R 14397 14399 14101 0 -1 4194304 56782 0 0 0 112153 45 0 0 25 0 1 0 147526189 234729472 53063 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14399/statm: 57307 53063 170 317 0 56986 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 229228

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14402
/proc/meminfo: memFree=1532936/2055920 swapFree=4147128/4192956
[pid=14399] ppid=14397 vsize=233556 CPUtime=1181.96
/proc/14399/stat : 14399 (oree) R 14397 14399 14101 0 -1 4194304 58040 0 0 0 118150 46 0 0 25 0 1 0 147526189 239161344 54288 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14399/statm: 58389 54288 170 317 0 58068 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 233556

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14402
/proc/meminfo: memFree=1527688/2055920 swapFree=4147128/4192956
[pid=14399] ppid=14397 vsize=238068 CPUtime=1241.95
/proc/14399/stat : 14399 (oree) R 14397 14399 14101 0 -1 4194304 59316 0 0 0 124147 48 0 0 25 0 1 0 147526189 243781632 55564 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14399/statm: 59517 55564 170 317 0 59196 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 238068

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14402
/proc/meminfo: memFree=1522824/2055920 swapFree=4147128/4192956
[pid=14399] ppid=14397 vsize=242528 CPUtime=1301.93
/proc/14399/stat : 14399 (oree) R 14397 14399 14101 0 -1 4194304 60629 0 0 0 130144 49 0 0 25 0 1 0 147526189 248348672 56778 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718425 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14399/statm: 60632 56778 170 317 0 60311 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 242528

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14402
/proc/meminfo: memFree=1517896/2055920 swapFree=4147128/4192956
[pid=14399] ppid=14397 vsize=246740 CPUtime=1361.91
/proc/14399/stat : 14399 (oree) R 14397 14399 14101 0 -1 4194304 61837 0 0 0 136141 50 0 0 25 0 1 0 147526189 252661760 57986 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563639 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14399/statm: 61685 57986 170 317 0 61364 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 246740

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14402
/proc/meminfo: memFree=1513032/2055920 swapFree=4147128/4192956
[pid=14399] ppid=14397 vsize=251580 CPUtime=1421.9
/proc/14399/stat : 14399 (oree) R 14397 14399 14101 0 -1 4194304 63228 0 0 0 142139 51 0 0 25 0 1 0 147526189 257617920 59179 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14399/statm: 62895 59179 170 317 0 62574 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 251580

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14402
/proc/meminfo: memFree=1508168/2055920 swapFree=4147128/4192956
[pid=14399] ppid=14397 vsize=256180 CPUtime=1481.88
/proc/14399/stat : 14399 (oree) R 14397 14399 14101 0 -1 4194304 64485 0 0 0 148136 52 0 0 25 0 1 0 147526189 262328320 60403 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14399/statm: 64045 60403 170 317 0 63724 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 256180

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14402
/proc/meminfo: memFree=1503176/2055920 swapFree=4147128/4192956
[pid=14399] ppid=14397 vsize=260776 CPUtime=1541.86
/proc/14399/stat : 14399 (oree) R 14397 14399 14101 0 -1 4194304 65781 0 0 0 154133 53 0 0 25 0 1 0 147526189 267034624 61666 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718425 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14399/statm: 65194 61666 170 317 0 64873 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 260776

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14402
/proc/meminfo: memFree=1498504/2055920 swapFree=4147128/4192956
[pid=14399] ppid=14397 vsize=264976 CPUtime=1601.85
/proc/14399/stat : 14399 (oree) R 14397 14399 14101 0 -1 4194304 67000 0 0 0 160130 55 0 0 25 0 1 0 147526189 271335424 62852 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14399/statm: 66244 62852 170 317 0 65923 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 264976

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14402
/proc/meminfo: memFree=1493832/2055920 swapFree=4147128/4192956
[pid=14399] ppid=14397 vsize=268836 CPUtime=1661.83
/proc/14399/stat : 14399 (oree) R 14397 14399 14101 0 -1 4194304 68148 0 0 0 166127 56 0 0 25 0 1 0 147526189 275288064 64000 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14399/statm: 67209 64000 170 317 0 66888 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 268836

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14402
/proc/meminfo: memFree=1489352/2055920 swapFree=4147128/4192956
[pid=14399] ppid=14397 vsize=272656 CPUtime=1721.81
/proc/14399/stat : 14399 (oree) R 14397 14399 14101 0 -1 4194304 69271 0 0 0 172124 57 0 0 25 0 1 0 147526189 279199744 65123 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14399/statm: 68164 65123 170 317 0 67843 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 272656

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14402
/proc/meminfo: memFree=1485320/2055920 swapFree=4147128/4192956
[pid=14399] ppid=14397 vsize=276608 CPUtime=1781.79
/proc/14399/stat : 14399 (oree) R 14397 14399 14101 0 -1 4194304 70274 0 0 0 178121 58 0 0 25 0 1 0 147526189 283246592 66126 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14399/statm: 69152 66126 170 317 0 68831 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 276608



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14402
/proc/meminfo: memFree=1483464/2055920 swapFree=4147128/4192956
[pid=14399] ppid=14397 vsize=277920 CPUtime=1800.1
/proc/14399/stat : 14399 (oree) R 14397 14399 14101 0 -1 4194304 70758 0 0 0 179951 59 0 0 25 0 1 0 147526189 284590080 66577 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718425 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14399/statm: 69480 66577 170 317 0 69159 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 277920

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

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

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14402
/proc/meminfo: memFree=1483464/2055920 swapFree=4147128/4192956
[pid=14399] ppid=14397 vsize=277920 CPUtime=1800.1
/proc/14399/stat : 14399 (oree) R 14397 14399 14101 0 -1 4194304 70758 0 0 0 179951 59 0 0 25 0 1 0 147526189 284590080 66577 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718425 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14399/statm: 69480 66577 170 317 0 69159 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 277920

Child status: 0
Real time (s): 1800.69
CPU time (s): 1800.19
CPU user time (s): 1799.55
CPU system time (s): 0.635903
CPU usage (%): 99.9722
Max. virtual memory (cumulated for all children) (KiB): 277920

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

runsolver used 1.9777 second user time and 4.5813 second system time

The end

Launcher Data (download as text)

Begin job on node18 on Thu Apr 19 15:21:28 UTC 2007

IDJOB= 357375
IDBENCH= 2495
IDSOLVER= 172
FILE ID= node18/357375-1176996088

PBS_JOBID= 4630471

Free space on /tmp= 66484 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mas74.opb
COMMAND LINE= oree /tmp/evaluation/357375-1176996088/instance-357375-1176996088.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node18/watcher-357375-1176996088 -o ROOT/results/node18/solver-357375-1176996088 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357375-1176996088/instance-357375-1176996088.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  d879f5802b2059e72ece8e718d439f85

RANDOM SEED= 287675516

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node18.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:       1750552 kB
Buffers:         35708 kB
Cached:         185816 kB
SwapCached:      14164 kB
Active:          69404 kB
Inactive:       174692 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1750552 kB
SwapTotal:     4192956 kB
SwapFree:      4147128 kB
Dirty:            1376 kB
Writeback:           0 kB
Mapped:          29668 kB
Slab:            46840 kB
Committed_AS:  4398120 kB
PageTables:       1776 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= 66484 MiB

End job on node18 on Thu Apr 19 15:51:31 UTC 2007