Trace number 357302

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.14 1800.78

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-blp-ic98.opb
MD5SUMcbbc019f11b539634b02edfceafed9db
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 variables15501
Total number of constraints763
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)627
Number of constraints which are nor clauses,nor cardinality constraints136
Minimum length of a constraint8
Maximum length of a constraint13581
Number of terms in the objective function 31
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 2147483647
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 83886080000000
Number of bits of the biggest number in a constraint 47
Biggest sum of numbers in a constraint 783292842349555
Number of bits of the biggest sum of numbers50
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.79/0.87	c ...done
0.79/0.87	c #vars=15501 #constraints=854 hasObjective=yes
0.89/0.97	c res. mode=mod
0.89/0.97	c VSIDS like heuristics
0.89/0.97	c complete search running
13.49/13.55	c restart after 401 decisions
20.29/20.37	c nbDecision=500 #constraints=991
26.09/26.17	c restart after 801 decisions
34.58/34.60	c nbDecision=1000 #constraints=1096
42.97/43.01	c nbDecision=1500 #constraints=1168
43.87/43.92	c restart after 1601 decisions
56.77/56.80	c nbDecision=2000 #constraints=1273
63.37/63.45	c nbDecision=2500 #constraints=1345
68.27/68.33	c nbDecision=3000 #constraints=1418
70.17/70.22	c restart after 3201 decisions
80.76/80.87	c nbDecision=3500 #constraints=1519
88.76/88.80	c nbDecision=4000 #constraints=1590
93.66/93.71	c nbDecision=4500 #constraints=1666
98.15/98.21	c nbDecision=5000 #constraints=1730
100.36/100.43	c nbDecision=5500 #constraints=1797
103.16/103.21	c nbDecision=6000 #constraints=1883
104.86/104.94	c restart after 6401 decisions
113.16/113.25	c nbDecision=6500 #constraints=1978
122.25/122.34	c nbDecision=7000 #constraints=2051
129.15/129.26	c nbDecision=7500 #constraints=2122
134.05/134.14	c nbDecision=8000 #constraints=2192
137.25/137.38	c nbDecision=8500 #constraints=2261
139.65/139.75	c nbDecision=9000 #constraints=2338
141.94/142.00	c nbDecision=9500 #constraints=2399
144.25/144.32	c nbDecision=10000 #constraints=2453
150.14/150.24	c nbDecision=10500 #constraints=2556
155.65/155.74	c nbDecision=11000 #constraints=2666
161.24/161.30	c nbDecision=11500 #constraints=2791
166.84/166.96	c nbDecision=12000 #constraints=2872
172.74/172.80	c nbDecision=12500 #constraints=2983
175.84/175.98	c restart after 12801 decisions
189.33/189.48	c nbDecision=13000 #constraints=3098
201.73/201.82	c nbDecision=13500 #constraints=3170
208.22/208.32	c nbDecision=14000 #constraints=3240
213.62/213.77	c nbDecision=14500 #constraints=3304
217.52/217.64	c nbDecision=15000 #constraints=3372
221.13/221.27	c nbDecision=15500 #constraints=3453
223.73/223.81	c nbDecision=16000 #constraints=3511
226.82/226.98	c nbDecision=16500 #constraints=3558
234.01/234.18	c nbDecision=17000 #constraints=3671
239.72/239.81	c nbDecision=17500 #constraints=3780
245.31/245.47	c nbDecision=18000 #constraints=3886
253.31/253.43	c nbDecision=18500 #constraints=3988
259.61/259.75	c nbDecision=19000 #constraints=4100
265.61/265.79	c nbDecision=19500 #constraints=4198
285.80/285.99	c nbDecision=20000 #constraints=4304
301.40/301.58	c nbDecision=20500 #constraints=4375
310.20/310.37	c nbDecision=21000 #constraints=4444
316.69/316.89	c nbDecision=21500 #constraints=4505
321.59/321.71	c nbDecision=22000 #constraints=4567
326.19/326.33	c nbDecision=22500 #constraints=4648
329.49/329.63	c nbDecision=23000 #constraints=4711
333.69/333.85	c nbDecision=23500 #constraints=4753
343.49/343.67	c nbDecision=24000 #constraints=4850
349.68/349.87	c nbDecision=24500 #constraints=4939
356.08/356.22	c nbDecision=25000 #constraints=5021
364.28/364.44	c nbDecision=25500 #constraints=5116
366.18/366.38	c restart after 25601 decisions
407.77/407.99	c nbDecision=26000 #constraints=5239
425.16/425.31	c nbDecision=26500 #constraints=5310
435.36/435.59	c nbDecision=27000 #constraints=5380
442.65/442.84	c nbDecision=27500 #constraints=5443
446.95/447.11	c nbDecision=28000 #constraints=5504
452.26/452.43	c nbDecision=28500 #constraints=5585
455.65/455.82	c nbDecision=29000 #constraints=5639
462.65/462.86	c nbDecision=29500 #constraints=5693
473.35/473.58	c nbDecision=30000 #constraints=5826
481.15/481.32	c nbDecision=30500 #constraints=5947
486.45/486.68	c nbDecision=31000 #constraints=6023
498.64/498.81	c nbDecision=31500 #constraints=6172
506.54/506.70	c nbDecision=32000 #constraints=6273
513.84/514.00	c nbDecision=32500 #constraints=6363
531.14/531.34	c nbDecision=33000 #constraints=6488
571.32/571.57	c nbDecision=33500 #constraints=6571
591.12/591.34	c nbDecision=34000 #constraints=6643
602.11/602.33	c nbDecision=34500 #constraints=6710
609.61/609.80	c nbDecision=35000 #constraints=6772
616.40/616.63	c nbDecision=35500 #constraints=6845
621.40/621.69	c nbDecision=36000 #constraints=6906
626.60/626.80	c nbDecision=36500 #constraints=6954
639.40/639.61	c nbDecision=37000 #constraints=7044
651.09/651.35	c nbDecision=37500 #constraints=7162
657.20/657.46	c nbDecision=38000 #constraints=7226
671.29/671.53	c nbDecision=38500 #constraints=7359
679.49/679.78	c nbDecision=39000 #constraints=7454
687.08/687.32	c nbDecision=39500 #constraints=7532
693.99/694.25	c nbDecision=40000 #constraints=7629
757.86/758.16	c nbDecision=40500 #constraints=7732
782.46/782.72	c nbDecision=41000 #constraints=7803
796.06/796.31	c nbDecision=41500 #constraints=7871
805.55/805.86	c nbDecision=42000 #constraints=7929
814.75/815.01	c nbDecision=42500 #constraints=8006
820.95/821.28	c nbDecision=43000 #constraints=8067
827.25/827.53	c nbDecision=43500 #constraints=8114
844.14/844.40	c nbDecision=44000 #constraints=8203
855.23/855.56	c nbDecision=44500 #constraints=8288
864.73/865.00	c nbDecision=45000 #constraints=8371
878.23/878.59	c nbDecision=45500 #constraints=8480
891.02/891.38	c nbDecision=46000 #constraints=8615
899.32/899.62	c nbDecision=46500 #constraints=8697
927.02/927.31	c nbDecision=47000 #constraints=8797
983.50/983.85	c nbDecision=47500 #constraints=8874
1013.09/1013.47	c nbDecision=48000 #constraints=8946
1028.88/1029.21	c nbDecision=48500 #constraints=9012
1040.78/1041.16	c nbDecision=49000 #constraints=9077
1050.28/1050.70	c nbDecision=49500 #constraints=9146
1057.88/1058.28	c nbDecision=50000 #constraints=9207
1065.28/1065.61	c nbDecision=50500 #constraints=9255
1084.42/1084.80	c nbDecision=51000 #constraints=9345
1091.41/1091.80	c restart after 51201 decisions
1161.04/1161.50	c nbDecision=51500 #constraints=9469
1206.53/1207.07	c nbDecision=52000 #constraints=9540
1228.72/1229.27	c nbDecision=52500 #constraints=9613
1244.62/1245.18	c nbDecision=53000 #constraints=9675
1253.52/1254.07	c nbDecision=53500 #constraints=9731
1265.32/1265.86	c nbDecision=54000 #constraints=9820
1272.01/1272.54	c nbDecision=54500 #constraints=9868
1281.60/1282.15	c nbDecision=55000 #constraints=9920
1304.20/1304.79	c nbDecision=55500 #constraints=10030
1311.70/1312.20	c nbDecision=56000 #constraints=10080
1326.99/1327.52	c nbDecision=56500 #constraints=10195
1341.79/1342.37	c nbDecision=57000 #constraints=10320
1350.19/1350.79	c nbDecision=57500 #constraints=10387
1361.38/1361.93	c nbDecision=58000 #constraints=10493
1453.66/1454.20	c nbDecision=58500 #constraints=10595
1487.44/1488.05	c nbDecision=59000 #constraints=10666
1508.84/1509.42	c nbDecision=59500 #constraints=10735
1522.93/1523.52	c nbDecision=60000 #constraints=10796
1535.63/1536.25	c nbDecision=60500 #constraints=10870
1544.73/1545.34	c nbDecision=61000 #constraints=10931
1553.73/1554.31	c nbDecision=61500 #constraints=10975
1575.52/1576.16	c nbDecision=62000 #constraints=11065
1591.12/1591.76	c nbDecision=62500 #constraints=11146
1603.01/1603.68	c nbDecision=63000 #constraints=11229
1620.01/1620.68	c nbDecision=63500 #constraints=11330
1633.20/1633.82	c nbDecision=64000 #constraints=11435
1649.40/1650.02	c nbDecision=64500 #constraints=11558
1701.88/1702.51	c nbDecision=65000 #constraints=11660
1769.56/1770.20	c nbDecision=65500 #constraints=11731
1800.06/1800.71	Received signal 15
1800.06/1800.71	
1800.06/1800.71	s UNKNOWN
1800.06/1800.71	
1800.06/1800.71	c user time= 1799.54 s
1800.06/1800.71	c system time= 0.537918 s
1800.06/1800.71	c wall clock time=1800.71

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/node1/watcher-357302-1176993793 -o ROOT/results/node1/solver-357302-1176993793 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357302-1176993793/instance-357302-1176993793.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.90 2/77 4961
/proc/meminfo: memFree=1623488/2055920 swapFree=4145780/4192956
[pid=4961] ppid=4959 vsize=1468 CPUtime=0
/proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 175417115 1503232 164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4961/statm: 367 164 131 317 0 46 0

