Trace number 455105

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
oree 0.1.2 alpha? (TO) 1800.09 1800.65

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_10_2.opb
MD5SUMc154cb0964ce03c2d199339cf62d0c63
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-29
Best CPU time to get the best result obtained on this benchmark1800.01
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -29
Optimality of the best value was proved NO
Number of variables200
Total number of constraints301
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
Number of terms in the objective function 100
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 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2520
Sum of products size (including duplicates)5040
Number of different products1260
Sum of products size2520

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.00/0.02	c ...done
0.00/0.02	c #vars=1460 #constraints=2823 hasObjective=yes
0.00/0.03	c res. mode=mod
0.00/0.03	c VSIDS like heuristics
0.00/0.03	c complete search running
0.10/0.15	c restart after 401 decisions
0.10/0.18	c nbDecision=500 #constraints=3024
0.19/0.27	c restart after 801 decisions
0.29/0.34	c nbDecision=1000 #constraints=3170
0.49/0.54	c nbDecision=1500 #constraints=3325
0.59/0.60	c restart after 1601 decisions
0.79/0.80	c nbDecision=2000 #constraints=3506
1.10/1.12	c nbDecision=2500 #constraints=3676
1.39/1.47	c nbDecision=3000 #constraints=3830
1.59/1.64	c restart after 3201 decisions
1.89/1.90	c nbDecision=3500 #constraints=4071
2.39/2.50	c nbDecision=4000 #constraints=4261
3.20/3.23	c nbDecision=4500 #constraints=4437
3.99/4.09	c nbDecision=5000 #constraints=4695
5.19/5.24	c nbDecision=5500 #constraints=4897
6.59/6.62	c nbDecision=6000 #constraints=5099
7.78/7.83	c restart after 6401 decisions
8.08/8.17	c nbDecision=6500 #constraints=5330
9.99/10.05	c nbDecision=7000 #constraints=5509
12.19/12.27	c nbDecision=7500 #constraints=5692
14.69/14.77	c nbDecision=8000 #constraints=5819
17.29/17.31	c nbDecision=8500 #constraints=5955
19.69/19.78	c nbDecision=9000 #constraints=6174
22.18/22.25	c nbDecision=9500 #constraints=6425
24.99/25.08	c nbDecision=10000 #constraints=6689
27.89/27.92	c nbDecision=10500 #constraints=6998
30.98/31.08	c nbDecision=11000 #constraints=7257
34.78/34.86	c nbDecision=11500 #constraints=7440
38.88/38.93	c nbDecision=12000 #constraints=7645
42.68/42.78	c nbDecision=12500 #constraints=7929
45.08/45.17	c restart after 12801 decisions
46.87/46.94	c nbDecision=13000 #constraints=8207
51.38/51.48	c nbDecision=13500 #constraints=8488
56.47/56.58	c nbDecision=14000 #constraints=8779
61.87/61.99	c nbDecision=14500 #constraints=9024
67.57/67.65	c nbDecision=15000 #constraints=9285
73.68/73.73	c nbDecision=15500 #constraints=9545
79.77/79.82	c nbDecision=16000 #constraints=9850
86.87/86.95	c nbDecision=16500 #constraints=10118
93.57/93.70	c nbDecision=17000 #constraints=10399
100.96/101.08	c nbDecision=17500 #constraints=10676
108.96/109.07	c nbDecision=18000 #constraints=10918
117.06/117.16	c nbDecision=18500 #constraints=11212
125.56/125.66	c nbDecision=19000 #constraints=11511
134.96/135.00	c nbDecision=19500 #constraints=11739
143.05/143.19	c nbDecision=20000 #constraints=12061
152.64/152.78	c nbDecision=20500 #constraints=12371
162.05/162.19	c nbDecision=21000 #constraints=12679
172.14/172.22	c nbDecision=21500 #constraints=12981
181.54/181.62	c nbDecision=22000 #constraints=13320
191.53/191.63	c nbDecision=22500 #constraints=13644
202.54/202.63	c nbDecision=23000 #constraints=13989
213.64/213.73	c nbDecision=23500 #constraints=14322
225.52/225.62	c nbDecision=24000 #constraints=14685
240.03/240.18	c nbDecision=24500 #constraints=14947
252.92/253.02	c nbDecision=25000 #constraints=15293
266.02/266.18	c nbDecision=25500 #constraints=15693
269.12/269.22	c restart after 25601 decisions
280.42/280.51	c nbDecision=26000 #constraints=16020
294.21/294.33	c nbDecision=26500 #constraints=16391
309.10/309.29	c nbDecision=27000 #constraints=16765
324.70/324.84	c nbDecision=27500 #constraints=17102
339.90/340.07	c nbDecision=28000 #constraints=17485
357.89/358.09	c nbDecision=28500 #constraints=17833
374.69/374.87	c nbDecision=29000 #constraints=18187
392.09/392.27	c nbDecision=29500 #constraints=18560
408.58/408.73	c nbDecision=30000 #constraints=18945
425.17/425.32	c nbDecision=30500 #constraints=19355
442.87/443.01	c nbDecision=31000 #constraints=19774
460.67/460.85	c nbDecision=31500 #constraints=20181
478.86/479.06	c nbDecision=32000 #constraints=20608
498.85/499.05	c nbDecision=32500 #constraints=21021
519.35/519.55	c nbDecision=33000 #constraints=21455
541.14/541.37	c nbDecision=33500 #constraints=21870
559.94/560.15	c nbDecision=34000 #constraints=22320
583.03/583.24	c nbDecision=34500 #constraints=22707
607.03/607.26	c nbDecision=35000 #constraints=23105
631.12/631.32	c nbDecision=35500 #constraints=23499
656.61/656.83	c nbDecision=36000 #constraints=23920
681.60/681.89	c nbDecision=36500 #constraints=24364
703.70/703.93	c nbDecision=37000 #constraints=24823
736.39/736.67	c nbDecision=37500 #constraints=25170
766.39/766.69	c nbDecision=38000 #constraints=25530
794.87/795.12	c nbDecision=38500 #constraints=25931
822.37/822.63	c nbDecision=39000 #constraints=26351
851.26/851.54	c nbDecision=39500 #constraints=26767
875.15/875.43	c nbDecision=40000 #constraints=27230
899.45/899.71	c nbDecision=40500 #constraints=27685
928.44/928.79	c nbDecision=41000 #constraints=28107
956.74/957.00	c nbDecision=41500 #constraints=28525
985.03/985.37	c nbDecision=42000 #constraints=28952
1011.21/1011.55	c nbDecision=42500 #constraints=29379
1041.01/1041.33	c nbDecision=43000 #constraints=29813
1074.49/1074.89	c nbDecision=43500 #constraints=30240
1107.30/1107.68	c nbDecision=44000 #constraints=30710
1141.58/1141.93	c nbDecision=44500 #constraints=31147
1176.07/1176.44	c nbDecision=45000 #constraints=31546
1213.36/1213.73	c nbDecision=45500 #constraints=31917
1246.55/1246.94	c nbDecision=46000 #constraints=32348
1279.45/1279.87	c nbDecision=46500 #constraints=32779
1310.43/1310.88	c nbDecision=47000 #constraints=33185
1349.12/1349.57	c nbDecision=47500 #constraints=33586
1383.72/1384.14	c nbDecision=48000 #constraints=33981
1419.91/1420.40	c nbDecision=48500 #constraints=34434
1451.39/1451.90	c nbDecision=49000 #constraints=34918
1483.59/1484.01	c nbDecision=49500 #constraints=35387
1515.88/1516.38	c nbDecision=50000 #constraints=35859
1552.17/1552.66	c nbDecision=50500 #constraints=36307
1589.76/1590.28	c nbDecision=51000 #constraints=36746
1608.15/1608.60	c restart after 51201 decisions
1630.35/1630.85	c nbDecision=51500 #constraints=37160
1663.84/1664.38	c nbDecision=52000 #constraints=37605
1699.73/1700.27	c nbDecision=52500 #constraints=38043
1742.93/1743.40	c nbDecision=53000 #constraints=38455
1782.87/1783.43	c nbDecision=53500 #constraints=38877
1800.03/1800.61	Received signal 15
1800.03/1800.61	
1800.03/1800.61	s UNKNOWN
1800.03/1800.61	
1800.03/1800.61	c user time= 1799.58 s
1800.03/1800.61	c system time= 0.468928 s
1800.03/1800.61	c wall clock time=1800.62

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/455105-1178037087/instance-455105-1178037087.opb
mv /tmp/evaluation/455105-1178037087/instance-455105-1178037087.opb.tmp /tmp/evaluation/455105-1178037087/instance-455105-1178037087.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node55/watcher-455105-1178037087 -o ROOT/results/node55/solver-455105-1178037087 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/455105-1178037087/instance-455105-1178037087.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.12 1.15 1.12 3/64 5521
/proc/meminfo: memFree=1762580/2055920 swapFree=4184544/4192956
[pid=5521] ppid=5519 vsize=1468 CPUtime=0
/proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 251618763 1503232 164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5521/statm: 367 164 131 317 0 46 0

