Trace number 363042

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 1801.03

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-fit1p.opb
MD5SUM5786f17317bd882619b652d49c5f0155
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark6.46102
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved YES
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 531
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 550278
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 261632
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 550278
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...
1.09/1.15	c ...done
1.09/1.15	c #vars=45485 #constraints=1654 hasObjective=yes
1.39/1.44	c res. mode=mod
1.39/1.44	c VSIDS like heuristics
1.39/1.44	c complete search running
7.99/8.09	c restart after 401 decisions
9.39/9.42	c nbDecision=500 #constraints=2003
13.69/13.70	c restart after 801 decisions
16.78/16.88	c nbDecision=1000 #constraints=2392
25.38/25.42	c nbDecision=1500 #constraints=2891
27.28/27.30	c restart after 1601 decisions
31.58/31.61	c nbDecision=2000 #constraints=3314
35.68/35.77	c nbDecision=2500 #constraints=3814
40.58/40.63	c nbDecision=3000 #constraints=4316
42.48/42.58	c restart after 3201 decisions
49.47/49.52	c nbDecision=3500 #constraints=4738
62.37/62.42	c nbDecision=4000 #constraints=5237
75.37/75.48	c nbDecision=4500 #constraints=5739
88.76/88.88	c nbDecision=5000 #constraints=6238
102.26/102.34	c nbDecision=5500 #constraints=6737
115.95/116.06	c nbDecision=6000 #constraints=7237
127.25/127.34	c restart after 6401 decisions
130.04/130.19	c nbDecision=6500 #constraints=7660
139.94/140.08	c nbDecision=7000 #constraints=8150
149.44/149.59	c nbDecision=7500 #constraints=8650
159.33/159.44	c nbDecision=8000 #constraints=9149
169.43/169.50	c nbDecision=8500 #constraints=9649
179.72/179.83	c nbDecision=9000 #constraints=10149
190.52/190.65	c nbDecision=9500 #constraints=10649
201.52/201.67	c nbDecision=10000 #constraints=11149
212.81/212.94	c nbDecision=10500 #constraints=11651
224.21/224.33	c nbDecision=11000 #constraints=12149
236.31/236.50	c nbDecision=11500 #constraints=12651
248.41/248.59	c nbDecision=12000 #constraints=13150
260.60/260.70	c nbDecision=12500 #constraints=13650
268.20/268.33	c restart after 12801 decisions
275.88/276.02	c nbDecision=13000 #constraints=14061
289.04/289.27	c nbDecision=13500 #constraints=14562
302.90/303.11	c nbDecision=14000 #constraints=15062
317.59/317.82	c nbDecision=14500 #constraints=15564
333.36/333.64	c nbDecision=15000 #constraints=16062
348.86/349.11	c nbDecision=15500 #constraints=16564
365.35/365.61	c nbDecision=16000 #constraints=17064
381.94/382.25	c nbDecision=16500 #constraints=17561
400.64/400.91	c nbDecision=17000 #constraints=18062
418.74/419.05	c nbDecision=17500 #constraints=18563
438.03/438.36	c nbDecision=18000 #constraints=19063
459.52/459.86	c nbDecision=18500 #constraints=19564
478.22/478.56	c nbDecision=19000 #constraints=20061
497.10/497.45	c nbDecision=19500 #constraints=20561
518.20/518.53	c nbDecision=20000 #constraints=21061
537.99/538.40	c nbDecision=20500 #constraints=21561
558.99/559.31	c nbDecision=21000 #constraints=22062
581.97/582.32	c nbDecision=21500 #constraints=22561
605.47/605.83	c nbDecision=22000 #constraints=23063
631.16/631.58	c nbDecision=22500 #constraints=23563
653.45/653.85	c nbDecision=23000 #constraints=24062
677.54/677.97	c nbDecision=23500 #constraints=24563
701.34/701.76	c nbDecision=24000 #constraints=25062
728.32/728.72	c nbDecision=24500 #constraints=25564
754.21/754.62	c nbDecision=25000 #constraints=26064
780.51/780.93	c nbDecision=25500 #constraints=26563
786.70/787.12	c restart after 25601 decisions
822.49/822.92	c nbDecision=26000 #constraints=26991
867.07/867.59	c nbDecision=26500 #constraints=27490
913.66/914.13	c nbDecision=27000 #constraints=27991
959.24/959.78	c nbDecision=27500 #constraints=28491
1005.52/1006.10	c nbDecision=28000 #constraints=28990
1052.50/1053.03	c nbDecision=28500 #constraints=29490
1099.99/1100.51	c nbDecision=29000 #constraints=29991
1147.26/1147.89	c nbDecision=29500 #constraints=30491
1195.85/1196.43	c nbDecision=30000 #constraints=30990
1244.73/1245.39	c nbDecision=30500 #constraints=31491
1294.01/1294.61	c nbDecision=31000 #constraints=31984
1342.50/1343.16	c nbDecision=31500 #constraints=32483
1392.07/1392.77	c nbDecision=32000 #constraints=32985
1441.46/1442.18	c nbDecision=32500 #constraints=33483
1492.24/1492.97	c nbDecision=33000 #constraints=33983
1543.12/1543.87	c nbDecision=33500 #constraints=34484
1595.11/1595.85	c nbDecision=34000 #constraints=34986
1646.99/1647.70	c nbDecision=34500 #constraints=35485
1699.17/1699.90	c nbDecision=35000 #constraints=35983
1750.75/1751.60	c nbDecision=35500 #constraints=36483
1800.03/1800.80	Received signal 15
1800.13/1800.95	
1800.13/1800.95	s UNKNOWN
1800.13/1800.95	
1800.13/1800.95	c user time= 1799.42 s
1800.13/1800.95	c system time= 0.775882 s
1800.13/1800.95	c wall clock time=1800.95

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

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


