Trace number 364638

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.23 1800.68

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-1_6-yes1-2.opb
MD5SUM4206bcb74bbfe6d3d32eef307f81efb1
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark200
Best CPU time to get the best result obtained on this benchmark0.011998
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 200
Optimality of the best value was proved YES
Number of variables400
Total number of constraints520
Number of constraints which are clauses519
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint3
Number of terms in the objective function 400
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 400
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
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.00	c ...done
0.00/0.00	c #vars=400 #constraints=521 hasObjective=yes
0.00/0.00	c res. mode=mod
0.00/0.00	c VSIDS like heuristics
0.00/0.00	c complete search running
0.00/0.03	c restart after 401 decisions
0.00/0.04	c nbDecision=500 #constraints=627
0.07/0.09	c restart after 801 decisions
0.09/0.10	c nbDecision=1000 #constraints=746
0.29/0.34	c nbDecision=1500 #constraints=996
0.29/0.37	c restart after 1601 decisions
0.49/0.59	c nbDecision=2000 #constraints=1219
1.00/1.07	c nbDecision=2500 #constraints=1523
1.49/1.52	c nbDecision=3000 #constraints=1798
1.59/1.65	c restart after 3201 decisions
1.89/1.90	c nbDecision=3500 #constraints=2028
2.59/2.68	c nbDecision=4000 #constraints=2376
3.69/3.75	c nbDecision=4500 #constraints=2751
5.19/5.20	c nbDecision=5000 #constraints=3110
7.79/7.80	c nbDecision=5500 #constraints=3504
10.68/10.75	c nbDecision=6000 #constraints=3899
13.68/13.73	c restart after 6401 decisions
13.98/14.02	c nbDecision=6500 #constraints=4212
17.59/17.68	c nbDecision=7000 #constraints=4506
20.59/20.68	c nbDecision=7500 #constraints=4787
23.99/24.05	c nbDecision=8000 #constraints=5163
27.38/27.48	c nbDecision=8500 #constraints=5482
31.08/31.12	c nbDecision=9000 #constraints=5861
35.78/35.90	c nbDecision=9500 #constraints=6230
42.08/42.11	c nbDecision=10000 #constraints=6602
49.08/49.16	c nbDecision=10500 #constraints=6993
57.38/57.49	c nbDecision=11000 #constraints=7384
67.67/67.71	c nbDecision=11500 #constraints=7791
74.38/74.48	c nbDecision=12000 #constraints=8078
81.17/81.28	c nbDecision=12500 #constraints=8435
87.17/87.28	c restart after 12801 decisions
90.97/91.00	c nbDecision=13000 #constraints=8818
101.07/101.12	c nbDecision=13500 #constraints=9178
108.16/108.25	c nbDecision=14000 #constraints=9513
122.66/122.72	c nbDecision=14500 #constraints=9922
134.66/134.79	c nbDecision=15000 #constraints=10270
146.95/147.03	c nbDecision=15500 #constraints=10581
158.95/159.07	c nbDecision=16000 #constraints=10926
169.35/169.44	c nbDecision=16500 #constraints=11281
187.14/187.26	c nbDecision=17000 #constraints=11691
206.64/206.77	c nbDecision=17500 #constraints=12127
222.04/222.19	c nbDecision=18000 #constraints=12517
236.63/236.78	c nbDecision=18500 #constraints=12920
248.33/248.44	c nbDecision=19000 #constraints=13258
261.83/261.92	c nbDecision=19500 #constraints=13658
277.92/278.09	c nbDecision=20000 #constraints=14056
294.91/295.06	c nbDecision=20500 #constraints=14461
317.01/317.17	c nbDecision=21000 #constraints=14864
339.21/339.37	c nbDecision=21500 #constraints=15309
361.10/361.28	c nbDecision=22000 #constraints=15716
381.40/381.58	c nbDecision=22500 #constraints=16135
407.29/407.45	c nbDecision=23000 #constraints=16549
425.48/425.70	c nbDecision=23500 #constraints=16961
442.18/442.30	c nbDecision=24000 #constraints=17333
464.57/464.73	c nbDecision=24500 #constraints=17739
492.87/493.01	c nbDecision=25000 #constraints=18132
514.16/514.31	c nbDecision=25500 #constraints=18499
517.36/517.50	c restart after 25601 decisions
528.65/528.81	c nbDecision=26000 #constraints=18789
539.75/539.95	c nbDecision=26500 #constraints=19056
554.85/555.01	c nbDecision=27000 #constraints=19330
575.75/575.97	c nbDecision=27500 #constraints=19668
596.54/596.80	c nbDecision=28000 #constraints=20020
620.73/620.93	c nbDecision=28500 #constraints=20406
644.23/644.49	c nbDecision=29000 #constraints=20782
685.42/685.60	c nbDecision=29500 #constraints=21266
717.70/717.96	c nbDecision=30000 #constraints=21671
747.60/747.87	c nbDecision=30500 #constraints=22097
772.20/772.49	c nbDecision=31000 #constraints=22470
804.58/804.80	c nbDecision=31500 #constraints=22890
842.68/842.98	c nbDecision=32000 #constraints=23320
873.87/874.11	c nbDecision=32500 #constraints=23736
922.86/923.19	c nbDecision=33000 #constraints=24202
967.24/967.52	c nbDecision=33500 #constraints=24636
996.13/996.45	c nbDecision=34000 #constraints=25044
1028.53/1028.85	c nbDecision=34500 #constraints=25436
1042.73/1043.08	c nbDecision=35000 #constraints=25730
1061.62/1061.93	c nbDecision=35500 #constraints=26049
1090.21/1090.59	c nbDecision=36000 #constraints=26414
1125.10/1125.44	c nbDecision=36500 #constraints=26793
1174.20/1174.52	c nbDecision=37000 #constraints=27237
1206.39/1206.79	c nbDecision=37500 #constraints=27607
1235.18/1235.53	c nbDecision=38000 #constraints=27974
1276.06/1276.49	c nbDecision=38500 #constraints=28377
1310.96/1311.33	c nbDecision=39000 #constraints=28790
1353.34/1353.75	c nbDecision=39500 #constraints=29200
1384.64/1385.02	c nbDecision=40000 #constraints=29584
1431.13/1431.51	c nbDecision=40500 #constraints=29968
1465.72/1466.13	c nbDecision=41000 #constraints=30341
1505.31/1505.71	c nbDecision=41500 #constraints=30752
1533.70/1534.18	c nbDecision=42000 #constraints=31083
1562.79/1563.27	c nbDecision=42500 #constraints=31504
1588.00/1588.42	c nbDecision=43000 #constraints=31872
1630.58/1631.00	c nbDecision=43500 #constraints=32317
1676.86/1677.34	c nbDecision=44000 #constraints=32735
1731.35/1731.80	c nbDecision=44500 #constraints=33180
1775.04/1775.52	c nbDecision=45000 #constraints=33598
1800.04/1800.50	Received signal 15
1800.14/1800.66	
1800.14/1800.66	s UNKNOWN
1800.14/1800.66	
1800.14/1800.66	c user time= 1800 s
1800.14/1800.66	c system time= 0.208968 s
1800.14/1800.66	c wall clock time=1800.66

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/node27/watcher-364638-1176988252 -o ROOT/results/node27/solver-364638-1176988252 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/364638-1176988252/instance-364638-1176988252.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.72 0.93 0.98 2/65 25635
/proc/meminfo: memFree=1451808/2055920 swapFree=4179984/4192956
[pid=25635] ppid=25633 vsize=1468 CPUtime=0
/proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 184 0 0 0 0 0 0 0 18 0 1 0 111521140 1503232 166 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25635/statm: 367 166 130 317 0 46 0

