Trace number 455000

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) 1802.16 1802.74

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_10_4.opb
MD5SUM95bfca9fba26d7f8c875796701522876
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-139
Best CPU time to get the best result obtained on this benchmark1800.11
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -139
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1501
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
Number of terms in the objective function 500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)12652
Sum of products size (including duplicates)25304
Number of different products6326
Sum of products size12652

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.11	c ...done
0.09/0.11	c #vars=7326 #constraints=14155 hasObjective=yes
0.09/0.17	c res. mode=mod
0.09/0.17	c VSIDS like heuristics
0.09/0.17	c complete search running
0.69/0.71	c restart after 401 decisions
0.69/0.76	c nbDecision=500 #constraints=14307
1.09/1.15	c restart after 801 decisions
1.19/1.20	c nbDecision=1000 #constraints=14407
2.20/2.21	c nbDecision=1500 #constraints=14637
2.29/2.37	c restart after 1601 decisions
2.99/3.09	c nbDecision=2000 #constraints=14809
4.69/4.76	c nbDecision=2500 #constraints=15161
6.08/6.15	c nbDecision=3000 #constraints=15410
6.60/6.64	c restart after 3201 decisions
7.19/7.27	c nbDecision=3500 #constraints=15546
9.39/9.40	c nbDecision=4000 #constraints=15905
11.09/11.20	c nbDecision=4500 #constraints=16151
13.29/13.30	c nbDecision=5000 #constraints=16396
15.19/15.28	c nbDecision=5500 #constraints=16728
17.79/17.89	c nbDecision=6000 #constraints=16982
20.09/20.19	c restart after 6401 decisions
21.29/21.33	c nbDecision=6500 #constraints=17167
23.98/24.10	c nbDecision=7000 #constraints=17366
27.88/27.96	c nbDecision=7500 #constraints=17658
30.98/31.08	c nbDecision=8000 #constraints=17673
34.38/34.47	c nbDecision=8500 #constraints=17941
37.98/38.03	c nbDecision=9000 #constraints=18212
42.38/42.49	c nbDecision=9500 #constraints=18511
46.38/46.43	c nbDecision=10000 #constraints=18650
50.28/50.30	c nbDecision=10500 #constraints=18937
56.08/56.12	c nbDecision=11000 #constraints=19157
60.57/60.67	c nbDecision=11500 #constraints=19225
65.38/65.47	c nbDecision=12000 #constraints=19480
71.48/71.55	c nbDecision=12500 #constraints=19529
74.87/74.97	c restart after 12801 decisions
76.88/76.94	c nbDecision=13000 #constraints=19736
83.66/83.76	c nbDecision=13500 #constraints=19895
87.67/87.72	c nbDecision=14000 #constraints=20143
94.14/94.23	c nbDecision=14500 #constraints=20258
101.22/101.38	c nbDecision=15000 #constraints=20507
105.01/105.10	c nbDecision=15500 #constraints=20754
110.30/110.49	c nbDecision=16000 #constraints=21018
115.68/115.85	c nbDecision=16500 #constraints=21299
120.97/121.17	c nbDecision=17000 #constraints=21595
126.77/126.91	c nbDecision=17500 #constraints=21870
132.47/132.69	c nbDecision=18000 #constraints=22153
140.67/140.89	c nbDecision=18500 #constraints=22395
147.45/147.62	c nbDecision=19000 #constraints=22560
156.94/157.16	c nbDecision=19500 #constraints=22637
163.34/163.52	c nbDecision=20000 #constraints=22891
171.04/171.25	c nbDecision=20500 #constraints=23143
177.24/177.44	c nbDecision=21000 #constraints=23430
184.14/184.30	c nbDecision=21500 #constraints=23707
192.34/192.58	c nbDecision=22000 #constraints=23925
199.04/199.28	c nbDecision=22500 #constraints=24228
206.53/206.78	c nbDecision=23000 #constraints=24494
215.44/215.63	c nbDecision=23500 #constraints=24758
223.33/223.51	c nbDecision=24000 #constraints=24994
228.63/228.83	c nbDecision=24500 #constraints=25376
236.73/236.90	c nbDecision=25000 #constraints=25648
245.22/245.46	c nbDecision=25500 #constraints=25906
247.23/247.41	c restart after 25601 decisions
255.12/255.38	c nbDecision=26000 #constraints=26102
264.02/264.22	c nbDecision=26500 #constraints=26360
276.01/276.27	c nbDecision=27000 #constraints=26618
285.42/285.68	c nbDecision=27500 #constraints=26846
294.51/294.79	c nbDecision=28000 #constraints=27073
304.42/304.64	c nbDecision=28500 #constraints=27299
312.11/312.34	c nbDecision=29000 #constraints=27586
321.31/321.56	c nbDecision=29500 #constraints=27870
331.10/331.36	c nbDecision=30000 #constraints=28137
341.10/341.35	c nbDecision=30500 #constraints=28402
354.10/354.38	c nbDecision=31000 #constraints=28634
362.59/362.85	c nbDecision=31500 #constraints=28883
372.79/373.06	c nbDecision=32000 #constraints=29155
383.60/383.88	c nbDecision=32500 #constraints=29409
394.68/394.96	c nbDecision=33000 #constraints=29719
400.38/400.68	c nbDecision=33500 #constraints=30114
415.08/415.36	c nbDecision=34000 #constraints=30358
426.27/426.50	c nbDecision=34500 #constraints=30567
438.47/438.75	c nbDecision=35000 #constraints=30775
450.17/450.48	c nbDecision=35500 #constraints=31030
461.46/461.78	c nbDecision=36000 #constraints=31308
470.07/470.38	c nbDecision=36500 #constraints=31682
481.86/482.19	c nbDecision=37000 #constraints=31997
489.66/489.93	c nbDecision=37500 #constraints=32367
507.65/507.92	c nbDecision=38000 #constraints=32594
521.36/521.60	c nbDecision=38500 #constraints=32791
535.25/535.53	c nbDecision=39000 #constraints=32987
549.35/549.67	c nbDecision=39500 #constraints=33182
558.84/559.12	c nbDecision=40000 #constraints=33569
571.74/572.01	c nbDecision=40500 #constraints=33952
580.84/581.19	c nbDecision=41000 #constraints=34216
600.53/600.87	c nbDecision=41500 #constraints=34445
623.63/623.99	c nbDecision=42000 #constraints=34488
633.82/634.14	c nbDecision=42500 #constraints=34718
647.12/647.49	c nbDecision=43000 #constraints=35049
661.31/661.67	c nbDecision=43500 #constraints=35279
683.51/683.88	c nbDecision=44000 #constraints=35420
699.10/699.45	c nbDecision=44500 #constraints=35674
712.30/712.68	c nbDecision=45000 #constraints=35956
726.29/726.65	c nbDecision=45500 #constraints=36246
746.39/746.74	c nbDecision=46000 #constraints=36515
764.49/764.88	c nbDecision=46500 #constraints=36655
789.28/789.64	c nbDecision=47000 #constraints=36740
804.18/804.56	c nbDecision=47500 #constraints=36985
811.28/811.61	c nbDecision=48000 #constraints=37438
833.37/833.76	c nbDecision=48500 #constraints=37669
851.86/852.29	c nbDecision=49000 #constraints=37853
876.16/876.55	c nbDecision=49500 #constraints=37923
892.55/892.90	c nbDecision=50000 #constraints=38207
908.05/908.42	c nbDecision=50500 #constraints=38534
933.94/934.37	c nbDecision=51000 #constraints=38670
946.24/946.64	c restart after 51201 decisions
957.94/958.38	c nbDecision=51500 #constraints=38723
972.44/972.87	c nbDecision=52000 #constraints=39131
992.93/993.32	c nbDecision=52500 #constraints=39298
1019.53/1019.97	c nbDecision=53000 #constraints=39469
1036.82/1037.22	c nbDecision=53500 #constraints=39640
1053.12/1053.56	c nbDecision=54000 #constraints=39930
1075.80/1076.28	c nbDecision=54500 #constraints=40214
1095.30/1095.71	c nbDecision=55000 #constraints=40443
1114.69/1115.18	c nbDecision=55500 #constraints=40627
1135.09/1135.53	c nbDecision=56000 #constraints=40820
1163.09/1163.53	c nbDecision=56500 #constraints=41072
1192.67/1193.17	c nbDecision=57000 #constraints=41089
1211.78/1212.21	c nbDecision=57500 #constraints=41346
1228.07/1228.58	c nbDecision=58000 #constraints=41601
1248.17/1248.68	c nbDecision=58500 #constraints=41835
1268.05/1268.55	c nbDecision=59000 #constraints=42075
1287.35/1287.86	c nbDecision=59500 #constraints=42392
1325.44/1325.98	c nbDecision=60000 #constraints=42425
1341.94/1342.43	c nbDecision=60500 #constraints=42702
1373.53/1374.02	c nbDecision=61000 #constraints=42759
1392.03/1392.53	c nbDecision=61500 #constraints=43046
1403.03/1403.53	c nbDecision=62000 #constraints=43491
1423.31/1423.89	c nbDecision=62500 #constraints=43739
1443.91/1444.44	c nbDecision=63000 #constraints=43998
1464.81/1465.30	c nbDecision=63500 #constraints=44255
1475.30/1475.86	c nbDecision=64000 #constraints=44701
1495.40/1495.97	c nbDecision=64500 #constraints=44981
1513.29/1513.84	c nbDecision=65000 #constraints=45415
1534.59/1535.15	c nbDecision=65500 #constraints=45651
1556.88/1557.46	c nbDecision=66000 #constraints=45872
1578.57/1579.11	c nbDecision=66500 #constraints=46106
1600.97/1601.52	c nbDecision=67000 #constraints=46363
1630.46/1631.08	c nbDecision=67500 #constraints=46563
1654.36/1654.92	c nbDecision=68000 #constraints=46820
1677.95/1678.56	c nbDecision=68500 #constraints=47028
1694.55/1695.18	c nbDecision=69000 #constraints=47385
1719.54/1720.10	c nbDecision=69500 #constraints=47682
1743.03/1743.64	c nbDecision=70000 #constraints=47934
1763.93/1764.51	c nbDecision=70500 #constraints=48181
1783.82/1784.46	c nbDecision=71000 #constraints=48500
1800.03/1800.60	Received signal 15

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/455000-1178035173/instance-455000-1178035173.opb
mv /tmp/evaluation/455000-1178035173/instance-455000-1178035173.opb.tmp /tmp/evaluation/455000-1178035173/instance-455000-1178035173.opb