[startup+0 s]
/proc/loadavg: 0.91 0.95 0.98 3/77 31833
/proc/meminfo: memFree=1617536/2055920 swapFree=4192024/4192956
[pid=31833] ppid=31831 vsize=1620 CPUtime=0
/proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 13938221 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31833/statm: 405 175 126 317 0 84 0

[startup+0.071846 s]
/proc/loadavg: 0.91 0.95 0.98 3/77 31833
/proc/meminfo: memFree=1617536/2055920 swapFree=4192024/4192956
[pid=31833] ppid=31831 vsize=2624 CPUtime=0.06
/proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 537 0 0 0 6 0 0 0 18 0 1 0 13938221 2686976 421 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712518 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31833/statm: 656 421 127 317 0 335 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2624

[startup+0.102851 s]
/proc/loadavg: 0.91 0.95 0.98 3/77 31833
/proc/meminfo: memFree=1617536/2055920 swapFree=4192024/4192956
[pid=31833] ppid=31831 vsize=3024 CPUtime=0.09
/proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 647 0 0 0 9 0 0 0 18 0 1 0 13938221 3096576 531 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31833/statm: 756 532 131 317 0 435 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3024

[startup+0.301896 s]
/proc/loadavg: 0.91 0.95 0.98 3/77 31833
/proc/meminfo: memFree=1617536/2055920 swapFree=4192024/4192956
[pid=31833] ppid=31831 vsize=7460 CPUtime=0.29
/proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 1702 0 0 0 29 0 0 0 19 0 1 0 13938221 7639040 1586 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31833/statm: 1865 1586 131 317 0 1544 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7460

[startup+0.701976 s]
/proc/loadavg: 0.91 0.95 0.98 3/77 31833
/proc/meminfo: memFree=1617536/2055920 swapFree=4192024/4192956
[pid=31833] ppid=31831 vsize=16116 CPUtime=0.69
/proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 3805 0 0 0 68 1 0 0 22 0 1 0 13938221 16502784 3689 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31833/statm: 4029 3689 131 317 0 3708 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16116

