Trace number 364722

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.13 1800.61

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32e4.opb
MD5SUM898f4661a42594ef028c1f962398614b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark364
Best CPU time to get the best result obtained on this benchmark32.663
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 364
Optimality of the best value was proved YES
Number of variables774
Total number of constraints7493
Number of constraints which are clauses7493
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 774
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 774
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 774
Number of bits of the biggest sum of numbers10
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.08/0.09	c ...done
0.08/0.09	c #vars=774 #constraints=7494 hasObjective=yes
0.19/0.20	c res. mode=mod
0.19/0.20	c VSIDS like heuristics
0.19/0.20	c complete search running
0.29/0.34	c restart after 401 decisions
0.29/0.36	c nbDecision=500 #constraints=7555
0.39/0.42	c restart after 801 decisions
0.39/0.45	c nbDecision=1000 #constraints=7565
0.49/0.54	c nbDecision=1500 #constraints=7575
0.49/0.56	c restart after 1601 decisions
0.59/0.64	c nbDecision=2000 #constraints=7584
0.69/0.74	c nbDecision=2500 #constraints=7594
0.79/0.84	c nbDecision=3000 #constraints=7605
0.79/0.88	c restart after 3201 decisions
0.89/0.92	c nbDecision=3500 #constraints=7619
0.99/1.07	c nbDecision=4000 #constraints=7666
1.09/1.19	c nbDecision=4500 #constraints=7684
1.29/1.30	c nbDecision=5000 #constraints=7695
1.39/1.45	c nbDecision=5500 #constraints=7727
1.49/1.57	c nbDecision=6000 #constraints=7739
1.59/1.68	c restart after 6401 decisions
1.69/1.71	c nbDecision=6500 #constraints=7753
1.89/1.93	c nbDecision=7000 #constraints=7819
2.19/2.22	c nbDecision=7500 #constraints=7870
2.49/2.59	c nbDecision=8000 #constraints=7954
3.19/3.26	c nbDecision=8500 #constraints=8157
3.49/3.53	c nbDecision=9000 #constraints=8221
4.49/4.56	c nbDecision=9500 #constraints=8443
4.89/4.91	c nbDecision=10000 #constraints=8514
5.69/5.74	c nbDecision=10500 #constraints=8662
6.89/6.91	c nbDecision=11000 #constraints=8896
8.59/8.62	c nbDecision=11500 #constraints=9139
9.79/9.87	c nbDecision=12000 #constraints=9270
10.38/10.40	c nbDecision=12500 #constraints=9296
10.58/10.67	c restart after 12801 decisions
10.89/10.94	c nbDecision=13000 #constraints=9308
11.38/11.46	c nbDecision=13500 #constraints=9335
11.89/11.91	c nbDecision=14000 #constraints=9353
12.79/12.82	c nbDecision=14500 #constraints=9394
13.99/14.02	c nbDecision=15000 #constraints=9467
14.59/14.68	c nbDecision=15500 #constraints=9495
14.99/15.07	c nbDecision=16000 #constraints=9507
15.49/15.51	c nbDecision=16500 #constraints=9518
16.19/16.29	c nbDecision=17000 #constraints=9555
16.99/17.03	c nbDecision=17500 #constraints=9590
17.99/18.05	c nbDecision=18000 #constraints=9651
18.89/18.98	c nbDecision=18500 #constraints=9692
20.58/20.68	c nbDecision=19000 #constraints=9786
22.28/22.38	c nbDecision=19500 #constraints=9892
23.68/23.78	c nbDecision=20000 #constraints=10018
25.48/25.54	c nbDecision=20500 #constraints=10129
27.78/27.81	c nbDecision=21000 #constraints=10318
30.58/30.63	c nbDecision=21500 #constraints=10489
33.38/33.47	c nbDecision=22000 #constraints=10695
37.28/37.35	c nbDecision=22500 #constraints=10930
38.38/38.44	c nbDecision=23000 #constraints=10963
40.28/40.30	c nbDecision=23500 #constraints=11024
41.88/41.90	c nbDecision=24000 #constraints=11090
44.18/44.22	c nbDecision=24500 #constraints=11174
47.08/47.15	c nbDecision=25000 #constraints=11304
50.37/50.48	c nbDecision=25500 #constraints=11412
51.47/51.57	c restart after 25601 decisions
53.67/53.78	c nbDecision=26000 #constraints=11480
54.97/55.06	c nbDecision=26500 #constraints=11497
56.27/56.39	c nbDecision=27000 #constraints=11507
57.87/57.94	c nbDecision=27500 #constraints=11527
59.67/59.74	c nbDecision=28000 #constraints=11562
62.47/62.50	c nbDecision=28500 #constraints=11606
66.18/66.26	c nbDecision=29000 #constraints=11673
68.38/68.41	c nbDecision=29500 #constraints=11724
71.77/71.80	c nbDecision=30000 #constraints=11819
72.97/73.08	c nbDecision=30500 #constraints=11836
75.67/75.73	c nbDecision=31000 #constraints=11906
78.37/78.46	c nbDecision=31500 #constraints=11961
80.87/80.92	c nbDecision=32000 #constraints=12043
83.97/84.10	c nbDecision=32500 #constraints=12122
91.76/91.80	c nbDecision=33000 #constraints=12315
100.77/100.81	c nbDecision=33500 #constraints=12576
106.96/107.04	c nbDecision=34000 #constraints=12704
109.16/109.20	c nbDecision=34500 #constraints=12715
111.07/111.12	c nbDecision=35000 #constraints=12733
114.27/114.35	c nbDecision=35500 #constraints=12794
118.56/118.64	c nbDecision=36000 #constraints=12910
123.26/123.31	c nbDecision=36500 #constraints=13041
130.06/130.19	c nbDecision=37000 #constraints=13189
133.55/133.62	c nbDecision=37500 #constraints=13237
138.05/138.17	c nbDecision=38000 #constraints=13316
144.45/144.58	c nbDecision=38500 #constraints=13464
152.35/152.44	c nbDecision=39000 #constraints=13619
163.55/163.61	c nbDecision=39500 #constraints=13877
166.65/166.77	c nbDecision=40000 #constraints=13932
172.25/172.36	c nbDecision=40500 #constraints=14014
179.44/179.53	c nbDecision=41000 #constraints=14170
186.34/186.47	c nbDecision=41500 #constraints=14327
195.34/195.43	c nbDecision=42000 #constraints=14492
205.03/205.15	c nbDecision=42500 #constraints=14700
222.23/222.35	c nbDecision=43000 #constraints=14989
238.23/238.34	c nbDecision=43500 #constraints=15317
244.72/244.80	c nbDecision=44000 #constraints=15433
257.02/257.13	c nbDecision=44500 #constraints=15643
269.82/269.90	c nbDecision=45000 #constraints=15869
275.22/275.37	c nbDecision=45500 #constraints=15978
284.92/285.00	c nbDecision=46000 #constraints=16177
305.41/305.59	c nbDecision=46500 #constraints=16491
322.30/322.49	c nbDecision=47000 #constraints=16800
340.10/340.29	c nbDecision=47500 #constraints=17070
371.79/371.98	c nbDecision=48000 #constraints=17461
403.98/404.13	c nbDecision=48500 #constraints=17830
432.67/432.85	c nbDecision=49000 #constraints=18189
457.37/457.59	c nbDecision=49500 #constraints=18454
466.97/467.10	c nbDecision=50000 #constraints=18625
493.86/494.06	c nbDecision=50500 #constraints=18933
526.95/527.10	c nbDecision=51000 #constraints=19289
538.75/538.91	c restart after 51201 decisions
561.04/561.29	c nbDecision=51500 #constraints=19614
599.93/600.13	c nbDecision=52000 #constraints=19957
625.22/625.41	c nbDecision=52500 #constraints=20228
660.02/660.24	c nbDecision=53000 #constraints=20531
683.91/684.16	c nbDecision=53500 #constraints=20752
688.20/688.40	c nbDecision=54000 #constraints=20771
693.40/693.62	c nbDecision=54500 #constraints=20781
698.80/699.03	c nbDecision=55000 #constraints=20791
706.10/706.30	c nbDecision=55500 #constraints=20829
715.50/715.80	c nbDecision=56000 #constraints=20913
721.79/722.07	c nbDecision=56500 #constraints=20939
732.89/733.12	c nbDecision=57000 #constraints=21035
752.19/752.42	c nbDecision=57500 #constraints=21162
765.79/766.08	c nbDecision=58000 #constraints=21246
778.28/778.52	c nbDecision=58500 #constraints=21311
788.28/788.58	c nbDecision=59000 #constraints=21359
804.47/804.75	c nbDecision=59500 #constraints=21460
815.17/815.44	c nbDecision=60000 #constraints=21522
822.66/822.99	c nbDecision=60500 #constraints=21571
837.96/838.26	c nbDecision=61000 #constraints=21673
856.26/856.59	c nbDecision=61500 #constraints=21850
873.06/873.35	c nbDecision=62000 #constraints=22000
895.16/895.46	c nbDecision=62500 #constraints=22172
916.35/916.66	c nbDecision=63000 #constraints=22341
931.74/932.05	c nbDecision=63500 #constraints=22463
956.43/956.79	c nbDecision=64000 #constraints=22708
998.03/998.37	c nbDecision=64500 #constraints=23060
1017.22/1017.52	c nbDecision=65000 #constraints=23218
1045.01/1045.30	c nbDecision=65500 #constraints=23408
1071.90/1072.26	c nbDecision=66000 #constraints=23626
1107.79/1108.16	c nbDecision=66500 #constraints=23934
1153.08/1153.48	c nbDecision=67000 #constraints=24311
1188.67/1189.09	c nbDecision=67500 #constraints=24572
1232.16/1232.56	c nbDecision=68000 #constraints=24908
1275.75/1276.10	c nbDecision=68500 #constraints=25221
1313.63/1314.01	c nbDecision=69000 #constraints=25488
1360.53/1360.95	c nbDecision=69500 #constraints=25844
1413.71/1414.13	c nbDecision=70000 #constraints=26225
1481.09/1481.56	c nbDecision=70500 #constraints=26619
1543.07/1543.58	c nbDecision=71000 #constraints=27008
1605.76/1606.27	c nbDecision=71500 #constraints=27432
1655.95/1656.45	c nbDecision=72000 #constraints=27673
1670.84/1671.39	c nbDecision=72500 #constraints=27806
1703.53/1704.09	c nbDecision=73000 #constraints=28004
1729.32/1729.88	c nbDecision=73500 #constraints=28209
1754.11/1754.65	c nbDecision=74000 #constraints=28332
1793.41/1793.94	c nbDecision=74500 #constraints=28614
1800.01/1800.50	Received signal 15
1800.01/1800.59	
1800.01/1800.59	s UNKNOWN
1800.01/1800.59	
1800.01/1800.59	c user time= 1799.87 s
1800.01/1800.59	c system time= 0.235964 s
1800.01/1800.59	c wall clock time=1800.59

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/node48/watcher-364722-1176988480 -o ROOT/results/node48/solver-364722-1176988480 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/364722-1176988480/instance-364722-1176988480.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.96 3/64 3451
/proc/meminfo: memFree=1498816/2055920 swapFree=4184636/4192956
[pid=3451] ppid=3449 vsize=1468 CPUtime=0
/proc/3451/stat : 3451 (oree) R 3449 3451 3350 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 53693309 1503232 164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272641 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3451/statm: 367 164 130 317 0 46 0

