Trace number 364876

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.21 1800.59

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32a1.opb
MD5SUM8c328e3092b759791eb187200eaaa71f
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark444
Best CPU time to get the best result obtained on this benchmark2.48262
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 444
Optimality of the best value was proved YES
Number of variables918
Total number of constraints9671
Number of constraints which are clauses9671
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 918
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 918
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 918
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.00/0.09	c ...done
0.00/0.09	c #vars=918 #constraints=9672 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.36	c restart after 401 decisions
0.29/0.38	c nbDecision=500 #constraints=9743
0.39/0.44	c restart after 801 decisions
0.39/0.47	c nbDecision=1000 #constraints=9753
0.49/0.56	c nbDecision=1500 #constraints=9763
0.49/0.58	c restart after 1601 decisions
0.59/0.66	c nbDecision=2000 #constraints=9772
0.69/0.75	c nbDecision=2500 #constraints=9782
0.79/0.85	c nbDecision=3000 #constraints=9792
0.79/0.89	c restart after 3201 decisions
0.89/0.97	c nbDecision=3500 #constraints=9808
1.10/1.14	c nbDecision=4000 #constraints=9841
1.20/1.23	c nbDecision=4500 #constraints=9850
1.29/1.33	c nbDecision=5000 #constraints=9860
1.39/1.47	c nbDecision=5500 #constraints=9912
1.59/1.67	c nbDecision=6000 #constraints=9965
1.69/1.76	c restart after 6401 decisions
1.69/1.78	c nbDecision=6500 #constraints=9974
1.89/1.91	c nbDecision=7000 #constraints=9985
2.09/2.12	c nbDecision=7500 #constraints=10040
2.39/2.45	c nbDecision=8000 #constraints=10115
2.79/2.86	c nbDecision=8500 #constraints=10219
2.99/3.06	c nbDecision=9000 #constraints=10279
3.19/3.23	c nbDecision=9500 #constraints=10309
3.39/3.46	c nbDecision=10000 #constraints=10365
3.69/3.77	c nbDecision=10500 #constraints=10453
4.09/4.16	c nbDecision=11000 #constraints=10578
5.09/5.11	c nbDecision=11500 #constraints=10767
5.39/5.48	c nbDecision=12000 #constraints=10850
5.99/6.03	c nbDecision=12500 #constraints=10976
6.29/6.32	c restart after 12801 decisions
6.60/6.69	c nbDecision=13000 #constraints=11086
8.49/8.53	c nbDecision=13500 #constraints=11347
10.79/10.89	c nbDecision=14000 #constraints=11638
13.29/13.39	c nbDecision=14500 #constraints=11835
14.09/14.10	c nbDecision=15000 #constraints=11868
14.79/14.82	c nbDecision=15500 #constraints=11879
15.59/15.64	c nbDecision=16000 #constraints=11897
16.19/16.22	c nbDecision=16500 #constraints=11922
17.09/17.18	c nbDecision=17000 #constraints=11948
18.69/18.78	c nbDecision=17500 #constraints=12020
19.38/19.47	c nbDecision=18000 #constraints=12055
20.28/20.38	c nbDecision=18500 #constraints=12081
21.68/21.72	c nbDecision=19000 #constraints=12159
22.98/23.01	c nbDecision=19500 #constraints=12211
25.28/25.40	c nbDecision=20000 #constraints=12341
25.98/26.06	c nbDecision=20500 #constraints=12369
27.18/27.28	c nbDecision=21000 #constraints=12429
28.29/28.39	c nbDecision=21500 #constraints=12487
29.49/29.51	c nbDecision=22000 #constraints=12542
31.19/31.24	c nbDecision=22500 #constraints=12656
34.78/34.88	c nbDecision=23000 #constraints=12864
36.48/36.50	c nbDecision=23500 #constraints=12947
38.28/38.30	c nbDecision=24000 #constraints=13028
40.38/40.42	c nbDecision=24500 #constraints=13127
41.78/41.88	c nbDecision=25000 #constraints=13204
44.18/44.28	c nbDecision=25500 #constraints=13320
44.78/44.82	c restart after 25601 decisions
49.78/49.85	c nbDecision=26000 #constraints=13522
57.18/57.21	c nbDecision=26500 #constraints=13830
58.88/58.90	c nbDecision=27000 #constraints=13900
61.37/61.48	c nbDecision=27500 #constraints=13969
64.77/64.80	c nbDecision=28000 #constraints=14118
69.39/69.43	c nbDecision=28500 #constraints=14290
79.67/79.70	c nbDecision=29000 #constraints=14611
89.27/89.38	c nbDecision=29500 #constraints=14881
92.38/92.40	c nbDecision=30000 #constraints=14949
96.47/96.59	c nbDecision=30500 #constraints=15067
102.38/102.45	c nbDecision=31000 #constraints=15233
107.37/107.42	c nbDecision=31500 #constraints=15412
115.26/115.31	c nbDecision=32000 #constraints=15646
123.76/123.80	c nbDecision=32500 #constraints=15875
138.96/139.04	c nbDecision=33000 #constraints=16207
148.25/148.37	c nbDecision=33500 #constraints=16456
161.36/161.46	c nbDecision=34000 #constraints=16698
165.36/165.47	c nbDecision=34500 #constraints=16729
167.86/167.92	c nbDecision=35000 #constraints=16740
172.66/172.73	c nbDecision=35500 #constraints=16791
180.85/180.97	c nbDecision=36000 #constraints=16908
187.35/187.49	c nbDecision=36500 #constraints=17016
196.05/196.15	c nbDecision=37000 #constraints=17181
209.35/209.40	c nbDecision=37500 #constraints=17377
215.14/215.20	c nbDecision=38000 #constraints=17435
232.04/232.19	c nbDecision=38500 #constraints=17654
248.13/248.23	c nbDecision=39000 #constraints=17904
263.04/263.19	c nbDecision=39500 #constraints=18125
278.93/279.04	c nbDecision=40000 #constraints=18412
296.73/296.86	c nbDecision=40500 #constraints=18669
310.13/310.23	c nbDecision=41000 #constraints=18922
324.32/324.47	c nbDecision=41500 #constraints=19148
340.62/340.75	c nbDecision=42000 #constraints=19332
350.22/350.38	c nbDecision=42500 #constraints=19457
367.01/367.17	c nbDecision=43000 #constraints=19673
383.81/383.91	c nbDecision=43500 #constraints=19880
406.11/406.26	c nbDecision=44000 #constraints=20153
433.90/434.00	c nbDecision=44500 #constraints=20480
461.69/461.82	c nbDecision=45000 #constraints=20832
489.58/489.79	c nbDecision=45500 #constraints=21123
523.78/523.94	c nbDecision=46000 #constraints=21488
554.97/555.19	c nbDecision=46500 #constraints=21801
564.57/564.71	c nbDecision=47000 #constraints=21848
569.47/569.64	c nbDecision=47500 #constraints=21859
575.07/575.25	c nbDecision=48000 #constraints=21869
582.57/582.78	c nbDecision=48500 #constraints=21892
587.77/587.94	c nbDecision=49000 #constraints=21902
594.07/594.29	c nbDecision=49500 #constraints=21913
600.66/600.80	c nbDecision=50000 #constraints=21944
611.36/611.54	c nbDecision=50500 #constraints=22057
625.55/625.79	c nbDecision=51000 #constraints=22218
628.45/628.62	c restart after 51201 decisions
631.75/631.94	c nbDecision=51500 #constraints=22265
642.25/642.49	c nbDecision=52000 #constraints=22336
657.95/658.18	c nbDecision=52500 #constraints=22534
678.25/678.47	c nbDecision=53000 #constraints=22707
695.04/695.27	c nbDecision=53500 #constraints=22865
712.53/712.72	c nbDecision=54000 #constraints=22944
730.54/730.73	c nbDecision=54500 #constraints=23088
746.53/746.73	c nbDecision=55000 #constraints=23318
755.72/755.99	c nbDecision=55500 #constraints=23397
765.33/765.55	c nbDecision=56000 #constraints=23474
781.73/781.92	c nbDecision=56500 #constraints=23625
803.02/803.25	c nbDecision=57000 #constraints=23882
831.71/831.97	c nbDecision=57500 #constraints=24156
859.41/859.68	c nbDecision=58000 #constraints=24476
866.11/866.36	c nbDecision=58500 #constraints=24524
876.70/876.93	c nbDecision=59000 #constraints=24579
889.20/889.48	c nbDecision=59500 #constraints=24678
901.29/901.56	c nbDecision=60000 #constraints=24818
912.70/912.90	c nbDecision=60500 #constraints=24954
930.09/930.35	c nbDecision=61000 #constraints=25110
946.99/947.22	c nbDecision=61500 #constraints=25285
968.48/968.74	c nbDecision=62000 #constraints=25448
985.58/985.87	c nbDecision=62500 #constraints=25608
995.28/995.51	c nbDecision=63000 #constraints=25691
1008.48/1008.76	c nbDecision=63500 #constraints=25814
1020.58/1020.85	c nbDecision=64000 #constraints=25910
1039.96/1040.24	c nbDecision=64500 #constraints=26090
1071.46/1071.75	c nbDecision=65000 #constraints=26401
1100.36/1100.69	c nbDecision=65500 #constraints=26666
1109.96/1110.27	c nbDecision=66000 #constraints=26737
1127.35/1127.67	c nbDecision=66500 #constraints=26889
1149.85/1150.17	c nbDecision=67000 #constraints=27079
1176.24/1176.57	c nbDecision=67500 #constraints=27306
1211.73/1212.05	c nbDecision=68000 #constraints=27591
1257.42/1257.79	c nbDecision=68500 #constraints=27909
1296.11/1296.47	c nbDecision=69000 #constraints=28202
1338.01/1338.33	c nbDecision=69500 #constraints=28513
1385.49/1385.88	c nbDecision=70000 #constraints=28884
1416.39/1416.74	c nbDecision=70500 #constraints=29085
1452.98/1453.35	c nbDecision=71000 #constraints=29366
1482.77/1483.15	c nbDecision=71500 #constraints=29635
1519.66/1520.02	c nbDecision=72000 #constraints=29935
1561.36/1561.76	c nbDecision=72500 #constraints=30279
1595.45/1595.89	c nbDecision=73000 #constraints=30531
1624.35/1624.75	c nbDecision=73500 #constraints=30752
1640.14/1640.56	c nbDecision=74000 #constraints=30864
1684.23/1684.63	c nbDecision=74500 #constraints=31137
1742.12/1742.59	c nbDecision=75000 #constraints=31480
1795.20/1795.68	c nbDecision=75500 #constraints=31807
1800.01/1800.40	Received signal 15
1800.11/1800.57	
1800.11/1800.57	s UNKNOWN
1800.11/1800.57	
1800.11/1800.57	c user time= 1799.84 s
1800.11/1800.57	c system time= 0.347947 s
1800.11/1800.57	c wall clock time=1800.57

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/node29/watcher-364876-1176988838 -o ROOT/results/node29/solver-364876-1176988838 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/364876-1176988838/instance-364876-1176988838.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.66 0.92 0.97 2/77 475
/proc/meminfo: memFree=1058192/2055920 swapFree=4141972/4192956
[pid=475] ppid=473 vsize=1468 CPUtime=0
/proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 146799529 1503232 164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134828869 0 0 4096 17474 0 0 0 17 1 0 0
/proc/475/statm: 367 164 130 317 0 46 0