Watcher Data (download as text)

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

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

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


[startup+0 s]
/proc/loadavg: 0.91 0.95 0.98 3/77 12003
/proc/meminfo: memFree=1778432/2055920 swapFree=4157776/4192956
[pid=12003] ppid=12001 vsize=1468 CPUtime=0
/proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 158362726 1503232 166 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12003/statm: 367 166 131 317 0 46 0

[startup+0.0574969 s]
/proc/loadavg: 0.91 0.95 0.98 3/77 12003
/proc/meminfo: memFree=1778432/2055920 swapFree=4157776/4192956
[pid=12003] ppid=12001 vsize=2524 CPUtime=0.05
/proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 456 0 0 0 5 0 0 0 18 0 1 0 158362726 2584576 439 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12003/statm: 631 440 132 317 0 310 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2524

[startup+0.101501 s]
/proc/loadavg: 0.91 0.95 0.98 3/77 12003
/proc/meminfo: memFree=1778432/2055920 swapFree=4157776/4192956
[pid=12003] ppid=12001 vsize=4292 CPUtime=0.09
/proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 889 0 0 0 9 0 0 0 18 0 1 0 158362726 4395008 872 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12003/statm: 1073 872 132 317 0 752 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4292

[startup+0.301521 s]
/proc/loadavg: 0.91 0.95 0.98 3/77 12003
/proc/meminfo: memFree=1778432/2055920 swapFree=4157776/4192956
[pid=12003] ppid=12001 vsize=7916 CPUtime=0.29
/proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 1792 0 0 0 29 0 0 0 19 0 1 0 158362726 8105984 1678 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12003/statm: 1979 1678 139 317 0 1658 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7916