[startup+0.085691 s]
/proc/loadavg: 0.91 0.95 0.96 3/64 3451
/proc/meminfo: memFree=1498816/2055920 swapFree=4184636/4192956
[pid=3451] ppid=3449 vsize=3188 CPUtime=0.08
/proc/3451/stat : 3451 (oree) R 3449 3451 3350 0 -1 4194304 621 0 0 0 8 0 0 0 18 0 1 0 53693309 3264512 603 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3451/statm: 797 603 130 317 0 476 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 3188

[startup+0.101692 s]
/proc/loadavg: 0.91 0.95 0.96 3/64 3451
/proc/meminfo: memFree=1498816/2055920 swapFree=4184636/4192956
[pid=3451] ppid=3449 vsize=3924 CPUtime=0.09
/proc/3451/stat : 3451 (oree) R 3449 3451 3350 0 -1 4194304 791 0 0 0 9 0 0 0 18 0 1 0 53693309 4018176 773 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3451/statm: 981 773 137 317 0 660 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3924

[startup+0.30171 s]
/proc/loadavg: 0.91 0.95 0.96 3/64 3451
/proc/meminfo: memFree=1498816/2055920 swapFree=4184636/4192956
[pid=3451] ppid=3449 vsize=4656 CPUtime=0.29
/proc/3451/stat : 3451 (oree) R 3449 3451 3350 0 -1 4194304 986 0 0 0 29 0 0 0 19 0 1 0 53693309 4767744 916 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3451/statm: 1164 916 139 317 0 843 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4656