[startup+0.0814559 s]
/proc/loadavg: 0.72 0.93 0.98 2/65 25635
/proc/meminfo: memFree=1451808/2055920 swapFree=4179984/4192956
[pid=25635] ppid=25633 vsize=1736 CPUtime=0.07
/proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 258 0 0 0 7 0 0 0 18 0 1 0 111521140 1777664 240 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25635/statm: 434 240 139 317 0 113 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 1736

[startup+0.101457 s]
/proc/loadavg: 0.72 0.93 0.98 2/65 25635
/proc/meminfo: memFree=1451808/2055920 swapFree=4179984/4192956
[pid=25635] ppid=25633 vsize=1736 CPUtime=0.09
/proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 266 0 0 0 9 0 0 0 18 0 1 0 111521140 1777664 248 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25635/statm: 434 248 139 317 0 113 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1736

[startup+0.301478 s]
/proc/loadavg: 0.72 0.93 0.98 2/65 25635
/proc/meminfo: memFree=1451808/2055920 swapFree=4179984/4192956
[pid=25635] ppid=25633 vsize=2128 CPUtime=0.29
/proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 339 0 0 0 29 0 0 0 19 0 1 0 111521140 2179072 321 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25635/statm: 532 321 139 317 0 211 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2128

[startup+0.701518 s]
/proc/loadavg: 0.72 0.93 0.98 2/65 25635
/proc/meminfo: memFree=1451808/2055920 swapFree=4179984/4192956
[pid=25635] ppid=25633 vsize=2684 CPUtime=0.69
/proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 480 0 0 0 69 0 0 0 23 0 1 0 111521140 2748416 462 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25635/statm: 671 462 139 317 0 350 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 2684

