Trace number 357218

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.63 1801.25

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/
plato.asu.edu/pub/lptestset/fome/normalized-mps-v2-20-10-fome12.opb
MD5SUMd6efb238990ec55ca510b102fead8acf
Bench CategoryOPT-BIGINT (optimisation, big 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 variables1466812
Total number of constraints24336
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 constraints24336
Minimum length of a constraint13
Maximum length of a constraint6840
Number of terms in the objective function 748132
Biggest coefficient in the objective function 2150851580428025856
Number of bits for the biggest coefficient in the objective function 61
Sum of the numbers in the objective function 3531010623397850041104
Number of bits of the sum of numbers in the objective function 72
Biggest number in a constraint 53687091200000000000
Number of bits of the biggest number in a constraint 66
Biggest sum of numbers in a constraint 4277072243466308763648
Number of bits of the biggest sum of numbers72
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...
20.89/20.91	c ...done
20.89/20.91	c #vars=1466812 #constraints=48621 hasObjective=yes
33.77/33.82	c res. mode=mod
33.77/33.82	c VSIDS like heuristics
33.77/33.82	c complete search running
54.66/54.79	c restart after 401 decisions
58.46/58.57	c nbDecision=500 #constraints=48636
70.56/70.60	c restart after 801 decisions
78.25/78.33	c nbDecision=1000 #constraints=48654
97.85/97.94	c nbDecision=1500 #constraints=48660
101.84/101.93	c restart after 1601 decisions
117.44/117.55	c nbDecision=2000 #constraints=48663
137.03/137.14	c nbDecision=2500 #constraints=48667
156.83/157.00	c nbDecision=3000 #constraints=48691
164.83/164.91	c restart after 3201 decisions
176.52/176.60	c nbDecision=3500 #constraints=48695
196.01/196.16	c nbDecision=4000 #constraints=48697
215.71/215.89	c nbDecision=4500 #constraints=48702
235.80/235.92	c nbDecision=5000 #constraints=48736
255.49/255.63	c nbDecision=5500 #constraints=48743
275.18/275.33	c nbDecision=6000 #constraints=48745
290.98/291.14	c restart after 6401 decisions
294.78/294.94	c nbDecision=6500 #constraints=48748
314.47/314.62	c nbDecision=7000 #constraints=48748
334.27/334.43	c nbDecision=7500 #constraints=48766
353.86/354.05	c nbDecision=8000 #constraints=48766
373.55/373.70	c nbDecision=8500 #constraints=48774
393.55/393.75	c nbDecision=9000 #constraints=48800
413.53/413.75	c nbDecision=9500 #constraints=48820
433.54/433.72	c nbDecision=10000 #constraints=48841
453.63/453.90	c nbDecision=10500 #constraints=48871
473.72/473.91	c nbDecision=11000 #constraints=48894
493.62/493.85	c nbDecision=11500 #constraints=48913
513.51/513.72	c nbDecision=12000 #constraints=48927
533.50/533.76	c nbDecision=12500 #constraints=48950
545.49/545.75	c restart after 12801 decisions
553.29/553.52	c nbDecision=13000 #constraints=48958
572.98/573.22	c nbDecision=13500 #constraints=48958
592.77/593.06	c nbDecision=14000 #constraints=48972
612.67/612.91	c nbDecision=14500 #constraints=48986
632.26/632.55	c nbDecision=15000 #constraints=48991
651.86/652.20	c nbDecision=15500 #constraints=48991
671.86/672.14	c nbDecision=16000 #constraints=49015
691.45/691.75	c nbDecision=16500 #constraints=49018
711.04/711.39	c nbDecision=17000 #constraints=49019
731.03/731.32	c nbDecision=17500 #constraints=49038
750.63/750.98	c nbDecision=18000 #constraints=49040
770.42/770.71	c nbDecision=18500 #constraints=49050
790.31/790.62	c nbDecision=19000 #constraints=49075
809.91/810.26	c nbDecision=19500 #constraints=49076
829.50/829.88	c nbDecision=20000 #constraints=49076
849.39/849.75	c nbDecision=20500 #constraints=49097
869.18/869.55	c nbDecision=21000 #constraints=49114
888.88/889.25	c nbDecision=21500 #constraints=49120
908.77/909.11	c nbDecision=22000 #constraints=49147
928.36/928.79	c nbDecision=22500 #constraints=49147
948.05/948.40	c nbDecision=23000 #constraints=49148
968.05/968.45	c nbDecision=23500 #constraints=49164
987.65/988.06	c nbDecision=24000 #constraints=49165
1007.44/1007.81	c nbDecision=24500 #constraints=49176
1027.43/1027.81	c nbDecision=25000 #constraints=49202
1046.93/1047.37	c nbDecision=25500 #constraints=49204
1050.93/1051.38	c restart after 25601 decisions
1066.52/1066.95	c nbDecision=26000 #constraints=49204
1086.21/1086.62	c nbDecision=26500 #constraints=49204
1105.91/1106.33	c nbDecision=27000 #constraints=49208
1125.50/1125.99	c nbDecision=27500 #constraints=49209
1145.69/1146.15	c nbDecision=28000 #constraints=49231
1165.28/1165.76	c nbDecision=28500 #constraints=49231
1184.97/1185.44	c nbDecision=29000 #constraints=49240
1204.77/1205.28	c nbDecision=29500 #constraints=49245
1224.36/1224.86	c nbDecision=30000 #constraints=49248
1244.06/1244.54	c nbDecision=30500 #constraints=49250
1263.66/1264.12	c nbDecision=31000 #constraints=49250
1283.25/1283.74	c nbDecision=31500 #constraints=49256
1302.84/1303.31	c nbDecision=32000 #constraints=49257
1322.74/1323.28	c nbDecision=32500 #constraints=49285
1342.53/1343.07	c nbDecision=33000 #constraints=49288
1362.12/1362.64	c nbDecision=33500 #constraints=49288
1381.71/1382.25	c nbDecision=34000 #constraints=49290
1401.21/1401.77	c nbDecision=34500 #constraints=49294
1420.90/1421.48	c nbDecision=35000 #constraints=49295
1440.79/1441.35	c nbDecision=35500 #constraints=49309
1460.88/1461.44	c nbDecision=36000 #constraints=49338
1480.58/1481.14	c nbDecision=36500 #constraints=49347
1500.37/1500.91	c nbDecision=37000 #constraints=49363
1519.96/1520.57	c nbDecision=37500 #constraints=49365
1539.66/1540.26	c nbDecision=38000 #constraints=49374
1559.25/1559.85	c nbDecision=38500 #constraints=49382
1578.95/1579.55	c nbDecision=39000 #constraints=49383
1598.53/1599.12	c nbDecision=39500 #constraints=49383
1618.13/1618.77	c nbDecision=40000 #constraints=49387
1637.83/1638.49	c nbDecision=40500 #constraints=49400
1657.52/1658.15	c nbDecision=41000 #constraints=49403
1677.12/1677.77	c nbDecision=41500 #constraints=49404
1696.71/1697.33	c nbDecision=42000 #constraints=49406
1716.30/1716.96	c nbDecision=42500 #constraints=49408
1735.89/1736.57	c nbDecision=43000 #constraints=49410
1755.89/1756.55	c nbDecision=43500 #constraints=49438
1775.48/1776.17	c nbDecision=44000 #constraints=49439
1795.07/1795.74	c nbDecision=44500 #constraints=49440
1800.08/1800.70	Received signal 15
1800.08/1800.72	
1800.08/1800.72	s UNKNOWN
1800.08/1800.72	
1800.08/1800.72	c user time= 1799.36 s
1800.08/1800.72	c system time= 0.743886 s
1800.08/1800.72	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/node67/watcher-357218-1176991589 -o ROOT/results/node67/solver-357218-1176991589 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357218-1176991589/instance-357218-1176991589.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: 1.00 1.00 1.00 3/64 10285
/proc/meminfo: memFree=1690088/2055920 swapFree=4179676/4192956
[pid=10285] ppid=10283 vsize=1468 CPUtime=0
/proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 178 0 0 0 0 0 0 0 18 0 1 0 175148917 1503232 160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10285/statm: 367 160 127 317 0 46 0

[startup+0.0649701 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 10285
/proc/meminfo: memFree=1690088/2055920 swapFree=4179676/4192956
[pid=10285] ppid=10283 vsize=2400 CPUtime=0.06
/proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 469 0 0 0 6 0 0 0 18 0 1 0 175148917 2457600 353 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10285/statm: 600 353 127 317 0 279 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2400

[startup+0.103101 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 10285
/proc/meminfo: memFree=1690088/2055920 swapFree=4179676/4192956
[pid=10285] ppid=10283 vsize=3440 CPUtime=0.1
/proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 772 0 0 0 10 0 0 0 18 0 1 0 175148917 3522560 527 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134828760 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10285/statm: 860 527 127 317 0 539 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3440

[startup+0.302013 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 10285
/proc/meminfo: memFree=1690088/2055920 swapFree=4179676/4192956
[pid=10285] ppid=10283 vsize=5520 CPUtime=0.29
/proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 1548 0 0 0 29 0 0 0 19 0 1 0 175148917 5652480 1046 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10285/statm: 1380 1046 127 317 0 1059 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5520

[startup+0.702087 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 10285
/proc/meminfo: memFree=1690088/2055920 swapFree=4179676/4192956
[pid=10285] ppid=10283 vsize=9548 CPUtime=0.69
/proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 3102 0 0 0 68 1 0 0 23 0 1 0 175148917 9777152 2087 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134709460 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10285/statm: 2387 2087 127 317 0 2066 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9548

[startup+1.50123 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10286
/proc/meminfo: memFree=1677664/2055920 swapFree=4179676/4192956
[pid=10285] ppid=10283 vsize=17736 CPUtime=1.49
/proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 6201 0 0 0 146 3 0 0 25 0 1 0 175148917 18161664 4161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10285/statm: 4434 4161 127 317 0 4113 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17736

[startup+3.10153 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10286
/proc/meminfo: memFree=1663840/2055920 swapFree=4179676/4192956
[pid=10285] ppid=10283 vsize=34244 CPUtime=3.09
/proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 11251 0 0 0 304 5 0 0 25 0 1 0 175148917 35065856 7162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712511 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10285/statm: 8561 7162 128 317 0 8240 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 34244

[startup+6.30111 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10286
/proc/meminfo: memFree=1636200/2055920 swapFree=4179676/4192956
[pid=10285] ppid=10283 vsize=80808 CPUtime=6.29
/proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 22714 0 0 0 618 11 0 0 25 0 1 0 175148917 82747392 18625 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10285/statm: 20202 18625 131 317 0 19881 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 80808

[startup+12.7013 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10286
/proc/meminfo: memFree=1498472/2055920 swapFree=4179676/4192956
[pid=10285] ppid=10283 vsize=216392 CPUtime=12.69
/proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 56055 0 0 0 1241 28 0 0 25 0 1 0 175148917 221585408 51966 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10285/statm: 54098 51966 131 317 0 53777 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 216392

[startup+25.5016 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10286
/proc/meminfo: memFree=1165480/2055920 swapFree=4179676/4192956
[pid=10285] ppid=10283 vsize=541220 CPUtime=25.48
/proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 136613 0 0 0 2486 62 0 0 25 0 1 0 175148917 554209280 132491 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10285/statm: 135305 132491 137 317 0 134984 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 541220

[startup+51.1013 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10286
/proc/meminfo: memFree=1102184/2055920 swapFree=4179676/4192956
[pid=10285] ppid=10283 vsize=601440 CPUtime=51.06
/proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 151679 0 0 0 5037 69 0 0 25 0 1 0 175148917 615874560 147224 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384531 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10285/statm: 150360 147224 139 317 0 150039 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 601440

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10286
/proc/meminfo: memFree=1102248/2055920 swapFree=4179676/4192956
[pid=10285] ppid=10283 vsize=601440 CPUtime=102.25
/proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 151679 0 0 0 10156 69 0 0 25 0 1 0 175148917 615874560 147224 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384531 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10285/statm: 150360 147224 139 317 0 150039 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 601440

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10286
/proc/meminfo: memFree=1102248/2055920 swapFree=4179676/4192956
[pid=10285] ppid=10283 vsize=601440 CPUtime=162.22
/proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 151679 0 0 0 16153 69 0 0 25 0 1 0 175148917 615874560 147224 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10285/statm: 150360 147224 139 317 0 150039 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 601440

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10286
/proc/meminfo: memFree=1102312/2055920 swapFree=4179676/4192956
[pid=10285] ppid=10283 vsize=601440 CPUtime=222.2
/proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 151679 0 0 0 22151 69 0 0 25 0 1 0 175148917 615874560 147224 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10285/statm: 150360 147224 139 317 0 150039 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 601440

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10286
/proc/meminfo: memFree=1102312/2055920 swapFree=4179676/4192956
[pid=10285] ppid=10283 vsize=601440 CPUtime=282.18
/proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 151679 0 0 0 28149 69 0 0 25 0 1 0 175148917 615874560 147224 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10285/statm: 150360 147224 139 317 0 150039 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 601440

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10286
/proc/meminfo: memFree=1102312/2055920 swapFree=4179676/4192956
[pid=10285] ppid=10283 vsize=601440 CPUtime=342.16
/proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 151679 0 0 0 34147 69 0 0 25 0 1 0 175148917 615874560 147224 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10285/statm: 150360 147224 139 317 0 150039 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 601440

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10286
/proc/meminfo: memFree=1102312/2055920 swapFree=4179676/4192956
[pid=10285] ppid=10283 vsize=601572 CPUtime=402.14
/proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 151722 0 0 0 40145 69 0 0 25 0 1 0 175148917 616009728 147267 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384501 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10285/statm: 150393 147267 170 317 0 150072 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 601572

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10286
/proc/meminfo: memFree=1100840/2055920 swapFree=4179676/4192956
[pid=10285] ppid=10283 vsize=602976 CPUtime=462.13
/proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 152080 0 0 0 46143 70 0 0 25 0 1 0 175148917 617447424 147625 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10285/statm: 150744 147625 170 317 0 150423 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 602976

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10286
/proc/meminfo: memFree=1099496/2055920 swapFree=4179676/4192956
[pid=10285] ppid=10283 vsize=604220 CPUtime=522.1
/proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 152414 0 0 0 52140 70 0 0 25 0 1 0 175148917 618721280 147959 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10285/statm: 151055 147959 170 317 0 150734 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 604220

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10286
/proc/meminfo: memFree=1098984/2055920 swapFree=4179676/4192956
[pid=10285] ppid=10283 vsize=604752 CPUtime=582.08
/proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 152548 0 0 0 58138 70 0 0 25 0 1 0 175148917 619266048 148093 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10285/statm: 151188 148093 170 317 0 150867 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 604752

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10286
/proc/meminfo: memFree=1098664/2055920 swapFree=4179676/4192956
[pid=10285] ppid=10283 vsize=605132 CPUtime=642.06
/proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 152617 0 0 0 64136 70 0 0 25 0 1 0 175148917 619655168 148162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10285/statm: 151283 148162 170 317 0 150962 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 605132


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

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10286
/proc/meminfo: memFree=1097192/2055920 swapFree=4179676/4192956
[pid=10285] ppid=10283 vsize=606452 CPUtime=941.96
/proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 152962 0 0 0 94125 71 0 0 25 0 1 0 175148917 621006848 148507 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384559 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10285/statm: 151613 148507 170 317 0 151292 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 606452

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10286
/proc/meminfo: memFree=1096296/2055920 swapFree=4179676/4192956
[pid=10285] ppid=10283 vsize=607576 CPUtime=1001.94
/proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 153191 0 0 0 100122 72 0 0 25 0 1 0 175148917 622157824 148736 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10285/statm: 151894 148736 170 317 0 151573 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 607576

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10286
/proc/meminfo: memFree=1095464/2055920 swapFree=4179676/4192956
[pid=10285] ppid=10283 vsize=608336 CPUtime=1061.92
/proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 153391 0 0 0 106120 72 0 0 25 0 1 0 175148917 622936064 148936 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606845 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10285/statm: 152084 148936 170 317 0 151763 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 608336

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10286
/proc/meminfo: memFree=1095272/2055920 swapFree=4179676/4192956
[pid=10285] ppid=10283 vsize=608608 CPUtime=1121.9
/proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 153449 0 0 0 112118 72 0 0 25 0 1 0 175148917 623214592 148994 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10285/statm: 152152 148994 170 317 0 151831 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 608608

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10286
/proc/meminfo: memFree=1094120/2055920 swapFree=4179676/4192956
[pid=10285] ppid=10283 vsize=609792 CPUtime=1181.88
/proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 153736 0 0 0 118116 72 0 0 25 0 1 0 175148917 624427008 149281 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10285/statm: 152448 149281 170 317 0 152127 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 609792

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10286
/proc/meminfo: memFree=1093608/2055920 swapFree=4179676/4192956
[pid=10285] ppid=10283 vsize=610376 CPUtime=1241.85
/proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 153853 0 0 0 124113 72 0 0 25 0 1 0 175148917 625025024 149398 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10285/statm: 152594 149398 170 317 0 152273 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 610376

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10286
/proc/meminfo: memFree=1093544/2055920 swapFree=4179676/4192956
[pid=10285] ppid=10283 vsize=610376 CPUtime=1301.85
/proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 153855 0 0 0 130112 73 0 0 25 0 1 0 175148917 625025024 149400 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10285/statm: 152594 149400 170 317 0 152273 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 610376

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10286
/proc/meminfo: memFree=1093416/2055920 swapFree=4179676/4192956
[pid=10285] ppid=10283 vsize=610644 CPUtime=1361.82
/proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 153909 0 0 0 136109 73 0 0 25 0 1 0 175148917 625299456 149454 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10285/statm: 152661 149454 170 317 0 152340 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 610644

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10286
/proc/meminfo: memFree=1093288/2055920 swapFree=4179676/4192956
[pid=10285] ppid=10283 vsize=610800 CPUtime=1421.8
/proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 153966 0 0 0 142107 73 0 0 25 0 1 0 175148917 625459200 149511 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10285/statm: 152700 149511 170 317 0 152379 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 610800

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10286
/proc/meminfo: memFree=1091944/2055920 swapFree=4179676/4192956
[pid=10285] ppid=10283 vsize=612584 CPUtime=1481.77
/proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 154390 0 0 0 148104 73 0 0 25 0 1 0 175148917 627286016 149935 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10285/statm: 153146 149935 170 317 0 152825 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 612584

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10286
/proc/meminfo: memFree=1091048/2055920 swapFree=4179676/4192956
[pid=10285] ppid=10283 vsize=612848 CPUtime=1541.75
/proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 154484 0 0 0 154102 73 0 0 25 0 1 0 175148917 627556352 150029 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606843 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10285/statm: 153212 150029 170 317 0 152891 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 612848

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10286
/proc/meminfo: memFree=1090856/2055920 swapFree=4179676/4192956
[pid=10285] ppid=10283 vsize=613084 CPUtime=1601.73
/proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 154542 0 0 0 160100 73 0 0 25 0 1 0 175148917 627798016 150087 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385273 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10285/statm: 153271 150087 170 317 0 152950 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 613084

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10286
/proc/meminfo: memFree=1090472/2055920 swapFree=4179676/4192956
[pid=10285] ppid=10283 vsize=613480 CPUtime=1661.72
/proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 154620 0 0 0 166098 74 0 0 25 0 1 0 175148917 628203520 150165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10285/statm: 153370 150165 170 317 0 153049 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 613480

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10286
/proc/meminfo: memFree=1090472/2055920 swapFree=4179676/4192956
[pid=10285] ppid=10283 vsize=613480 CPUtime=1721.7
/proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 154629 0 0 0 172096 74 0 0 25 0 1 0 175148917 628203520 150174 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10285/statm: 153370 150174 170 317 0 153049 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 613480

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10286
/proc/meminfo: memFree=1089960/2055920 swapFree=4179676/4192956
[pid=10285] ppid=10283 vsize=613952 CPUtime=1781.68
/proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 154749 0 0 0 178094 74 0 0 25 0 1 0 175148917 628686848 150294 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606871 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10285/statm: 153488 150294 170 317 0 153167 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 613952



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10286
/proc/meminfo: memFree=1089896/2055920 swapFree=4179676/4192956
[pid=10285] ppid=10283 vsize=614088 CPUtime=1800.08
/proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 154765 0 0 0 179934 74 0 0 25 0 1 0 175148917 628826112 150310 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10285/statm: 153522 150310 170 317 0 153201 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 614088

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.00 1.00 1.00 2/65 10286
/proc/meminfo: memFree=1089896/2055920 swapFree=4179676/4192956
[pid=10285] ppid=10283 vsize=582412 CPUtime=1800.37
/proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194304 154781 0 0 0 179963 74 0 0 25 0 1 0 175148917 596389888 142732 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135266198 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10285/statm: 145603 142732 186 317 0 145282 0
Current children cumulated CPU time (s) 1800.37
Current children cumulated vsize (KiB) 582412

[startup+1801.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10286
/proc/meminfo: memFree=1089896/2055920 swapFree=4179676/4192956
[pid=10285] ppid=10283 vsize=0 CPUtime=1800.57
/proc/10285/stat : 10285 (oree) R 10283 10285 9195 0 -1 4194308 154781 0 0 0 179978 79 0 0 25 0 1 0 175148917 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10285/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.57
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1801.25
CPU time (s): 1800.63
CPU user time (s): 1799.79
CPU system time (s): 0.837872
CPU usage (%): 99.9655
Max. virtual memory (cumulated for all children) (KiB): 614088

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.79
system time used= 0.837872
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154781
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= 9
involuntary context switches= 1882

runsolver used 1.19982 second user time and 3.73743 second system time

The end

Launcher Data (download as text)

Begin job on node67 on Thu Apr 19 14:06:34 UTC 2007

IDJOB= 357218
IDBENCH= 2279
IDSOLVER= 172
FILE ID= node67/357218-1176991589

PBS_JOBID= 4630411

Free space on /tmp= 66377 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/lptestset/fome/normalized-mps-v2-20-10-fome12.opb
COMMAND LINE= oree /tmp/evaluation/357218-1176991589/instance-357218-1176991589.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node67/watcher-357218-1176991589 -o ROOT/results/node67/solver-357218-1176991589 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357218-1176991589/instance-357218-1176991589.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  d6efb238990ec55ca510b102fead8acf

RANDOM SEED= 991937218

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node67.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.263
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.263
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:       1690304 kB
Buffers:         26068 kB
Cached:         281968 kB
SwapCached:       7008 kB
Active:         160804 kB
Inactive:       160624 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1690304 kB
SwapTotal:     4192956 kB
SwapFree:      4179676 kB
Dirty:           81120 kB
Writeback:           0 kB
Mapped:          16016 kB
Slab:            30144 kB
Committed_AS:   281288 kB
PageTables:       1452 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= 66377 MiB

End job on node67 on Thu Apr 19 14:36:37 UTC 2007