[startup+0.701747 s]
/proc/loadavg: 0.91 0.95 0.96 3/64 3451
/proc/meminfo: memFree=1498816/2055920 swapFree=4184636/4192956
[pid=3451] ppid=3449 vsize=4656 CPUtime=0.69
/proc/3451/stat : 3451 (oree) R 3449 3451 3350 0 -1 4194304 986 0 0 0 69 0 0 0 22 0 1 0 53693309 4767744 916 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3451/statm: 1164 916 139 317 0 843 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4656

[startup+1.50182 s]
/proc/loadavg: 0.91 0.95 0.96 2/65 3452
/proc/meminfo: memFree=1495480/2055920 swapFree=4184636/4192956
[pid=3451] ppid=3449 vsize=4920 CPUtime=1.49
/proc/3451/stat : 3451 (oree) R 3449 3451 3350 0 -1 4194304 1064 0 0 0 149 0 0 0 25 0 1 0 53693309 5038080 994 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563419 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3451/statm: 1230 994 139 317 0 909 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4920

[startup+3.10197 s]
/proc/loadavg: 0.91 0.95 0.96 2/65 3452
/proc/meminfo: memFree=1494840/2055920 swapFree=4184636/4192956
[pid=3451] ppid=3449 vsize=6468 CPUtime=3.09
/proc/3451/stat : 3451 (oree) R 3449 3451 3350 0 -1 4194304 1431 0 0 0 309 0 0 0 25 0 1 0 53693309 6623232 1361 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3451/statm: 1617 1361 139 317 0 1296 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6468