[startup+0.0427721 s]
/proc/loadavg: 0.91 0.95 0.90 2/77 4961
/proc/meminfo: memFree=1623488/2055920 swapFree=4145780/4192956
[pid=4961] ppid=4959 vsize=2472 CPUtime=0.03
/proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 402 0 0 0 3 0 0 0 18 0 1 0 175417115 2531328 384 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4961/statm: 618 384 131 317 0 297 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2472

[startup+0.101779 s]
/proc/loadavg: 0.91 0.95 0.90 2/77 4961
/proc/meminfo: memFree=1623488/2055920 swapFree=4145780/4192956
[pid=4961] ppid=4959 vsize=3524 CPUtime=0.09
/proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 624 0 0 0 9 0 0 0 18 0 1 0 175417115 3608576 606 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4961/statm: 881 606 131 317 0 560 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3524

[startup+0.301803 s]
/proc/loadavg: 0.91 0.95 0.90 2/77 4961
/proc/meminfo: memFree=1623488/2055920 swapFree=4145780/4192956
[pid=4961] ppid=4959 vsize=7268 CPUtime=0.29
/proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 1463 0 0 0 29 0 0 0 19 0 1 0 175417115 7442432 1445 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134531119 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4961/statm: 1817 1445 131 317 0 1496 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7268