[startup+0.0861819 s]
/proc/loadavg: 1.12 1.15 1.12 3/64 5521
/proc/meminfo: memFree=1762580/2055920 swapFree=4184544/4192956
[pid=5521] ppid=5519 vsize=2944 CPUtime=0.08
/proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 539 0 0 0 8 0 0 0 18 0 1 0 251618763 3014656 522 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5521/statm: 736 523 139 317 0 415 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2944

[startup+0.101184 s]
/proc/loadavg: 1.12 1.15 1.12 3/64 5521
/proc/meminfo: memFree=1762580/2055920 swapFree=4184544/4192956
[pid=5521] ppid=5519 vsize=3076 CPUtime=0.1
/proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 566 0 0 0 10 0 0 0 18 0 1 0 251618763 3149824 549 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5521/statm: 769 549 139 317 0 448 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3076

[startup+0.301202 s]
/proc/loadavg: 1.12 1.15 1.12 3/64 5521
/proc/meminfo: memFree=1762580/2055920 swapFree=4184544/4192956
[pid=5521] ppid=5519 vsize=4132 CPUtime=0.29
/proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 833 0 0 0 29 0 0 0 19 0 1 0 251618763 4231168 816 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718558 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5521/statm: 1033 816 139 317 0 712 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4132