[startup+6.30126 s]
/proc/loadavg: 0.92 0.95 0.96 2/65 3452
/proc/meminfo: memFree=1491320/2055920 swapFree=4184636/4192956
[pid=3451] ppid=3449 vsize=9644 CPUtime=6.29
/proc/3451/stat : 3451 (oree) R 3449 3451 3350 0 -1 4194304 2223 0 0 0 628 1 0 0 25 0 1 0 53693309 9875456 2153 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3451/statm: 2411 2153 139 317 0 2090 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 9644

[startup+12.7019 s]
/proc/loadavg: 0.93 0.95 0.96 2/65 3452
/proc/meminfo: memFree=1487992/2055920 swapFree=4184636/4192956
[pid=3451] ppid=3449 vsize=12288 CPUtime=12.69
/proc/3451/stat : 3451 (oree) R 3449 3451 3350 0 -1 4194304 2870 0 0 0 1267 2 0 0 25 0 1 0 53693309 12582912 2800 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3451/statm: 3072 2800 139 317 0 2751 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 12288

[startup+25.501 s]
/proc/loadavg: 0.94 0.96 0.96 2/65 3452
/proc/meminfo: memFree=1485368/2055920 swapFree=4184636/4192956
[pid=3451] ppid=3449 vsize=14960 CPUtime=25.48
/proc/3451/stat : 3451 (oree) R 3449 3451 3350 0 -1 4194304 3510 0 0 0 2546 2 0 0 25 0 1 0 53693309 15319040 3440 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3451/statm: 3740 3440 139 317 0 3419 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 14960

[startup+51.1014 s]
/proc/loadavg: 0.96 0.96 0.96 2/65 3452
/proc/meminfo: memFree=1479800/2055920 swapFree=4184636/4192956
[pid=3451] ppid=3449 vsize=20640 CPUtime=51.07
/proc/3451/stat : 3451 (oree) R 3449 3451 3350 0 -1 4194304 4902 0 0 0 5104 3 0 0 25 0 1 0 53693309 21135360 4832 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3451/statm: 5160 4832 139 317 0 4839 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 20640

