Trace number 455075

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.75 1801.2

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_25_1.opb
MD5SUM4142356c9f50acd7c9005938f6b31a6d
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-32
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -32
Optimality of the best value was proved NO
Number of variables400
Total number of constraints601
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
Number of terms in the objective function 200
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 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)12408
Sum of products size (including duplicates)24816
Number of different products6204
Sum of products size12408

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.09/0.10	c ...done
0.09/0.10	c #vars=6604 #constraints=13011 hasObjective=yes
0.09/0.15	c res. mode=mod
0.09/0.15	c VSIDS like heuristics
0.09/0.15	c complete search running
0.69/0.78	c restart after 401 decisions
0.79/0.82	c nbDecision=500 #constraints=13290
1.39/1.45	c restart after 801 decisions
1.69/1.73	c nbDecision=1000 #constraints=13626
2.89/2.93	c nbDecision=1500 #constraints=14097
3.09/3.18	c restart after 1601 decisions
3.99/4.09	c nbDecision=2000 #constraints=14463
5.40/5.47	c nbDecision=2500 #constraints=14900
6.99/7.02	c nbDecision=3000 #constraints=15311
7.59/7.65	c restart after 3201 decisions
8.79/8.85	c nbDecision=3500 #constraints=15653
10.59/10.65	c nbDecision=4000 #constraints=16067
12.69/12.73	c nbDecision=4500 #constraints=16458
14.79/14.86	c nbDecision=5000 #constraints=16868
17.19/17.23	c nbDecision=5500 #constraints=17261
19.69/19.73	c nbDecision=6000 #constraints=17660
22.08/22.14	c restart after 6401 decisions
23.18/23.25	c nbDecision=6500 #constraints=17942
26.58/26.61	c nbDecision=7000 #constraints=18260
30.98/31.00	c nbDecision=7500 #constraints=18469
33.98/34.04	c nbDecision=8000 #constraints=18889
37.58/37.65	c nbDecision=8500 #constraints=19241
40.48/40.51	c nbDecision=9000 #constraints=19687
43.38/43.42	c nbDecision=9500 #constraints=20143
46.78/46.82	c nbDecision=10000 #constraints=20566
50.18/50.20	c nbDecision=10500 #constraints=20995
53.88/53.90	c nbDecision=11000 #constraints=21415
57.38/57.45	c nbDecision=11500 #constraints=21851
60.87/60.95	c nbDecision=12000 #constraints=22298
64.78/64.89	c nbDecision=12500 #constraints=22723
67.08/67.16	c restart after 12801 decisions
70.07/70.15	c nbDecision=13000 #constraints=23078
74.17/74.24	c nbDecision=13500 #constraints=23511
77.98/78.01	c nbDecision=14000 #constraints=23968
83.67/83.79	c nbDecision=14500 #constraints=24335
90.17/90.24	c nbDecision=15000 #constraints=24689
97.96/98.05	c nbDecision=15500 #constraints=25022
104.06/104.19	c nbDecision=16000 #constraints=25363
108.66/108.77	c nbDecision=16500 #constraints=25807
113.36/113.49	c nbDecision=17000 #constraints=26251
118.77/118.86	c nbDecision=17500 #constraints=26682
123.36/123.48	c nbDecision=18000 #constraints=27139
128.56/128.62	c nbDecision=18500 #constraints=27589
135.85/135.99	c nbDecision=19000 #constraints=27960
142.76/142.84	c nbDecision=19500 #constraints=28357
150.95/151.06	c nbDecision=20000 #constraints=28724
158.95/159.08	c nbDecision=20500 #constraints=29096
167.05/167.13	c nbDecision=21000 #constraints=29474
175.54/175.65	c nbDecision=21500 #constraints=29848
186.54/186.61	c nbDecision=22000 #constraints=30161
199.74/199.82	c nbDecision=22500 #constraints=30424
206.04/206.14	c nbDecision=23000 #constraints=30878
212.53/212.61	c nbDecision=23500 #constraints=31329
219.64/219.72	c nbDecision=24000 #constraints=31775
227.44/227.53	c nbDecision=24500 #constraints=32206
234.83/234.91	c nbDecision=25000 #constraints=32643
245.63/245.77	c nbDecision=25500 #constraints=32979
249.23/249.33	c restart after 25601 decisions
256.62/256.79	c nbDecision=26000 #constraints=33315
267.93/268.00	c nbDecision=26500 #constraints=33665
276.22/276.32	c nbDecision=27000 #constraints=34094
285.02/285.11	c nbDecision=27500 #constraints=34515
298.91/299.02	c nbDecision=28000 #constraints=34821
313.32/313.41	c nbDecision=28500 #constraints=35154
323.11/323.27	c nbDecision=29000 #constraints=35580
331.71/331.87	c nbDecision=29500 #constraints=36017
341.31/341.48	c nbDecision=30000 #constraints=36451
350.61/350.73	c nbDecision=30500 #constraints=36881
360.30/360.46	c nbDecision=31000 #constraints=37312
370.70/370.80	c nbDecision=31500 #constraints=37729
379.10/379.21	c nbDecision=32000 #constraints=38184
391.80/391.98	c nbDecision=32500 #constraints=38572
405.59/405.72	c nbDecision=33000 #constraints=38927
420.59/420.79	c nbDecision=33500 #constraints=39292
436.59/436.76	c nbDecision=34000 #constraints=39629
450.78/450.94	c nbDecision=34500 #constraints=40023
465.38/465.59	c nbDecision=35000 #constraints=40388
482.27/482.40	c nbDecision=35500 #constraints=40716
493.57/493.79	c nbDecision=36000 #constraints=41139
509.07/509.30	c nbDecision=36500 #constraints=41508
519.76/519.93	c nbDecision=37000 #constraints=41953
532.16/532.30	c nbDecision=37500 #constraints=42376
542.66/542.85	c nbDecision=38000 #constraints=42821
556.15/556.37	c nbDecision=38500 #constraints=43233
575.55/575.72	c nbDecision=39000 #constraints=43550
593.34/593.59	c nbDecision=39500 #constraints=43938
606.44/606.63	c nbDecision=40000 #constraints=44373
621.34/621.56	c nbDecision=40500 #constraints=44788
637.43/637.66	c nbDecision=41000 #constraints=45183
652.53/652.70	c nbDecision=41500 #constraints=45604
665.82/666.02	c nbDecision=42000 #constraints=46041
683.32/683.55	c nbDecision=42500 #constraints=46431
697.02/697.24	c nbDecision=43000 #constraints=46869
713.01/713.20	c nbDecision=43500 #constraints=47271
736.51/736.76	c nbDecision=44000 #constraints=47592
766.00/766.27	c nbDecision=44500 #constraints=47870
786.39/786.61	c nbDecision=45000 #constraints=48284
808.79/809.04	c nbDecision=45500 #constraints=48660
828.49/828.79	c nbDecision=46000 #constraints=49052
845.28/845.54	c nbDecision=46500 #constraints=49469
858.88/859.15	c nbDecision=47000 #constraints=49917
878.87/879.14	c nbDecision=47500 #constraints=50304
897.27/897.50	c nbDecision=48000 #constraints=50716
920.96/921.27	c nbDecision=48500 #constraints=51060
947.06/947.33	c nbDecision=49000 #constraints=51396
976.95/977.26	c nbDecision=49500 #constraints=51695
998.14/998.40	c nbDecision=50000 #constraints=52063
1015.34/1015.60	c nbDecision=50500 #constraints=52480
1036.13/1036.49	c nbDecision=51000 #constraints=52888
1043.64/1043.90	c restart after 51201 decisions
1062.63/1062.99	c nbDecision=51500 #constraints=53204
1083.92/1084.24	c nbDecision=52000 #constraints=53607
1102.52/1102.83	c nbDecision=52500 #constraints=54041
1127.81/1128.16	c nbDecision=53000 #constraints=54434
1159.60/1159.96	c nbDecision=53500 #constraints=54735
1185.10/1185.48	c nbDecision=54000 #constraints=55110
1207.99/1208.33	c nbDecision=54500 #constraints=55524
1230.19/1230.57	c nbDecision=55000 #constraints=55945
1258.78/1259.14	c nbDecision=55500 #constraints=56266
1279.17/1279.54	c nbDecision=56000 #constraints=56691
1301.77/1302.11	c nbDecision=56500 #constraints=57107
1321.17/1321.55	c nbDecision=57000 #constraints=57534
1345.36/1345.72	c nbDecision=57500 #constraints=57939
1368.36/1368.76	c nbDecision=58000 #constraints=58362
1398.25/1398.65	c nbDecision=58500 #constraints=58733
1426.04/1426.42	c nbDecision=59000 #constraints=59111
1462.13/1462.56	c nbDecision=59500 #constraints=59412
1497.02/1497.40	c nbDecision=60000 #constraints=59739
1536.11/1536.58	c nbDecision=60500 #constraints=60023
1572.90/1573.35	c nbDecision=61000 #constraints=60387
1598.90/1599.37	c nbDecision=61500 #constraints=60807
1633.39/1633.88	c nbDecision=62000 #constraints=61142
1658.48/1658.91	c nbDecision=62500 #constraints=61579
1683.37/1683.82	c nbDecision=63000 #constraints=62013
1721.27/1721.78	c nbDecision=63500 #constraints=62350
1749.67/1750.15	c nbDecision=64000 #constraints=62692
1787.35/1787.85	c nbDecision=64500 #constraints=63040
1800.05/1800.50	Received signal 15
1800.65/1801.10	
1800.65/1801.10	s UNKNOWN
1800.65/1801.10	
1800.65/1801.10	c user time= 1799.72 s
1800.65/1801.10	c system time= 0.934857 s
1800.65/1801.10	c wall clock time=1801.1

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/455075-1178036550/instance-455075-1178036550.opb
mv /tmp/evaluation/455075-1178036550/instance-455075-1178036550.opb.tmp /tmp/evaluation/455075-1178036550/instance-455075-1178036550.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node26/watcher-455075-1178036550 -o ROOT/results/node26/solver-455075-1178036550 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/455075-1178036550/instance-455075-1178036550.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.07 1.02 1.00 3/77 1163
/proc/meminfo: memFree=1788344/2055920 swapFree=4170240/4192956
[pid=1163] ppid=1161 vsize=1468 CPUtime=0
/proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 251571867 1503232 166 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1163/statm: 367 167 131 317 0 46 0