[startup+1.50114 s]
/proc/loadavg: 0.91 0.95 0.98 2/78 31834
/proc/meminfo: memFree=1596792/2055920 swapFree=4192024/4192956
[pid=31833] ppid=31831 vsize=37140 CPUtime=1.49
/proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 9038 0 0 0 145 4 0 0 25 0 1 0 13938221 38031360 8922 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31833/statm: 9285 8922 138 317 0 8964 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 37140

[startup+3.10148 s]
/proc/loadavg: 0.91 0.95 0.98 2/78 31834
/proc/meminfo: memFree=1582072/2055920 swapFree=4192024/4192956
[pid=31833] ppid=31831 vsize=37284 CPUtime=3.09
/proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 9053 0 0 0 305 4 0 0 25 0 1 0 13938221 38178816 8937 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711521 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31833/statm: 9321 8937 139 317 0 9000 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 37284

[startup+6.30119 s]
/proc/loadavg: 0.92 0.95 0.98 2/78 31834
/proc/meminfo: memFree=1581304/2055920 swapFree=4192024/4192956
[pid=31833] ppid=31831 vsize=38192 CPUtime=6.29
/proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 9284 0 0 0 624 5 0 0 25 0 1 0 13938221 39108608 9168 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31833/statm: 9548 9168 139 317 0 9227 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 38192

[startup+12.7015 s]
/proc/loadavg: 0.93 0.95 0.98 2/78 31834
/proc/meminfo: memFree=1578360/2055920 swapFree=4192024/4192956
[pid=31833] ppid=31831 vsize=41224 CPUtime=12.69
/proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 10031 0 0 0 1264 5 0 0 25 0 1 0 13938221 42213376 9915 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31833/statm: 10306 9915 139 317 0 9985 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 41224

[startup+25.5022 s]
/proc/loadavg: 0.94 0.96 0.98 2/78 31834
/proc/meminfo: memFree=1572280/2055920 swapFree=4192024/4192956
[pid=31833] ppid=31831 vsize=47120 CPUtime=25.48
/proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 11503 0 0 0 2542 6 0 0 25 0 1 0 13938221 48250880 11387 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715703 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31833/statm: 11780 11387 139 317 0 11459 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 47120

[startup+51.1025 s]
/proc/loadavg: 0.96 0.96 0.98 2/78 31834
/proc/meminfo: memFree=1556280/2055920 swapFree=4192024/4192956
[pid=31833] ppid=31831 vsize=63148 CPUtime=51.07
/proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 15509 0 0 0 5098 9 0 0 25 0 1 0 13938221 64663552 15393 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31833/statm: 15787 15393 139 317 0 15466 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 63148