[startup+102.304 s]
/proc/loadavg: 0.98 0.96 0.96 2/65 3452
/proc/meminfo: memFree=1475128/2055920 swapFree=4184636/4192956
[pid=3451] ppid=3449 vsize=25600 CPUtime=102.27
/proc/3451/stat : 3451 (oree) R 3449 3451 3350 0 -1 4194304 6051 0 0 0 10222 5 0 0 25 0 1 0 53693309 26214400 5981 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3451/statm: 6400 5981 139 317 0 6079 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 25600

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3452
/proc/meminfo: memFree=1470392/2055920 swapFree=4184636/4192956
[pid=3451] ppid=3449 vsize=30844 CPUtime=162.25
/proc/3451/stat : 3451 (oree) R 3449 3451 3350 0 -1 4194304 7241 0 0 0 16219 6 0 0 25 0 1 0 53693309 31584256 7171 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718671 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3451/statm: 7711 7171 139 317 0 7390 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 30844

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3452
/proc/meminfo: memFree=1465208/2055920 swapFree=4184636/4192956
[pid=3451] ppid=3449 vsize=36236 CPUtime=222.23
/proc/3451/stat : 3451 (oree) R 3449 3451 3350 0 -1 4194304 8568 0 0 0 22217 6 0 0 25 0 1 0 53693309 37105664 8395 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3451/statm: 9059 8395 139 317 0 8738 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 36236

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3452
/proc/meminfo: memFree=1460664/2055920 swapFree=4184636/4192956
[pid=3451] ppid=3449 vsize=40864 CPUtime=282.22
/proc/3451/stat : 3451 (oree) R 3449 3451 3350 0 -1 4194304 9771 0 0 0 28215 7 0 0 25 0 1 0 53693309 41844736 9598 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3451/statm: 10216 9598 139 317 0 9895 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 40864

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3452
/proc/meminfo: memFree=1455928/2055920 swapFree=4184636/4192956
[pid=3451] ppid=3449 vsize=45968 CPUtime=342.2
/proc/3451/stat : 3451 (oree) R 3449 3451 3350 0 -1 4194304 10931 0 0 0 34212 8 0 0 25 0 1 0 53693309 47071232 10758 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134714744 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3451/statm: 11492 10758 139 317 0 11171 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 45968

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3452
/proc/meminfo: memFree=1452664/2055920 swapFree=4184636/4192956
[pid=3451] ppid=3449 vsize=49956 CPUtime=402.19
/proc/3451/stat : 3451 (oree) R 3449 3451 3350 0 -1 4194304 11752 0 0 0 40210 9 0 0 25 0 1 0 53693309 51154944 11579 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3451/statm: 12489 11579 139 317 0 12168 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 49956

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3452
/proc/meminfo: memFree=1449208/2055920 swapFree=4184636/4192956
[pid=3451] ppid=3449 vsize=54096 CPUtime=462.17
/proc/3451/stat : 3451 (oree) R 3449 3451 3350 0 -1 4194304 12616 0 0 0 46207 10 0 0 25 0 1 0 53693309 55394304 12443 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3451/statm: 13524 12443 139 317 0 13203 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 54096

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3452
/proc/meminfo: memFree=1446072/2055920 swapFree=4184636/4192956
[pid=3451] ppid=3449 vsize=57420 CPUtime=522.15
/proc/3451/stat : 3451 (oree) R 3449 3451 3350 0 -1 4194304 13404 0 0 0 52204 11 0 0 25 0 1 0 53693309 58798080 13231 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3451/statm: 14355 13231 139 317 0 14034 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 57420

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3452
/proc/meminfo: memFree=1443320/2055920 swapFree=4184636/4192956
[pid=3451] ppid=3449 vsize=60068 CPUtime=582.13
/proc/3451/stat : 3451 (oree) R 3449 3451 3350 0 -1 4194304 14070 0 0 0 58202 11 0 0 25 0 1 0 53693309 61509632 13897 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3451/statm: 15017 13897 139 317 0 14696 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 60068

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3452
/proc/meminfo: memFree=1440824/2055920 swapFree=4184636/4192956
[pid=3451] ppid=3449 vsize=62612 CPUtime=642.12
/proc/3451/stat : 3451 (oree) R 3449 3451 3350 0 -1 4194304 14679 0 0 0 64200 12 0 0 25 0 1 0 53693309 64114688 14506 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718428 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3451/statm: 15653 14506 139 317 0 15332 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 62612


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3452
/proc/meminfo: memFree=1434296/2055920 swapFree=4184636/4192956
[pid=3451] ppid=3449 vsize=69164 CPUtime=882.06
/proc/3451/stat : 3451 (oree) R 3449 3451 3350 0 -1 4194304 16293 0 0 0 88191 15 0 0 25 0 1 0 53693309 70823936 16120 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3451/statm: 17291 16120 139 317 0 16970 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 69164

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3452
/proc/meminfo: memFree=1432376/2055920 swapFree=4184636/4192956
[pid=3451] ppid=3449 vsize=70872 CPUtime=942.04
/proc/3451/stat : 3451 (oree) R 3449 3451 3350 0 -1 4194304 16767 0 0 0 94189 15 0 0 25 0 1 0 53693309 72572928 16594 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3451/statm: 17718 16594 139 317 0 17397 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 70872

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3452
/proc/meminfo: memFree=1429944/2055920 swapFree=4184636/4192956
[pid=3451] ppid=3449 vsize=73500 CPUtime=1002.03
/proc/3451/stat : 3451 (oree) R 3449 3451 3350 0 -1 4194304 17387 0 0 0 100187 16 0 0 25 0 1 0 53693309 75264000 17214 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604194 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3451/statm: 18375 17214 139 317 0 18054 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 73500

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3452
/proc/meminfo: memFree=1428152/2055920 swapFree=4184636/4192956
[pid=3451] ppid=3449 vsize=75468 CPUtime=1062
/proc/3451/stat : 3451 (oree) R 3449 3451 3350 0 -1 4194304 17867 0 0 0 106184 16 0 0 25 0 1 0 53693309 77279232 17694 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711484 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3451/statm: 18867 17694 139 317 0 18546 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 75468

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3452
/proc/meminfo: memFree=1425912/2055920 swapFree=4184636/4192956
[pid=3451] ppid=3449 vsize=77728 CPUtime=1121.99
/proc/3451/stat : 3451 (oree) R 3449 3451 3350 0 -1 4194304 18403 0 0 0 112182 17 0 0 25 0 1 0 53693309 79593472 18230 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3451/statm: 19432 18230 139 317 0 19111 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 77728

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3452
/proc/meminfo: memFree=1423800/2055920 swapFree=4184636/4192956
[pid=3451] ppid=3449 vsize=79960 CPUtime=1181.97
/proc/3451/stat : 3451 (oree) R 3449 3451 3350 0 -1 4194304 18939 0 0 0 118180 17 0 0 25 0 1 0 53693309 81879040 18766 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3451/statm: 19990 18766 139 317 0 19669 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 79960

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3452
/proc/meminfo: memFree=1421560/2055920 swapFree=4184636/4192956
[pid=3451] ppid=3449 vsize=82452 CPUtime=1241.96
/proc/3451/stat : 3451 (oree) R 3449 3451 3350 0 -1 4194304 19466 0 0 0 124178 18 0 0 25 0 1 0 53693309 84430848 19293 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3451/statm: 20613 19293 139 317 0 20292 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 82452

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3452
/proc/meminfo: memFree=1419768/2055920 swapFree=4184636/4192956
[pid=3451] ppid=3449 vsize=84184 CPUtime=1301.94
/proc/3451/stat : 3451 (oree) R 3449 3451 3350 0 -1 4194304 19900 0 0 0 130176 18 0 0 25 0 1 0 53693309 86204416 19727 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3451/statm: 21046 19727 139 317 0 20725 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 84184

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3452
/proc/meminfo: memFree=1417784/2055920 swapFree=4184636/4192956
[pid=3451] ppid=3449 vsize=86312 CPUtime=1361.93
/proc/3451/stat : 3451 (oree) R 3449 3451 3350 0 -1 4194304 20412 0 0 0 136174 19 0 0 25 0 1 0 53693309 88383488 20239 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3451/statm: 21578 20239 139 317 0 21257 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 86312

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3452
/proc/meminfo: memFree=1415736/2055920 swapFree=4184636/4192956
[pid=3451] ppid=3449 vsize=88408 CPUtime=1421.91
/proc/3451/stat : 3451 (oree) R 3449 3451 3350 0 -1 4194304 20925 0 0 0 142172 19 0 0 25 0 1 0 53693309 90529792 20719 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3451/statm: 22102 20719 139 317 0 21781 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 88408

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3452
/proc/meminfo: memFree=1414200/2055920 swapFree=4184636/4192956
[pid=3451] ppid=3449 vsize=89976 CPUtime=1481.89
/proc/3451/stat : 3451 (oree) R 3449 3451 3350 0 -1 4194304 21356 0 0 0 148169 20 0 0 25 0 1 0 53693309 92135424 21117 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3451/statm: 22494 21117 139 317 0 22173 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 89976

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3452
/proc/meminfo: memFree=1412408/2055920 swapFree=4184636/4192956
[pid=3451] ppid=3449 vsize=91840 CPUtime=1541.87
/proc/3451/stat : 3451 (oree) R 3449 3451 3350 0 -1 4194304 21812 0 0 0 154167 20 0 0 25 0 1 0 53693309 94044160 21573 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3451/statm: 22960 21573 139 317 0 22639 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 91840

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3452
/proc/meminfo: memFree=1410616/2055920 swapFree=4184636/4192956
[pid=3451] ppid=3449 vsize=93672 CPUtime=1601.86
/proc/3451/stat : 3451 (oree) R 3449 3451 3350 0 -1 4194304 22283 0 0 0 160165 21 0 0 25 0 1 0 53693309 95920128 22011 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3451/statm: 23418 22011 139 317 0 23097 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 93672

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3452
/proc/meminfo: memFree=1409080/2055920 swapFree=4184636/4192956
[pid=3451] ppid=3449 vsize=96188 CPUtime=1661.84
/proc/3451/stat : 3451 (oree) R 3449 3451 3350 0 -1 4194304 22953 0 0 0 166162 22 0 0 25 0 1 0 53693309 98496512 22384 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3451/statm: 24047 22384 139 317 0 23726 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 96188

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3452
/proc/meminfo: memFree=1407224/2055920 swapFree=4184636/4192956
[pid=3451] ppid=3449 vsize=98664 CPUtime=1721.82
/proc/3451/stat : 3451 (oree) R 3449 3451 3350 0 -1 4194304 23572 0 0 0 172160 22 0 0 25 0 1 0 53693309 101031936 22871 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3451/statm: 24666 22871 139 317 0 24345 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 98664

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3452
/proc/meminfo: memFree=1405496/2055920 swapFree=4184636/4192956
[pid=3451] ppid=3449 vsize=100884 CPUtime=1781.81
/proc/3451/stat : 3451 (oree) R 3449 3451 3350 0 -1 4194304 24177 0 0 0 178158 23 0 0 25 0 1 0 53693309 103305216 23278 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3451/statm: 25221 23278 139 317 0 24900 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 100884



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3452
/proc/meminfo: memFree=1404792/2055920 swapFree=4184636/4192956
[pid=3451] ppid=3449 vsize=101536 CPUtime=1800.01
/proc/3451/stat : 3451 (oree) R 3449 3451 3350 0 -1 4194304 24382 0 0 0 179978 23 0 0 25 0 1 0 53693309 103972864 23450 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718306 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3451/statm: 25384 23450 139 317 0 25063 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 101536

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

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