[startup+0.701564 s]
/proc/loadavg: 0.91 0.95 0.98 3/77 12003
/proc/meminfo: memFree=1778432/2055920 swapFree=4157776/4192956
[pid=12003] ppid=12001 vsize=10848 CPUtime=0.69
/proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 2515 0 0 0 69 0 0 0 23 0 1 0 158362726 11108352 2401 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134538144 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12003/statm: 2712 2401 139 317 0 2391 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10848

[startup+1.50165 s]
/proc/loadavg: 0.91 0.95 0.98 2/78 12004
/proc/meminfo: memFree=1767992/2055920 swapFree=4157776/4192956
[pid=12003] ppid=12001 vsize=14600 CPUtime=1.49
/proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 3457 0 0 0 149 0 0 0 25 0 1 0 158362726 14950400 3343 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12003/statm: 3650 3343 139 317 0 3329 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14600

[startup+3.10283 s]
/proc/loadavg: 0.91 0.95 0.98 2/78 12004
/proc/meminfo: memFree=1762680/2055920 swapFree=4157776/4192956
[pid=12003] ppid=12001 vsize=22804 CPUtime=3.09
/proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 5534 0 0 0 308 1 0 0 25 0 1 0 158362726 23351296 5420 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12003/statm: 5701 5420 139 317 0 5380 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22804