[startup+1.5016 s]
/proc/loadavg: 0.72 0.93 0.98 2/66 25636
/proc/meminfo: memFree=1450072/2055920 swapFree=4179984/4192956
[pid=25635] ppid=25633 vsize=3612 CPUtime=1.49
/proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 719 0 0 0 149 0 0 0 25 0 1 0 111521140 3698688 701 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25635/statm: 903 701 139 317 0 582 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 3612

[startup+3.10176 s]
/proc/loadavg: 0.74 0.94 0.98 2/66 25636
/proc/meminfo: memFree=1448664/2055920 swapFree=4179984/4192956
[pid=25635] ppid=25633 vsize=5240 CPUtime=3.09
/proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 1104 0 0 0 309 0 0 0 25 0 1 0 111521140 5365760 1086 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25635/statm: 1310 1086 139 317 0 989 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5240

[startup+6.30108 s]
/proc/loadavg: 0.74 0.94 0.98 2/66 25636
/proc/meminfo: memFree=1446496/2055920 swapFree=4179984/4192956
[pid=25635] ppid=25633 vsize=7004 CPUtime=6.29
/proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 1516 0 0 0 629 0 0 0 25 0 1 0 111521140 7172096 1498 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715798 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25635/statm: 1751 1498 139 317 0 1430 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 7004

[startup+12.7017 s]
/proc/loadavg: 0.78 0.94 0.98 2/66 25636
/proc/meminfo: memFree=1444520/2055920 swapFree=4179984/4192956
[pid=25635] ppid=25633 vsize=8604 CPUtime=12.68
/proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 1927 0 0 0 1268 0 0 0 25 0 1 0 111521140 8810496 1909 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25635/statm: 2151 1909 139 317 0 1830 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 8604

[startup+25.502 s]
/proc/loadavg: 0.81 0.94 0.98 2/66 25636
/proc/meminfo: memFree=1442280/2055920 swapFree=4179984/4192956
[pid=25635] ppid=25633 vsize=10852 CPUtime=25.48
/proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 2462 0 0 0 2547 1 0 0 25 0 1 0 111521140 11112448 2444 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25635/statm: 2713 2444 139 317 0 2392 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 10852

[startup+51.1026 s]
/proc/loadavg: 0.87 0.94 0.98 2/66 25636
/proc/meminfo: memFree=1438696/2055920 swapFree=4179984/4192956
[pid=25635] ppid=25633 vsize=14700 CPUtime=51.08
/proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 3367 0 0 0 5106 2 0 0 25 0 1 0 111521140 15052800 3349 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25635/statm: 3675 3349 139 317 0 3354 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 14700