[startup+0.10249 s]
/proc/loadavg: 0.66 0.92 0.97 2/77 475
/proc/meminfo: memFree=1058192/2055920 swapFree=4141972/4192956
[pid=475] ppid=473 vsize=4140 CPUtime=0.09
/proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 848 0 0 0 9 0 0 0 18 0 1 0 146799529 4239360 830 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/475/statm: 1035 830 137 317 0 714 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4140

[startup+0.201495 s]
/proc/loadavg: 0.66 0.92 0.97 2/77 475
/proc/meminfo: memFree=1058192/2055920 swapFree=4141972/4192956
[pid=475] ppid=473 vsize=4536 CPUtime=0.19
/proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 935 0 0 0 19 0 0 0 19 0 1 0 146799529 4644864 917 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/475/statm: 1134 917 137 317 0 813 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 4536

[startup+0.301502 s]
/proc/loadavg: 0.66 0.92 0.97 2/77 475
/proc/meminfo: memFree=1058192/2055920 swapFree=4141972/4192956
[pid=475] ppid=473 vsize=5064 CPUtime=0.29
/proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 1080 0 0 0 29 0 0 0 19 0 1 0 146799529 5185536 995 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712518 0 0 4096 17474 0 0 0 17 1 0 0
/proc/475/statm: 1266 995 139 317 0 945 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5064