[startup+102.305 s]
/proc/loadavg: 0.98 0.96 0.98 2/78 31834
/proc/meminfo: memFree=1538936/2055920 swapFree=4192024/4192956
[pid=31833] ppid=31831 vsize=82088 CPUtime=102.26
/proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 19854 0 0 0 10213 13 0 0 25 0 1 0 13938221 84058112 19695 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31833/statm: 20522 19695 139 317 0 20201 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 82088

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 31834
/proc/meminfo: memFree=1518584/2055920 swapFree=4192024/4192956
[pid=31833] ppid=31831 vsize=101148 CPUtime=162.24
/proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 24977 0 0 0 16205 19 0 0 25 0 1 0 13938221 103575552 24818 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31833/statm: 25287 24818 139 317 0 24966 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 101148

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 31834
/proc/meminfo: memFree=1491448/2055920 swapFree=4192024/4192956
[pid=31833] ppid=31831 vsize=131836 CPUtime=222.21
/proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 31679 0 0 0 22197 24 0 0 25 0 1 0 13938221 135000064 31520 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31833/statm: 32959 31520 139 317 0 32638 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 131836

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/84 31906
/proc/meminfo: memFree=1472304/2055920 swapFree=4192024/4192956
[pid=31833] ppid=31831 vsize=149044 CPUtime=282.15
/proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 36285 0 0 0 28187 28 0 0 25 0 1 0 13938221 152621056 36040 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31833/statm: 37261 36040 139 317 0 36940 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 149044

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 32032
/proc/meminfo: memFree=1456632/2055920 swapFree=4192024/4192956
[pid=31833] ppid=31831 vsize=164428 CPUtime=342.06
/proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 40409 0 0 0 34175 31 0 0 25 0 1 0 13938221 168374272 40164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31833/statm: 41107 40164 139 317 0 40786 0
Current children cumulated CPU time (s) 342.06
Current children cumulated vsize (KiB) 164428

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 32032
/proc/meminfo: memFree=1439096/2055920 swapFree=4192024/4192956
[pid=31833] ppid=31831 vsize=195384 CPUtime=402.04
/proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 47261 0 0 0 40170 34 0 0 25 0 1 0 13938221 200073216 44574 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31833/statm: 48846 44574 139 317 0 48525 0
Current children cumulated CPU time (s) 402.04
Current children cumulated vsize (KiB) 195384

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 32032
/proc/meminfo: memFree=1426296/2055920 swapFree=4192024/4192956
[pid=31833] ppid=31831 vsize=206696 CPUtime=462.02
/proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 50458 0 0 0 46165 37 0 0 25 0 1 0 13938221 211656704 47738 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31833/statm: 51674 47738 139 317 0 51353 0
Current children cumulated CPU time (s) 462.02
Current children cumulated vsize (KiB) 206696

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 32032
/proc/meminfo: memFree=1413496/2055920 swapFree=4192024/4192956
[pid=31833] ppid=31831 vsize=218540 CPUtime=521.99
/proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 53823 0 0 0 52159 40 0 0 25 0 1 0 13938221 223784960 50971 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31833/statm: 54635 50971 139 317 0 54314 0
Current children cumulated CPU time (s) 521.99
Current children cumulated vsize (KiB) 218540

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 32032
/proc/meminfo: memFree=1401592/2055920 swapFree=4192024/4192956
[pid=31833] ppid=31831 vsize=229144 CPUtime=581.97
/proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 56776 0 0 0 58154 43 0 0 25 0 1 0 13938221 234643456 53891 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31833/statm: 57286 53891 139 317 0 56965 0
Current children cumulated CPU time (s) 581.97
Current children cumulated vsize (KiB) 229144

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 32032
/proc/meminfo: memFree=1390968/2055920 swapFree=4192024/4192956
[pid=31833] ppid=31831 vsize=238240 CPUtime=641.95
/proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 59440 0 0 0 64150 45 0 0 25 0 1 0 13938221 243957760 56522 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31833/statm: 59560 56522 139 317 0 59239 0
Current children cumulated CPU time (s) 641.95
Current children cumulated vsize (KiB) 238240


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 32032
/proc/meminfo: memFree=1359480/2055920 swapFree=4192024/4192956
[pid=31833] ppid=31831 vsize=268572 CPUtime=881.86
/proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 67883 0 0 0 88133 53 0 0 25 0 1 0 13938221 275017728 64432 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31833/statm: 67143 64432 139 317 0 66822 0
Current children cumulated CPU time (s) 881.86
Current children cumulated vsize (KiB) 268572

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 32032
/proc/meminfo: memFree=1354168/2055920 swapFree=4192024/4192956
[pid=31833] ppid=31831 vsize=273264 CPUtime=941.85
/proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 69209 0 0 0 94130 55 0 0 25 0 1 0 13938221 279822336 65758 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31833/statm: 68316 65758 139 317 0 67995 0
Current children cumulated CPU time (s) 941.85
Current children cumulated vsize (KiB) 273264

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 32032
/proc/meminfo: memFree=1348792/2055920 swapFree=4192024/4192956
[pid=31833] ppid=31831 vsize=277836 CPUtime=1001.82
/proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 70547 0 0 0 100125 57 0 0 25 0 1 0 13938221 284504064 67096 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31833/statm: 69459 67096 139 317 0 69138 0
Current children cumulated CPU time (s) 1001.82
Current children cumulated vsize (KiB) 277836

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 32032
/proc/meminfo: memFree=1343800/2055920 swapFree=4192024/4192956
[pid=31833] ppid=31831 vsize=282396 CPUtime=1061.81
/proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 71813 0 0 0 106122 59 0 0 25 0 1 0 13938221 289173504 68362 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31833/statm: 70599 68362 139 317 0 70278 0
Current children cumulated CPU time (s) 1061.81
Current children cumulated vsize (KiB) 282396

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 32034
/proc/meminfo: memFree=1338296/2055920 swapFree=4192024/4192956
[pid=31833] ppid=31831 vsize=287016 CPUtime=1121.77
/proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 73113 0 0 0 112118 59 0 0 25 0 1 0 13938221 293904384 69662 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31833/statm: 71754 69662 139 317 0 71433 0
Current children cumulated CPU time (s) 1121.77
Current children cumulated vsize (KiB) 287016

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 32034
/proc/meminfo: memFree=1333176/2055920 swapFree=4192024/4192956
[pid=31833] ppid=31831 vsize=291708 CPUtime=1181.75
/proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 74425 0 0 0 118114 61 0 0 25 0 1 0 13938221 298708992 70941 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31833/statm: 72927 70941 139 317 0 72606 0
Current children cumulated CPU time (s) 1181.75
Current children cumulated vsize (KiB) 291708

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 32034
/proc/meminfo: memFree=1328184/2055920 swapFree=4192024/4192956
[pid=31833] ppid=31831 vsize=296004 CPUtime=1241.74
/proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 75642 0 0 0 124111 63 0 0 25 0 1 0 13938221 303108096 72158 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31833/statm: 74001 72158 139 317 0 73680 0
Current children cumulated CPU time (s) 1241.74
Current children cumulated vsize (KiB) 296004

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 32034
/proc/meminfo: memFree=1323064/2055920 swapFree=4192024/4192956
[pid=31833] ppid=31831 vsize=300336 CPUtime=1301.71
/proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 76910 0 0 0 130108 63 0 0 25 0 1 0 13938221 307544064 73426 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31833/statm: 75084 73426 139 317 0 74763 0
Current children cumulated CPU time (s) 1301.71
Current children cumulated vsize (KiB) 300336

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 32034
/proc/meminfo: memFree=1318072/2055920 swapFree=4192024/4192956
[pid=31833] ppid=31831 vsize=304924 CPUtime=1361.69
/proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 78160 0 0 0 136104 65 0 0 25 0 1 0 13938221 312242176 74676 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31833/statm: 76231 74676 139 317 0 75910 0
Current children cumulated CPU time (s) 1361.69
Current children cumulated vsize (KiB) 304924

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 32034
/proc/meminfo: memFree=1312952/2055920 swapFree=4192024/4192956
[pid=31833] ppid=31831 vsize=309616 CPUtime=1421.67
/proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 79502 0 0 0 142101 66 0 0 25 0 1 0 13938221 317046784 75952 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718650 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31833/statm: 77404 75952 139 317 0 77083 0
Current children cumulated CPU time (s) 1421.67
Current children cumulated vsize (KiB) 309616

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 32034
/proc/meminfo: memFree=1308088/2055920 swapFree=4192024/4192956
[pid=31833] ppid=31831 vsize=314064 CPUtime=1481.64
/proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 80721 0 0 0 148097 67 0 0 25 0 1 0 13938221 321601536 77171 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718322 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31833/statm: 78516 77171 139 317 0 78195 0
Current children cumulated CPU time (s) 1481.64
Current children cumulated vsize (KiB) 314064

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 32034
/proc/meminfo: memFree=1300344/2055920 swapFree=4192024/4192956
[pid=31833] ppid=31831 vsize=352956 CPUtime=1541.62
/proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 89765 0 0 0 154090 72 0 0 25 0 1 0 13938221 361426944 79065 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31833/statm: 88239 79065 139 317 0 87918 0
Current children cumulated CPU time (s) 1541.62
Current children cumulated vsize (KiB) 352956

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 32034
/proc/meminfo: memFree=1295608/2055920 swapFree=4192024/4192956
[pid=31833] ppid=31831 vsize=357508 CPUtime=1601.6
/proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 91070 0 0 0 160087 73 0 0 25 0 1 0 13938221 366088192 80272 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31833/statm: 89377 80272 139 317 0 89056 0
Current children cumulated CPU time (s) 1601.6
Current children cumulated vsize (KiB) 357508

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 32034
/proc/meminfo: memFree=1290616/2055920 swapFree=4192024/4192956
[pid=31833] ppid=31831 vsize=361972 CPUtime=1661.58
/proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 92393 0 0 0 166083 75 0 0 25 0 1 0 13938221 370659328 81530 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31833/statm: 90493 81530 139 317 0 90172 0
Current children cumulated CPU time (s) 1661.58
Current children cumulated vsize (KiB) 361972

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 32034
/proc/meminfo: memFree=1285752/2055920 swapFree=4192024/4192956
[pid=31833] ppid=31831 vsize=366148 CPUtime=1721.56
/proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 93594 0 0 0 172080 76 0 0 25 0 1 0 13938221 374935552 82731 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711091 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31833/statm: 91537 82731 139 317 0 91216 0
Current children cumulated CPU time (s) 1721.56
Current children cumulated vsize (KiB) 366148