[startup+1800.61 s]
/proc/loadavg: 0.99 0.97 0.96 2/66 3453
/proc/meminfo: memFree=1455600/2055920 swapFree=4184636/4192956
[pid=3451] ppid=3449 vsize=0 CPUtime=1800.11
/proc/3451/stat : 3451 (oree) R 3449 3451 3350 0 -1 4194308 24399 0 0 0 179987 24 0 0 25 0 1 0 53693309 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3451/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.61
CPU time (s): 1800.13
CPU user time (s): 1799.88
CPU system time (s): 0.250961
CPU usage (%): 99.973
Max. virtual memory (cumulated for all children) (KiB): 101536

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

runsolver used 1.37079 second user time and 3.57046 second system time

The end

Launcher Data (download as text)

Begin job on node48 on Thu Apr 19 13:14:40 UTC 2007

IDJOB= 364722
IDBENCH= 2146
IDSOLVER= 172
FILE ID= node48/364722-1176988480

PBS_JOBID= 4630433

Free space on /tmp= 66484 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-ii32e4.opb
COMMAND LINE= oree /tmp/evaluation/364722-1176988480/instance-364722-1176988480.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node48/watcher-364722-1176988480 -o ROOT/results/node48/solver-364722-1176988480 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/364722-1176988480/instance-364722-1176988480.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  898f4661a42594ef028c1f962398614b

RANDOM SEED= 472514219

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node48.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.238
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.238
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:       1499288 kB
Buffers:         31256 kB
Cached:         463716 kB
SwapCached:       2312 kB
Active:         112248 kB
Inactive:       392296 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1499288 kB
SwapTotal:     4192956 kB
SwapFree:      4184636 kB
Dirty:            1636 kB
Writeback:           0 kB
Mapped:          16380 kB
Slab:            38164 kB
Committed_AS:  1011544 kB
PageTables:       1388 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= 66484 MiB

End job on node48 on Thu Apr 19 13:44:43 UTC 2007