Trace number 455150

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.32 1801.08

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_60_1.opb
MD5SUM6c6505c4760e09c43f48167716751a54
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-44
Best CPU time to get the best result obtained on this benchmark1800.28
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -44
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1501
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
Number of terms in the objective function 500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)74732
Sum of products size (including duplicates)149464
Number of different products37366
Sum of products size74732

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.59/0.60	c ...done
0.59/0.60	c #vars=38366 #constraints=76235 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
2.39/2.42	c restart after 401 decisions
2.49/2.59	c nbDecision=500 #constraints=76387
3.48/3.56	c restart after 801 decisions
3.78/3.84	c nbDecision=1000 #constraints=76487
5.89/5.98	c nbDecision=1500 #constraints=76690
6.49/6.56	c restart after 1601 decisions
8.18/8.20	c nbDecision=2000 #constraints=76876
10.09/10.16	c nbDecision=2500 #constraints=76993
12.98/13.09	c nbDecision=3000 #constraints=77243
13.58/13.69	c restart after 3201 decisions
14.68/14.73	c nbDecision=3500 #constraints=77293
19.19/19.22	c nbDecision=4000 #constraints=77743
22.59/22.66	c nbDecision=4500 #constraints=77990
25.88/25.92	c nbDecision=5000 #constraints=78207
29.38/29.44	c nbDecision=5500 #constraints=78415
33.98/34.09	c nbDecision=6000 #constraints=78728
36.77/36.85	c restart after 6401 decisions
37.97/38.02	c nbDecision=6500 #constraints=78894
41.87/41.91	c nbDecision=7000 #constraints=79174
46.77/46.81	c nbDecision=7500 #constraints=79457
50.97/51.01	c nbDecision=8000 #constraints=79626
55.77/55.83	c nbDecision=8500 #constraints=79834
61.66/61.71	c nbDecision=9000 #constraints=80178
66.77/66.86	c nbDecision=9500 #constraints=80415
71.47/71.57	c nbDecision=10000 #constraints=80654
77.67/77.77	c nbDecision=10500 #constraints=80889
82.66/82.78	c nbDecision=11000 #constraints=81229
88.16/88.21	c nbDecision=11500 #constraints=81677
95.26/95.33	c nbDecision=12000 #constraints=82053
100.55/100.62	c nbDecision=12500 #constraints=82289
105.36/105.48	c restart after 12801 decisions
107.66/107.77	c nbDecision=13000 #constraints=82512
113.45/113.51	c nbDecision=13500 #constraints=82889
119.54/119.68	c nbDecision=14000 #constraints=83296
127.04/127.12	c nbDecision=14500 #constraints=83524
135.75/135.81	c nbDecision=15000 #constraints=83865
141.64/141.80	c nbDecision=15500 #constraints=84092
148.04/148.10	c nbDecision=16000 #constraints=84528
156.53/156.63	c nbDecision=16500 #constraints=84747
163.13/163.22	c nbDecision=17000 #constraints=85183
170.03/170.10	c nbDecision=17500 #constraints=85566
178.82/178.98	c nbDecision=18000 #constraints=85808
188.82/188.99	c nbDecision=18500 #constraints=86040
196.52/196.62	c nbDecision=19000 #constraints=86338
207.12/207.29	c nbDecision=19500 #constraints=86674
214.81/214.99	c nbDecision=20000 #constraints=86883
223.12/223.23	c nbDecision=20500 #constraints=87298
230.00/230.10	c nbDecision=21000 #constraints=87685
239.10/239.20	c nbDecision=21500 #constraints=88009
249.70/249.82	c nbDecision=22000 #constraints=88243
260.60/260.79	c nbDecision=22500 #constraints=88468
272.49/272.64	c nbDecision=23000 #constraints=88718
283.48/283.65	c nbDecision=23500 #constraints=88891
295.08/295.27	c nbDecision=24000 #constraints=89101
307.18/307.30	c nbDecision=24500 #constraints=89298
317.17/317.39	c nbDecision=25000 #constraints=89610
332.97/333.18	c nbDecision=25500 #constraints=89704
334.67/334.88	c restart after 25601 decisions
344.76/344.92	c nbDecision=26000 #constraints=89871
356.56/356.73	c nbDecision=26500 #constraints=90110
368.66/368.81	c nbDecision=27000 #constraints=90345
378.26/378.40	c nbDecision=27500 #constraints=90708
391.84/392.07	c nbDecision=28000 #constraints=90889
400.45/400.61	c nbDecision=28500 #constraints=91311
415.34/415.57	c nbDecision=29000 #constraints=91598
428.84/429.03	c nbDecision=29500 #constraints=91782
441.83/442.07	c nbDecision=30000 #constraints=91919
453.83/454.03	c nbDecision=30500 #constraints=92211
466.72/466.99	c nbDecision=31000 #constraints=92508
476.92/477.19	c nbDecision=31500 #constraints=92865
495.81/496.02	c nbDecision=32000 #constraints=93043
509.91/510.13	c nbDecision=32500 #constraints=93218
520.21/520.45	c nbDecision=33000 #constraints=93517
536.20/536.49	c nbDecision=33500 #constraints=93740
547.40/547.62	c nbDecision=34000 #constraints=94050
563.19/563.44	c nbDecision=34500 #constraints=94253
575.58/575.89	c nbDecision=35000 #constraints=94590
595.88/596.11	c nbDecision=35500 #constraints=94757
609.47/609.77	c nbDecision=36000 #constraints=94924
626.15/626.47	c nbDecision=36500 #constraints=95116
639.82/640.19	c nbDecision=37000 #constraints=95416
655.27/655.62	c nbDecision=37500 #constraints=95658
674.05/674.45	c nbDecision=38000 #constraints=95898
685.24/685.69	c nbDecision=38500 #constraints=96186
703.33/703.74	c nbDecision=39000 #constraints=96373
720.02/720.47	c nbDecision=39500 #constraints=96594
737.02/737.41	c nbDecision=40000 #constraints=96837
750.61/751.01	c nbDecision=40500 #constraints=97144
770.21/770.60	c nbDecision=41000 #constraints=97303
786.20/786.65	c nbDecision=41500 #constraints=97565
809.49/809.96	c nbDecision=42000 #constraints=97740
822.98/823.44	c nbDecision=42500 #constraints=97970
841.68/842.11	c nbDecision=43000 #constraints=98171
862.77/863.24	c nbDecision=43500 #constraints=98465
882.46/882.97	c nbDecision=44000 #constraints=98495
896.16/896.65	c nbDecision=44500 #constraints=98841
916.25/916.72	c nbDecision=45000 #constraints=99027
937.04/937.50	c nbDecision=45500 #constraints=99302
956.45/956.95	c nbDecision=46000 #constraints=99399
982.22/982.73	c nbDecision=46500 #constraints=99574
994.72/995.21	c nbDecision=47000 #constraints=99835
1023.22/1023.78	c nbDecision=47500 #constraints=99973
1036.71/1037.24	c nbDecision=48000 #constraints=100193
1059.10/1059.63	c nbDecision=48500 #constraints=100490
1081.59/1082.19	c nbDecision=49000 #constraints=100618
1096.79/1097.39	c nbDecision=49500 #constraints=100834
1119.28/1119.84	c nbDecision=50000 #constraints=101115
1141.07/1141.70	c nbDecision=50500 #constraints=101237
1163.66/1164.22	c nbDecision=51000 #constraints=101359
1169.07/1169.68	c restart after 51201 decisions
1184.86/1185.41	c nbDecision=51500 #constraints=101555
1203.65/1204.21	c nbDecision=52000 #constraints=101832
1225.94/1226.53	c nbDecision=52500 #constraints=102003
1255.33/1255.99	c nbDecision=53000 #constraints=102177
1279.62/1280.20	c nbDecision=53500 #constraints=102291
1302.72/1303.34	c nbDecision=54000 #constraints=102403
1323.90/1324.54	c nbDecision=54500 #constraints=102574
1346.00/1346.60	c nbDecision=55000 #constraints=102776
1376.89/1377.50	c nbDecision=55500 #constraints=102948
1392.38/1393.08	c nbDecision=56000 #constraints=103158
1422.08/1422.72	c nbDecision=56500 #constraints=103263
1444.26/1444.95	c nbDecision=57000 #constraints=103403
1469.35/1470.02	c nbDecision=57500 #constraints=103569
1494.54/1495.25	c nbDecision=58000 #constraints=103767
1519.24/1519.93	c nbDecision=58500 #constraints=103879
1542.63/1543.30	c nbDecision=59000 #constraints=104153
1567.42/1568.17	c nbDecision=59500 #constraints=104247
1592.11/1592.89	c nbDecision=60000 #constraints=104432
1615.00/1615.74	c nbDecision=60500 #constraints=104790
1634.29/1635.02	c nbDecision=61000 #constraints=104933
1667.18/1667.91	c nbDecision=61500 #constraints=105049
1686.28/1687.08	c nbDecision=62000 #constraints=105255
1714.37/1715.16	c nbDecision=62500 #constraints=105537
1740.06/1740.88	c nbDecision=63000 #constraints=105557
1767.54/1768.32	c nbDecision=63500 #constraints=105700
1800.04/1800.80	Received signal 15
1800.14/1800.94	
1800.14/1800.94	s UNKNOWN
1800.14/1800.94	
1800.14/1800.94	c user time= 1799.24 s
1800.14/1800.94	c system time= 0.946856 s
1800.14/1800.94	c wall clock time=1800.94

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/455150-1178038236/instance-455150-1178038236.opb
mv /tmp/evaluation/455150-1178038236/instance-455150-1178038236.opb.tmp /tmp/evaluation/455150-1178038236/instance-455150-1178038236.opb