[startup+0.03355 s]
/proc/loadavg: 1.07 1.02 1.00 3/77 1163
/proc/meminfo: memFree=1788344/2055920 swapFree=4170240/4192956
[pid=1163] ppid=1161 vsize=1996 CPUtime=0.03
/proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 313 0 0 0 3 0 0 0 18 0 1 0 251571867 2043904 296 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1163/statm: 499 296 131 317 0 178 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 1996

[startup+0.101556 s]
/proc/loadavg: 1.07 1.02 1.00 3/77 1163
/proc/meminfo: memFree=1788344/2055920 swapFree=4170240/4192956
[pid=1163] ppid=1161 vsize=4572 CPUtime=0.09
/proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 942 0 0 0 9 0 0 0 18 0 1 0 251571867 4681728 925 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1163/statm: 1143 925 132 317 0 822 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4572

[startup+0.301574 s]
/proc/loadavg: 1.07 1.02 1.00 3/77 1163
/proc/meminfo: memFree=1788344/2055920 swapFree=4170240/4192956
[pid=1163] ppid=1161 vsize=7448 CPUtime=0.29
/proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 1680 0 0 0 29 0 0 0 19 0 1 0 251571867 7626752 1574 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1163/statm: 1862 1574 139 317 0 1541 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7448