[startup+102.306 s]
/proc/loadavg: 0.95 0.95 0.98 2/66 25636
/proc/meminfo: memFree=1434600/2055920 swapFree=4179984/4192956
[pid=25635] ppid=25633 vsize=18928 CPUtime=102.27
/proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 4420 0 0 0 10224 3 0 0 25 0 1 0 111521140 19382272 4345 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25635/statm: 4732 4345 139 317 0 4411 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 18928

[startup+162.303 s]
/proc/loadavg: 0.98 0.95 0.98 2/66 25636
/proc/meminfo: memFree=1431336/2055920 swapFree=4179984/4192956
[pid=25635] ppid=25633 vsize=22716 CPUtime=162.25
/proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 5253 0 0 0 16222 3 0 0 25 0 1 0 111521140 23261184 5178 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25635/statm: 5679 5178 139 317 0 5358 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 22716

[startup+222.303 s]
/proc/loadavg: 0.99 0.96 0.98 2/66 25636
/proc/meminfo: memFree=1428264/2055920 swapFree=4179984/4192956
[pid=25635] ppid=25633 vsize=25960 CPUtime=222.23
/proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 5985 0 0 0 22220 3 0 0 25 0 1 0 111521140 26583040 5910 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25635/statm: 6490 5910 139 317 0 6169 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 25960

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 25636
/proc/meminfo: memFree=1424744/2055920 swapFree=4179984/4192956
[pid=25635] ppid=25633 vsize=29364 CPUtime=282.22
/proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 6855 0 0 0 28218 4 0 0 25 0 1 0 111521140 30068736 6780 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25635/statm: 7341 6780 139 317 0 7020 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 29364

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 25636
/proc/meminfo: memFree=1422184/2055920 swapFree=4179984/4192956
[pid=25635] ppid=25633 vsize=32092 CPUtime=342.2
/proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 7503 0 0 0 34215 5 0 0 25 0 1 0 111521140 32862208 7428 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25635/statm: 8023 7428 139 317 0 7702 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 32092

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 25636
/proc/meminfo: memFree=1419880/2055920 swapFree=4179984/4192956
[pid=25635] ppid=25633 vsize=34496 CPUtime=402.19
/proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 8094 0 0 0 40213 6 0 0 25 0 1 0 111521140 35323904 8019 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25635/statm: 8624 8019 139 317 0 8303 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 34496

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 25636
/proc/meminfo: memFree=1417192/2055920 swapFree=4179984/4192956
[pid=25635] ppid=25633 vsize=37552 CPUtime=462.17
/proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 8861 0 0 0 46210 7 0 0 25 0 1 0 111521140 38453248 8673 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25635/statm: 9388 8673 139 317 0 9067 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 37552

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 25636
/proc/meminfo: memFree=1415464/2055920 swapFree=4179984/4192956
[pid=25635] ppid=25633 vsize=39492 CPUtime=522.16
/proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 9375 0 0 0 52208 8 0 0 25 0 1 0 111521140 40439808 9154 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25635/statm: 9873 9154 139 317 0 9552 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 39492

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 25636
/proc/meminfo: memFree=1413288/2055920 swapFree=4179984/4192956
[pid=25635] ppid=25633 vsize=41772 CPUtime=582.14
/proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 10038 0 0 0 58205 9 0 0 25 0 1 0 111521140 42774528 9685 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25635/statm: 10443 9685 139 317 0 10122 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 41772

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 25636
/proc/meminfo: memFree=1411240/2055920 swapFree=4179984/4192956
[pid=25635] ppid=25633 vsize=44116 CPUtime=642.13
/proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 10630 0 0 0 64203 10 0 0 25 0 1 0 111521140 45174784 10178 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25635/statm: 11029 10178 139 317 0 10708 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 44116


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

[startup+882.302 s]
/proc/loadavg: 1.10 1.00 0.99 2/66 25636
/proc/meminfo: memFree=1404776/2055920 swapFree=4179984/4192956
[pid=25635] ppid=25633 vsize=51332 CPUtime=882.07
/proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 12515 0 0 0 88195 12 0 0 25 0 1 0 111521140 52563968 11799 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25635/statm: 12833 11799 139 317 0 12512 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 51332