[startup+0.701849 s]
/proc/loadavg: 0.91 0.95 0.90 2/77 4961
/proc/meminfo: memFree=1623488/2055920 swapFree=4145780/4192956
[pid=4961] ppid=4959 vsize=14008 CPUtime=0.69
/proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 3013 0 0 0 68 1 0 0 23 0 1 0 175417115 14344192 2929 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4961/statm: 3502 2929 131 317 0 3181 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14008

[startup+1.50194 s]
/proc/loadavg: 0.91 0.95 0.90 3/78 4962
/proc/meminfo: memFree=1603896/2055920 swapFree=4145780/4192956
[pid=4961] ppid=4959 vsize=22768 CPUtime=1.49
/proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 5134 0 0 0 147 2 0 0 25 0 1 0 175417115 23314432 5050 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270603 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4961/statm: 5692 5050 139 317 0 5371 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22768

[startup+3.10113 s]
/proc/loadavg: 0.91 0.95 0.90 2/78 4962
/proc/meminfo: memFree=1603576/2055920 swapFree=4145780/4192956
[pid=4961] ppid=4959 vsize=23080 CPUtime=3.09
/proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 5194 0 0 0 307 2 0 0 25 0 1 0 175417115 23633920 5110 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134558551 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4961/statm: 5770 5110 139 317 0 5449 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23080