[startup+0.701613 s]
/proc/loadavg: 1.07 1.02 1.00 3/77 1163
/proc/meminfo: memFree=1788344/2055920 swapFree=4170240/4192956
[pid=1163] ppid=1161 vsize=9428 CPUtime=0.69
/proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 2187 0 0 0 68 1 0 0 22 0 1 0 251571867 9654272 2081 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1163/statm: 2357 2081 139 317 0 2036 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9428

[startup+1.50168 s]
/proc/loadavg: 1.07 1.02 1.00 2/78 1164
/proc/meminfo: memFree=1779632/2055920 swapFree=4170240/4192956
[pid=1163] ppid=1161 vsize=12620 CPUtime=1.49
/proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 2967 0 0 0 148 1 0 0 25 0 1 0 251571867 12922880 2861 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563993 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1163/statm: 3155 2861 139 317 0 2834 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12620

[startup+3.10184 s]
/proc/loadavg: 1.06 1.02 1.00 2/78 1164
/proc/meminfo: memFree=1775408/2055920 swapFree=4170240/4192956
[pid=1163] ppid=1161 vsize=18968 CPUtime=3.09
/proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 4568 0 0 0 307 2 0 0 25 0 1 0 251571867 19423232 4462 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1163/statm: 4742 4462 139 317 0 4421 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18968