[startup+0.70124 s]
/proc/loadavg: 1.12 1.15 1.12 3/64 5521
/proc/meminfo: memFree=1762580/2055920 swapFree=4184544/4192956
[pid=5521] ppid=5519 vsize=5732 CPUtime=0.69
/proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 1240 0 0 0 69 0 0 0 22 0 1 0 251618763 5869568 1223 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5521/statm: 1433 1223 139 317 0 1112 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5732

[startup+1.50131 s]
/proc/loadavg: 1.12 1.15 1.12 2/65 5522
/proc/meminfo: memFree=1757332/2055920 swapFree=4184544/4192956
[pid=5521] ppid=5519 vsize=7448 CPUtime=1.49
/proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 1662 0 0 0 149 0 0 0 25 0 1 0 251618763 7626752 1645 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5521/statm: 1862 1645 139 317 0 1541 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7448

[startup+3.10146 s]
/proc/loadavg: 1.11 1.15 1.12 2/65 5522
/proc/meminfo: memFree=1754516/2055920 swapFree=4184544/4192956
[pid=5521] ppid=5519 vsize=10544 CPUtime=3.09
/proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 2438 0 0 0 308 1 0 0 25 0 1 0 251618763 10797056 2421 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5521/statm: 2636 2421 139 317 0 2315 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10544

[startup+6.30176 s]
/proc/loadavg: 1.11 1.15 1.12 2/65 5522
/proc/meminfo: memFree=1751204/2055920 swapFree=4184544/4192956
[pid=5521] ppid=5519 vsize=14260 CPUtime=6.29
/proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 3243 0 0 0 628 1 0 0 25 0 1 0 251618763 14602240 3226 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5521/statm: 3565 3226 139 317 0 3244 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14260

[startup+12.7024 s]
/proc/loadavg: 1.10 1.14 1.11 2/65 5522
/proc/meminfo: memFree=1747004/2055920 swapFree=4184544/4192956
[pid=5521] ppid=5519 vsize=17288 CPUtime=12.69
/proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 4088 0 0 0 1267 2 0 0 25 0 1 0 251618763 17702912 4034 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5521/statm: 4322 4034 139 317 0 4001 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17288

[startup+25.5016 s]
/proc/loadavg: 1.08 1.14 1.11 2/65 5522
/proc/meminfo: memFree=1742652/2055920 swapFree=4184544/4192956
[pid=5521] ppid=5519 vsize=21640 CPUtime=25.49
/proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 5212 0 0 0 2546 3 0 0 25 0 1 0 251618763 22159360 5158 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5521/statm: 5410 5158 139 317 0 5089 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 21640