[startup+6.3015 s]
/proc/loadavg: 0.92 0.95 0.90 2/78 4962
/proc/meminfo: memFree=1602808/2055920 swapFree=4145780/4192956
[pid=4961] ppid=4959 vsize=23752 CPUtime=6.29
/proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 5346 0 0 0 627 2 0 0 25 0 1 0 175417115 24322048 5262 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4961/statm: 5938 5262 139 317 0 5617 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23752

[startup+12.7013 s]
/proc/loadavg: 0.93 0.95 0.90 2/78 4962
/proc/meminfo: memFree=1601528/2055920 swapFree=4145780/4192956
[pid=4961] ppid=4959 vsize=24956 CPUtime=12.68
/proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 5657 0 0 0 1266 2 0 0 25 0 1 0 175417115 25554944 5573 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135277158 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4961/statm: 6239 5573 139 317 0 5918 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 24956

[startup+25.5018 s]
/proc/loadavg: 0.94 0.96 0.91 2/78 4962
/proc/meminfo: memFree=1599352/2055920 swapFree=4145780/4192956
[pid=4961] ppid=4959 vsize=27152 CPUtime=25.49
/proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 6209 0 0 0 2546 3 0 0 25 0 1 0 175417115 27803648 6125 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4961/statm: 6788 6125 139 317 0 6467 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 27152

[startup+51.1017 s]
/proc/loadavg: 0.96 0.96 0.91 2/78 4962
/proc/meminfo: memFree=1595320/2055920 swapFree=4145780/4192956
[pid=4961] ppid=4959 vsize=31188 CPUtime=51.08
/proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 7230 0 0 0 5104 4 0 0 25 0 1 0 175417115 31936512 7146 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715809 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4961/statm: 7797 7146 139 317 0 7476 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 31188

