Trace number 454985

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.17 1800.72

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_25_3.opb
MD5SUM7d5c1eba9f9b9c55d272c1a8f28b465a
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-31
Best CPU time to get the best result obtained on this benchmark1800.1
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -31
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)12432
Sum of products size (including duplicates)24864
Number of different products6216
Sum of products size12432

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=6616 #constraints=13035 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.77	c restart after 401 decisions
0.79/0.81	c nbDecision=500 #constraints=13309
1.39/1.41	c restart after 801 decisions
1.69/1.71	c nbDecision=1000 #constraints=13642
2.79/2.87	c nbDecision=1500 #constraints=14078
3.09/3.12	c restart after 1601 decisions
3.99/4.01	c nbDecision=2000 #constraints=14431
5.29/5.37	c nbDecision=2500 #constraints=14875
6.79/6.84	c nbDecision=3000 #constraints=15343
7.49/7.52	c restart after 3201 decisions
8.58/8.63	c nbDecision=3500 #constraints=15692
10.39/10.40	c nbDecision=4000 #constraints=16123
12.29/12.34	c nbDecision=4500 #constraints=16547
14.49/14.57	c nbDecision=5000 #constraints=16953
16.88/16.94	c nbDecision=5500 #constraints=17351
19.38/19.43	c nbDecision=6000 #constraints=17753
21.28/21.33	c restart after 6401 decisions
22.38/22.44	c nbDecision=6500 #constraints=18104
25.89/25.92	c nbDecision=7000 #constraints=18412
29.28/29.33	c nbDecision=7500 #constraints=18779
31.68/31.77	c nbDecision=8000 #constraints=19233
34.78/34.86	c nbDecision=8500 #constraints=19642
38.08/38.14	c nbDecision=9000 #constraints=20054
41.48/41.57	c nbDecision=9500 #constraints=20470
46.09/46.16	c nbDecision=10000 #constraints=20802
50.78/50.83	c nbDecision=10500 #constraints=21138
54.17/54.29	c nbDecision=11000 #constraints=21572
58.47/58.51	c nbDecision=11500 #constraints=21970
62.28/62.34	c nbDecision=12000 #constraints=22402
66.77/66.86	c nbDecision=12500 #constraints=22799
69.38/69.47	c restart after 12801 decisions
72.48/72.52	c nbDecision=13000 #constraints=23134
77.37/77.44	c nbDecision=13500 #constraints=23515
83.77/83.89	c nbDecision=14000 #constraints=23832
89.76/89.88	c nbDecision=14500 #constraints=24182
97.17/97.22	c nbDecision=15000 #constraints=24468
104.67/104.71	c nbDecision=15500 #constraints=24762
110.97/111.08	c nbDecision=16000 #constraints=25115
118.56/118.69	c nbDecision=16500 #constraints=25420
131.65/131.74	c nbDecision=17000 #constraints=25535
137.25/137.31	c nbDecision=17500 #constraints=25915
142.86/142.96	c nbDecision=18000 #constraints=26332
150.55/150.70	c nbDecision=18500 #constraints=26659
156.85/156.91	c nbDecision=19000 #constraints=27081
163.35/163.40	c nbDecision=19500 #constraints=27466
169.45/169.59	c nbDecision=20000 #constraints=27879
175.45/175.56	c nbDecision=20500 #constraints=28301
181.84/181.93	c nbDecision=21000 #constraints=28718
187.95/188.07	c nbDecision=21500 #constraints=29148
196.44/196.50	c nbDecision=22000 #constraints=29503
203.64/203.77	c nbDecision=22500 #constraints=29909
210.63/210.76	c nbDecision=23000 #constraints=30328
219.23/219.39	c nbDecision=23500 #constraints=30718
228.53/228.69	c nbDecision=24000 #constraints=31068
241.53/241.67	c nbDecision=24500 #constraints=31355
250.43/250.57	c nbDecision=25000 #constraints=31736
258.83/258.98	c nbDecision=25500 #constraints=32155
260.03/260.16	c restart after 25601 decisions
268.13/268.25	c nbDecision=26000 #constraints=32519
278.02/278.13	c nbDecision=26500 #constraints=32899
288.42/288.53	c nbDecision=27000 #constraints=33232
297.12/297.29	c nbDecision=27500 #constraints=33644
306.71/306.80	c nbDecision=28000 #constraints=34031
317.82/317.91	c nbDecision=28500 #constraints=34380
328.70/328.82	c nbDecision=29000 #constraints=34781
337.38/337.53	c nbDecision=29500 #constraints=35158
346.26/346.44	c nbDecision=30000 #constraints=35582
363.02/363.29	c nbDecision=30500 #constraints=35868
376.21/376.42	c nbDecision=31000 #constraints=36207
385.21/385.46	c nbDecision=31500 #constraints=36662
395.99/396.29	c nbDecision=32000 #constraints=37063
406.50/406.71	c nbDecision=32500 #constraints=37488
417.49/417.79	c nbDecision=33000 #constraints=37906
428.70/428.96	c nbDecision=33500 #constraints=38321
445.49/445.77	c nbDecision=34000 #constraints=38633
460.48/460.76	c nbDecision=34500 #constraints=38975
472.28/472.52	c nbDecision=35000 #constraints=39390
484.38/484.66	c nbDecision=35500 #constraints=39798
497.17/497.46	c nbDecision=36000 #constraints=40196
510.47/510.78	c nbDecision=36500 #constraints=40592
530.36/530.61	c nbDecision=37000 #constraints=40844
547.26/547.54	c nbDecision=37500 #constraints=41177
569.95/570.22	c nbDecision=38000 #constraints=41426
583.65/583.90	c nbDecision=38500 #constraints=41834
598.15/598.48	c nbDecision=39000 #constraints=42234
612.84/613.14	c nbDecision=39500 #constraints=42612
621.84/622.17	c nbDecision=40000 #constraints=43090
633.93/634.23	c nbDecision=40500 #constraints=43522
650.23/650.53	c nbDecision=41000 #constraints=43902
665.24/665.58	c nbDecision=41500 #constraints=44303
680.12/680.42	c nbDecision=42000 #constraints=44715
698.32/698.63	c nbDecision=42500 #constraints=45056
716.51/716.87	c nbDecision=43000 #constraints=45421
740.51/740.82	c nbDecision=43500 #constraints=45737
763.10/763.44	c nbDecision=44000 #constraints=45983
785.59/785.96	c nbDecision=44500 #constraints=46281
812.19/812.53	c nbDecision=45000 #constraints=46517
831.08/831.48	c nbDecision=45500 #constraints=46890
857.68/858.05	c nbDecision=46000 #constraints=47185
884.47/884.85	c nbDecision=46500 #constraints=47442
908.27/908.64	c nbDecision=47000 #constraints=47782
924.46/924.82	c nbDecision=47500 #constraints=48170
939.36/939.76	c nbDecision=48000 #constraints=48605
950.26/950.69	c nbDecision=48500 #constraints=49081
963.66/964.04	c nbDecision=49000 #constraints=49539
978.05/978.47	c nbDecision=49500 #constraints=49987
994.54/994.92	c nbDecision=50000 #constraints=50414
1015.83/1016.29	c nbDecision=50500 #constraints=50769
1032.73/1033.10	c nbDecision=51000 #constraints=51201
1043.13/1043.56	c restart after 51201 decisions
1062.63/1063.04	c nbDecision=51500 #constraints=51446
1085.42/1085.86	c nbDecision=52000 #constraints=51812
1116.81/1117.21	c nbDecision=52500 #constraints=52128
1137.41/1137.81	c nbDecision=53000 #constraints=52554
1158.10/1158.59	c nbDecision=53500 #constraints=52933
1179.80/1180.29	c nbDecision=54000 #constraints=53377
1196.69/1197.11	c nbDecision=54500 #constraints=53769
1212.39/1212.87	c nbDecision=55000 #constraints=54221
1233.88/1234.37	c nbDecision=55500 #constraints=54636
1258.68/1259.14	c nbDecision=56000 #constraints=55044
1282.47/1282.97	c nbDecision=56500 #constraints=55463
1311.06/1311.54	c nbDecision=57000 #constraints=55805
1339.05/1339.52	c nbDecision=57500 #constraints=56150
1360.45/1360.99	c nbDecision=58000 #constraints=56552
1375.75/1376.22	c nbDecision=58500 #constraints=57023
1397.44/1397.98	c nbDecision=59000 #constraints=57451
1418.33/1418.87	c nbDecision=59500 #constraints=57876
1441.43/1441.97	c nbDecision=60000 #constraints=58297
1461.83/1462.31	c nbDecision=60500 #constraints=58738
1482.91/1483.49	c nbDecision=61000 #constraints=59167
1512.41/1512.93	c nbDecision=61500 #constraints=59519
1553.40/1553.95	c nbDecision=62000 #constraints=59771
1580.29/1580.87	c nbDecision=62500 #constraints=60202
1602.68/1603.23	c nbDecision=63000 #constraints=60646
1634.38/1634.91	c nbDecision=63500 #constraints=60989
1657.67/1658.25	c nbDecision=64000 #constraints=61438
1690.27/1690.84	c nbDecision=64500 #constraints=61764
1708.56/1709.15	c nbDecision=65000 #constraints=62227
1730.65/1731.22	c nbDecision=65500 #constraints=62677
1757.84/1758.47	c nbDecision=66000 #constraints=63087
1787.03/1787.63	c nbDecision=66500 #constraints=63484
1800.04/1800.60	Received signal 15
1800.04/1800.63	
1800.04/1800.63	s UNKNOWN
1800.04/1800.63	
1800.04/1800.63	c user time= 1799.07 s
1800.04/1800.63	c system time= 1.00285 s
1800.04/1800.63	c wall clock time=1800.63

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/454985-1178034935/instance-454985-1178034935.opb
mv /tmp/evaluation/454985-1178034935/instance-454985-1178034935.opb.tmp /tmp/evaluation/454985-1178034935/instance-454985-1178034935.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node45/watcher-454985-1178034935 -o ROOT/results/node45/solver-454985-1178034935 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/454985-1178034935/instance-454985-1178034935.opb mod 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.97 0.98 3/77 22082
/proc/meminfo: memFree=1817712/2055920 swapFree=4157776/4192956
[pid=22082] ppid=22080 vsize=1468 CPUtime=0
/proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 184 0 0 0 0 0 0 0 18 0 1 0 158339193 1503232 167 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22082/statm: 367 167 131 317 0 46 0