[startup+942.302 s]
/proc/loadavg: 1.11 1.02 0.99 2/66 25636
/proc/meminfo: memFree=1403432/2055920 swapFree=4179984/4192956
[pid=25635] ppid=25633 vsize=52788 CPUtime=942.06
/proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 12862 0 0 0 94193 13 0 0 25 0 1 0 111521140 54054912 12113 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712582 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25635/statm: 13197 12113 139 317 0 12876 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 52788

[startup+1002.3 s]
/proc/loadavg: 1.14 1.04 1.00 2/66 25638
/proc/meminfo: memFree=1401960/2055920 swapFree=4179984/4192956
[pid=25635] ppid=25633 vsize=54116 CPUtime=1002.03
/proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 13242 0 0 0 100190 13 0 0 25 0 1 0 111521140 55414784 12493 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25635/statm: 13529 12493 139 317 0 13208 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 54116

[startup+1062.3 s]
/proc/loadavg: 1.06 1.03 1.00 2/66 25638
/proc/meminfo: memFree=1400232/2055920 swapFree=4179984/4192956
[pid=25635] ppid=25633 vsize=56200 CPUtime=1062.02
/proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 13807 0 0 0 106188 14 0 0 25 0 1 0 111521140 57548800 12926 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25635/statm: 14050 12926 139 317 0 13729 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 56200

[startup+1122.3 s]
/proc/loadavg: 1.02 1.02 1.00 2/66 25638
/proc/meminfo: memFree=1398824/2055920 swapFree=4179984/4192956
[pid=25635] ppid=25633 vsize=57508 CPUtime=1122.01
/proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 14179 0 0 0 112186 15 0 0 25 0 1 0 111521140 58888192 13265 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25635/statm: 14377 13265 139 317 0 14056 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 57508