[startup+102.306 s]
/proc/loadavg: 0.98 0.96 0.91 2/78 4962
/proc/meminfo: memFree=1577848/2055920 swapFree=4145780/4192956
[pid=4961] ppid=4959 vsize=48576 CPUtime=102.26
/proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 11561 0 0 0 10220 6 0 0 25 0 1 0 175417115 49741824 11477 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4961/statm: 12144 11477 139 317 0 11823 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 48576

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 4962
/proc/meminfo: memFree=1552376/2055920 swapFree=4145780/4192956
[pid=4961] ppid=4959 vsize=75584 CPUtime=162.24
/proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 17974 0 0 0 16215 9 0 0 25 0 1 0 175417115 77398016 17890 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715604 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4961/statm: 18896 17890 139 317 0 18575 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 75584

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 4962
/proc/meminfo: memFree=1534200/2055920 swapFree=4145780/4192956
[pid=4961] ppid=4959 vsize=92272 CPUtime=222.23
/proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 22448 0 0 0 22212 11 0 0 25 0 1 0 175417115 94486528 22364 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4961/statm: 23068 22364 139 317 0 22747 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 92272

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 4962
/proc/meminfo: memFree=1506552/2055920 swapFree=4145780/4192956
[pid=4961] ppid=4959 vsize=124208 CPUtime=282.2
/proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 29351 0 0 0 28206 14 0 0 25 0 1 0 175417115 127188992 29267 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134554570 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4961/statm: 31052 29267 139 317 0 30731 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 124208

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 4962
/proc/meminfo: memFree=1492152/2055920 swapFree=4145780/4192956
[pid=4961] ppid=4959 vsize=137996 CPUtime=342.19
/proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 32937 0 0 0 34203 16 0 0 25 0 1 0 175417115 141307904 32853 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4961/statm: 34499 32853 139 317 0 34178 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 137996

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 4962
/proc/meminfo: memFree=1479928/2055920 swapFree=4145780/4192956
[pid=4961] ppid=4959 vsize=149328 CPUtime=402.17
/proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 35988 0 0 0 40199 18 0 0 25 0 1 0 175417115 152911872 35904 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713872 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4961/statm: 37332 35904 139 317 0 37011 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 149328

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 4962
/proc/meminfo: memFree=1469304/2055920 swapFree=4145780/4192956
[pid=4961] ppid=4959 vsize=159220 CPUtime=462.15
/proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 38654 0 0 0 46195 20 0 0 25 0 1 0 175417115 163041280 38570 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712551 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4961/statm: 39805 38570 139 317 0 39484 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 159220

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 4962
/proc/meminfo: memFree=1446776/2055920 swapFree=4145780/4192956
[pid=4961] ppid=4959 vsize=180028 CPUtime=522.14
/proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 44277 0 0 0 52191 23 0 0 25 0 1 0 175417115 184348672 44150 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4961/statm: 45007 44150 139 317 0 44686 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 180028

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 4962
/proc/meminfo: memFree=1444408/2055920 swapFree=4145780/4192956
[pid=4961] ppid=4959 vsize=182316 CPUtime=582.11
/proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 44878 0 0 0 58188 23 0 0 25 0 1 0 175417115 186691584 44751 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4961/statm: 45579 44751 139 317 0 45258 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 182316

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 4962
/proc/meminfo: memFree=1420024/2055920 swapFree=4145780/4192956
[pid=4961] ppid=4959 vsize=215884 CPUtime=642.1
/proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 50954 0 0 0 64184 26 0 0 25 0 1 0 175417115 221065216 50827 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4961/statm: 53971 50827 139 317 0 53650 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 215884


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

[startup+882.301 s]
/proc/loadavg: 1.04 0.99 0.91 2/78 4962
/proc/meminfo: memFree=1375224/2055920 swapFree=4145780/4192956
[pid=4961] ppid=4959 vsize=260872 CPUtime=882.03
/proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 62116 0 0 0 88170 33 0 0 25 0 1 0 175417115 267132928 61989 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4961/statm: 65218 61989 139 317 0 64897 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 260872

[startup+942.301 s]
/proc/loadavg: 1.01 0.99 0.91 2/78 4962
/proc/meminfo: memFree=1365624/2055920 swapFree=4145780/4192956
[pid=4961] ppid=4959 vsize=269476 CPUtime=942.01
/proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 64505 0 0 0 94167 34 0 0 25 0 1 0 175417115 275943424 64378 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4961/statm: 67369 64378 139 317 0 67048 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 269476