[startup+0.701526 s]
/proc/loadavg: 0.66 0.92 0.97 2/77 475
/proc/meminfo: memFree=1058192/2055920 swapFree=4141972/4192956
[pid=475] ppid=473 vsize=5064 CPUtime=0.69
/proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 1080 0 0 0 69 0 0 0 23 0 1 0 146799529 5185536 995 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711484 0 0 4096 17474 0 0 0 17 1 0 0
/proc/475/statm: 1266 995 139 317 0 945 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5064

[startup+1.50158 s]
/proc/loadavg: 0.66 0.92 0.97 2/78 476
/proc/meminfo: memFree=1054472/2055920 swapFree=4141972/4192956
[pid=475] ppid=473 vsize=5320 CPUtime=1.49
/proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 1134 0 0 0 149 0 0 0 25 0 1 0 146799529 5447680 1049 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711047 0 0 4096 17474 0 0 0 17 1 0 0
/proc/475/statm: 1330 1049 139 317 0 1009 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5320

[startup+3.10168 s]
/proc/loadavg: 0.66 0.92 0.97 2/78 476
/proc/meminfo: memFree=1053960/2055920 swapFree=4141972/4192956
[pid=475] ppid=473 vsize=6368 CPUtime=3.09
/proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 1427 0 0 0 309 0 0 0 25 0 1 0 146799529 6520832 1342 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715989 0 0 4096 17474 0 0 0 17 1 0 0
/proc/475/statm: 1592 1342 139 317 0 1271 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6368