[startup+6.30113 s]
/proc/loadavg: 1.06 1.02 1.00 2/78 1164
/proc/meminfo: memFree=1764792/2055920 swapFree=4170240/4192956
[pid=1163] ppid=1161 vsize=30000 CPUtime=6.29
/proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 6981 0 0 0 625 4 0 0 25 0 1 0 251571867 30720000 6875 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1163/statm: 7500 6875 139 317 0 7179 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30000

[startup+12.7017 s]
/proc/loadavg: 1.05 1.01 1.00 2/78 1164
/proc/meminfo: memFree=1750848/2055920 swapFree=4170240/4192956
[pid=1163] ppid=1161 vsize=40296 CPUtime=12.69
/proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 9855 0 0 0 1263 6 0 0 25 0 1 0 251571867 41263104 9749 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1163/statm: 10074 9749 139 317 0 9753 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 40296

[startup+25.5019 s]
/proc/loadavg: 1.04 1.01 1.00 2/78 1164
/proc/meminfo: memFree=1732480/2055920 swapFree=4170240/4192956
[pid=1163] ppid=1161 vsize=59856 CPUtime=25.49
/proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 14194 0 0 0 2540 9 0 0 25 0 1 0 251571867 61292544 14088 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1163/statm: 14964 14088 139 317 0 14643 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 59856

[startup+51.1013 s]
/proc/loadavg: 1.03 1.01 1.00 2/78 1164
/proc/meminfo: memFree=1707456/2055920 swapFree=4170240/4192956
[pid=1163] ppid=1161 vsize=82780 CPUtime=51.08
/proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 20539 0 0 0 5094 14 0 0 25 0 1 0 251571867 84766720 20433 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712513 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1163/statm: 20695 20433 139 317 0 20374 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 82780