[startup+51.102 s]
/proc/loadavg: 1.05 1.12 1.11 2/65 5522
/proc/meminfo: memFree=1733884/2055920 swapFree=4184544/4192956
[pid=5521] ppid=5519 vsize=31400 CPUtime=51.08
/proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 7403 0 0 0 5103 5 0 0 25 0 1 0 251618763 32153600 7349 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5521/statm: 7850 7349 139 317 0 7529 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 31400

[startup+102.306 s]
/proc/loadavg: 1.02 1.10 1.10 2/65 5522
/proc/meminfo: memFree=1723132/2055920 swapFree=4184544/4192956
[pid=5521] ppid=5519 vsize=41352 CPUtime=102.27
/proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 10107 0 0 0 10220 7 0 0 25 0 1 0 251618763 42344448 9980 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718451 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5521/statm: 10338 9980 139 317 0 10017 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 41352

[startup+162.301 s]
/proc/loadavg: 1.01 1.08 1.09 2/65 5522
/proc/meminfo: memFree=1712700/2055920 swapFree=4184544/4192956
[pid=5521] ppid=5519 vsize=54444 CPUtime=162.25
/proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 12718 0 0 0 16216 9 0 0 25 0 1 0 251618763 55750656 12591 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5521/statm: 13611 12591 139 317 0 13290 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 54444

[startup+222.301 s]
/proc/loadavg: 1.00 1.06 1.08 2/65 5522
/proc/meminfo: memFree=1703804/2055920 swapFree=4184544/4192956
[pid=5521] ppid=5519 vsize=62780 CPUtime=222.23
/proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 14907 0 0 0 22211 12 0 0 25 0 1 0 251618763 64286720 14780 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5521/statm: 15695 14780 139 317 0 15374 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 62780

[startup+282.302 s]
/proc/loadavg: 1.00 1.05 1.08 2/65 5522
/proc/meminfo: memFree=1696636/2055920 swapFree=4184544/4192956
[pid=5521] ppid=5519 vsize=69516 CPUtime=282.22
/proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 16679 0 0 0 28207 15 0 0 25 0 1 0 251618763 71184384 16552 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5521/statm: 17379 16552 139 317 0 17058 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 69516

[startup+342.301 s]
/proc/loadavg: 1.00 1.04 1.07 2/65 5522
/proc/meminfo: memFree=1689916/2055920 swapFree=4184544/4192956
[pid=5521] ppid=5519 vsize=76560 CPUtime=342.2
/proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 18363 0 0 0 34203 17 0 0 25 0 1 0 251618763 78397440 18236 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5521/statm: 19140 18236 139 317 0 18819 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 76560

[startup+402.302 s]
/proc/loadavg: 1.00 1.03 1.06 2/65 5522
/proc/meminfo: memFree=1683964/2055920 swapFree=4184544/4192956
[pid=5521] ppid=5519 vsize=82212 CPUtime=402.18
/proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 19891 0 0 0 40200 18 0 0 25 0 1 0 251618763 84185088 19764 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5521/statm: 20553 19764 139 317 0 20232 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 82212

[startup+462.302 s]
/proc/loadavg: 1.00 1.02 1.06 2/65 5522
/proc/meminfo: memFree=1676924/2055920 swapFree=4184544/4192956
[pid=5521] ppid=5519 vsize=94956 CPUtime=462.17
/proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 22801 0 0 0 46196 21 0 0 25 0 1 0 251618763 97234944 21519 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5521/statm: 23739 21519 139 317 0 23418 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 94956

[startup+522.301 s]
/proc/loadavg: 1.00 1.02 1.05 2/65 5522
/proc/meminfo: memFree=1670908/2055920 swapFree=4184544/4192956
[pid=5521] ppid=5519 vsize=101704 CPUtime=522.15
/proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 24524 0 0 0 52193 22 0 0 25 0 1 0 251618763 104144896 23033 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5521/statm: 25426 23033 139 317 0 25105 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 101704

[startup+582.302 s]
/proc/loadavg: 1.00 1.01 1.05 2/65 5522
/proc/meminfo: memFree=1665084/2055920 swapFree=4184544/4192956
[pid=5521] ppid=5519 vsize=107364 CPUtime=582.14
/proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 26059 0 0 0 58190 24 0 0 25 0 1 0 251618763 109940736 24469 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274638 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5521/statm: 26841 24469 139 317 0 26520 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 107364

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.04 2/65 5524
/proc/meminfo: memFree=1660028/2055920 swapFree=4184544/4192956
[pid=5521] ppid=5519 vsize=112000 CPUtime=642.12
/proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 27337 0 0 0 64186 26 0 0 25 0 1 0 251618763 114688000 25714 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5521/statm: 28000 25714 139 317 0 27679 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 112000


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