[startup+6.30187 s]
/proc/loadavg: 0.69 0.92 0.97 2/78 476
/proc/meminfo: memFree=1050952/2055920 swapFree=4141972/4192956
[pid=475] ppid=473 vsize=9140 CPUtime=6.29
/proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 2119 0 0 0 628 1 0 0 25 0 1 0 146799529 9359360 2034 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/475/statm: 2285 2034 139 317 0 1964 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 9140

[startup+12.7013 s]
/proc/loadavg: 0.71 0.92 0.97 2/78 476
/proc/meminfo: memFree=1047304/2055920 swapFree=4141972/4192956
[pid=475] ppid=473 vsize=12580 CPUtime=12.69
/proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 2943 0 0 0 1268 1 0 0 25 0 1 0 146799529 12881920 2858 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/475/statm: 3145 2858 139 317 0 2824 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 12580

[startup+25.5011 s]
/proc/loadavg: 0.77 0.92 0.97 2/78 476
/proc/meminfo: memFree=1045576/2055920 swapFree=4141972/4192956
[pid=475] ppid=473 vsize=14168 CPUtime=25.48
/proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 3339 0 0 0 2547 1 0 0 25 0 1 0 146799529 14508032 3254 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/475/statm: 3542 3254 139 317 0 3221 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 14168

[startup+51.1017 s]
/proc/loadavg: 0.85 0.93 0.97 2/78 476
/proc/meminfo: memFree=1040648/2055920 swapFree=4141972/4192956
[pid=475] ppid=473 vsize=19308 CPUtime=51.08
/proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 4559 0 0 0 5105 3 0 0 25 0 1 0 146799529 19771392 4474 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/475/statm: 4827 4474 139 317 0 4506 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 19308