[startup+0.03265 s]
/proc/loadavg: 0.92 0.97 0.98 3/77 22082
/proc/meminfo: memFree=1817712/2055920 swapFree=4157776/4192956
[pid=22082] ppid=22080 vsize=1996 CPUtime=0.02
/proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 311 0 0 0 2 0 0 0 18 0 1 0 158339193 2043904 294 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22082/statm: 499 294 131 317 0 178 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 1996

[startup+0.101656 s]
/proc/loadavg: 0.92 0.97 0.98 3/77 22082
/proc/meminfo: memFree=1817712/2055920 swapFree=4157776/4192956
[pid=22082] ppid=22080 vsize=4576 CPUtime=0.09
/proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 943 0 0 0 9 0 0 0 18 0 1 0 158339193 4685824 926 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22082/statm: 1144 926 132 317 0 823 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4576

[startup+0.301676 s]
/proc/loadavg: 0.92 0.97 0.98 3/77 22082
/proc/meminfo: memFree=1817712/2055920 swapFree=4157776/4192956
[pid=22082] ppid=22080 vsize=7460 CPUtime=0.29
/proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 1687 0 0 0 29 0 0 0 19 0 1 0 158339193 7639040 1580 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22082/statm: 1865 1580 139 317 0 1544 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7460