[startup+822.302 s]
/proc/loadavg: 1.11 1.04 1.04 2/65 5524
/proc/meminfo: memFree=1647356/2055920 swapFree=4184544/4192956
[pid=5521] ppid=5519 vsize=124220 CPUtime=822.07
/proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 30783 0 0 0 82178 29 0 0 25 0 1 0 251618763 127201280 28896 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5521/statm: 31055 28896 139 317 0 30734 0
Current children cumulated CPU time (s) 822.07
Current children cumulated vsize (KiB) 124220

[startup+882.301 s]
/proc/loadavg: 1.04 1.03 1.03 2/65 5524
/proc/meminfo: memFree=1642236/2055920 swapFree=4184544/4192956
[pid=5521] ppid=5519 vsize=129076 CPUtime=882.05
/proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 32160 0 0 0 88175 30 0 0 25 0 1 0 251618763 132173824 30141 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5521/statm: 32269 30141 139 317 0 31948 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 129076

[startup+942.302 s]
/proc/loadavg: 1.01 1.02 1.03 2/65 5524
/proc/meminfo: memFree=1637500/2055920 swapFree=4184544/4192956
[pid=5521] ppid=5519 vsize=133668 CPUtime=942.03
/proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 33479 0 0 0 94172 31 0 0 25 0 1 0 251618763 136876032 31328 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5521/statm: 33417 31328 139 317 0 33096 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 133668

[startup+1002.3 s]
/proc/loadavg: 1.00 1.02 1.02 2/65 5524
/proc/meminfo: memFree=1633148/2055920 swapFree=4184544/4192956
[pid=5521] ppid=5519 vsize=138236 CPUtime=1002.02
/proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 34790 0 0 0 100170 32 0 0 25 0 1 0 251618763 141553664 32408 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5521/statm: 34559 32408 139 317 0 34238 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 138236