[startup+6.30117 s]
/proc/loadavg: 0.92 0.95 0.98 2/78 12004
/proc/meminfo: memFree=1745528/2055920 swapFree=4157776/4192956
[pid=12003] ppid=12001 vsize=37636 CPUtime=6.28
/proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 8990 0 0 0 626 2 0 0 25 0 1 0 158362726 38539264 8876 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12003/statm: 9409 8876 139 317 0 9088 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 37636

[startup+12.7019 s]
/proc/loadavg: 0.93 0.95 0.98 2/78 12004
/proc/meminfo: memFree=1722168/2055920 swapFree=4157776/4192956
[pid=12003] ppid=12001 vsize=63172 CPUtime=12.69
/proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 14839 0 0 0 1263 6 0 0 25 0 1 0 158362726 64688128 14725 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12003/statm: 15793 14725 139 317 0 15472 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 63172

[startup+25.5012 s]
/proc/loadavg: 0.94 0.96 0.98 2/78 12004
/proc/meminfo: memFree=1696760/2055920 swapFree=4157776/4192956
[pid=12003] ppid=12001 vsize=83704 CPUtime=25.48
/proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 20554 0 0 0 2540 8 0 0 25 0 1 0 158362726 85712896 20440 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12003/statm: 20926 20440 139 317 0 20605 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 83704

[startup+51.102 s]
/proc/loadavg: 0.96 0.96 0.98 2/78 12004
/proc/meminfo: memFree=1659832/2055920 swapFree=4157776/4192956
[pid=12003] ppid=12001 vsize=125152 CPUtime=51.08
/proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 29762 0 0 0 5095 13 0 0 25 0 1 0 158362726 128155648 29648 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12003/statm: 31288 29648 139 317 0 30967 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 125152