[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 4962
/proc/meminfo: memFree=1363576/2055920 swapFree=4145780/4192956
[pid=4961] ppid=4959 vsize=271260 CPUtime=1001.99
/proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 65026 0 0 0 100164 35 0 0 25 0 1 0 175417115 277770240 64899 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563366 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4961/statm: 67815 64899 139 317 0 67494 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 271260

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 4962
/proc/meminfo: memFree=1356408/2055920 swapFree=4145780/4192956
[pid=4961] ppid=4959 vsize=278368 CPUtime=1061.98
/proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 66897 0 0 0 106161 37 0 0 25 0 1 0 175417115 285048832 66770 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4961/statm: 69592 66770 139 317 0 69271 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 278368

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/84 5140
/proc/meminfo: memFree=1348728/2055920 swapFree=4145780/4192956
[pid=4961] ppid=4959 vsize=283748 CPUtime=1121.86
/proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 68414 0 0 0 112147 39 0 0 25 0 1 0 175417115 290557952 68287 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 0 0 0
/proc/4961/statm: 70937 68287 139 317 0 70616 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 283748

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 5160
/proc/meminfo: memFree=1348272/2055920 swapFree=4145780/4192956
[pid=4961] ppid=4959 vsize=285116 CPUtime=1181.84
/proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 68810 0 0 0 118144 40 0 0 25 0 1 0 175417115 291958784 68683 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4961/statm: 71279 68683 139 317 0 70958 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 285116

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.91 3/78 5160
/proc/meminfo: memFree=1344368/2055920 swapFree=4145780/4192956
[pid=4961] ppid=4959 vsize=288448 CPUtime=1241.82
/proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 69786 0 0 0 124141 41 0 0 25 0 1 0 175417115 295370752 69659 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718322 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4961/statm: 72112 69659 139 317 0 71791 0
Current children cumulated CPU time (s) 1241.82
Current children cumulated vsize (KiB) 288448

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 5160
/proc/meminfo: memFree=1334576/2055920 swapFree=4145780/4192956
[pid=4961] ppid=4959 vsize=297596 CPUtime=1301.8
/proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 72193 0 0 0 130138 42 0 0 25 0 1 0 175417115 304738304 72066 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271382 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4961/statm: 74399 72066 139 317 0 74078 0
Current children cumulated CPU time (s) 1301.8
Current children cumulated vsize (KiB) 297596

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 5160
/proc/meminfo: memFree=1317872/2055920 swapFree=4145780/4192956
[pid=4961] ppid=4959 vsize=312556 CPUtime=1361.78
/proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 76349 0 0 0 136133 45 0 0 25 0 1 0 175417115 320057344 76222 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4961/statm: 78139 76222 139 317 0 77818 0
Current children cumulated CPU time (s) 1361.78
Current children cumulated vsize (KiB) 312556

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 5160
/proc/meminfo: memFree=1316848/2055920 swapFree=4145780/4192956
[pid=4961] ppid=4959 vsize=313544 CPUtime=1421.77
/proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 76616 0 0 0 142131 46 0 0 25 0 1 0 175417115 321069056 76489 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4961/statm: 78386 76489 139 317 0 78065 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 313544

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.91 3/78 5160
/proc/meminfo: memFree=1315000/2055920 swapFree=4145780/4192956
[pid=4961] ppid=4959 vsize=315256 CPUtime=1481.74
/proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 77091 0 0 0 148128 46 0 0 25 0 1 0 175417115 322822144 76964 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4961/statm: 78814 76964 139 317 0 78493 0
Current children cumulated CPU time (s) 1481.74
Current children cumulated vsize (KiB) 315256

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 5160
/proc/meminfo: memFree=1308536/2055920 swapFree=4145780/4192956
[pid=4961] ppid=4959 vsize=320824 CPUtime=1541.73
/proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 78701 0 0 0 154125 48 0 0 25 0 1 0 175417115 328523776 78574 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564062 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4961/statm: 80206 78574 139 317 0 79885 0
Current children cumulated CPU time (s) 1541.73
Current children cumulated vsize (KiB) 320824

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 5160
/proc/meminfo: memFree=1298744/2055920 swapFree=4145780/4192956
[pid=4961] ppid=4959 vsize=329736 CPUtime=1601.71
/proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 81189 0 0 0 160121 50 0 0 25 0 1 0 175417115 337649664 81062 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134549858 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4961/statm: 82434 81062 139 317 0 82113 0
Current children cumulated CPU time (s) 1601.71
Current children cumulated vsize (KiB) 329736

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 5160
/proc/meminfo: memFree=1285240/2055920 swapFree=4145780/4192956
[pid=4961] ppid=4959 vsize=342280 CPUtime=1661.7
/proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 84538 0 0 0 166118 52 0 0 25 0 1 0 175417115 350494720 84411 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4961/statm: 85570 84411 139 317 0 85249 0
Current children cumulated CPU time (s) 1661.7
Current children cumulated vsize (KiB) 342280

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 5160
/proc/meminfo: memFree=1284280/2055920 swapFree=4145780/4192956
[pid=4961] ppid=4959 vsize=343244 CPUtime=1721.67
/proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 84784 0 0 0 172115 52 0 0 25 0 1 0 175417115 351481856 84657 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4961/statm: 85811 84657 139 317 0 85490 0
Current children cumulated CPU time (s) 1721.67
Current children cumulated vsize (KiB) 343244

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 5160
/proc/meminfo: memFree=1282936/2055920 swapFree=4145780/4192956
[pid=4961] ppid=4959 vsize=344556 CPUtime=1781.66
/proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 85131 0 0 0 178113 53 0 0 25 0 1 0 175417115 352825344 85004 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4961/statm: 86139 85004 139 317 0 85818 0
Current children cumulated CPU time (s) 1781.66
Current children cumulated vsize (KiB) 344556



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 5160
/proc/meminfo: memFree=1282168/2055920 swapFree=4145780/4192956
[pid=4961] ppid=4959 vsize=345360 CPUtime=1800.06
/proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 85322 0 0 0 179953 53 0 0 25 0 1 0 175417115 353648640 85195 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4961/statm: 86340 85195 139 317 0 86019 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 345360

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 5160
/proc/meminfo: memFree=1282168/2055920 swapFree=4145780/4192956
[pid=4961] ppid=4959 vsize=345360 CPUtime=1800.06
/proc/4961/stat : 4961 (oree) R 4959 4961 4573 0 -1 4194304 85322 0 0 0 179953 53 0 0 25 0 1 0 175417115 353648640 85195 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/4961/statm: 86340 85195 139 317 0 86019 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 345360

Child status: 0
Real time (s): 1800.78
CPU time (s): 1800.14
CPU user time (s): 1799.55
CPU system time (s): 0.592909
CPU usage (%): 99.9645
Max. virtual memory (cumulated for all children) (KiB): 345360

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

runsolver used 2.12268 second user time and 4.31034 second system time

The end

Launcher Data (download as text)

Begin job on node1 on Thu Apr 19 14:43:13 UTC 2007

IDJOB= 357302
IDBENCH= 2366
IDSOLVER= 172
FILE ID= node1/357302-1176993793

PBS_JOBID= 4630451

Free space on /tmp= 66355 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/unibo/normalized-mps-v2-20-10-blp-ic98.opb
COMMAND LINE= oree /tmp/evaluation/357302-1176993793/instance-357302-1176993793.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node1/watcher-357302-1176993793 -o ROOT/results/node1/solver-357302-1176993793 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357302-1176993793/instance-357302-1176993793.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  cbbc019f11b539634b02edfceafed9db

RANDOM SEED= 894895344

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node1.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1623960 kB
Buffers:         35496 kB
Cached:         317228 kB
SwapCached:      14340 kB
Active:         233952 kB
Inactive:       141404 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1623960 kB
SwapTotal:     4192956 kB
SwapFree:      4145780 kB
Dirty:            3784 kB
Writeback:           0 kB
Mapped:          29472 kB
Slab:            42144 kB
Committed_AS:  5012996 kB
PageTables:       1832 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= 66355 MiB

End job on node1 on Thu Apr 19 15:13:16 UTC 2007