[startup+1062.3 s]
/proc/loadavg: 1.00 1.01 1.02 2/65 5524
/proc/meminfo: memFree=1628988/2055920 swapFree=4184544/4192956
[pid=5521] ppid=5519 vsize=142164 CPUtime=1062
/proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 35963 0 0 0 106167 33 0 0 25 0 1 0 251618763 145575936 33482 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5521/statm: 35541 33482 139 317 0 35220 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 142164

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.01 2/65 5524
/proc/meminfo: memFree=1625020/2055920 swapFree=4184544/4192956
[pid=5521] ppid=5519 vsize=146340 CPUtime=1121.99
/proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 37153 0 0 0 112164 35 0 0 25 0 1 0 251618763 149852160 34441 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5521/statm: 36585 34441 139 317 0 36264 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 146340

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5524
/proc/meminfo: memFree=1621436/2055920 swapFree=4184544/4192956
[pid=5521] ppid=5519 vsize=150012 CPUtime=1181.97
/proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 38189 0 0 0 118162 35 0 0 25 0 1 0 251618763 153612288 35345 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5521/statm: 37503 35345 139 317 0 37182 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 150012

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5524
/proc/meminfo: memFree=1618300/2055920 swapFree=4184544/4192956
[pid=5521] ppid=5519 vsize=153152 CPUtime=1241.95
/proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 39097 0 0 0 124158 37 0 0 25 0 1 0 251618763 156827648 36121 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5521/statm: 38288 36121 139 317 0 37967 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 153152

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5524
/proc/meminfo: memFree=1614332/2055920 swapFree=4184544/4192956
[pid=5521] ppid=5519 vsize=156960 CPUtime=1301.94
/proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 40125 0 0 0 130156 38 0 0 25 0 1 0 251618763 160727040 37083 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712536 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5521/statm: 39240 37083 139 317 0 38919 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 156960

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5524
/proc/meminfo: memFree=1610876/2055920 swapFree=4184544/4192956
[pid=5521] ppid=5519 vsize=160096 CPUtime=1361.92
/proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 41080 0 0 0 136153 39 0 0 25 0 1 0 251618763 163938304 37939 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5521/statm: 40024 37939 139 317 0 39703 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 160096

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5524
/proc/meminfo: memFree=1607548/2055920 swapFree=4184544/4192956
[pid=5521] ppid=5519 vsize=163240 CPUtime=1421.91
/proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 42003 0 0 0 142151 40 0 0 25 0 1 0 251618763 167157760 38796 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5521/statm: 40810 38796 139 317 0 40489 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 163240

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5524
/proc/meminfo: memFree=1603004/2055920 swapFree=4184544/4192956
[pid=5521] ppid=5519 vsize=167312 CPUtime=1481.88
/proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 43160 0 0 0 148148 40 0 0 25 0 1 0 251618763 171327488 39920 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604197 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5521/statm: 41828 39920 139 317 0 41507 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 167312

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5524
/proc/meminfo: memFree=1598972/2055920 swapFree=4184544/4192956
[pid=5521] ppid=5519 vsize=174572 CPUtime=1541.87
/proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 45132 0 0 0 154145 42 0 0 25 0 1 0 251618763 178761728 40884 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5521/statm: 43643 40884 139 317 0 43322 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 174572

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5524
/proc/meminfo: memFree=1595900/2055920 swapFree=4184544/4192956
[pid=5521] ppid=5519 vsize=182444 CPUtime=1601.85
/proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 47193 0 0 0 160142 43 0 0 25 0 1 0 251618763 186822656 41677 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5521/statm: 45611 41677 139 317 0 45290 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 182444

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5524
/proc/meminfo: memFree=1592252/2055920 swapFree=4184544/4192956
[pid=5521] ppid=5519 vsize=187028 CPUtime=1661.84
/proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 48474 0 0 0 166140 44 0 0 25 0 1 0 251618763 191516672 42600 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5521/statm: 46757 42600 139 317 0 46436 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 187028

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5524
/proc/meminfo: memFree=1589308/2055920 swapFree=4184544/4192956
[pid=5521] ppid=5519 vsize=189532 CPUtime=1721.82
/proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 49207 0 0 0 172137 45 0 0 25 0 1 0 251618763 194080768 43333 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5521/statm: 47383 43333 139 317 0 47062 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 189532

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/71 5596
/proc/meminfo: memFree=1584652/2055920 swapFree=4184544/4192956
[pid=5521] ppid=5519 vsize=192276 CPUtime=1781.77
/proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 50041 0 0 0 178131 46 0 0 25 0 1 0 251618763 196890624 44167 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5521/statm: 48069 44167 139 317 0 47748 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 192276



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/71 5680
/proc/meminfo: memFree=1583364/2055920 swapFree=4184544/4192956
[pid=5521] ppid=5519 vsize=193324 CPUtime=1800.03
/proc/5521/stat : 5521 (oree) R 5519 5521 19386 0 -1 4194304 50333 0 0 0 179957 46 0 0 25 0 1 0 251618763 197963776 44459 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5521/statm: 48331 44459 139 317 0 48010 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 193324

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

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

Child status: 0
Real time (s): 1800.65
CPU time (s): 1800.09
CPU user time (s): 1799.59
CPU system time (s): 0.500923
CPU usage (%): 99.9687
Max. virtual memory (cumulated for all children) (KiB): 193324

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

runsolver used 1.3158 second user time and 3.63845 second system time

The end

Launcher Data (download as text)

Begin job on node55 on Tue May  1 16:31:27 UTC 2007

IDJOB= 455105
IDBENCH= 48241
IDSOLVER= 172
FILE ID= node55/455105-1178037087

PBS_JOBID= 4728394

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_100_10_2.opb
COMMAND LINE= oree /tmp/evaluation/455105-1178037087/instance-455105-1178037087.opb mod           
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node55/convwatcher-455105-1178037087 -o ROOT/results/node55/conversion-455105-1178037087 -C 600 -M 1800 /tmp/evaluation/455105-1178037087/substituteSizeProductKeyword /tmp/evaluation/455105-1178037087/instance-455105-1178037087.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e
MD5SUM BENCH=  c154cb0964ce03c2d199339cf62d0c63

RANDOM SEED= 379596303

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node55.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.216
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.216
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:       1762988 kB
Buffers:         78760 kB
Cached:         124708 kB
SwapCached:       2436 kB
Active:         106620 kB
Inactive:       111420 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1762988 kB
SwapTotal:     4192956 kB
SwapFree:      4184544 kB
Dirty:            1336 kB
Writeback:           0 kB
Mapped:          20584 kB
Slab:            60972 kB
Committed_AS:  3331040 kB
PageTables:       1396 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 node55 on Tue May  1 17:01:30 UTC 2007