[startup+102.302 s]
/proc/loadavg: 0.93 0.94 0.97 2/78 476
/proc/meminfo: memFree=1033544/2055920 swapFree=4141972/4192956
[pid=475] ppid=473 vsize=26828 CPUtime=102.28
/proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 6317 0 0 0 10223 5 0 0 25 0 1 0 146799529 27471872 6232 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/475/statm: 6707 6232 139 317 0 6386 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 26828

[startup+162.302 s]
/proc/loadavg: 0.97 0.95 0.97 2/78 476
/proc/meminfo: memFree=1027016/2055920 swapFree=4141972/4192956
[pid=475] ppid=473 vsize=33576 CPUtime=162.26
/proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 7936 0 0 0 16219 7 0 0 25 0 1 0 146799529 34381824 7851 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/475/statm: 8394 7851 139 317 0 8073 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 33576

[startup+222.306 s]
/proc/loadavg: 0.99 0.95 0.97 2/78 476
/proc/meminfo: memFree=1024008/2055920 swapFree=4141972/4192956
[pid=475] ppid=473 vsize=36516 CPUtime=222.25
/proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 8680 0 0 0 22217 8 0 0 25 0 1 0 146799529 37392384 8595 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718428 0 0 4096 17474 0 0 0 17 1 0 0
/proc/475/statm: 9129 8595 139 317 0 8808 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 36516

[startup+282.302 s]
/proc/loadavg: 0.99 0.96 0.97 2/78 476
/proc/meminfo: memFree=1020040/2055920 swapFree=4141972/4192956
[pid=475] ppid=473 vsize=40752 CPUtime=282.23
/proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 9676 0 0 0 28214 9 0 0 25 0 1 0 146799529 41730048 9591 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/475/statm: 10188 9591 139 317 0 9867 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 40752

[startup+342.302 s]
/proc/loadavg: 0.99 0.96 0.97 2/78 476
/proc/meminfo: memFree=1015880/2055920 swapFree=4141972/4192956
[pid=475] ppid=473 vsize=45888 CPUtime=342.22
/proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 10832 0 0 0 34211 11 0 0 25 0 1 0 146799529 46989312 10615 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/475/statm: 11472 10615 139 317 0 11151 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 45888

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 476
/proc/meminfo: memFree=1013064/2055920 swapFree=4141972/4192956
[pid=475] ppid=473 vsize=49516 CPUtime=402.21
/proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 11552 0 0 0 40209 12 0 0 25 0 1 0 146799529 50704384 11335 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718543 0 0 4096 17474 0 0 0 17 1 0 0
/proc/475/statm: 12379 11335 139 317 0 12058 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 49516

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 476
/proc/meminfo: memFree=1009736/2055920 swapFree=4141972/4192956
[pid=475] ppid=473 vsize=53216 CPUtime=462.19
/proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 12377 0 0 0 46206 13 0 0 25 0 1 0 146799529 54493184 12160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/475/statm: 13304 12160 139 317 0 12983 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 53216

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 476
/proc/meminfo: memFree=1006728/2055920 swapFree=4141972/4192956
[pid=475] ppid=473 vsize=56172 CPUtime=522.18
/proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 13115 0 0 0 52204 14 0 0 25 0 1 0 146799529 57520128 12898 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/475/statm: 14043 12898 139 317 0 13722 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 56172

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 476
/proc/meminfo: memFree=1005192/2055920 swapFree=4141972/4192956
[pid=475] ppid=473 vsize=57748 CPUtime=582.17
/proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 13514 0 0 0 58202 15 0 0 25 0 1 0 146799529 59133952 13297 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/475/statm: 14437 13297 139 317 0 14116 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 57748

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 476
/proc/meminfo: memFree=1003656/2055920 swapFree=4141972/4192956
[pid=475] ppid=473 vsize=59312 CPUtime=642.15
/proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 13889 0 0 0 64200 15 0 0 25 0 1 0 146799529 60735488 13672 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/475/statm: 14828 13672 139 317 0 14507 0
Current children cumulated CPU time (s) 642.15
Current children cumulated vsize (KiB) 59312


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