[startup+1782.3 s]
/proc/loadavg: 1.04 0.99 0.99 2/78 32034
/proc/meminfo: memFree=1281016/2055920 swapFree=4192024/4192956
[pid=31833] ppid=31831 vsize=370316 CPUtime=1781.54
/proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 94783 0 0 0 178077 77 0 0 25 0 1 0 13938221 379203584 83920 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31833/statm: 92579 83920 139 317 0 92258 0
Current children cumulated CPU time (s) 1781.54
Current children cumulated vsize (KiB) 370316



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.11 1.00 0.99 2/78 32034
/proc/meminfo: memFree=1279480/2055920 swapFree=4192024/4192956
[pid=31833] ppid=31831 vsize=371616 CPUtime=1800.03
/proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194304 95153 0 0 0 179926 77 0 0 25 0 1 0 13938221 380534784 84290 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715618 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31833/statm: 92904 84290 139 317 0 92583 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 371616

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

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

[startup+1801 s]
/proc/loadavg: 1.11 1.00 0.99 2/78 32034
/proc/meminfo: memFree=1279480/2055920 swapFree=4192024/4192956
[pid=31833] ppid=31831 vsize=0 CPUtime=1800.23
/proc/31833/stat : 31833 (oree) R 31831 31833 30876 0 -1 4194308 95174 0 0 0 179943 80 0 0 25 0 1 0 13938221 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31833/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1801.03
CPU time (s): 1800.26
CPU user time (s): 1799.43
CPU system time (s): 0.830873
CPU usage (%): 99.9576
Max. virtual memory (cumulated for all children) (KiB): 371616

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

runsolver used 2.07568 second user time and 4.48132 second system time

The end

Launcher Data (download as text)

Begin job on node40 on Tue Apr 17 22:56:27 UTC 2007

IDJOB= 363042
IDBENCH= 1725
IDSOLVER= 172
FILE ID= node40/363042-1176850586

PBS_JOBID= 4590176

Free space on /tmp= 66543 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  5786f17317bd882619b652d49c5f0155

RANDOM SEED= 281858908

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node40.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.283
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.283
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:       1617944 kB
Buffers:         32952 kB
Cached:         238776 kB
SwapCached:          0 kB
Active:          31748 kB
Inactive:       341424 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1617944 kB
SwapTotal:     4192956 kB
SwapFree:      4192024 kB
Dirty:            4616 kB
Writeback:           0 kB
Mapped:         119936 kB
Slab:            50248 kB
Committed_AS:   246904 kB
PageTables:       1864 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= 66543 MiB

End job on node40 on Tue Apr 17 23:26:29 UTC 2007