Watcher Data (download as text)

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node20/watcher-455150-1178038236 -o ROOT/results/node20/solver-455150-1178038236 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/455150-1178038236/instance-455150-1178038236.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/77 26202
/proc/meminfo: memFree=1752360/2055920 swapFree=4154876/4192956
[pid=26202] ppid=26200 vsize=1468 CPUtime=0
/proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 251740922 1503232 166 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26202/statm: 367 166 131 317 0 46 0

[startup+0.0758029 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 26202
/proc/meminfo: memFree=1752360/2055920 swapFree=4154876/4192956
[pid=26202] ppid=26200 vsize=2920 CPUtime=0.07
/proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 543 0 0 0 7 0 0 0 18 0 1 0 251740922 2990080 526 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26202/statm: 730 527 131 317 0 409 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2920

[startup+0.102807 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 26202
/proc/meminfo: memFree=1752360/2055920 swapFree=4154876/4192956
[pid=26202] ppid=26200 vsize=3448 CPUtime=0.09
/proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 679 0 0 0 9 0 0 0 18 0 1 0 251740922 3530752 662 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26202/statm: 862 662 131 317 0 541 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3448

[startup+0.301847 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 26202
/proc/meminfo: memFree=1752360/2055920 swapFree=4154876/4192956
[pid=26202] ppid=26200 vsize=8788 CPUtime=0.29
/proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 1983 0 0 0 28 1 0 0 20 0 1 0 251740922 8998912 1966 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26202/statm: 2197 1966 132 317 0 1876 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8788

[startup+0.701927 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 26202
/proc/meminfo: memFree=1752360/2055920 swapFree=4154876/4192956
[pid=26202] ppid=26200 vsize=29772 CPUtime=0.69
/proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 7287 0 0 0 66 3 0 0 24 0 1 0 251740922 30486528 7172 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602744 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26202/statm: 7443 7172 137 317 0 7122 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 29772

[startup+1.50109 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26203
/proc/meminfo: memFree=1721632/2055920 swapFree=4154876/4192956
[pid=26202] ppid=26200 vsize=36208 CPUtime=1.49
/proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 8917 0 0 0 145 4 0 0 25 0 1 0 251740922 37076992 8280 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26202/statm: 9052 8280 139 317 0 8731 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36208

[startup+3.10141 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26203
/proc/meminfo: memFree=1719328/2055920 swapFree=4154876/4192956
[pid=26202] ppid=26200 vsize=39008 CPUtime=3.09
/proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 9602 0 0 0 305 4 0 0 25 0 1 0 251740922 39944192 8965 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26202/statm: 9752 8965 139 317 0 9431 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 39008

[startup+6.30105 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26203
/proc/meminfo: memFree=1713440/2055920 swapFree=4154876/4192956
[pid=26202] ppid=26200 vsize=46256 CPUtime=6.29
/proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 11417 0 0 0 624 5 0 0 25 0 1 0 251740922 47366144 10780 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26202/statm: 11564 10780 139 317 0 11243 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 46256

[startup+12.7013 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26203
/proc/meminfo: memFree=1700576/2055920 swapFree=4154876/4192956
[pid=26202] ppid=26200 vsize=59316 CPUtime=12.68
/proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 14404 0 0 0 1262 6 0 0 25 0 1 0 251740922 60739584 13767 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26202/statm: 14829 13767 139 317 0 14508 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 59316

[startup+25.5019 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26203
/proc/meminfo: memFree=1680416/2055920 swapFree=4154876/4192956
[pid=26202] ppid=26200 vsize=75768 CPUtime=25.48
/proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 18809 0 0 0 2539 9 0 0 25 0 1 0 251740922 77586432 18172 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26202/statm: 18942 18172 139 317 0 18621 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 75768

[startup+51.103 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26203
/proc/meminfo: memFree=1647392/2055920 swapFree=4154876/4192956
[pid=26202] ppid=26200 vsize=109880 CPUtime=51.07
/proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 27238 0 0 0 5094 13 0 0 25 0 1 0 251740922 112517120 26601 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26202/statm: 27470 26601 139 317 0 27149 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 109880

[startup+102.304 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26203
/proc/meminfo: memFree=1582240/2055920 swapFree=4154876/4192956
[pid=26202] ppid=26200 vsize=175872 CPUtime=102.25
/proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 43182 0 0 0 10205 20 0 0 25 0 1 0 251740922 180092928 42545 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26202/statm: 43968 42546 139 317 0 43647 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 175872

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26203
/proc/meminfo: memFree=1515296/2055920 swapFree=4154876/4192956
[pid=26202] ppid=26200 vsize=256852 CPUtime=162.23
/proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 60095 0 0 0 16195 28 0 0 25 0 1 0 251740922 263016448 59458 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602736 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26202/statm: 64213 59458 139 317 0 63892 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 256852

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26203
/proc/meminfo: memFree=1471456/2055920 swapFree=4154876/4192956
[pid=26202] ppid=26200 vsize=295036 CPUtime=222.21
/proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 70752 0 0 0 22187 34 0 0 25 0 1 0 251740922 302116864 70115 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26202/statm: 73759 70115 139 317 0 73438 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 295036

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26203
/proc/meminfo: memFree=1442848/2055920 swapFree=4154876/4192956
[pid=26202] ppid=26200 vsize=321448 CPUtime=282.19
/proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 78173 0 0 0 28182 37 0 0 25 0 1 0 251740922 329162752 77536 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26202/statm: 80362 77536 139 317 0 80041 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 321448

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26203
/proc/meminfo: memFree=1422752/2055920 swapFree=4154876/4192956
[pid=26202] ppid=26200 vsize=338224 CPUtime=342.17
/proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 82909 0 0 0 34177 40 0 0 25 0 1 0 251740922 346341376 82272 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26202/statm: 84556 82272 139 317 0 84235 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 338224

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26203
/proc/meminfo: memFree=1389920/2055920 swapFree=4154876/4192956
[pid=26202] ppid=26200 vsize=368500 CPUtime=402.15
/proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 91289 0 0 0 40170 45 0 0 25 0 1 0 251740922 377344000 90652 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26202/statm: 92125 90652 139 317 0 91804 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 368500

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26203
/proc/meminfo: memFree=1367584/2055920 swapFree=4154876/4192956
[pid=26202] ppid=26200 vsize=387936 CPUtime=462.13
/proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 96696 0 0 0 46165 48 0 0 25 0 1 0 251740922 397246464 96059 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26202/statm: 96984 96059 139 317 0 96663 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 387936

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26203
/proc/meminfo: memFree=1332640/2055920 swapFree=4154876/4192956
[pid=26202] ppid=26200 vsize=470680 CPUtime=522.11
/proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 114244 0 0 0 52157 54 0 0 25 0 1 0 251740922 481976320 104730 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563315 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26202/statm: 117670 104730 139 317 0 117349 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 470680

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26203
/proc/meminfo: memFree=1311200/2055920 swapFree=4154876/4192956
[pid=26202] ppid=26200 vsize=488796 CPUtime=582.08
/proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 119585 0 0 0 58151 57 0 0 25 0 1 0 251740922 500527104 110071 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26202/statm: 122199 110071 139 317 0 121878 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 488796

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/84 26311
/proc/meminfo: memFree=1289632/2055920 swapFree=4154876/4192956
[pid=26202] ppid=26200 vsize=505916 CPUtime=642
/proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 124654 0 0 0 64139 61 0 0 25 0 1 0 251740922 518057984 115140 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26202/statm: 126479 115140 139 317 0 126158 0
Current children cumulated CPU time (s) 642
Current children cumulated vsize (KiB) 505916


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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26401
/proc/meminfo: memFree=1229600/2055920 swapFree=4154876/4192956
[pid=26202] ppid=26200 vsize=557548 CPUtime=881.86
/proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 139969 0 0 0 88118 68 0 0 25 0 1 0 251740922 570929152 130455 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26202/statm: 139387 130455 139 317 0 139066 0
Current children cumulated CPU time (s) 881.86
Current children cumulated vsize (KiB) 557548

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26401
/proc/meminfo: memFree=1213088/2055920 swapFree=4154876/4192956
[pid=26202] ppid=26200 vsize=572448 CPUtime=941.84
/proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 144076 0 0 0 94114 70 0 0 25 0 1 0 251740922 586186752 134562 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26202/statm: 143112 134562 139 317 0 142791 0
Current children cumulated CPU time (s) 941.84
Current children cumulated vsize (KiB) 572448

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26401
/proc/meminfo: memFree=1201952/2055920 swapFree=4154876/4192956
[pid=26202] ppid=26200 vsize=581844 CPUtime=1001.82
/proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 146858 0 0 0 100110 72 0 0 25 0 1 0 251740922 595808256 137344 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26202/statm: 145461 137344 139 317 0 145140 0
Current children cumulated CPU time (s) 1001.82
Current children cumulated vsize (KiB) 581844

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26401
/proc/meminfo: memFree=1187232/2055920 swapFree=4154876/4192956
[pid=26202] ppid=26200 vsize=593352 CPUtime=1061.8
/proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 150534 0 0 0 106105 75 0 0 25 0 1 0 251740922 607592448 141020 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712536 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26202/statm: 148338 141020 139 317 0 148017 0
Current children cumulated CPU time (s) 1061.8
Current children cumulated vsize (KiB) 593352

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26401
/proc/meminfo: memFree=1174688/2055920 swapFree=4154876/4192956
[pid=26202] ppid=26200 vsize=604476 CPUtime=1121.77
/proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 153696 0 0 0 112100 77 0 0 25 0 1 0 251740922 618983424 144182 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26202/statm: 151119 144182 139 317 0 150798 0
Current children cumulated CPU time (s) 1121.77
Current children cumulated vsize (KiB) 604476

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26401
/proc/meminfo: memFree=1167072/2055920 swapFree=4154876/4192956
[pid=26202] ppid=26200 vsize=611324 CPUtime=1181.76
/proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 155585 0 0 0 118097 79 0 0 25 0 1 0 251740922 625995776 146071 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26202/statm: 152831 146071 139 317 0 152510 0
Current children cumulated CPU time (s) 1181.76
Current children cumulated vsize (KiB) 611324

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26401
/proc/meminfo: memFree=1154592/2055920 swapFree=4154876/4192956
[pid=26202] ppid=26200 vsize=621268 CPUtime=1241.73
/proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 158687 0 0 0 124093 80 0 0 25 0 1 0 251740922 636178432 149173 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26202/statm: 155317 149173 139 317 0 154996 0
Current children cumulated CPU time (s) 1241.73
Current children cumulated vsize (KiB) 621268

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26401
/proc/meminfo: memFree=1148576/2055920 swapFree=4154876/4192956
[pid=26202] ppid=26200 vsize=627176 CPUtime=1301.72
/proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 160185 0 0 0 130090 82 0 0 25 0 1 0 251740922 642228224 150671 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26202/statm: 156794 150671 139 317 0 156473 0
Current children cumulated CPU time (s) 1301.72
Current children cumulated vsize (KiB) 627176

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26401
/proc/meminfo: memFree=1139232/2055920 swapFree=4154876/4192956
[pid=26202] ppid=26200 vsize=634972 CPUtime=1361.69
/proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 162518 0 0 0 136086 83 0 0 25 0 1 0 251740922 650211328 153004 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26202/statm: 158743 153004 139 317 0 158422 0
Current children cumulated CPU time (s) 1361.69
Current children cumulated vsize (KiB) 634972

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26401
/proc/meminfo: memFree=1130208/2055920 swapFree=4154876/4192956
[pid=26202] ppid=26200 vsize=642360 CPUtime=1421.68
/proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 164780 0 0 0 142083 85 0 0 25 0 1 0 251740922 657776640 155266 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26202/statm: 160590 155266 139 317 0 160269 0
Current children cumulated CPU time (s) 1421.68
Current children cumulated vsize (KiB) 642360

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26401
/proc/meminfo: memFree=1120608/2055920 swapFree=4154876/4192956
[pid=26202] ppid=26200 vsize=651068 CPUtime=1481.65
/proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 167371 0 0 0 148079 86 0 0 25 0 1 0 251740922 666693632 157857 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26202/statm: 162767 157857 139 317 0 162446 0
Current children cumulated CPU time (s) 1481.65
Current children cumulated vsize (KiB) 651068

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26401
/proc/meminfo: memFree=1111264/2055920 swapFree=4154876/4192956
[pid=26202] ppid=26200 vsize=658048 CPUtime=1541.63
/proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 169504 0 0 0 154076 87 0 0 25 0 1 0 251740922 673841152 159990 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26202/statm: 164512 159990 139 317 0 164191 0
Current children cumulated CPU time (s) 1541.63
Current children cumulated vsize (KiB) 658048

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26401
/proc/meminfo: memFree=1101088/2055920 swapFree=4154876/4192956
[pid=26202] ppid=26200 vsize=667548 CPUtime=1601.61
/proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 172288 0 0 0 160072 89 0 0 25 0 1 0 251740922 683569152 162774 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26202/statm: 166887 162774 139 317 0 166566 0
Current children cumulated CPU time (s) 1601.61
Current children cumulated vsize (KiB) 667548

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26401
/proc/meminfo: memFree=1093856/2055920 swapFree=4154876/4192956
[pid=26202] ppid=26200 vsize=673844 CPUtime=1661.59
/proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 173842 0 0 0 166068 91 0 0 25 0 1 0 251740922 690016256 164328 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26202/statm: 168461 164328 139 317 0 168140 0
Current children cumulated CPU time (s) 1661.59
Current children cumulated vsize (KiB) 673844

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26401
/proc/meminfo: memFree=1083680/2055920 swapFree=4154876/4192956
[pid=26202] ppid=26200 vsize=682444 CPUtime=1721.57
/proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 176390 0 0 0 172064 93 0 0 25 0 1 0 251740922 698822656 166876 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26202/statm: 170611 166876 139 317 0 170290 0
Current children cumulated CPU time (s) 1721.57
Current children cumulated vsize (KiB) 682444

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26401
/proc/meminfo: memFree=1078048/2055920 swapFree=4154876/4192956
[pid=26202] ppid=26200 vsize=686356 CPUtime=1781.54
/proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 177797 0 0 0 178060 94 0 0 25 0 1 0 251740922 702828544 168283 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26202/statm: 171589 168283 139 317 0 171268 0
Current children cumulated CPU time (s) 1781.54
Current children cumulated vsize (KiB) 686356



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26401
/proc/meminfo: memFree=1076704/2055920 swapFree=4154876/4192956
[pid=26202] ppid=26200 vsize=687692 CPUtime=1800.04
/proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194304 178128 0 0 0 179910 94 0 0 25 0 1 0 251740922 704196608 168614 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26202/statm: 171923 168614 139 317 0 171602 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 687692

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/78 26401
/proc/meminfo: memFree=1076704/2055920 swapFree=4154876/4192956
[pid=26202] ppid=26200 vsize=0 CPUtime=1800.23
/proc/26202/stat : 26202 (oree) R 26200 26202 25535 0 -1 4194308 178144 0 0 0 179926 97 0 0 25 0 1 0 251740922 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26202/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1801.08
CPU time (s): 1800.32
CPU user time (s): 1799.26
CPU system time (s): 1.05684
CPU usage (%): 99.9578
Max. virtual memory (cumulated for all children) (KiB): 687692

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

runsolver used 1.3138 second user time and 4.10637 second system time

The end

Launcher Data (download as text)

Begin job on node20 on Tue May  1 16:50:36 UTC 2007

IDJOB= 455150
IDBENCH= 48244
IDSOLVER= 172
FILE ID= node20/455150-1178038236

PBS_JOBID= 4728447

Free space on /tmp= 66562 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_60_1.opb
COMMAND LINE= oree /tmp/evaluation/455150-1178038236/instance-455150-1178038236.opb mod           
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node20/convwatcher-455150-1178038236 -o ROOT/results/node20/conversion-455150-1178038236 -C 600 -M 1800 /tmp/evaluation/455150-1178038236/substituteSizeProductKeyword /tmp/evaluation/455150-1178038236/instance-455150-1178038236.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node20/watcher-455150-1178038236 -o ROOT/results/node20/solver-455150-1178038236 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/455150-1178038236/instance-455150-1178038236.opb mod           

META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e
MD5SUM BENCH=  6c6505c4760e09c43f48167716751a54

RANDOM SEED= 641753873

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node20.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.265
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.265
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:       1752768 kB
Buffers:         89220 kB
Cached:         123560 kB
SwapCached:      16448 kB
Active:         154268 kB
Inactive:        82776 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1752768 kB
SwapTotal:     4192956 kB
SwapFree:      4154876 kB
Dirty:            2292 kB
Writeback:           0 kB
Mapped:          30008 kB
Slab:            51692 kB
Committed_AS:  4590312 kB
PageTables:       1744 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= 66562 MiB

End job on node20 on Tue May  1 17:20:39 UTC 2007