Trace number 364134

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.06 1800.83

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32c4.opb
MD5SUM5468ba071d8bcc474bd73dc9f24f6990
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark736
Best CPU time to get the best result obtained on this benchmark7.29489
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 736
Optimality of the best value was proved YES
Number of variables1518
Total number of constraints21621
Number of constraints which are clauses21621
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint32
Number of terms in the objective function 1518
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 1518
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1518
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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.19/0.27	c ...done
0.19/0.27	c #vars=1518 #constraints=21622 hasObjective=yes
0.89/0.92	c res. mode=mod
0.89/0.92	c VSIDS like heuristics
0.89/0.92	c complete search running
2.29/2.34	c restart after 401 decisions
2.49/2.58	c nbDecision=500 #constraints=21966
2.79/2.81	c restart after 801 decisions
2.89/2.94	c nbDecision=1000 #constraints=21975
3.30/3.38	c nbDecision=1500 #constraints=21986
3.39/3.46	c restart after 1601 decisions
3.69/3.79	c nbDecision=2000 #constraints=21996
4.19/4.21	c nbDecision=2500 #constraints=22006
4.59/4.63	c nbDecision=3000 #constraints=22016
4.69/4.79	c restart after 3201 decisions
5.19/5.24	c nbDecision=3500 #constraints=22035
6.19/6.22	c nbDecision=4000 #constraints=22134
6.69/6.76	c nbDecision=4500 #constraints=22156
7.09/7.18	c nbDecision=5000 #constraints=22167
7.59/7.60	c nbDecision=5500 #constraints=22186
7.99/8.10	c nbDecision=6000 #constraints=22234
8.49/8.57	c restart after 6401 decisions
8.59/8.70	c nbDecision=6500 #constraints=22271
9.19/9.22	c nbDecision=7000 #constraints=22282
9.69/9.77	c nbDecision=7500 #constraints=22295
10.78/10.82	c nbDecision=8000 #constraints=22414
11.78/11.87	c nbDecision=8500 #constraints=22488
13.28/13.33	c nbDecision=9000 #constraints=22631
14.98/15.02	c nbDecision=9500 #constraints=22825
16.09/16.12	c nbDecision=10000 #constraints=22879
17.68/17.70	c nbDecision=10500 #constraints=22962
19.28/19.36	c nbDecision=11000 #constraints=23076
21.68/21.78	c nbDecision=11500 #constraints=23300
23.48/23.60	c nbDecision=12000 #constraints=23422
25.19/25.23	c nbDecision=12500 #constraints=23510
26.48/26.56	c restart after 12801 decisions
27.38/27.48	c nbDecision=13000 #constraints=23652
29.38/29.43	c nbDecision=13500 #constraints=23758
30.58/30.65	c nbDecision=14000 #constraints=23777
31.88/31.97	c nbDecision=14500 #constraints=23789
33.28/33.37	c nbDecision=15000 #constraints=23810
35.58/35.67	c nbDecision=15500 #constraints=23901
38.38/38.42	c nbDecision=16000 #constraints=24068
39.48/39.56	c nbDecision=16500 #constraints=24097
40.77/40.83	c nbDecision=17000 #constraints=24124
42.17/42.28	c nbDecision=17500 #constraints=24202
44.37/44.42	c nbDecision=18000 #constraints=24273
47.47/47.59	c nbDecision=18500 #constraints=24420
50.47/50.59	c nbDecision=19000 #constraints=24513
54.37/54.48	c nbDecision=19500 #constraints=24712
57.86/57.91	c nbDecision=20000 #constraints=24855
60.76/60.82	c nbDecision=20500 #constraints=25002
64.77/64.87	c nbDecision=21000 #constraints=25202
71.66/71.70	c nbDecision=21500 #constraints=25474
78.86/78.93	c nbDecision=22000 #constraints=25760
88.06/88.13	c nbDecision=22500 #constraints=26121
97.35/97.42	c nbDecision=23000 #constraints=26461
105.35/105.49	c nbDecision=23500 #constraints=26719
111.05/111.17	c nbDecision=24000 #constraints=26842
120.45/120.54	c nbDecision=24500 #constraints=27064
133.94/134.06	c nbDecision=25000 #constraints=27422
148.04/148.10	c nbDecision=25500 #constraints=27784
148.94/149.00	c restart after 25601 decisions
152.24/152.40	c nbDecision=26000 #constraints=27806
156.74/156.83	c nbDecision=26500 #constraints=27873
160.63/160.72	c nbDecision=27000 #constraints=27903
163.93/164.03	c nbDecision=27500 #constraints=28006
167.53/167.61	c nbDecision=28000 #constraints=28021
171.23/171.35	c nbDecision=28500 #constraints=28073
175.62/175.70	c nbDecision=29000 #constraints=28086
179.52/179.64	c nbDecision=29500 #constraints=28099
186.12/186.24	c nbDecision=30000 #constraints=28187
195.22/195.33	c nbDecision=30500 #constraints=28304
204.01/204.11	c nbDecision=31000 #constraints=28480
216.11/216.24	c nbDecision=31500 #constraints=28683
232.98/233.18	c nbDecision=32000 #constraints=28908
242.56/242.73	c nbDecision=32500 #constraints=29031
247.94/248.15	c nbDecision=33000 #constraints=29073
256.91/257.18	c nbDecision=33500 #constraints=29229
269.30/269.56	c nbDecision=34000 #constraints=29404
279.00/279.24	c nbDecision=34500 #constraints=29561
288.67/288.94	c nbDecision=35000 #constraints=29772
300.27/300.58	c nbDecision=35500 #constraints=29924
309.46/309.74	c nbDecision=36000 #constraints=30104
323.46/323.72	c nbDecision=36500 #constraints=30384
340.66/340.98	c nbDecision=37000 #constraints=30668
358.65/358.91	c nbDecision=37500 #constraints=30913
373.44/373.73	c nbDecision=38000 #constraints=31159
396.93/397.21	c nbDecision=38500 #constraints=31511
405.03/405.34	c nbDecision=39000 #constraints=31628
419.63/419.99	c nbDecision=39500 #constraints=31767
435.82/436.20	c nbDecision=40000 #constraints=31998
458.21/458.54	c nbDecision=40500 #constraints=32297
482.40/482.70	c nbDecision=41000 #constraints=32593
510.39/510.73	c nbDecision=41500 #constraints=32951
536.08/536.46	c nbDecision=42000 #constraints=33256
548.48/548.82	c nbDecision=42500 #constraints=33434
563.28/563.65	c nbDecision=43000 #constraints=33606
579.97/580.35	c nbDecision=43500 #constraints=33806
600.96/601.38	c nbDecision=44000 #constraints=34046
611.05/611.47	c nbDecision=44500 #constraints=34141
642.44/642.81	c nbDecision=45000 #constraints=34469
668.03/668.46	c nbDecision=45500 #constraints=34696
706.92/707.32	c nbDecision=46000 #constraints=35066
741.81/742.29	c nbDecision=46500 #constraints=35447
771.80/772.22	c nbDecision=47000 #constraints=35771
816.18/816.69	c nbDecision=47500 #constraints=36120
824.28/824.74	c nbDecision=48000 #constraints=36154
830.77/831.27	c nbDecision=48500 #constraints=36165
839.98/840.48	c nbDecision=49000 #constraints=36176
850.87/851.31	c nbDecision=49500 #constraints=36208
863.26/863.76	c nbDecision=50000 #constraints=36267
871.46/871.91	c nbDecision=50500 #constraints=36279
878.85/879.30	c nbDecision=51000 #constraints=36294
885.36/885.84	c restart after 51201 decisions
896.06/896.50	c nbDecision=51500 #constraints=36365
919.34/919.89	c nbDecision=52000 #constraints=36446
926.44/926.97	c nbDecision=52500 #constraints=36485
938.13/938.70	c nbDecision=53000 #constraints=36572
954.33/954.84	c nbDecision=53500 #constraints=36743
963.72/964.20	c nbDecision=54000 #constraints=36800
985.42/985.94	c nbDecision=54500 #constraints=37003
997.22/997.77	c nbDecision=55000 #constraints=37121
1011.71/1012.27	c nbDecision=55500 #constraints=37220
1034.80/1035.31	c nbDecision=56000 #constraints=37379
1052.29/1052.87	c nbDecision=56500 #constraints=37537
1064.29/1064.87	c nbDecision=57000 #constraints=37647
1080.68/1081.29	c nbDecision=57500 #constraints=37813
1118.67/1119.28	c nbDecision=58000 #constraints=38089
1135.86/1136.48	c nbDecision=58500 #constraints=38229
1157.55/1158.13	c nbDecision=59000 #constraints=38431
1188.45/1189.04	c nbDecision=59500 #constraints=38711
1202.74/1203.33	c nbDecision=60000 #constraints=38830
1211.93/1212.52	c nbDecision=60500 #constraints=38902
1240.63/1241.21	c nbDecision=61000 #constraints=39129
1264.32/1264.91	c nbDecision=61500 #constraints=39314
1289.61/1290.24	c nbDecision=62000 #constraints=39520
1320.19/1320.87	c nbDecision=62500 #constraints=39783
1356.98/1357.64	c nbDecision=63000 #constraints=40087
1406.87/1407.57	c nbDecision=63500 #constraints=40428
1444.76/1445.43	c nbDecision=64000 #constraints=40750
1485.83/1486.51	c nbDecision=64500 #constraints=41078
1508.62/1509.32	c nbDecision=65000 #constraints=41206
1539.82/1540.59	c nbDecision=65500 #constraints=41428
1582.20/1582.95	c nbDecision=66000 #constraints=41727
1615.69/1616.46	c nbDecision=66500 #constraints=41965
1654.57/1655.33	c nbDecision=67000 #constraints=42246
1694.85/1695.63	c nbDecision=67500 #constraints=42542
1742.24/1743.08	c nbDecision=68000 #constraints=42881
1786.22/1787.05	c nbDecision=68500 #constraints=43168
1800.03/1800.80	Received signal 15
1800.03/1800.80	
1800.03/1800.80	s UNKNOWN
1800.03/1800.80	
1800.03/1800.80	c user time= 1799.66 s
1800.03/1800.80	c system time= 0.370943 s
1800.03/1800.80	c wall clock time=1800.81

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 7408
/proc/meminfo: memFree=1574504/2055920 swapFree=4131116/4192956
[pid=7408] ppid=7406 vsize=1468 CPUtime=0
/proc/7408/stat : 7408 (oree) R 7406 7408 5380 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 146655370 1503232 165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7408/statm: 367 166 130 317 0 46 0

