Trace number 357342

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.09 1801.17

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-standata.opb
MD5SUM0fd8d82b89614ba6aec45b78f4728905
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 variables30004
Total number of constraints455
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 constraints455
Minimum length of a constraint11
Maximum length of a constraint22350
Number of terms in the objective function 210
Biggest coefficient in the objective function 53687091200
Number of bits for the biggest coefficient in the objective function 36
Sum of the numbers in the objective function 326417514192
Number of bits of the sum of numbers in the objective function 39
Biggest number in a constraint 77387257610240
Number of bits of the biggest number in a constraint 47
Biggest sum of numbers in a constraint 2427818341201528
Number of bits of the biggest sum of numbers52
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.29/0.34	c ...done
0.29/0.34	c #vars=30004 #constraints=616 hasObjective=yes
0.29/0.40	c res. mode=mod
0.29/0.40	c VSIDS like heuristics
0.29/0.40	c complete search running
0.79/0.88	c restart after 401 decisions
0.89/0.98	c nbDecision=500 #constraints=956
1.29/1.31	c restart after 801 decisions
1.49/1.54	c nbDecision=1000 #constraints=1322
2.20/2.23	c nbDecision=1500 #constraints=1749
2.30/2.39	c restart after 1601 decisions
2.89/2.90	c nbDecision=2000 #constraints=2075
3.69/3.74	c nbDecision=2500 #constraints=2516
4.69/4.71	c nbDecision=3000 #constraints=2939
5.09/5.13	c restart after 3201 decisions
5.49/5.58	c nbDecision=3500 #constraints=3260
6.60/6.62	c nbDecision=4000 #constraints=3640
7.80/7.89	c nbDecision=4500 #constraints=4043
9.29/9.32	c nbDecision=5000 #constraints=4433
10.89/10.95	c nbDecision=5500 #constraints=4807
12.79/12.87	c nbDecision=6000 #constraints=5197
14.49/14.56	c restart after 6401 decisions
14.79/14.85	c nbDecision=6500 #constraints=5570
16.69/16.77	c nbDecision=7000 #constraints=5979
19.08/19.12	c nbDecision=7500 #constraints=6380
21.88/21.90	c nbDecision=8000 #constraints=6778
24.67/24.79	c nbDecision=8500 #constraints=7147
27.76/27.83	c nbDecision=9000 #constraints=7517
31.15/31.30	c nbDecision=9500 #constraints=7915
34.64/34.79	c nbDecision=10000 #constraints=8324
38.33/38.46	c nbDecision=10500 #constraints=8726
42.44/42.55	c nbDecision=11000 #constraints=9124
46.94/47.02	c nbDecision=11500 #constraints=9500
51.44/51.51	c nbDecision=12000 #constraints=9919
56.23/56.31	c nbDecision=12500 #constraints=10312
59.04/59.19	c restart after 12801 decisions
59.94/60.00	c nbDecision=13000 #constraints=10653
65.03/65.19	c nbDecision=13500 #constraints=11049
70.43/70.54	c nbDecision=14000 #constraints=11449
75.72/75.80	c nbDecision=14500 #constraints=11812
82.00/82.17	c nbDecision=15000 #constraints=12222
88.51/88.65	c nbDecision=15500 #constraints=12585
94.51/94.68	c nbDecision=16000 #constraints=12974
100.71/100.83	c nbDecision=16500 #constraints=13372
107.90/108.06	c nbDecision=17000 #constraints=13760
114.79/114.94	c nbDecision=17500 #constraints=14122
122.58/122.79	c nbDecision=18000 #constraints=14515
130.48/130.62	c nbDecision=18500 #constraints=14883
138.08/138.25	c nbDecision=19000 #constraints=15282
145.87/146.05	c nbDecision=19500 #constraints=15678
153.57/153.76	c nbDecision=20000 #constraints=16068
162.76/162.91	c nbDecision=20500 #constraints=16439
172.15/172.39	c nbDecision=21000 #constraints=16818
180.95/181.19	c nbDecision=21500 #constraints=17229
190.55/190.76	c nbDecision=22000 #constraints=17600
200.73/200.93	c nbDecision=22500 #constraints=17987
210.53/210.76	c nbDecision=23000 #constraints=18409
220.72/220.95	c nbDecision=23500 #constraints=18806
231.12/231.38	c nbDecision=24000 #constraints=19185
242.81/243.04	c nbDecision=24500 #constraints=19575
254.51/254.72	c nbDecision=25000 #constraints=19981
266.20/266.49	c nbDecision=25500 #constraints=20370
268.70/268.90	c restart after 25601 decisions
275.80/276.09	c nbDecision=26000 #constraints=20688
287.99/288.24	c nbDecision=26500 #constraints=21061
300.58/300.88	c nbDecision=27000 #constraints=21436
314.07/314.31	c nbDecision=27500 #constraints=21832
326.87/327.10	c nbDecision=28000 #constraints=22208
339.45/339.70	c nbDecision=28500 #constraints=22596
352.45/352.72	c nbDecision=29000 #constraints=22978
365.74/366.03	c nbDecision=29500 #constraints=23338
380.03/380.38	c nbDecision=30000 #constraints=23718
393.92/394.26	c nbDecision=30500 #constraints=24113
407.71/408.07	c nbDecision=31000 #constraints=24470
421.51/421.82	c nbDecision=31500 #constraints=24834
438.80/439.19	c nbDecision=32000 #constraints=25239
455.09/455.43	c nbDecision=32500 #constraints=25625
470.98/471.35	c nbDecision=33000 #constraints=25999
488.87/489.27	c nbDecision=33500 #constraints=26376
506.46/506.84	c nbDecision=34000 #constraints=26777
524.05/524.43	c nbDecision=34500 #constraints=27167
541.43/541.82	c nbDecision=35000 #constraints=27544
559.72/560.17	c nbDecision=35500 #constraints=27934
577.52/577.95	c nbDecision=36000 #constraints=28314
596.70/597.11	c nbDecision=36500 #constraints=28706
616.09/616.52	c nbDecision=37000 #constraints=29104
635.28/635.80	c nbDecision=37500 #constraints=29489
655.46/655.94	c nbDecision=38000 #constraints=29867
674.85/675.38	c nbDecision=38500 #constraints=30244
694.43/694.95	c nbDecision=39000 #constraints=30605
715.03/715.56	c nbDecision=39500 #constraints=30963
736.62/737.18	c nbDecision=40000 #constraints=31357
760.20/760.72	c nbDecision=40500 #constraints=31740
783.69/784.21	c nbDecision=41000 #constraints=32133
805.67/806.20	c nbDecision=41500 #constraints=32508
828.27/828.82	c nbDecision=42000 #constraints=32890
850.75/851.34	c nbDecision=42500 #constraints=33243
872.53/873.14	c nbDecision=43000 #constraints=33626
894.52/895.11	c nbDecision=43500 #constraints=33986
916.82/917.47	c nbDecision=44000 #constraints=34364
941.40/942.02	c nbDecision=44500 #constraints=34747
965.07/965.79	c nbDecision=45000 #constraints=35109
988.87/989.54	c nbDecision=45500 #constraints=35476
1015.25/1015.91	c nbDecision=46000 #constraints=35853
1039.44/1040.15	c nbDecision=46500 #constraints=36216
1065.92/1066.65	c nbDecision=47000 #constraints=36602
1094.51/1095.20	c nbDecision=47500 #constraints=36989
1120.39/1121.15	c nbDecision=48000 #constraints=37374
1146.57/1147.32	c nbDecision=48500 #constraints=37737
1173.07/1173.83	c nbDecision=49000 #constraints=38089
1203.14/1203.95	c nbDecision=49500 #constraints=38474
1230.73/1231.54	c nbDecision=50000 #constraints=38817
1257.11/1257.98	c nbDecision=50500 #constraints=39218
1280.30/1281.19	c nbDecision=51000 #constraints=39611
1290.79/1291.67	c restart after 51201 decisions
1299.99/1300.80	c nbDecision=51500 #constraints=39967
1325.67/1326.55	c nbDecision=52000 #constraints=40363
1352.35/1353.20	c nbDecision=52500 #constraints=40734
1380.34/1381.27	c nbDecision=53000 #constraints=41125
1405.83/1406.75	c nbDecision=53500 #constraints=41494
1434.41/1435.34	c nbDecision=54000 #constraints=41884
1462.99/1463.90	c nbDecision=54500 #constraints=42262
1493.08/1494.00	c nbDecision=55000 #constraints=42652
1521.46/1522.42	c nbDecision=55500 #constraints=43008
1552.24/1553.30	c nbDecision=56000 #constraints=43375
1582.82/1583.81	c nbDecision=56500 #constraints=43744
1613.81/1614.82	c nbDecision=57000 #constraints=44101
1647.49/1648.50	c nbDecision=57500 #constraints=44481
1677.49/1678.54	c nbDecision=58000 #constraints=44832
1710.66/1711.79	c nbDecision=58500 #constraints=45227
1743.13/1744.21	c nbDecision=59000 #constraints=45599
1775.92/1777.07	c nbDecision=59500 #constraints=45981
1800.01/1801.10	Received signal 15
1800.01/1801.11	
1800.01/1801.11	s UNKNOWN
1800.01/1801.11	
1800.01/1801.11	c user time= 1799.62 s
1800.01/1801.11	c system time= 0.416936 s
1800.01/1801.11	c wall clock time=1801.12

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/node17/watcher-357342-1176995109 -o ROOT/results/node17/solver-357342-1176995109 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357342-1176995109/instance-357342-1176995109.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 1617
/proc/meminfo: memFree=1545200/2055920 swapFree=4141660/4192956
[pid=1617] ppid=1615 vsize=1468 CPUtime=0
/proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 147428467 1503232 163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711148 0 0 4096 17474 0 0 0 17 0 0 0
/proc/1617/statm: 367 163 131 317 0 46 0