[startup+0.701716 s]
/proc/loadavg: 0.92 0.97 0.98 3/77 22082
/proc/meminfo: memFree=1817712/2055920 swapFree=4157776/4192956
[pid=22082] ppid=22080 vsize=9440 CPUtime=0.69
/proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 2189 0 0 0 69 0 0 0 22 0 1 0 158339193 9666560 2082 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22082/statm: 2360 2082 139 317 0 2039 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9440

[startup+1.5018 s]
/proc/loadavg: 0.92 0.97 0.98 2/78 22083
/proc/meminfo: memFree=1809000/2055920 swapFree=4157776/4192956
[pid=22082] ppid=22080 vsize=12508 CPUtime=1.49
/proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 2942 0 0 0 148 1 0 0 25 0 1 0 158339193 12808192 2835 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712518 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22082/statm: 3127 2835 139 317 0 2806 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12508

[startup+3.10196 s]
/proc/loadavg: 0.92 0.97 0.98 2/78 22083
/proc/meminfo: memFree=1804776/2055920 swapFree=4157776/4192956
[pid=22082] ppid=22080 vsize=18860 CPUtime=3.09
/proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 4460 0 0 0 307 2 0 0 25 0 1 0 158339193 19312640 4353 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602404 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22082/statm: 4715 4353 139 317 0 4394 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18860