[startup+102.307 s]
/proc/loadavg: 0.98 0.96 0.98 2/84 12086
/proc/meminfo: memFree=1627904/2055920 swapFree=4157776/4192956
[pid=12003] ppid=12001 vsize=152456 CPUtime=102.23
/proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 37369 0 0 0 10204 19 0 0 25 0 1 0 158362726 156114944 37255 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12003/statm: 38114 37255 139 317 0 37793 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 152456

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 12202
/proc/meminfo: memFree=1567480/2055920 swapFree=4157776/4192956
[pid=12003] ppid=12001 vsize=227740 CPUtime=162.14
/proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 52734 0 0 0 16187 27 0 0 25 0 1 0 158362726 233205760 52620 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716183 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12003/statm: 56935 52620 139 317 0 56614 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 227740

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 12202
/proc/meminfo: memFree=1524792/2055920 swapFree=4157776/4192956
[pid=12003] ppid=12001 vsize=265420 CPUtime=222.13
/proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 63366 0 0 0 22180 33 0 0 25 0 1 0 158362726 271790080 63252 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12003/statm: 66355 63252 139 317 0 66034 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 265420

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 12202
/proc/meminfo: memFree=1488376/2055920 swapFree=4157776/4192956
[pid=12003] ppid=12001 vsize=298748 CPUtime=282.12
/proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 72468 0 0 0 28174 38 0 0 25 0 1 0 158362726 305917952 72354 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12003/statm: 74687 72354 139 317 0 74366 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 298748

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 12202
/proc/meminfo: memFree=1457016/2055920 swapFree=4157776/4192956
[pid=12003] ppid=12001 vsize=327576 CPUtime=342.1
/proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 80476 0 0 0 34167 43 0 0 25 0 1 0 158362726 335437824 80168 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12003/statm: 81894 80168 139 317 0 81573 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 327576

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 12202
/proc/meminfo: memFree=1421752/2055920 swapFree=4157776/4192956
[pid=12003] ppid=12001 vsize=358616 CPUtime=402.09
/proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 89279 0 0 0 40161 48 0 0 25 0 1 0 158362726 367222784 88971 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134533526 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12003/statm: 89654 88971 139 317 0 89333 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 358616

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 12202
/proc/meminfo: memFree=1383992/2055920 swapFree=4157776/4192956
[pid=12003] ppid=12001 vsize=444004 CPUtime=462.06
/proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 107457 0 0 0 46150 56 0 0 25 0 1 0 158362726 454660096 98602 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12003/statm: 111001 98602 139 317 0 110680 0
Current children cumulated CPU time (s) 462.06
Current children cumulated vsize (KiB) 444004

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 12202
/proc/meminfo: memFree=1352952/2055920 swapFree=4157776/4192956
[pid=12003] ppid=12001 vsize=469776 CPUtime=522.05
/proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 115034 0 0 0 52144 61 0 0 25 0 1 0 158362726 481050624 106146 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12003/statm: 117444 106146 139 317 0 117123 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 469776

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 12202
/proc/meminfo: memFree=1321656/2055920 swapFree=4157776/4192956
[pid=12003] ppid=12001 vsize=497316 CPUtime=582.04
/proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 123087 0 0 0 58139 65 0 0 25 0 1 0 158362726 509251584 114199 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12003/statm: 124329 114199 139 317 0 124008 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 497316

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 12202
/proc/meminfo: memFree=1306360/2055920 swapFree=4157776/4192956
[pid=12003] ppid=12001 vsize=510076 CPUtime=642.03
/proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 126685 0 0 0 64136 67 0 0 25 0 1 0 158362726 522317824 117797 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12003/statm: 127519 117797 139 317 0 127198 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 510076


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

/proc/meminfo: memFree=1202488/2055920 swapFree=4157776/4192956
[pid=12003] ppid=12001 vsize=598292 CPUtime=1061.91
/proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 152593 0 0 0 106108 83 0 0 25 0 1 0 158362726 612651008 143705 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12003/statm: 149573 143705 139 317 0 149252 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 598292

[startup+1122.3 s]
/proc/loadavg: 1.07 0.99 0.98 2/78 12204
/proc/meminfo: memFree=1186040/2055920 swapFree=4157776/4192956
[pid=12003] ppid=12001 vsize=613160 CPUtime=1121.9
/proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 156696 0 0 0 112105 85 0 0 25 0 1 0 158362726 627875840 147808 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12003/statm: 153290 147808 139 317 0 152969 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 613160