[startup+0.102113 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 1617
/proc/meminfo: memFree=1545200/2055920 swapFree=4141660/4192956
[pid=1617] ppid=1615 vsize=3468 CPUtime=0.09
/proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 682 0 0 0 9 0 0 0 18 0 1 0 147428467 3551232 664 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 0 0 0
/proc/1617/statm: 867 664 131 317 0 546 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3468

[startup+0.201124 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 1617
/proc/meminfo: memFree=1545200/2055920 swapFree=4141660/4192956
[pid=1617] ppid=1615 vsize=5320 CPUtime=0.19
/proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 1189 0 0 0 19 0 0 0 18 0 1 0 147428467 5447680 1073 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284625 0 0 4096 17474 0 0 0 17 0 0 0
/proc/1617/statm: 1330 1073 131 317 0 1009 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 5320

[startup+0.301134 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 1617
/proc/meminfo: memFree=1545200/2055920 swapFree=4141660/4192956
[pid=1617] ppid=1615 vsize=6836 CPUtime=0.29
/proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 1630 0 0 0 29 0 0 0 19 0 1 0 147428467 7000064 1416 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 0 0 0
/proc/1617/statm: 1709 1416 131 317 0 1388 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6836

[startup+0.701175 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 1617
/proc/meminfo: memFree=1545200/2055920 swapFree=4141660/4192956
[pid=1617] ppid=1615 vsize=11660 CPUtime=0.69
/proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 2810 0 0 0 68 1 0 0 23 0 1 0 147428467 11939840 2596 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 0 0 0
/proc/1617/statm: 2915 2596 139 317 0 2594 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11660

[startup+1.50126 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 1618
/proc/meminfo: memFree=1534824/2055920 swapFree=4141660/4192956
[pid=1617] ppid=1615 vsize=12316 CPUtime=1.49
/proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 2990 0 0 0 148 1 0 0 25 0 1 0 147428467 12611584 2776 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385188 0 0 4096 17474 0 0 0 17 0 0 0
/proc/1617/statm: 3079 2776 139 317 0 2758 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12316

[startup+3.10143 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 1618
/proc/meminfo: memFree=1533288/2055920 swapFree=4141660/4192956
[pid=1617] ppid=1615 vsize=14856 CPUtime=3.09
/proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 3597 0 0 0 308 1 0 0 25 0 1 0 147428467 15212544 3383 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384569 0 0 4096 17474 0 0 0 17 0 0 0
/proc/1617/statm: 3714 3383 139 317 0 3393 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14856

[startup+6.30176 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 1618
/proc/meminfo: memFree=1527408/2055920 swapFree=4141660/4192956
[pid=1617] ppid=1615 vsize=20392 CPUtime=6.29
/proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 4982 0 0 0 627 2 0 0 25 0 1 0 147428467 20881408 4768 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540763 0 0 4096 17474 0 0 0 17 0 0 0
/proc/1617/statm: 5098 4768 139 317 0 4777 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20392

[startup+12.7014 s]
/proc/loadavg: 0.94 0.98 0.99 2/78 1618
/proc/meminfo: memFree=1517168/2055920 swapFree=4141660/4192956
[pid=1617] ppid=1615 vsize=30416 CPUtime=12.69
/proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 7502 0 0 0 1267 2 0 0 25 0 1 0 147428467 31145984 7288 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134590823 0 0 4096 17474 0 0 0 17 0 0 0
/proc/1617/statm: 7604 7288 170 317 0 7283 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 30416

[startup+25.5028 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 1618
/proc/meminfo: memFree=1507568/2055920 swapFree=4141660/4192956
[pid=1617] ppid=1615 vsize=39752 CPUtime=25.46
/proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 9801 0 0 0 2543 3 0 0 25 0 1 0 147428467 40706048 9587 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712525 0 0 4096 17474 0 0 0 17 0 0 0
/proc/1617/statm: 9938 9587 170 317 0 9617 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 39752

[startup+51.1024 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 1618
/proc/meminfo: memFree=1490992/2055920 swapFree=4141660/4192956
[pid=1617] ppid=1615 vsize=56444 CPUtime=51.04
/proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 14022 0 0 0 5098 6 0 0 25 0 1 0 147428467 57798656 13751 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 0 0 0
/proc/1617/statm: 14111 13751 170 317 0 13790 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 56444

[startup+102.303 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 1618
/proc/meminfo: memFree=1469232/2055920 swapFree=4141660/4192956
[pid=1617] ppid=1615 vsize=80332 CPUtime=102.21
/proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 19389 0 0 0 10212 9 0 0 25 0 1 0 147428467 82259968 19118 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385350 0 0 4096 17474 0 0 0 17 0 0 0
/proc/1617/statm: 20083 19118 170 317 0 19762 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 80332

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1618
/proc/meminfo: memFree=1452592/2055920 swapFree=4141660/4192956
[pid=1617] ppid=1615 vsize=95948 CPUtime=162.16
/proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 23589 0 0 0 16205 11 0 0 25 0 1 0 147428467 98250752 23318 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716176 0 0 4096 17474 0 0 0 17 0 0 0
/proc/1617/statm: 23987 23318 170 317 0 23666 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 95948

[startup+222.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1618
/proc/meminfo: memFree=1437744/2055920 swapFree=4141660/4192956
[pid=1617] ppid=1615 vsize=112452 CPUtime=222.13
/proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 27829 0 0 0 22199 14 0 0 25 0 1 0 147428467 115150848 26982 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 0 0 0
/proc/1617/statm: 28113 26982 170 317 0 27792 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 112452

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1618
/proc/meminfo: memFree=1421168/2055920 swapFree=4141660/4192956
[pid=1617] ppid=1615 vsize=133716 CPUtime=282.09
/proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 32023 0 0 0 28193 16 0 0 25 0 1 0 147428467 136925184 31176 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718570 0 0 4096 17474 0 0 0 17 0 0 0
/proc/1617/statm: 33429 31176 170 317 0 33108 0
Current children cumulated CPU time (s) 282.09
Current children cumulated vsize (KiB) 133716

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1618
/proc/meminfo: memFree=1410224/2055920 swapFree=4141660/4192956
[pid=1617] ppid=1615 vsize=143688 CPUtime=342.05
/proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 34727 0 0 0 34187 18 0 0 25 0 1 0 147428467 147136512 33880 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 0 0 0
/proc/1617/statm: 35922 33880 170 317 0 35601 0
Current children cumulated CPU time (s) 342.05
Current children cumulated vsize (KiB) 143688

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1618
/proc/meminfo: memFree=1400368/2055920 swapFree=4141660/4192956
[pid=1617] ppid=1615 vsize=153208 CPUtime=402.02
/proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 37314 0 0 0 40182 20 0 0 25 0 1 0 147428467 156884992 36401 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 0 0 0
/proc/1617/statm: 38302 36401 170 317 0 37981 0
Current children cumulated CPU time (s) 402.02
Current children cumulated vsize (KiB) 153208

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1618
/proc/meminfo: memFree=1391216/2055920 swapFree=4141660/4192956
[pid=1617] ppid=1615 vsize=161272 CPUtime=461.99
/proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 39530 0 0 0 46178 21 0 0 25 0 1 0 147428467 165142528 38617 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 0 0 0
/proc/1617/statm: 40318 38617 170 317 0 39997 0
Current children cumulated CPU time (s) 461.99
Current children cumulated vsize (KiB) 161272

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 1618
/proc/meminfo: memFree=1383216/2055920 swapFree=4141660/4192956
[pid=1617] ppid=1615 vsize=168228 CPUtime=521.95
/proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 41540 0 0 0 52173 22 0 0 25 0 1 0 147428467 172265472 40627 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 0 0 0
/proc/1617/statm: 42057 40627 170 317 0 41736 0
Current children cumulated CPU time (s) 521.95
Current children cumulated vsize (KiB) 168228

[startup+582.302 s]
/proc/loadavg: 1.04 1.00 1.00 2/78 1618
/proc/meminfo: memFree=1374960/2055920 swapFree=4141660/4192956
[pid=1617] ppid=1615 vsize=175656 CPUtime=581.91
/proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 43603 0 0 0 58168 23 0 0 25 0 1 0 147428467 179871744 42690 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1617/statm: 43914 42690 170 317 0 43593 0
Current children cumulated CPU time (s) 581.91
Current children cumulated vsize (KiB) 175656

[startup+642.301 s]
/proc/loadavg: 1.06 1.01 1.00 2/78 1618
/proc/meminfo: memFree=1368368/2055920 swapFree=4141660/4192956
[pid=1617] ppid=1615 vsize=182068 CPUtime=641.88
/proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 45265 0 0 0 64164 24 0 0 25 0 1 0 147428467 186437632 44352 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 0 0 0
/proc/1617/statm: 45517 44352 170 317 0 45196 0
Current children cumulated CPU time (s) 641.88
Current children cumulated vsize (KiB) 182068


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

[startup+822.302 s]
/proc/loadavg: 1.11 1.06 1.01 2/78 1618
/proc/meminfo: memFree=1346416/2055920 swapFree=4141660/4192956
[pid=1617] ppid=1615 vsize=201624 CPUtime=821.76
/proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 50758 0 0 0 82149 27 0 0 25 0 1 0 147428467 206462976 49779 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 0 0 0
/proc/1617/statm: 50406 49779 170 317 0 50085 0
Current children cumulated CPU time (s) 821.76
Current children cumulated vsize (KiB) 201624

[startup+882.305 s]
/proc/loadavg: 1.04 1.05 1.00 2/78 1618
/proc/meminfo: memFree=1340016/2055920 swapFree=4141660/4192956
[pid=1617] ppid=1615 vsize=208712 CPUtime=881.73
/proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 52593 0 0 0 88145 28 0 0 25 0 1 0 147428467 213721088 51388 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 0 0 0
/proc/1617/statm: 52178 51388 170 317 0 51857 0
Current children cumulated CPU time (s) 881.73
Current children cumulated vsize (KiB) 208712

[startup+942.301 s]
/proc/loadavg: 1.01 1.04 1.00 2/78 1618
/proc/meminfo: memFree=1322992/2055920 swapFree=4141660/4192956
[pid=1617] ppid=1615 vsize=237160 CPUtime=941.7
/proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 56838 0 0 0 94140 30 0 0 25 0 1 0 147428467 242851840 55633 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 0 0 0
/proc/1617/statm: 59290 55633 170 317 0 58969 0
Current children cumulated CPU time (s) 941.7
Current children cumulated vsize (KiB) 237160

[startup+1002.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/78 1618
/proc/meminfo: memFree=1316784/2055920 swapFree=4141660/4192956
[pid=1617] ppid=1615 vsize=249264 CPUtime=1001.66
/proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 59756 0 0 0 100135 31 0 0 25 0 1 0 147428467 255246336 57186 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 0 0 0
/proc/1617/statm: 62316 57186 170 317 0 61995 0
Current children cumulated CPU time (s) 1001.66
Current children cumulated vsize (KiB) 249264

[startup+1062.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 1618
/proc/meminfo: memFree=1309872/2055920 swapFree=4141660/4192956
[pid=1617] ppid=1615 vsize=255780 CPUtime=1061.63
/proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 61554 0 0 0 106131 32 0 0 25 0 1 0 147428467 261918720 58919 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563625 0 0 4096 17474 0 0 0 17 0 0 0
/proc/1617/statm: 63945 58919 170 317 0 63624 0
Current children cumulated CPU time (s) 1061.63
Current children cumulated vsize (KiB) 255780

[startup+1122.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 1618
/proc/meminfo: memFree=1302832/2055920 swapFree=4141660/4192956
[pid=1617] ppid=1615 vsize=262392 CPUtime=1121.59
/proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 63291 0 0 0 112127 32 0 0 25 0 1 0 147428467 268689408 60656 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 0 0 0
/proc/1617/statm: 65598 60656 170 317 0 65277 0
Current children cumulated CPU time (s) 1121.59
Current children cumulated vsize (KiB) 262392

[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 1618
/proc/meminfo: memFree=1297008/2055920 swapFree=4141660/4192956
[pid=1617] ppid=1615 vsize=268056 CPUtime=1181.55
/proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 64758 0 0 0 118122 33 0 0 25 0 1 0 147428467 274489344 62123 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 0 0 0
/proc/1617/statm: 67014 62123 170 317 0 66693 0
Current children cumulated CPU time (s) 1181.55
Current children cumulated vsize (KiB) 268056

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1618
/proc/meminfo: memFree=1289456/2055920 swapFree=4141660/4192956
[pid=1617] ppid=1615 vsize=274632 CPUtime=1241.52
/proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 66628 0 0 0 124118 34 0 0 25 0 1 0 147428467 281223168 63993 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 0 0 0
/proc/1617/statm: 68658 63993 170 317 0 68337 0
Current children cumulated CPU time (s) 1241.52
Current children cumulated vsize (KiB) 274632

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1618
/proc/meminfo: memFree=1285296/2055920 swapFree=4141660/4192956
[pid=1617] ppid=1615 vsize=278688 CPUtime=1301.49
/proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 67636 0 0 0 130114 35 0 0 25 0 1 0 147428467 285376512 65001 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563656 0 0 4096 17474 0 0 0 17 0 0 0
/proc/1617/statm: 69672 65001 170 317 0 69351 0
Current children cumulated CPU time (s) 1301.49
Current children cumulated vsize (KiB) 278688

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1618
/proc/meminfo: memFree=1279664/2055920 swapFree=4141660/4192956
[pid=1617] ppid=1615 vsize=283584 CPUtime=1361.46
/proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 69102 0 0 0 136110 36 0 0 25 0 1 0 147428467 290390016 66402 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 0 0 0
/proc/1617/statm: 70896 66402 170 317 0 70575 0
Current children cumulated CPU time (s) 1361.46
Current children cumulated vsize (KiB) 283584

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1618
/proc/meminfo: memFree=1274736/2055920 swapFree=4141660/4192956
[pid=1617] ppid=1615 vsize=288184 CPUtime=1421.41
/proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 70324 0 0 0 142105 36 0 0 25 0 1 0 147428467 295100416 67624 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 0 0 0
/proc/1617/statm: 72046 67624 170 317 0 71725 0
Current children cumulated CPU time (s) 1421.41
Current children cumulated vsize (KiB) 288184

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1618
/proc/meminfo: memFree=1268400/2055920 swapFree=4141660/4192956
[pid=1617] ppid=1615 vsize=293664 CPUtime=1481.38
/proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 71913 0 0 0 148101 37 0 0 25 0 1 0 147428467 300711936 69213 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563634 0 0 4096 17474 0 0 0 17 0 0 0
/proc/1617/statm: 73416 69213 170 317 0 73095 0
Current children cumulated CPU time (s) 1481.38
Current children cumulated vsize (KiB) 293664

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1618
/proc/meminfo: memFree=1263792/2055920 swapFree=4141660/4192956
[pid=1617] ppid=1615 vsize=298020 CPUtime=1541.36
/proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 73049 0 0 0 154098 38 0 0 25 0 1 0 147428467 305172480 70349 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 0 0 0
/proc/1617/statm: 74505 70349 170 317 0 74184 0
Current children cumulated CPU time (s) 1541.36
Current children cumulated vsize (KiB) 298020

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1618
/proc/meminfo: memFree=1258864/2055920 swapFree=4141660/4192956
[pid=1617] ppid=1615 vsize=302360 CPUtime=1601.32
/proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 74337 0 0 0 160093 39 0 0 25 0 1 0 147428467 309616640 71637 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 0 0 0
/proc/1617/statm: 75590 71637 170 317 0 75269 0
Current children cumulated CPU time (s) 1601.32
Current children cumulated vsize (KiB) 302360

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1618
/proc/meminfo: memFree=1253936/2055920 swapFree=4141660/4192956
[pid=1617] ppid=1615 vsize=306808 CPUtime=1661.29
/proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 75543 0 0 0 166089 40 0 0 25 0 1 0 147428467 314171392 72843 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564037 0 0 4096 17474 0 0 0 17 0 0 0
/proc/1617/statm: 76702 72843 170 317 0 76381 0
Current children cumulated CPU time (s) 1661.29
Current children cumulated vsize (KiB) 306808

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1618
/proc/meminfo: memFree=1248560/2055920 swapFree=4141660/4192956
[pid=1617] ppid=1615 vsize=311576 CPUtime=1721.26
/proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 76895 0 0 0 172086 40 0 0 25 0 1 0 147428467 319053824 74195 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 0 0 0
/proc/1617/statm: 77894 74195 170 317 0 77573 0
Current children cumulated CPU time (s) 1721.26
Current children cumulated vsize (KiB) 311576

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1618
/proc/meminfo: memFree=1243952/2055920 swapFree=4141660/4192956
[pid=1617] ppid=1615 vsize=315932 CPUtime=1781.21
/proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 78043 0 0 0 178080 41 0 0 25 0 1 0 147428467 323514368 75310 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 0 0 0
/proc/1617/statm: 78983 75310 170 317 0 78662 0
Current children cumulated CPU time (s) 1781.21
Current children cumulated vsize (KiB) 315932



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1618
/proc/meminfo: memFree=1242544/2055920 swapFree=4141660/4192956
[pid=1617] ppid=1615 vsize=317280 CPUtime=1800.01
/proc/1617/stat : 1617 (oree) R 1615 1617 986 0 -1 4194304 78387 0 0 0 179960 41 0 0 25 0 1 0 147428467 324894720 75654 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 0 0 0
/proc/1617/statm: 79320 75654 170 317 0 78999 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 317280

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

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

Child status: 0
Real time (s): 1801.17
CPU time (s): 1800.09
CPU user time (s): 1799.62
CPU system time (s): 0.464929
CPU usage (%): 99.9398
Max. virtual memory (cumulated for all children) (KiB): 317280

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

runsolver used 1.78373 second user time and 4.79027 second system time

The end

Launcher Data (download as text)

Begin job on node17 on Thu Apr 19 15:05:10 UTC 2007

IDJOB= 357342
IDBENCH= 2435
IDSOLVER= 172
FILE ID= node17/357342-1176995109

PBS_JOBID= 4630469

Free space on /tmp= 66390 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  0fd8d82b89614ba6aec45b78f4728905

RANDOM SEED= 918638773

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node17.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.240
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.240
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:       1545608 kB
Buffers:         37108 kB
Cached:         380772 kB
SwapCached:      14192 kB
Active:         217684 kB
Inactive:       235580 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1545608 kB
SwapTotal:     4192956 kB
SwapFree:      4141660 kB
Dirty:            2588 kB
Writeback:           0 kB
Mapped:          41524 kB
Slab:            42600 kB
Committed_AS:  7118928 kB
PageTables:       1824 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= 66390 MiB

End job on node17 on Thu Apr 19 15:35:13 UTC 2007