[startup+1182.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 25638
/proc/meminfo: memFree=1397736/2055920 swapFree=4179984/4192956
[pid=25635] ppid=25633 vsize=58824 CPUtime=1181.99
/proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 14492 0 0 0 118183 16 0 0 25 0 1 0 111521140 60235776 13545 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25635/statm: 14706 13545 139 317 0 14385 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 58824

[startup+1242.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 25638
/proc/meminfo: memFree=1396200/2055920 swapFree=4179984/4192956
[pid=25635] ppid=25633 vsize=60264 CPUtime=1241.97
/proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 14856 0 0 0 124181 16 0 0 25 0 1 0 111521140 61710336 13909 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25635/statm: 15066 13909 139 317 0 14745 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 60264

[startup+1302.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 25638
/proc/meminfo: memFree=1395048/2055920 swapFree=4179984/4192956
[pid=25635] ppid=25633 vsize=61308 CPUtime=1301.97
/proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 15153 0 0 0 130180 17 0 0 25 0 1 0 111521140 62779392 14206 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25635/statm: 15327 14206 139 317 0 15006 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 61308

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25638
/proc/meminfo: memFree=1393768/2055920 swapFree=4179984/4192956
[pid=25635] ppid=25633 vsize=62612 CPUtime=1361.95
/proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 15507 0 0 0 136177 18 0 0 25 0 1 0 111521140 64114688 14527 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25635/statm: 15653 14527 139 317 0 15332 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 62612

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25638
/proc/meminfo: memFree=1392808/2055920 swapFree=4179984/4192956
[pid=25635] ppid=25633 vsize=63392 CPUtime=1421.94
/proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 15748 0 0 0 142176 18 0 0 25 0 1 0 111521140 64913408 14768 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25635/statm: 15848 14768 139 317 0 15527 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 63392

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25638
/proc/meminfo: memFree=1391720/2055920 swapFree=4179984/4192956
[pid=25635] ppid=25633 vsize=64316 CPUtime=1481.91
/proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 16006 0 0 0 148173 18 0 0 25 0 1 0 111521140 65859584 15026 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25635/statm: 16079 15026 139 317 0 15758 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 64316

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25638
/proc/meminfo: memFree=1390696/2055920 swapFree=4179984/4192956
[pid=25635] ppid=25633 vsize=65232 CPUtime=1541.9
/proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 16262 0 0 0 154172 18 0 0 25 0 1 0 111521140 66797568 15282 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25635/statm: 16308 15282 139 317 0 15987 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 65232

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25638
/proc/meminfo: memFree=1388968/2055920 swapFree=4179984/4192956
[pid=25635] ppid=25633 vsize=66940 CPUtime=1601.89
/proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 16691 0 0 0 160170 19 0 0 25 0 1 0 111521140 68546560 15711 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25635/statm: 16735 15711 139 317 0 16414 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 66940

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25638
/proc/meminfo: memFree=1387880/2055920 swapFree=4179984/4192956
[pid=25635] ppid=25633 vsize=67984 CPUtime=1661.87
/proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 16988 0 0 0 166168 19 0 0 25 0 1 0 111521140 69615616 15975 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25635/statm: 16996 15975 139 317 0 16675 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 67984

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25638
/proc/meminfo: memFree=1386088/2055920 swapFree=4179984/4192956
[pid=25635] ppid=25633 vsize=70592 CPUtime=1721.86
/proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 17667 0 0 0 172166 20 0 0 25 0 1 0 111521140 72286208 16396 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712548 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25635/statm: 17648 16396 139 317 0 17327 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 70592

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25638
/proc/meminfo: memFree=1385768/2055920 swapFree=4179984/4192956
[pid=25635] ppid=25633 vsize=70848 CPUtime=1781.84
/proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 17784 0 0 0 178164 20 0 0 25 0 1 0 111521140 72548352 16513 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25635/statm: 17712 16513 139 317 0 17391 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 70848



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25638
/proc/meminfo: memFree=1385256/2055920 swapFree=4179984/4192956
[pid=25635] ppid=25633 vsize=71240 CPUtime=1800.04
/proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 17895 0 0 0 179984 20 0 0 25 0 1 0 111521140 72949760 16624 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25635/statm: 17810 16624 139 317 0 17489 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 71240

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: 1.00 1.00 1.00 2/67 25639
/proc/meminfo: memFree=1385248/2055920 swapFree=4179984/4192956
[pid=25635] ppid=25633 vsize=71240 CPUtime=1800.14
/proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 17895 0 0 0 179994 20 0 0 25 0 1 0 111521140 72949760 16624 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/25635/statm: 17810 16624 139 317 0 17489 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 71240

Child status: 0
Real time (s): 1800.68
CPU time (s): 1800.23
CPU user time (s): 1800.01
CPU system time (s): 0.220966
CPU usage (%): 99.9746
Max. virtual memory (cumulated for all children) (KiB): 71240

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

runsolver used 1.35679 second user time and 3.69544 second system time

The end

Launcher Data (download as text)

Begin job on node27 on Thu Apr 19 13:10:52 UTC 2007

IDJOB= 364638
IDBENCH= 2137
IDSOLVER= 172
FILE ID= node27/364638-1176988252

PBS_JOBID= 4630447

Free space on /tmp= 66376 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-aim-200-1_6-yes1-2.opb
COMMAND LINE= oree /tmp/evaluation/364638-1176988252/instance-364638-1176988252.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node27/watcher-364638-1176988252 -o ROOT/results/node27/solver-364638-1176988252 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/364638-1176988252/instance-364638-1176988252.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  4206bcb74bbfe6d3d32eef307f81efb1

RANDOM SEED= 817161784

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node27.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.213
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	: 5931.00
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.213
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:       1452280 kB
Buffers:         34308 kB
Cached:         493612 kB
SwapCached:       6696 kB
Active:          53280 kB
Inactive:       486808 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1452280 kB
SwapTotal:     4192956 kB
SwapFree:      4179984 kB
Dirty:            1512 kB
Writeback:           0 kB
Mapped:          15224 kB
Slab:            49668 kB
Committed_AS:  1691696 kB
PageTables:       1412 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= 66376 MiB

End job on node27 on Thu Apr 19 13:40:55 UTC 2007