[startup+102.305 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 1164
/proc/meminfo: memFree=1665216/2055920 swapFree=4170240/4192956
[pid=1163] ppid=1161 vsize=128092 CPUtime=102.27
/proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 30945 0 0 0 10207 20 0 0 25 0 1 0 251571867 131166208 30839 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1163/statm: 32023 30839 139 317 0 31702 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 128092

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1164
/proc/meminfo: memFree=1630656/2055920 swapFree=4170240/4192956
[pid=1163] ppid=1161 vsize=160560 CPUtime=162.25
/proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 39834 0 0 0 16198 27 0 0 25 0 1 0 251571867 164413440 39551 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1163/statm: 40140 39551 139 317 0 39819 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 160560

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1164
/proc/meminfo: memFree=1602624/2055920 swapFree=4170240/4192956
[pid=1163] ppid=1161 vsize=205488 CPUtime=222.24
/proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 50201 0 0 0 22192 32 0 0 25 0 1 0 251571867 210419712 46420 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1163/statm: 51372 46420 139 317 0 51051 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 205488

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1164
/proc/meminfo: memFree=1579648/2055920 swapFree=4170240/4192956
[pid=1163] ppid=1161 vsize=225656 CPUtime=282.22
/proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 56051 0 0 0 28186 36 0 0 25 0 1 0 251571867 231071744 52237 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1163/statm: 56414 52237 139 317 0 56093 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 225656

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1164
/proc/meminfo: memFree=1560512/2055920 swapFree=4170240/4192956
[pid=1163] ppid=1161 vsize=241996 CPUtime=342.21
/proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 60760 0 0 0 34182 39 0 0 25 0 1 0 251571867 247803904 56946 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1163/statm: 60499 56946 139 317 0 60178 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 241996

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1164
/proc/meminfo: memFree=1538816/2055920 swapFree=4170240/4192956
[pid=1163] ppid=1161 vsize=261104 CPUtime=402.19
/proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 66180 0 0 0 40176 43 0 0 25 0 1 0 251571867 267370496 62366 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1163/statm: 65276 62366 139 317 0 64955 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 261104

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1164
/proc/meminfo: memFree=1526016/2055920 swapFree=4170240/4192956
[pid=1163] ppid=1161 vsize=272184 CPUtime=462.18
/proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 69417 0 0 0 46172 46 0 0 25 0 1 0 251571867 278716416 65603 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1163/statm: 68046 65603 139 317 0 67725 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 272184

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1164
/proc/meminfo: memFree=1509952/2055920 swapFree=4170240/4192956
[pid=1163] ppid=1161 vsize=286388 CPUtime=522.17
/proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 73435 0 0 0 52168 49 0 0 25 0 1 0 251571867 293261312 69621 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1163/statm: 71597 69621 139 317 0 71276 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 286388

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1164
/proc/meminfo: memFree=1495296/2055920 swapFree=4170240/4192956
[pid=1163] ppid=1161 vsize=298832 CPUtime=582.15
/proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 77021 0 0 0 58163 52 0 0 25 0 1 0 251571867 306003968 73207 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563339 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1163/statm: 74708 73207 139 317 0 74387 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 298832

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1164
/proc/meminfo: memFree=1478784/2055920 swapFree=4170240/4192956
[pid=1163] ppid=1161 vsize=312976 CPUtime=642.13
/proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 81141 0 0 0 64159 54 0 0 25 0 1 0 251571867 320487424 77327 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1163/statm: 78244 77327 139 317 0 77923 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 312976


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

[startup+1002.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 1164
/proc/meminfo: memFree=1412480/2055920 swapFree=4170240/4192956
[pid=1163] ppid=1161 vsize=415912 CPUtime=1002.04
/proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 107919 0 0 0 100134 70 0 0 25 0 1 0 251571867 425893888 93872 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1163/statm: 103978 93872 139 317 0 103657 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 415912

[startup+1062.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 1164
/proc/meminfo: memFree=1402688/2055920 swapFree=4170240/4192956
[pid=1163] ppid=1161 vsize=424376 CPUtime=1062.03
/proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 110355 0 0 0 106130 73 0 0 25 0 1 0 251571867 434561024 96308 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604147 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1163/statm: 106094 96308 139 317 0 105773 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 424376

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1166
/proc/meminfo: memFree=1392000/2055920 swapFree=4170240/4192956
[pid=1163] ppid=1161 vsize=433608 CPUtime=1122.02
/proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 112993 0 0 0 112126 76 0 0 25 0 1 0 251571867 444014592 98946 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1163/statm: 108402 98946 139 317 0 108081 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 433608

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1166
/proc/meminfo: memFree=1385408/2055920 swapFree=4170240/4192956
[pid=1163] ppid=1161 vsize=439500 CPUtime=1182
/proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 114631 0 0 0 118123 77 0 0 25 0 1 0 251571867 450048000 100584 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1163/statm: 109875 100584 139 317 0 109554 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 439500

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1166
/proc/meminfo: memFree=1374976/2055920 swapFree=4170240/4192956
[pid=1163] ppid=1161 vsize=448592 CPUtime=1241.98
/proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 117250 0 0 0 124120 78 0 0 25 0 1 0 251571867 459358208 103203 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710933 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1163/statm: 112148 103203 139 317 0 111827 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 448592

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1166
/proc/meminfo: memFree=1366208/2055920 swapFree=4170240/4192956
[pid=1163] ppid=1161 vsize=456032 CPUtime=1301.97
/proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 119419 0 0 0 130117 80 0 0 25 0 1 0 251571867 466976768 105372 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1163/statm: 114008 105372 139 317 0 113687 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 456032

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1166
/proc/meminfo: memFree=1355712/2055920 swapFree=4170240/4192956
[pid=1163] ppid=1161 vsize=465456 CPUtime=1361.96
/proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 122070 0 0 0 136114 82 0 0 25 0 1 0 251571867 476626944 108023 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1163/statm: 116364 108024 139 317 0 116043 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 465456

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1166
/proc/meminfo: memFree=1348032/2055920 swapFree=4170240/4192956
[pid=1163] ppid=1161 vsize=471516 CPUtime=1421.94
/proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 123924 0 0 0 142111 83 0 0 25 0 1 0 251571867 482832384 109877 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1163/statm: 117879 109877 139 317 0 117558 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 471516

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1166
/proc/meminfo: memFree=1343488/2055920 swapFree=4170240/4192956
[pid=1163] ppid=1161 vsize=475596 CPUtime=1481.92
/proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 125115 0 0 0 148107 85 0 0 25 0 1 0 251571867 487010304 111068 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1163/statm: 118899 111068 139 317 0 118578 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 475596

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1166
/proc/meminfo: memFree=1339072/2055920 swapFree=4170240/4192956
[pid=1163] ppid=1161 vsize=479284 CPUtime=1541.91
/proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 126207 0 0 0 154105 86 0 0 25 0 1 0 251571867 490786816 112160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1163/statm: 119821 112160 139 317 0 119500 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 479284

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1166
/proc/meminfo: memFree=1332096/2055920 swapFree=4170240/4192956
[pid=1163] ppid=1161 vsize=485496 CPUtime=1601.89
/proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 127971 0 0 0 160101 88 0 0 25 0 1 0 251571867 497147904 113924 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1163/statm: 121374 113924 139 317 0 121053 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 485496

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1166
/proc/meminfo: memFree=1323968/2055920 swapFree=4170240/4192956
[pid=1163] ppid=1161 vsize=492104 CPUtime=1661.88
/proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 129966 0 0 0 166098 90 0 0 25 0 1 0 251571867 503914496 115919 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1163/statm: 123026 115919 139 317 0 122705 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 492104

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1166
/proc/meminfo: memFree=1317824/2055920 swapFree=4170240/4192956
[pid=1163] ppid=1161 vsize=497712 CPUtime=1721.87
/proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 131505 0 0 0 172095 92 0 0 25 0 1 0 251571867 509657088 117458 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716161 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1163/statm: 124428 117458 139 317 0 124107 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 497712

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1166
/proc/meminfo: memFree=1312064/2055920 swapFree=4170240/4192956
[pid=1163] ppid=1161 vsize=502744 CPUtime=1781.85
/proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 132972 0 0 0 178092 93 0 0 25 0 1 0 251571867 514809856 118925 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1163/statm: 125686 118925 139 317 0 125365 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 502744



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1166
/proc/meminfo: memFree=1310656/2055920 swapFree=4170240/4192956
[pid=1163] ppid=1161 vsize=504072 CPUtime=1800.05
/proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 133300 0 0 0 179912 93 0 0 25 0 1 0 251571867 516169728 119253 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1163/statm: 126018 119253 139 317 0 125697 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 504072

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

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

[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 1167
/proc/meminfo: memFree=1310648/2055920 swapFree=4170240/4192956
[pid=1163] ppid=1161 vsize=504072 CPUtime=1800.15
/proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 133300 0 0 0 179922 93 0 0 25 0 1 0 251571867 516169728 119253 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1163/statm: 126018 119253 139 317 0 125697 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 504072

[startup+1801 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 1167
/proc/meminfo: memFree=1310648/2055920 swapFree=4170240/4192956
[pid=1163] ppid=1161 vsize=504072 CPUtime=1800.55
/proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 133300 0 0 0 179962 93 0 0 25 0 1 0 251571867 516169728 119253 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1163/statm: 126018 119253 139 317 0 125697 0
Current children cumulated CPU time (s) 1800.55
Current children cumulated vsize (KiB) 504072

[startup+1801.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 1167
/proc/meminfo: memFree=1310648/2055920 swapFree=4170240/4192956
[pid=1163] ppid=1161 vsize=504072 CPUtime=1800.65
/proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 133300 0 0 0 179972 93 0 0 25 0 1 0 251571867 516169728 119253 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1163/statm: 126018 119253 139 317 0 125697 0
Current children cumulated CPU time (s) 1800.65
Current children cumulated vsize (KiB) 504072

Child status: 0
Real time (s): 1801.2
CPU time (s): 1800.75
CPU user time (s): 1799.74
CPU system time (s): 1.01285
CPU usage (%): 99.9752
Max. virtual memory (cumulated for all children) (KiB): 504072

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

runsolver used 1.42078 second user time and 3.86841 second system time

The end

Launcher Data (download as text)

Begin job on node26 on Tue May  1 16:22:30 UTC 2007

IDJOB= 455075
IDBENCH= 48239
IDSOLVER= 172
FILE ID= node26/455075-1178036550

PBS_JOBID= 4728408

Free space on /tmp= 66563 MiB

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

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

META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e
MD5SUM BENCH=  4142356c9f50acd7c9005938f6b31a6d

RANDOM SEED= 304565754

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node26.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.213
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.213
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:       1788752 kB
Buffers:         55508 kB
Cached:         114068 kB
SwapCached:       3416 kB
Active:         114652 kB
Inactive:        85816 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1788752 kB
SwapTotal:     4192956 kB
SwapFree:      4170240 kB
Dirty:            1492 kB
Writeback:           0 kB
Mapped:          37100 kB
Slab:            52256 kB
Committed_AS:  2472160 kB
PageTables:       1728 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= 66563 MiB

End job on node26 on Tue May  1 16:52:33 UTC 2007