[startup+6.30128 s]
/proc/loadavg: 0.93 0.97 0.98 2/78 22083
/proc/meminfo: memFree=1794472/2055920 swapFree=4157776/4192956
[pid=22082] ppid=22080 vsize=29904 CPUtime=6.29
/proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 6987 0 0 0 625 4 0 0 25 0 1 0 158339193 30621696 6880 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604197 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22082/statm: 7476 6880 139 317 0 7155 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29904

[startup+12.7019 s]
/proc/loadavg: 0.93 0.97 0.98 2/78 22083
/proc/meminfo: memFree=1778664/2055920 swapFree=4157776/4192956
[pid=22082] ppid=22080 vsize=41388 CPUtime=12.69
/proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 10174 0 0 0 1264 5 0 0 25 0 1 0 158339193 42381312 10067 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134524906 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22082/statm: 10347 10067 139 317 0 10026 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 41388

[startup+25.5012 s]
/proc/loadavg: 0.95 0.97 0.98 2/78 22083
/proc/meminfo: memFree=1759912/2055920 swapFree=4157776/4192956
[pid=22082] ppid=22080 vsize=61368 CPUtime=25.49
/proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 14632 0 0 0 2540 9 0 0 25 0 1 0 158339193 62840832 14525 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22082/statm: 15342 14526 139 317 0 15021 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 61368

[startup+51.1018 s]
/proc/loadavg: 0.96 0.97 0.98 2/78 22083
/proc/meminfo: memFree=1735720/2055920 swapFree=4157776/4192956
[pid=22082] ppid=22080 vsize=83256 CPUtime=51.08
/proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 20669 0 0 0 5096 12 0 0 25 0 1 0 158339193 85254144 20562 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22082/statm: 20814 20562 139 317 0 20493 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 83256

[startup+102.306 s]
/proc/loadavg: 0.98 0.97 0.98 2/78 22083
/proc/meminfo: memFree=1699176/2055920 swapFree=4157776/4192956
[pid=22082] ppid=22080 vsize=123560 CPUtime=102.27
/proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 29723 0 0 0 10209 18 0 0 25 0 1 0 158339193 126525440 29616 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22082/statm: 30890 29616 139 317 0 30569 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 123560

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 22083
/proc/meminfo: memFree=1676264/2055920 swapFree=4157776/4192956
[pid=22082] ppid=22080 vsize=145116 CPUtime=162.25
/proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 35666 0 0 0 16201 24 0 0 25 0 1 0 158339193 148598784 35382 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22082/statm: 36279 35382 139 317 0 35958 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 145116

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 22083
/proc/meminfo: memFree=1640680/2055920 swapFree=4157776/4192956
[pid=22082] ppid=22080 vsize=197448 CPUtime=222.24
/proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 47895 0 0 0 22192 32 0 0 25 0 1 0 158339193 202186752 44179 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22082/statm: 49362 44179 139 317 0 49041 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 197448

[startup+282.301 s]
/proc/loadavg: 1.05 0.99 0.98 2/78 22083
/proc/meminfo: memFree=1621416/2055920 swapFree=4157776/4192956
[pid=22082] ppid=22080 vsize=214372 CPUtime=282.22
/proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 52725 0 0 0 28187 35 0 0 25 0 1 0 158339193 219516928 48976 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22082/statm: 53593 48976 139 317 0 53272 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 214372

[startup+342.301 s]
/proc/loadavg: 1.07 1.00 0.99 2/84 22191
/proc/meminfo: memFree=1598000/2055920 swapFree=4157776/4192956
[pid=22082] ppid=22080 vsize=233636 CPUtime=342.15
/proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 58335 0 0 0 34176 39 0 0 25 0 1 0 158339193 239243264 54586 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22082/statm: 58409 54586 139 317 0 58088 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 233636

[startup+402.301 s]
/proc/loadavg: 1.02 1.00 0.99 2/78 22281
/proc/meminfo: memFree=1582696/2055920 swapFree=4157776/4192956
[pid=22082] ppid=22080 vsize=248268 CPUtime=402.1
/proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 62474 0 0 0 40167 43 0 0 25 0 1 0 158339193 254226432 58725 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22082/statm: 62067 58725 139 317 0 61746 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 248268