[startup+0.0541279 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 7408
/proc/meminfo: memFree=1574504/2055920 swapFree=4131116/4192956
[pid=7408] ppid=7406 vsize=2524 CPUtime=0.05
/proc/7408/stat : 7408 (oree) R 7406 7408 5380 0 -1 4194304 429 0 0 0 5 0 0 0 18 0 1 0 146655370 2584576 411 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7408/statm: 631 411 130 317 0 310 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2524

[startup+0.101137 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 7408
/proc/meminfo: memFree=1574504/2055920 swapFree=4131116/4192956
[pid=7408] ppid=7406 vsize=3448 CPUtime=0.09
/proc/7408/stat : 7408 (oree) R 7406 7408 5380 0 -1 4194304 662 0 0 0 9 0 0 0 18 0 1 0 146655370 3530752 645 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7408/statm: 862 645 130 317 0 541 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3448

[startup+0.301175 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 7408
/proc/meminfo: memFree=1574504/2055920 swapFree=4131116/4192956
[pid=7408] ppid=7406 vsize=8848 CPUtime=0.29
/proc/7408/stat : 7408 (oree) R 7406 7408 5380 0 -1 4194304 2030 0 0 0 29 0 0 0 19 0 1 0 146655370 9060352 2012 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7408/statm: 2212 2012 137 317 0 1891 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8848

[startup+0.701251 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 7408
/proc/meminfo: memFree=1574504/2055920 swapFree=4131116/4192956
[pid=7408] ppid=7406 vsize=9640 CPUtime=0.69
/proc/7408/stat : 7408 (oree) R 7406 7408 5380 0 -1 4194304 2229 0 0 0 69 0 0 0 23 0 1 0 146655370 9871360 2211 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7408/statm: 2410 2211 137 317 0 2089 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9640

[startup+1.5014 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7409
/proc/meminfo: memFree=1564960/2055920 swapFree=4131116/4192956
[pid=7408] ppid=7406 vsize=11288 CPUtime=1.49
/proc/7408/stat : 7408 (oree) R 7406 7408 5380 0 -1 4194304 2623 0 0 0 149 0 0 0 25 0 1 0 146655370 11558912 2457 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7408/statm: 2822 2457 139 317 0 2501 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11288

[startup+3.10171 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7409
/proc/meminfo: memFree=1564832/2055920 swapFree=4131116/4192956
[pid=7408] ppid=7406 vsize=11548 CPUtime=3.09
/proc/7408/stat : 7408 (oree) R 7406 7408 5380 0 -1 4194304 2708 0 0 0 309 0 0 0 25 0 1 0 146655370 11825152 2542 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715810 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7408/statm: 2887 2542 139 317 0 2566 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11548

[startup+6.30132 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7409
/proc/meminfo: memFree=1564512/2055920 swapFree=4131116/4192956
[pid=7408] ppid=7406 vsize=11912 CPUtime=6.29
/proc/7408/stat : 7408 (oree) R 7406 7408 5380 0 -1 4194304 2790 0 0 0 628 1 0 0 25 0 1 0 146655370 12197888 2624 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7408/statm: 2978 2624 139 317 0 2657 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11912

[startup+12.7015 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7409
/proc/meminfo: memFree=1563232/2055920 swapFree=4131116/4192956
[pid=7408] ppid=7406 vsize=13628 CPUtime=12.68
/proc/7408/stat : 7408 (oree) R 7406 7408 5380 0 -1 4194304 3183 0 0 0 1267 1 0 0 25 0 1 0 146655370 13955072 3017 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712511 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7408/statm: 3407 3017 139 317 0 3086 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 13628

[startup+25.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7409
/proc/meminfo: memFree=1559072/2055920 swapFree=4131116/4192956
[pid=7408] ppid=7406 vsize=17296 CPUtime=25.48
/proc/7408/stat : 7408 (oree) R 7406 7408 5380 0 -1 4194304 4118 0 0 0 2545 3 0 0 25 0 1 0 146655370 17711104 3952 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7408/statm: 4324 3952 139 317 0 4003 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 17296

[startup+51.1019 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 7409
/proc/meminfo: memFree=1555680/2055920 swapFree=4131116/4192956
[pid=7408] ppid=7406 vsize=21468 CPUtime=51.07
/proc/7408/stat : 7408 (oree) R 7406 7408 5380 0 -1 4194304 5039 0 0 0 5104 3 0 0 25 0 1 0 146655370 21983232 4873 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7408/statm: 5367 4873 139 317 0 5046 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 21468

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7409
/proc/meminfo: memFree=1546144/2055920 swapFree=4131116/4192956
[pid=7408] ppid=7406 vsize=30580 CPUtime=102.25
/proc/7408/stat : 7408 (oree) R 7406 7408 5380 0 -1 4194304 7375 0 0 0 10220 5 0 0 25 0 1 0 146655370 31313920 7209 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7408/statm: 7645 7209 139 317 0 7324 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 30580

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7409
/proc/meminfo: memFree=1540384/2055920 swapFree=4131172/4192956
[pid=7408] ppid=7406 vsize=37788 CPUtime=162.23
/proc/7408/stat : 7408 (oree) R 7406 7408 5380 0 -1 4194304 8815 0 0 0 16216 7 0 0 25 0 1 0 146655370 38694912 8649 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7408/statm: 9447 8649 139 317 0 9126 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 37788

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7409
/proc/meminfo: memFree=1537504/2055920 swapFree=4131172/4192956
[pid=7408] ppid=7406 vsize=40544 CPUtime=222.2
/proc/7408/stat : 7408 (oree) R 7406 7408 5380 0 -1 4194304 9512 0 0 0 22212 8 0 0 25 0 1 0 146655370 41517056 9346 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7408/statm: 10136 9346 139 317 0 9815 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 40544

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7607
/proc/meminfo: memFree=1533840/2055920 swapFree=4131228/4192956
[pid=7408] ppid=7406 vsize=43656 CPUtime=282.08
/proc/7408/stat : 7408 (oree) R 7406 7408 5380 0 -1 4194304 10340 0 0 0 28196 12 0 0 25 0 1 0 146655370 44703744 10174 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7408/statm: 10914 10174 139 317 0 10593 0
Current children cumulated CPU time (s) 282.08
Current children cumulated vsize (KiB) 43656

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7607
/proc/meminfo: memFree=1529440/2055920 swapFree=4131228/4192956
[pid=7408] ppid=7406 vsize=48224 CPUtime=342.05
/proc/7408/stat : 7408 (oree) R 7406 7408 5380 0 -1 4194304 11463 0 0 0 34192 13 0 0 25 0 1 0 146655370 49381376 11297 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7408/statm: 12056 11297 139 317 0 11735 0
Current children cumulated CPU time (s) 342.05
Current children cumulated vsize (KiB) 48224

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7607
/proc/meminfo: memFree=1525600/2055920 swapFree=4131228/4192956
[pid=7408] ppid=7406 vsize=51728 CPUtime=402.03
/proc/7408/stat : 7408 (oree) R 7406 7408 5380 0 -1 4194304 12413 0 0 0 40189 14 0 0 25 0 1 0 146655370 52969472 12247 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712497 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7408/statm: 12932 12247 139 317 0 12611 0
Current children cumulated CPU time (s) 402.03
Current children cumulated vsize (KiB) 51728

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7607
/proc/meminfo: memFree=1522336/2055920 swapFree=4131280/4192956
[pid=7408] ppid=7406 vsize=54900 CPUtime=462
/proc/7408/stat : 7408 (oree) R 7406 7408 5380 0 -1 4194304 13220 0 0 0 46185 15 0 0 25 0 1 0 146655370 56217600 13054 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7408/statm: 13725 13054 139 317 0 13404 0
Current children cumulated CPU time (s) 462
Current children cumulated vsize (KiB) 54900

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7607
/proc/meminfo: memFree=1518816/2055920 swapFree=4131280/4192956
[pid=7408] ppid=7406 vsize=58428 CPUtime=521.99
/proc/7408/stat : 7408 (oree) R 7406 7408 5380 0 -1 4194304 14142 0 0 0 52182 17 0 0 25 0 1 0 146655370 59830272 13943 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7408/statm: 14607 13943 139 317 0 14286 0
Current children cumulated CPU time (s) 521.99
Current children cumulated vsize (KiB) 58428

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7607
/proc/meminfo: memFree=1515744/2055920 swapFree=4131340/4192956
[pid=7408] ppid=7406 vsize=62416 CPUtime=581.97
/proc/7408/stat : 7408 (oree) R 7406 7408 5380 0 -1 4194304 14902 0 0 0 58179 18 0 0 25 0 1 0 146655370 63913984 14703 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7408/statm: 15604 14703 139 317 0 15283 0
Current children cumulated CPU time (s) 581.97
Current children cumulated vsize (KiB) 62416

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7607
/proc/meminfo: memFree=1512864/2055920 swapFree=4131340/4192956
[pid=7408] ppid=7406 vsize=66368 CPUtime=641.95
/proc/7408/stat : 7408 (oree) R 7406 7408 5380 0 -1 4194304 15612 0 0 0 64176 19 0 0 25 0 1 0 146655370 67960832 15413 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7408/statm: 16592 15413 139 317 0 16271 0
Current children cumulated CPU time (s) 641.95
Current children cumulated vsize (KiB) 66368


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

[startup+822.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7607
/proc/meminfo: memFree=1504864/2055920 swapFree=4131392/4192956
[pid=7408] ppid=7406 vsize=76516 CPUtime=821.88
/proc/7408/stat : 7408 (oree) R 7406 7408 5380 0 -1 4194304 17628 0 0 0 82166 22 0 0 25 0 1 0 146655370 78352384 17429 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604386 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7408/statm: 19129 17429 139 317 0 18808 0
Current children cumulated CPU time (s) 821.88
Current children cumulated vsize (KiB) 76516

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7607
/proc/meminfo: memFree=1504416/2055920 swapFree=4131448/4192956
[pid=7408] ppid=7406 vsize=76988 CPUtime=881.85
/proc/7408/stat : 7408 (oree) R 7406 7408 5380 0 -1 4194304 17740 0 0 0 88163 22 0 0 25 0 1 0 146655370 78835712 17541 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7408/statm: 19247 17541 139 317 0 18926 0
Current children cumulated CPU time (s) 881.85
Current children cumulated vsize (KiB) 76988

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7607
/proc/meminfo: memFree=1503392/2055920 swapFree=4131448/4192956
[pid=7408] ppid=7406 vsize=78224 CPUtime=941.83
/proc/7408/stat : 7408 (oree) R 7406 7408 5380 0 -1 4194304 18002 0 0 0 94160 23 0 0 25 0 1 0 146655370 80101376 17803 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7408/statm: 19556 17803 139 317 0 19235 0
Current children cumulated CPU time (s) 941.83
Current children cumulated vsize (KiB) 78224

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7607
/proc/meminfo: memFree=1501344/2055920 swapFree=4131448/4192956
[pid=7408] ppid=7406 vsize=80348 CPUtime=1001.81
/proc/7408/stat : 7408 (oree) R 7406 7408 5380 0 -1 4194304 18507 0 0 0 100157 24 0 0 25 0 1 0 146655370 82276352 18308 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7408/statm: 20087 18308 139 317 0 19766 0
Current children cumulated CPU time (s) 1001.81
Current children cumulated vsize (KiB) 80348

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7607
/proc/meminfo: memFree=1499552/2055920 swapFree=4131504/4192956
[pid=7408] ppid=7406 vsize=82056 CPUtime=1061.79
/proc/7408/stat : 7408 (oree) R 7406 7408 5380 0 -1 4194304 18954 0 0 0 106154 25 0 0 25 0 1 0 146655370 84025344 18755 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7408/statm: 20514 18755 139 317 0 20193 0
Current children cumulated CPU time (s) 1061.79
Current children cumulated vsize (KiB) 82056

[startup+1122.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/78 7607
/proc/meminfo: memFree=1497376/2055920 swapFree=4131504/4192956
[pid=7408] ppid=7406 vsize=84100 CPUtime=1121.77
/proc/7408/stat : 7408 (oree) R 7406 7408 5380 0 -1 4194304 19486 0 0 0 112151 26 0 0 25 0 1 0 146655370 86118400 19287 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7408/statm: 21025 19287 139 317 0 20704 0
Current children cumulated CPU time (s) 1121.77
Current children cumulated vsize (KiB) 84100

[startup+1182.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/78 7607
/proc/meminfo: memFree=1495392/2055920 swapFree=4131564/4192956
[pid=7408] ppid=7406 vsize=85788 CPUtime=1181.74
/proc/7408/stat : 7408 (oree) R 7406 7408 5380 0 -1 4194304 19978 0 0 0 118147 27 0 0 25 0 1 0 146655370 87846912 19779 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602641 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7408/statm: 21447 19779 139 317 0 21126 0
Current children cumulated CPU time (s) 1181.74
Current children cumulated vsize (KiB) 85788

[startup+1242.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 7607
/proc/meminfo: memFree=1493088/2055920 swapFree=4131564/4192956
[pid=7408] ppid=7406 vsize=87852 CPUtime=1241.72
/proc/7408/stat : 7408 (oree) R 7406 7408 5380 0 -1 4194304 20526 0 0 0 124144 28 0 0 25 0 1 0 146655370 89960448 20327 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7408/statm: 21963 20327 139 317 0 21642 0
Current children cumulated CPU time (s) 1241.72
Current children cumulated vsize (KiB) 87852

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7607
/proc/meminfo: memFree=1490848/2055920 swapFree=4131620/4192956
[pid=7408] ppid=7406 vsize=89656 CPUtime=1301.71
/proc/7408/stat : 7408 (oree) R 7406 7408 5380 0 -1 4194304 21066 0 0 0 130142 29 0 0 25 0 1 0 146655370 91807744 20867 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7408/statm: 22414 20867 139 317 0 22093 0
Current children cumulated CPU time (s) 1301.71
Current children cumulated vsize (KiB) 89656

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7607
/proc/meminfo: memFree=1488608/2055920 swapFree=4131620/4192956
[pid=7408] ppid=7406 vsize=91768 CPUtime=1361.68
/proc/7408/stat : 7408 (oree) R 7406 7408 5380 0 -1 4194304 21632 0 0 0 136138 30 0 0 25 0 1 0 146655370 93970432 21433 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7408/statm: 22942 21433 139 317 0 22621 0
Current children cumulated CPU time (s) 1361.68
Current children cumulated vsize (KiB) 91768

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7607
/proc/meminfo: memFree=1486560/2055920 swapFree=4131620/4192956
[pid=7408] ppid=7406 vsize=93552 CPUtime=1421.66
/proc/7408/stat : 7408 (oree) R 7406 7408 5380 0 -1 4194304 22120 0 0 0 142135 31 0 0 25 0 1 0 146655370 95797248 21921 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7408/statm: 23388 21921 139 317 0 23067 0
Current children cumulated CPU time (s) 1421.66
Current children cumulated vsize (KiB) 93552

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7607
/proc/meminfo: memFree=1484256/2055920 swapFree=4131680/4192956
[pid=7408] ppid=7406 vsize=95616 CPUtime=1481.63
/proc/7408/stat : 7408 (oree) R 7406 7408 5380 0 -1 4194304 22718 0 0 0 148131 32 0 0 25 0 1 0 146655370 97910784 22519 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7408/statm: 23904 22519 139 317 0 23583 0
Current children cumulated CPU time (s) 1481.63
Current children cumulated vsize (KiB) 95616

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7607
/proc/meminfo: memFree=1482464/2055920 swapFree=4131680/4192956
[pid=7408] ppid=7406 vsize=97296 CPUtime=1541.62
/proc/7408/stat : 7408 (oree) R 7406 7408 5380 0 -1 4194304 23148 0 0 0 154129 33 0 0 25 0 1 0 146655370 99631104 22949 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7408/statm: 24324 22949 139 317 0 24003 0
Current children cumulated CPU time (s) 1541.62
Current children cumulated vsize (KiB) 97296

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7607
/proc/meminfo: memFree=1480544/2055920 swapFree=4131740/4192956
[pid=7408] ppid=7406 vsize=98928 CPUtime=1601.59
/proc/7408/stat : 7408 (oree) R 7406 7408 5380 0 -1 4194304 23611 0 0 0 160126 33 0 0 25 0 1 0 146655370 101302272 23412 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7408/statm: 24732 23412 139 317 0 24411 0
Current children cumulated CPU time (s) 1601.59
Current children cumulated vsize (KiB) 98928

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7607
/proc/meminfo: memFree=1478240/2055920 swapFree=4131740/4192956
[pid=7408] ppid=7406 vsize=101004 CPUtime=1661.57
/proc/7408/stat : 7408 (oree) R 7406 7408 5380 0 -1 4194304 24225 0 0 0 166123 34 0 0 25 0 1 0 146655370 103428096 23993 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7408/statm: 25251 23993 139 317 0 24930 0
Current children cumulated CPU time (s) 1661.57
Current children cumulated vsize (KiB) 101004

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7607
/proc/meminfo: memFree=1476192/2055920 swapFree=4131740/4192956
[pid=7408] ppid=7406 vsize=102824 CPUtime=1721.55
/proc/7408/stat : 7408 (oree) R 7406 7408 5380 0 -1 4194304 24761 0 0 0 172120 35 0 0 25 0 1 0 146655370 105291776 24496 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7408/statm: 25706 24496 139 317 0 25385 0
Current children cumulated CPU time (s) 1721.55
Current children cumulated vsize (KiB) 102824

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7607
/proc/meminfo: memFree=1474272/2055920 swapFree=4131796/4192956
[pid=7408] ppid=7406 vsize=104396 CPUtime=1781.53
/proc/7408/stat : 7408 (oree) R 7406 7408 5380 0 -1 4194304 25228 0 0 0 178117 36 0 0 25 0 1 0 146655370 106901504 24963 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7408/statm: 26099 24963 139 317 0 25778 0
Current children cumulated CPU time (s) 1781.53
Current children cumulated vsize (KiB) 104396



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7607
/proc/meminfo: memFree=1472416/2055920 swapFree=4131796/4192956
[pid=7408] ppid=7406 vsize=107160 CPUtime=1800.03
/proc/7408/stat : 7408 (oree) R 7406 7408 5380 0 -1 4194304 25946 0 0 0 179966 37 0 0 25 0 1 0 146655370 109731840 25385 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7408/statm: 26790 25385 139 317 0 26469 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 107160

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.83
CPU time (s): 1800.06
CPU user time (s): 1799.67
CPU system time (s): 0.38894
CPU usage (%): 99.957
Max. virtual memory (cumulated for all children) (KiB): 107160

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

runsolver used 2.02369 second user time and 4.53631 second system time

The end

Launcher Data (download as text)

Begin job on node42 on Thu Apr 19 12:57:15 UTC 2007

IDJOB= 364134
IDBENCH= 2071
IDSOLVER= 172
FILE ID= node42/364134-1176987435

PBS_JOBID= 4630364

Free space on /tmp= 66447 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32c4.opb
COMMAND LINE= oree /tmp/evaluation/364134-1176987435/instance-364134-1176987435.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node42/watcher-364134-1176987435 -o ROOT/results/node42/solver-364134-1176987435 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/364134-1176987435/instance-364134-1176987435.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  5468ba071d8bcc474bd73dc9f24f6990

RANDOM SEED= 898066778

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node42.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.277
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.277
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:       1574912 kB
Buffers:         35436 kB
Cached:         356404 kB
SwapCached:      17656 kB
Active:          91032 kB
Inactive:       332752 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1574912 kB
SwapTotal:     4192956 kB
SwapFree:      4131116 kB
Dirty:            2508 kB
Writeback:           0 kB
Mapped:          39692 kB
Slab:            42632 kB
Committed_AS:  2999360 kB
PageTables:       1912 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= 66447 MiB

End job on node42 on Thu Apr 19 13:27:18 UTC 2007