[startup+1182.3 s]
/proc/loadavg: 1.02 0.99 0.98 2/78 12204
/proc/meminfo: memFree=1179320/2055920 swapFree=4157776/4192956
[pid=12003] ppid=12001 vsize=618392 CPUtime=1181.88
/proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 158385 0 0 0 118102 86 0 0 25 0 1 0 158362726 633233408 149497 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12003/statm: 154598 149497 139 317 0 154277 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 618392

[startup+1242.3 s]
/proc/loadavg: 1.01 0.99 0.98 2/78 12204
/proc/meminfo: memFree=1164344/2055920 swapFree=4157776/4192956
[pid=12003] ppid=12001 vsize=631772 CPUtime=1241.87
/proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 162120 0 0 0 124098 89 0 0 25 0 1 0 158362726 646934528 153232 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12003/statm: 157943 153232 139 317 0 157622 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 631772

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 12204
/proc/meminfo: memFree=1152504/2055920 swapFree=4157776/4192956
[pid=12003] ppid=12001 vsize=641944 CPUtime=1301.85
/proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 165063 0 0 0 130095 90 0 0 25 0 1 0 158362726 657350656 156175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12003/statm: 160486 156175 139 317 0 160165 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 641944

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 12204
/proc/meminfo: memFree=1144888/2055920 swapFree=4157776/4192956
[pid=12003] ppid=12001 vsize=648080 CPUtime=1361.83
/proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 166971 0 0 0 136091 92 0 0 25 0 1 0 158362726 663633920 158083 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12003/statm: 162020 158083 139 317 0 161699 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 648080

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 12204
/proc/meminfo: memFree=1124088/2055920 swapFree=4157776/4192956
[pid=12003] ppid=12001 vsize=665820 CPUtime=1421.82
/proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 172175 0 0 0 142087 95 0 0 25 0 1 0 158362726 681799680 163287 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12003/statm: 166455 163287 139 317 0 166134 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 665820

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 12204
/proc/meminfo: memFree=1099320/2055920 swapFree=4157776/4192956
[pid=12003] ppid=12001 vsize=687504 CPUtime=1481.8
/proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 178353 0 0 0 148081 99 0 0 25 0 1 0 158362726 704004096 169465 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134533520 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12003/statm: 171876 169465 139 317 0 171555 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 687504

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 12204
/proc/meminfo: memFree=1081656/2055920 swapFree=4157776/4192956
[pid=12003] ppid=12001 vsize=702300 CPUtime=1541.78
/proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 182806 0 0 0 154077 101 0 0 25 0 1 0 158362726 719155200 173918 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12003/statm: 175575 173918 139 317 0 175254 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 702300

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 12204
/proc/meminfo: memFree=1069112/2055920 swapFree=4157776/4192956
[pid=12003] ppid=12001 vsize=714004 CPUtime=1601.77
/proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 186130 0 0 0 160074 103 0 0 25 0 1 0 158362726 731140096 177242 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12003/statm: 178501 177242 139 317 0 178180 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 714004

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 12204
/proc/meminfo: memFree=1056824/2055920 swapFree=4157776/4192956
[pid=12003] ppid=12001 vsize=724156 CPUtime=1661.75
/proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 189045 0 0 0 166070 105 0 0 25 0 1 0 158362726 741535744 180157 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606685 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12003/statm: 181039 180157 139 317 0 180718 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 724156

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 12204
/proc/meminfo: memFree=1028280/2055920 swapFree=4157776/4192956
[pid=12003] ppid=12001 vsize=861012 CPUtime=1721.74
/proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 220659 0 0 0 172058 116 0 0 25 0 1 0 158362726 881676288 187136 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12003/statm: 215253 187136 139 317 0 214932 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 861012

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 12204
/proc/meminfo: memFree=1013176/2055920 swapFree=4157776/4192956
[pid=12003] ppid=12001 vsize=874308 CPUtime=1781.72
/proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 224424 0 0 0 178054 118 0 0 25 0 1 0 158362726 895291392 190901 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12003/statm: 218577 190901 139 317 0 218256 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 874308



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 12204
/proc/meminfo: memFree=1002872/2055920 swapFree=4157776/4192956
[pid=12003] ppid=12001 vsize=882756 CPUtime=1800.03
/proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 227001 0 0 0 179883 120 0 0 25 0 1 0 158362726 903942144 193478 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712551 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12003/statm: 220689 193478 139 317 0 220368 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 882756

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