[startup+882.306 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 476
/proc/meminfo: memFree=994312/2055920 swapFree=4141972/4192956
[pid=475] ppid=473 vsize=68600 CPUtime=882.1
/proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 16240 0 0 0 88191 19 0 0 25 0 1 0 146799529 70246400 16023 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/475/statm: 17150 16023 139 317 0 16829 0
Current children cumulated CPU time (s) 882.1
Current children cumulated vsize (KiB) 68600

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 476
/proc/meminfo: memFree=991880/2055920 swapFree=4141972/4192956
[pid=475] ppid=473 vsize=71400 CPUtime=942.09
/proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 16843 0 0 0 94189 20 0 0 25 0 1 0 146799529 73113600 16626 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/475/statm: 17850 16626 139 317 0 17529 0
Current children cumulated CPU time (s) 942.09
Current children cumulated vsize (KiB) 71400

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 476
/proc/meminfo: memFree=989896/2055920 swapFree=4141972/4192956
[pid=475] ppid=473 vsize=73640 CPUtime=1002.08
/proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 17335 0 0 0 100187 21 0 0 25 0 1 0 146799529 75407360 17118 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/475/statm: 18410 17118 139 317 0 18089 0
Current children cumulated CPU time (s) 1002.08
Current children cumulated vsize (KiB) 73640

[startup+1062.3 s]
/proc/loadavg: 1.03 0.99 0.98 3/78 478
/proc/meminfo: memFree=987656/2055920 swapFree=4141972/4192956
[pid=475] ppid=473 vsize=76072 CPUtime=1062.07
/proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 17897 0 0 0 106185 22 0 0 25 0 1 0 146799529 77897728 17680 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/475/statm: 19018 17680 139 317 0 18697 0
Current children cumulated CPU time (s) 1062.07
Current children cumulated vsize (KiB) 76072

[startup+1122.3 s]
/proc/loadavg: 1.04 1.00 0.98 2/78 478
/proc/meminfo: memFree=985160/2055920 swapFree=4141972/4192956
[pid=475] ppid=473 vsize=78428 CPUtime=1122.05
/proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 18518 0 0 0 112182 23 0 0 25 0 1 0 146799529 80310272 18301 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/475/statm: 19607 18301 139 317 0 19286 0
Current children cumulated CPU time (s) 1122.05
Current children cumulated vsize (KiB) 78428

[startup+1182.3 s]
/proc/loadavg: 1.01 1.00 0.98 2/78 478
/proc/meminfo: memFree=982920/2055920 swapFree=4141972/4192956
[pid=475] ppid=473 vsize=81080 CPUtime=1182.04
/proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 19070 0 0 0 118180 24 0 0 25 0 1 0 146799529 83025920 18853 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/475/statm: 20270 18853 139 317 0 19949 0
Current children cumulated CPU time (s) 1182.04
Current children cumulated vsize (KiB) 81080

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 478
/proc/meminfo: memFree=980936/2055920 swapFree=4141972/4192956
[pid=475] ppid=473 vsize=82928 CPUtime=1242.03
/proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 19568 0 0 0 124178 25 0 0 25 0 1 0 146799529 84918272 19351 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/475/statm: 20732 19351 139 317 0 20411 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 82928

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 478
/proc/meminfo: memFree=978952/2055920 swapFree=4141972/4192956
[pid=475] ppid=473 vsize=84948 CPUtime=1302.01
/proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 20129 0 0 0 130175 26 0 0 25 0 1 0 146799529 86986752 19846 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/475/statm: 21237 19846 139 317 0 20916 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 84948

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 478
/proc/meminfo: memFree=976904/2055920 swapFree=4141972/4192956
[pid=475] ppid=473 vsize=87064 CPUtime=1362
/proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 20663 0 0 0 136173 27 0 0 25 0 1 0 146799529 89153536 20347 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/475/statm: 21766 20347 139 317 0 21445 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 87064

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 478
/proc/meminfo: memFree=974856/2055920 swapFree=4141972/4192956
[pid=475] ppid=473 vsize=89196 CPUtime=1421.99
/proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 21231 0 0 0 142171 28 0 0 25 0 1 0 146799529 91336704 20849 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/475/statm: 22299 20849 139 317 0 21978 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 89196

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 478
/proc/meminfo: memFree=972744/2055920 swapFree=4141972/4192956
[pid=475] ppid=473 vsize=91816 CPUtime=1481.97
/proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 21908 0 0 0 148168 29 0 0 25 0 1 0 146799529 94019584 21394 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/475/statm: 22954 21394 139 317 0 22633 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 91816

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 478
/proc/meminfo: memFree=970376/2055920 swapFree=4141972/4192956
[pid=475] ppid=473 vsize=94932 CPUtime=1541.97
/proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 22726 0 0 0 154166 31 0 0 25 0 1 0 146799529 97210368 21981 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/475/statm: 23733 21981 139 317 0 23412 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 94932

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 478
/proc/meminfo: memFree=968456/2055920 swapFree=4141972/4192956
[pid=475] ppid=473 vsize=97540 CPUtime=1601.94
/proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 23343 0 0 0 160163 31 0 0 25 0 1 0 146799529 99880960 22466 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/475/statm: 24385 22466 139 317 0 24064 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 97540

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 478
/proc/meminfo: memFree=966856/2055920 swapFree=4141972/4192956
[pid=475] ppid=473 vsize=99632 CPUtime=1661.93
/proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 23920 0 0 0 166161 32 0 0 25 0 1 0 146799529 102023168 22878 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/475/statm: 24908 22878 139 317 0 24587 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 99632

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 478
/proc/meminfo: memFree=965320/2055920 swapFree=4141972/4192956
[pid=475] ppid=473 vsize=101204 CPUtime=1721.92
/proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 24389 0 0 0 172159 33 0 0 25 0 1 0 146799529 103632896 23281 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/475/statm: 25301 23281 139 317 0 24980 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 101204

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 478
/proc/meminfo: memFree=963592/2055920 swapFree=4141972/4192956
[pid=475] ppid=473 vsize=103280 CPUtime=1781.91
/proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 24969 0 0 0 178157 34 0 0 25 0 1 0 146799529 105758720 23663 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/475/statm: 25820 23663 139 317 0 25499 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 103280



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 478
/proc/meminfo: memFree=962888/2055920 swapFree=4141972/4192956
[pid=475] ppid=473 vsize=104060 CPUtime=1800.01
/proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 25189 0 0 0 179967 34 0 0 25 0 1 0 146799529 106557440 23817 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/475/statm: 26015 23817 139 317 0 25694 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 104060

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

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

[startup+1800.51 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 478
/proc/meminfo: memFree=962888/2055920 swapFree=4141972/4192956
[pid=475] ppid=473 vsize=104060 CPUtime=1800.11
/proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 25189 0 0 0 179977 34 0 0 25 0 1 0 146799529 106557440 23817 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710933 0 0 4096 17474 0 0 0 17 1 0 0
/proc/475/statm: 26015 23817 139 317 0 25694 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 104060

Child status: 0
Real time (s): 1800.59
CPU time (s): 1800.21
CPU user time (s): 1799.84
CPU system time (s): 0.364944
CPU usage (%): 99.9785
Max. virtual memory (cumulated for all children) (KiB): 104060

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

runsolver used 2.00969 second user time and 4.54731 second system time

The end

Launcher Data (download as text)

Begin job on node29 on Thu Apr 19 13:20:38 UTC 2007

IDJOB= 364876
IDBENCH= 2165
IDSOLVER= 172
FILE ID= node29/364876-1176988838

PBS_JOBID= 4630456

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  8c328e3092b759791eb187200eaaa71f

RANDOM SEED= 621878268

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node29.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.224
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.224
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:       1058664 kB
Buffers:         49124 kB
Cached:         853276 kB
SwapCached:      15872 kB
Active:         377504 kB
Inactive:       552620 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1058664 kB
SwapTotal:     4192956 kB
SwapFree:      4141972 kB
Dirty:            1916 kB
Writeback:           0 kB
Mapped:          29836 kB
Slab:            52560 kB
Committed_AS:  2096812 kB
PageTables:       1872 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= 66466 MiB

End job on node29 on Thu Apr 19 13:50:40 UTC 2007