[startup+462.301 s]
/proc/loadavg: 1.01 1.00 0.99 2/78 22281
/proc/meminfo: memFree=1566056/2055920 swapFree=4157776/4192956
[pid=22082] ppid=22080 vsize=262180 CPUtime=462.08
/proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 66551 0 0 0 46162 46 0 0 25 0 1 0 158339193 268472320 62802 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22082/statm: 65545 62802 139 317 0 65224 0
Current children cumulated CPU time (s) 462.08
Current children cumulated vsize (KiB) 262180

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 22281
/proc/meminfo: memFree=1549352/2055920 swapFree=4157776/4192956
[pid=22082] ppid=22080 vsize=276764 CPUtime=522.07
/proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 70658 0 0 0 52157 50 0 0 25 0 1 0 158339193 283406336 66909 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22082/statm: 69191 66909 139 317 0 68870 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 276764

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 22281
/proc/meminfo: memFree=1541160/2055920 swapFree=4157776/4192956
[pid=22082] ppid=22080 vsize=284028 CPUtime=582.05
/proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 72772 0 0 0 58153 52 0 0 25 0 1 0 158339193 290844672 69023 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22082/statm: 71007 69023 139 317 0 70686 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 284028

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 22281
/proc/meminfo: memFree=1522088/2055920 swapFree=4157776/4192956
[pid=22082] ppid=22080 vsize=300348 CPUtime=642.04
/proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 77458 0 0 0 64148 56 0 0 25 0 1 0 158339193 307556352 73709 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22082/statm: 75087 73709 139 317 0 74766 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 300348


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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 22281
/proc/meminfo: memFree=1487080/2055920 swapFree=4157776/4192956
[pid=22082] ppid=22080 vsize=376312 CPUtime=881.98
/proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 95958 0 0 0 88131 67 0 0 25 0 1 0 158339193 385343488 82459 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22082/statm: 94078 82459 139 317 0 93757 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 376312

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 22283
/proc/meminfo: memFree=1474920/2055920 swapFree=4157776/4192956
[pid=22082] ppid=22080 vsize=386744 CPUtime=941.95
/proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 99091 0 0 0 94126 69 0 0 25 0 1 0 158339193 396025856 85592 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22082/statm: 96686 85592 139 317 0 96365 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 386744

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 22283
/proc/meminfo: memFree=1458408/2055920 swapFree=4157776/4192956
[pid=22082] ppid=22080 vsize=400780 CPUtime=1001.94
/proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 103110 0 0 0 100122 72 0 0 25 0 1 0 158339193 410398720 89611 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22082/statm: 100195 89611 139 317 0 99874 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 400780

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 22283
/proc/meminfo: memFree=1449832/2055920 swapFree=4157776/4192956
[pid=22082] ppid=22080 vsize=408304 CPUtime=1061.93
/proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 105336 0 0 0 106119 74 0 0 25 0 1 0 158339193 418103296 91837 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22082/statm: 102076 91837 139 317 0 101755 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 408304

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 22283
/proc/meminfo: memFree=1442728/2055920 swapFree=4157776/4192956
[pid=22082] ppid=22080 vsize=415748 CPUtime=1121.9
/proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 107470 0 0 0 112115 75 0 0 25 0 1 0 158339193 425725952 93618 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22082/statm: 103937 93618 139 317 0 103616 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 415748

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 22283
/proc/meminfo: memFree=1431272/2055920 swapFree=4157776/4192956
[pid=22082] ppid=22080 vsize=424976 CPUtime=1181.89
/proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 110231 0 0 0 118111 78 0 0 25 0 1 0 158339193 435175424 96379 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22082/statm: 106244 96379 139 317 0 105923 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 424976

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 22283
/proc/meminfo: memFree=1418344/2055920 swapFree=4157776/4192956
[pid=22082] ppid=22080 vsize=436872 CPUtime=1241.88
/proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 113565 0 0 0 124106 82 0 0 25 0 1 0 158339193 447356928 99713 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22082/statm: 109218 99713 139 317 0 108897 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 436872

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 22283
/proc/meminfo: memFree=1409640/2055920 swapFree=4157776/4192956
[pid=22082] ppid=22080 vsize=443848 CPUtime=1301.87
/proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 115621 0 0 0 130103 84 0 0 25 0 1 0 158339193 454500352 101769 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22082/statm: 110962 101769 139 317 0 110641 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 443848

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 22283
/proc/meminfo: memFree=1401576/2055920 swapFree=4157776/4192956
[pid=22082] ppid=22080 vsize=450740 CPUtime=1361.85
/proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 117698 0 0 0 136099 86 0 0 25 0 1 0 158339193 461557760 103846 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22082/statm: 112685 103846 139 317 0 112364 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 450740

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 22283
/proc/meminfo: memFree=1389352/2055920 swapFree=4157776/4192956
[pid=22082] ppid=22080 vsize=461304 CPUtime=1421.84
/proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 120691 0 0 0 142096 88 0 0 25 0 1 0 158339193 472375296 106839 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22082/statm: 115326 106839 139 317 0 115005 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 461304

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 22283
/proc/meminfo: memFree=1377512/2055920 swapFree=4157776/4192956
[pid=22082] ppid=22080 vsize=471244 CPUtime=1481.81
/proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 123648 0 0 0 148091 90 0 0 25 0 1 0 158339193 482553856 109796 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22082/statm: 117811 109796 139 317 0 117490 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 471244

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 22283
/proc/meminfo: memFree=1372712/2055920 swapFree=4157776/4192956
[pid=22082] ppid=22080 vsize=475208 CPUtime=1541.8
/proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 124844 0 0 0 154089 91 0 0 25 0 1 0 158339193 486612992 110992 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22082/statm: 118802 110992 139 317 0 118481 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 475208

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 22283
/proc/meminfo: memFree=1364392/2055920 swapFree=4157776/4192956
[pid=22082] ppid=22080 vsize=483104 CPUtime=1601.78
/proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 127003 0 0 0 160085 93 0 0 25 0 1 0 158339193 494698496 113151 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22082/statm: 120776 113151 139 317 0 120455 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 483104

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 22283
/proc/meminfo: memFree=1355880/2055920 swapFree=4157776/4192956
[pid=22082] ppid=22080 vsize=490148 CPUtime=1661.77
/proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 129061 0 0 0 166082 95 0 0 25 0 1 0 158339193 501911552 115209 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22082/statm: 122537 115209 139 317 0 122216 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 490148

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 22283
/proc/meminfo: memFree=1346792/2055920 swapFree=4157776/4192956
[pid=22082] ppid=22080 vsize=498132 CPUtime=1721.75
/proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 131374 0 0 0 172078 97 0 0 25 0 1 0 158339193 510087168 117522 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22082/statm: 124533 117522 139 317 0 124212 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 498132

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 22283
/proc/meminfo: memFree=1337448/2055920 swapFree=4157776/4192956
[pid=22082] ppid=22080 vsize=505976 CPUtime=1781.74
/proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 133632 0 0 0 178075 99 0 0 25 0 1 0 158339193 518119424 119780 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22082/statm: 126494 119780 139 317 0 126173 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 505976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 22283
/proc/meminfo: memFree=1335976/2055920 swapFree=4157776/4192956
[pid=22082] ppid=22080 vsize=507424 CPUtime=1800.04
/proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194304 134003 0 0 0 179904 100 0 0 25 0 1 0 158339193 519602176 120151 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22082/statm: 126856 120151 139 317 0 126535 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 507424

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 22283
/proc/meminfo: memFree=1335976/2055920 swapFree=4157776/4192956
[pid=22082] ppid=22080 vsize=0 CPUtime=1800.14
/proc/22082/stat : 22082 (oree) R 22080 22082 21742 0 -1 4194308 134021 0 0 0 179908 106 0 0 25 0 1 0 158339193 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22082/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.72
CPU time (s): 1800.17
CPU user time (s): 1799.08
CPU system time (s): 1.08083
CPU usage (%): 99.9689
Max. virtual memory (cumulated for all children) (KiB): 507424

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

runsolver used 1.37179 second user time and 4.14837 second system time

The end

Launcher Data (download as text)

Begin job on node45 on Tue May  1 15:55:36 UTC 2007

IDJOB= 454985
IDBENCH= 48233
IDSOLVER= 172
FILE ID= node45/454985-1178034935

PBS_JOBID= 4728398

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

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

META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e
MD5SUM BENCH=  7d5c1eba9f9b9c55d272c1a8f28b465a

RANDOM SEED= 500646852

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node45.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.218
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.218
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:       1818056 kB
Buffers:         78692 kB
Cached:          74300 kB
SwapCached:      14084 kB
Active:          50908 kB
Inactive:       126664 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1818056 kB
SwapTotal:     4192956 kB
SwapFree:      4157776 kB
Dirty:            1488 kB
Writeback:           0 kB
Mapped:          30240 kB
Slab:            45856 kB
Committed_AS:  2261456 kB
PageTables:       1736 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 node45 on Tue May  1 16:25:38 UTC 2007