Sending SIGKILL to process tree (bottom up)

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

[startup+1801.4 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 12204
/proc/meminfo: memFree=1002872/2055920 swapFree=4157776/4192956
[pid=12003] ppid=12001 vsize=882756 CPUtime=1800.82
/proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 227001 0 0 0 179962 120 0 0 25 0 1 0 158362726 903942144 193478 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12003/statm: 220689 193478 139 317 0 220368 0
Current children cumulated CPU time (s) 1800.82
Current children cumulated vsize (KiB) 882756

[startup+1802.2 s]
/proc/loadavg: 1.00 0.99 0.98 2/79 12205
/proc/meminfo: memFree=1002864/2055920 swapFree=4157776/4192956
[pid=12003] ppid=12001 vsize=882756 CPUtime=1801.62
/proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 227001 0 0 0 180042 120 0 0 25 0 1 0 158362726 903942144 193478 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12003/statm: 220689 193478 139 317 0 220368 0
Current children cumulated CPU time (s) 1801.62
Current children cumulated vsize (KiB) 882756

[startup+1802.6 s]
/proc/loadavg: 1.00 0.99 0.98 2/79 12205
/proc/meminfo: memFree=1002864/2055920 swapFree=4157776/4192956
[pid=12003] ppid=12001 vsize=882756 CPUtime=1802.02
/proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4194304 227001 0 0 0 180082 120 0 0 25 0 1 0 158362726 903942144 193478 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12003/statm: 220689 193478 139 317 0 220368 0
Current children cumulated CPU time (s) 1802.02
Current children cumulated vsize (KiB) 882756

[startup+1802.7 s]
/proc/loadavg: 1.00 0.99 0.98 2/79 12205
/proc/meminfo: memFree=1002864/2055920 swapFree=4157776/4192956
[pid=12003] ppid=12001 vsize=0 CPUtime=1802.12
/proc/12003/stat : 12003 (oree) R 12001 12003 11808 0 -1 4195332 227001 0 0 0 180083 129 0 0 25 0 1 0 158362726 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12003/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.12
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.74
CPU time (s): 1802.16
CPU user time (s): 1800.83
CPU system time (s): 1.3288
CPU usage (%): 99.9681
Max. virtual memory (cumulated for all children) (KiB): 882756

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

runsolver used 1.61475 second user time and 4.42633 second system time

The end

Launcher Data (download as text)

Begin job on node47 on Tue May  1 15:59:33 UTC 2007

IDJOB= 455000
IDBENCH= 48234
IDSOLVER= 172
FILE ID= node47/455000-1178035173

PBS_JOBID= 4728425

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

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

META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e
MD5SUM BENCH=  95bfca9fba26d7f8c875796701522876

RANDOM SEED= 284682762

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node47.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.221
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.221
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:       1778840 kB
Buffers:         75672 kB
Cached:         118548 kB
SwapCached:       3524 kB
Active:         114688 kB
Inactive:       104332 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1778840 kB
SwapTotal:     4192956 kB
SwapFree:      4157776 kB
Dirty:            1580 kB
Writeback:           0 kB
Mapped:          30408 kB
Slab:            43552 kB
Committed_AS:  5410028 kB
PageTables:       1776 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 node47 on Tue May  1 16:29:37 UTC 2007