Trace number 357152

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.49 1801.07

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii16c1.opb
MD5SUMa63171c8a8ea2fa0eedb44e836168a56
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1309
Best CPU time to get the best result obtained on this benchmark1800.11
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1246
Optimality of the best value was proved NO
Number of variables3160
Total number of constraints18047
Number of constraints which are clauses18047
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 constraint20
Number of terms in the objective function 3160
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 3160
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 3160
Number of bits of the biggest sum of numbers12
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.09/0.15	c ...done
0.09/0.15	c #vars=3160 #constraints=18048 hasObjective=yes
0.29/0.32	c res. mode=mod
0.29/0.32	c VSIDS like heuristics
0.29/0.32	c complete search running
0.39/0.46	c restart after 401 decisions
0.39/0.48	c nbDecision=500 #constraints=18125
0.49/0.50	c restart after 801 decisions
0.49/0.52	c nbDecision=1000 #constraints=18146
0.49/0.57	c nbDecision=1500 #constraints=18182
0.49/0.58	c restart after 1601 decisions
0.59/0.61	c nbDecision=2000 #constraints=18186
0.59/0.66	c nbDecision=2500 #constraints=18202
0.79/0.82	c nbDecision=3000 #constraints=18310
0.79/0.88	c restart after 3201 decisions
0.89/0.91	c nbDecision=3500 #constraints=18339
1.09/1.16	c nbDecision=4000 #constraints=18463
1.69/1.79	c nbDecision=4500 #constraints=18645
2.09/2.20	c nbDecision=5000 #constraints=18725
2.69/2.74	c nbDecision=5500 #constraints=18832
3.59/3.61	c nbDecision=6000 #constraints=18962
4.09/4.12	c restart after 6401 decisions
4.19/4.20	c nbDecision=6500 #constraints=19039
4.39/4.46	c nbDecision=7000 #constraints=19074
5.99/6.06	c nbDecision=7500 #constraints=19285
8.09/8.15	c nbDecision=8000 #constraints=19527
11.58/11.68	c nbDecision=8500 #constraints=19855
17.79/17.83	c nbDecision=9000 #constraints=20259
21.68/21.72	c nbDecision=9500 #constraints=20478
23.68/23.73	c nbDecision=10000 #constraints=20580
26.68/26.73	c nbDecision=10500 #constraints=20736
32.68/32.73	c nbDecision=11000 #constraints=21002
40.68/40.75	c nbDecision=11500 #constraints=21331
45.37/45.40	c nbDecision=12000 #constraints=21554
52.97/53.08	c nbDecision=12500 #constraints=21837
57.77/57.87	c restart after 12801 decisions
58.58/58.65	c nbDecision=13000 #constraints=21983
65.87/65.91	c nbDecision=13500 #constraints=22138
75.57/75.63	c nbDecision=14000 #constraints=22378
91.46/91.55	c nbDecision=14500 #constraints=22782
106.66/106.73	c nbDecision=15000 #constraints=23126
128.75/128.86	c nbDecision=15500 #constraints=23532
151.94/152.02	c nbDecision=16000 #constraints=23933
176.53/176.64	c nbDecision=16500 #constraints=24301
202.93/203.01	c nbDecision=17000 #constraints=24654
223.41/223.55	c nbDecision=17500 #constraints=24981
244.41/244.52	c nbDecision=18000 #constraints=25279
273.90/274.06	c nbDecision=18500 #constraints=25663
299.49/299.69	c nbDecision=19000 #constraints=25977
331.78/331.94	c nbDecision=19500 #constraints=26352
364.07/364.21	c nbDecision=20000 #constraints=26704
398.26/398.48	c nbDecision=20500 #constraints=27036
429.15/429.34	c nbDecision=21000 #constraints=27274
451.04/451.27	c nbDecision=21500 #constraints=27516
495.23/495.41	c nbDecision=22000 #constraints=27895
548.61/548.82	c nbDecision=22500 #constraints=28305
593.90/594.16	c nbDecision=23000 #constraints=28687
638.69/639.00	c nbDecision=23500 #constraints=29068
694.57/694.83	c nbDecision=24000 #constraints=29474
747.66/747.98	c nbDecision=24500 #constraints=29842
782.84/783.11	c nbDecision=25000 #constraints=30058
838.32/838.64	c nbDecision=25500 #constraints=30308
850.11/850.47	c restart after 25601 decisions
854.42/854.71	c nbDecision=26000 #constraints=30379
916.60/916.93	c nbDecision=26500 #constraints=30723
959.78/960.19	c nbDecision=27000 #constraints=31048
1008.06/1008.47	c nbDecision=27500 #constraints=31405
1062.84/1063.20	c nbDecision=28000 #constraints=31801
1129.23/1129.65	c nbDecision=28500 #constraints=32224
1206.10/1206.52	c nbDecision=29000 #constraints=32649
1266.88/1267.38	c nbDecision=29500 #constraints=33023
1342.66/1343.16	c nbDecision=30000 #constraints=33457
1419.03/1419.55	c nbDecision=30500 #constraints=33833
1469.61/1470.18	c nbDecision=31000 #constraints=34093
1570.69/1571.25	c nbDecision=31500 #constraints=34513
1664.46/1665.01	c nbDecision=32000 #constraints=34915
1744.73/1745.38	c nbDecision=32500 #constraints=35256
1800.02/1800.60	Received signal 15
1800.41/1801.01	
1800.41/1801.01	s UNKNOWN
1800.41/1801.01	
1800.41/1801.01	c user time= 1799.94 s
1800.41/1801.01	c system time= 0.497924 s
1800.41/1801.01	c wall clock time=1801.02

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/node39/watcher-357152-1176988926 -o ROOT/results/node39/solver-357152-1176988926 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357152-1176988926/instance-357152-1176988926.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 3/77 2198
/proc/meminfo: memFree=1532240/2055920 swapFree=4154524/4192956
[pid=2198] ppid=2196 vsize=1620 CPUtime=0
/proc/2198/stat : 2198 (oree) R 2196 2198 2092 0 -1 4194304 194 0 0 0 0 0 0 0 18 0 1 0 146804628 1658880 176 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2198/statm: 405 176 126 317 0 84 0

[startup+0.076934 s]
/proc/loadavg: 0.66 0.92 0.97 3/77 2198
/proc/meminfo: memFree=1532240/2055920 swapFree=4154524/4192956
[pid=2198] ppid=2196 vsize=3072 CPUtime=0.07
/proc/2198/stat : 2198 (oree) R 2196 2198 2092 0 -1 4194304 574 0 0 0 7 0 0 0 18 0 1 0 146804628 3145728 556 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2198/statm: 768 556 130 317 0 447 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 3072

[startup+0.101935 s]
/proc/loadavg: 0.66 0.92 0.97 3/77 2198
/proc/meminfo: memFree=1532240/2055920 swapFree=4154524/4192956
[pid=2198] ppid=2196 vsize=3732 CPUtime=0.09
/proc/2198/stat : 2198 (oree) R 2196 2198 2092 0 -1 4194304 723 0 0 0 9 0 0 0 18 0 1 0 146804628 3821568 705 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2198/statm: 933 705 130 317 0 612 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3732

[startup+0.301968 s]
/proc/loadavg: 0.66 0.92 0.97 3/77 2198
/proc/meminfo: memFree=1532240/2055920 swapFree=4154524/4192956
[pid=2198] ppid=2196 vsize=6688 CPUtime=0.29
/proc/2198/stat : 2198 (oree) R 2196 2198 2092 0 -1 4194304 1487 0 0 0 29 0 0 0 19 0 1 0 146804628 6848512 1469 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2198/statm: 1672 1469 137 317 0 1351 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6688

[startup+0.701036 s]
/proc/loadavg: 0.66 0.92 0.97 3/77 2198
/proc/meminfo: memFree=1532240/2055920 swapFree=4154524/4192956
[pid=2198] ppid=2196 vsize=7840 CPUtime=0.69
/proc/2198/stat : 2198 (oree) R 2196 2198 2092 0 -1 4194304 1761 0 0 0 69 0 0 0 22 0 1 0 146804628 8028160 1619 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712584 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2198/statm: 1960 1619 139 317 0 1639 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7840

[startup+1.50117 s]
/proc/loadavg: 0.66 0.92 0.97 2/78 2199
/proc/meminfo: memFree=1525192/2055920 swapFree=4154524/4192956
[pid=2198] ppid=2196 vsize=10732 CPUtime=1.49
/proc/2198/stat : 2198 (oree) R 2196 2198 2092 0 -1 4194304 2502 0 0 0 148 1 0 0 25 0 1 0 146804628 10989568 2360 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284120 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2198/statm: 2683 2360 139 317 0 2362 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10732

[startup+3.10144 s]
/proc/loadavg: 0.66 0.92 0.97 2/78 2199
/proc/meminfo: memFree=1521928/2055920 swapFree=4154524/4192956
[pid=2198] ppid=2196 vsize=13628 CPUtime=3.09
/proc/2198/stat : 2198 (oree) R 2196 2198 2092 0 -1 4194304 3230 0 0 0 307 2 0 0 25 0 1 0 146804628 13955072 3088 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2198/statm: 3407 3088 139 317 0 3086 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13628

[startup+6.30198 s]
/proc/loadavg: 0.69 0.92 0.97 2/78 2199
/proc/meminfo: memFree=1516104/2055920 swapFree=4154524/4192956
[pid=2198] ppid=2196 vsize=19052 CPUtime=6.29
/proc/2198/stat : 2198 (oree) R 2196 2198 2092 0 -1 4194304 4580 0 0 0 627 2 0 0 25 0 1 0 146804628 19509248 4438 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278987 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2198/statm: 4763 4438 139 317 0 4442 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19052

[startup+12.7011 s]
/proc/loadavg: 0.71 0.92 0.97 2/78 2199
/proc/meminfo: memFree=1506184/2055920 swapFree=4154524/4192956
[pid=2198] ppid=2196 vsize=28356 CPUtime=12.68
/proc/2198/stat : 2198 (oree) R 2196 2198 2092 0 -1 4194304 6882 0 0 0 1265 3 0 0 25 0 1 0 146804628 29036544 6740 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2198/statm: 7089 6740 139 317 0 6768 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 28356

[startup+25.5012 s]
/proc/loadavg: 0.77 0.92 0.97 2/78 2199
/proc/meminfo: memFree=1494600/2055920 swapFree=4154524/4192956
[pid=2198] ppid=2196 vsize=39440 CPUtime=25.48
/proc/2198/stat : 2198 (oree) R 2196 2198 2092 0 -1 4194304 9594 0 0 0 2544 4 0 0 25 0 1 0 146804628 40386560 9452 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2198/statm: 9860 9452 139 317 0 9539 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 39440

[startup+51.1015 s]
/proc/loadavg: 0.85 0.93 0.97 2/78 2199
/proc/meminfo: memFree=1477128/2055920 swapFree=4154524/4192956
[pid=2198] ppid=2196 vsize=57832 CPUtime=51.07
/proc/2198/stat : 2198 (oree) R 2196 2198 2092 0 -1 4194304 14020 0 0 0 5100 7 0 0 25 0 1 0 146804628 59219968 13878 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2198/statm: 14458 13878 139 317 0 14137 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 57832

[startup+102.305 s]
/proc/loadavg: 0.93 0.94 0.97 2/78 2199
/proc/meminfo: memFree=1457864/2055920 swapFree=4154524/4192956
[pid=2198] ppid=2196 vsize=76660 CPUtime=102.26
/proc/2198/stat : 2198 (oree) R 2196 2198 2092 0 -1 4194304 18757 0 0 0 10216 10 0 0 25 0 1 0 146804628 78499840 18615 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710752 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2198/statm: 19165 18615 139 317 0 18844 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 76660

[startup+162.302 s]
/proc/loadavg: 0.97 0.95 0.97 2/78 2199
/proc/meminfo: memFree=1438984/2055920 swapFree=4154524/4192956
[pid=2198] ppid=2196 vsize=97840 CPUtime=162.23
/proc/2198/stat : 2198 (oree) R 2196 2198 2092 0 -1 4194304 23474 0 0 0 16210 13 0 0 25 0 1 0 146804628 100188160 23332 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2198/statm: 24460 23332 139 317 0 24139 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 97840

[startup+222.301 s]
/proc/loadavg: 0.99 0.95 0.97 2/78 2199
/proc/meminfo: memFree=1424776/2055920 swapFree=4154524/4192956
[pid=2198] ppid=2196 vsize=112020 CPUtime=222.21
/proc/2198/stat : 2198 (oree) R 2196 2198 2092 0 -1 4194304 26990 0 0 0 22206 15 0 0 25 0 1 0 146804628 114708480 26848 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2198/statm: 28005 26848 139 317 0 27684 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 112020

[startup+282.301 s]
/proc/loadavg: 0.99 0.96 0.97 2/78 2199
/proc/meminfo: memFree=1411528/2055920 swapFree=4154524/4192956
[pid=2198] ppid=2196 vsize=125264 CPUtime=282.19
/proc/2198/stat : 2198 (oree) R 2196 2198 2092 0 -1 4194304 30334 0 0 0 28202 17 0 0 25 0 1 0 146804628 128270336 30192 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2198/statm: 31316 30192 139 317 0 30995 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 125264

[startup+342.302 s]
/proc/loadavg: 0.99 0.96 0.97 2/78 2199
/proc/meminfo: memFree=1400712/2055920 swapFree=4154524/4192956
[pid=2198] ppid=2196 vsize=135312 CPUtime=342.18
/proc/2198/stat : 2198 (oree) R 2196 2198 2092 0 -1 4194304 32996 0 0 0 34199 19 0 0 25 0 1 0 146804628 138559488 32854 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2198/statm: 33828 32854 139 317 0 33507 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 135312

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 2199
/proc/meminfo: memFree=1390792/2055920 swapFree=4154524/4192956
[pid=2198] ppid=2196 vsize=145036 CPUtime=402.16
/proc/2198/stat : 2198 (oree) R 2196 2198 2092 0 -1 4194304 35475 0 0 0 40195 21 0 0 25 0 1 0 146804628 148516864 35333 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2198/statm: 36259 35333 139 317 0 35938 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 145036

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 2199
/proc/meminfo: memFree=1382088/2055920 swapFree=4154524/4192956
[pid=2198] ppid=2196 vsize=154288 CPUtime=462.14
/proc/2198/stat : 2198 (oree) R 2196 2198 2092 0 -1 4194304 37655 0 0 0 46191 23 0 0 25 0 1 0 146804628 157990912 37513 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2198/statm: 38572 37513 139 317 0 38251 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 154288

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 2199
/proc/meminfo: memFree=1370952/2055920 swapFree=4154524/4192956
[pid=2198] ppid=2196 vsize=168900 CPUtime=522.13
/proc/2198/stat : 2198 (oree) R 2196 2198 2092 0 -1 4194304 40477 0 0 0 52188 25 0 0 25 0 1 0 146804628 172953600 40335 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2198/statm: 42225 40335 139 317 0 41904 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 168900

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 2199
/proc/meminfo: memFree=1361992/2055920 swapFree=4154524/4192956
[pid=2198] ppid=2196 vsize=178244 CPUtime=582.1
/proc/2198/stat : 2198 (oree) R 2196 2198 2092 0 -1 4194304 42673 0 0 0 58184 26 0 0 25 0 1 0 146804628 182521856 42531 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2198/statm: 44561 42531 139 317 0 44240 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 178244

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 2199
/proc/meminfo: memFree=1350408/2055920 swapFree=4154524/4192956
[pid=2198] ppid=2196 vsize=191992 CPUtime=642.09
/proc/2198/stat : 2198 (oree) R 2196 2198 2092 0 -1 4194304 45536 0 0 0 64181 28 0 0 25 0 1 0 146804628 196599808 45394 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604247 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2198/statm: 47998 45394 139 317 0 47677 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 191992


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 2199
/proc/meminfo: memFree=1321288/2055920 swapFree=4154524/4192956
[pid=2198] ppid=2196 vsize=222884 CPUtime=882
/proc/2198/stat : 2198 (oree) R 2196 2198 2092 0 -1 4194304 52800 0 0 0 88168 32 0 0 25 0 1 0 146804628 228233216 52658 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2198/statm: 55721 52658 139 317 0 55400 0
Current children cumulated CPU time (s) 882
Current children cumulated vsize (KiB) 222884

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 2199
/proc/meminfo: memFree=1313992/2055920 swapFree=4154524/4192956
[pid=2198] ppid=2196 vsize=230532 CPUtime=941.98
/proc/2198/stat : 2198 (oree) R 2196 2198 2092 0 -1 4194304 54645 0 0 0 94165 33 0 0 25 0 1 0 146804628 236064768 54503 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2198/statm: 57633 54503 139 317 0 57312 0
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (KiB) 230532

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 2201
/proc/meminfo: memFree=1306888/2055920 swapFree=4154524/4192956
[pid=2198] ppid=2196 vsize=237488 CPUtime=1001.97
/proc/2198/stat : 2198 (oree) R 2196 2198 2092 0 -1 4194304 56412 0 0 0 100163 34 0 0 25 0 1 0 146804628 243187712 56270 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2198/statm: 59372 56270 139 317 0 59051 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 237488

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 2201
/proc/meminfo: memFree=1300232/2055920 swapFree=4154524/4192956
[pid=2198] ppid=2196 vsize=244004 CPUtime=1061.95
/proc/2198/stat : 2198 (oree) R 2196 2198 2092 0 -1 4194304 58093 0 0 0 106160 35 0 0 25 0 1 0 146804628 249860096 57951 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2198/statm: 61001 57951 139 317 0 60680 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 244004

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 2201
/proc/meminfo: memFree=1294152/2055920 swapFree=4154524/4192956
[pid=2198] ppid=2196 vsize=249632 CPUtime=1121.93
/proc/2198/stat : 2198 (oree) R 2196 2198 2092 0 -1 4194304 59590 0 0 0 112157 36 0 0 25 0 1 0 146804628 255623168 59448 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564095 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2198/statm: 62408 59448 139 317 0 62087 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 249632

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 2201
/proc/meminfo: memFree=1288584/2055920 swapFree=4154524/4192956
[pid=2198] ppid=2196 vsize=254904 CPUtime=1181.91
/proc/2198/stat : 2198 (oree) R 2196 2198 2092 0 -1 4194304 60988 0 0 0 118154 37 0 0 25 0 1 0 146804628 261021696 60846 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2198/statm: 63726 60846 139 317 0 63405 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 254904

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 2201
/proc/meminfo: memFree=1282632/2055920 swapFree=4154524/4192956
[pid=2198] ppid=2196 vsize=261208 CPUtime=1241.89
/proc/2198/stat : 2198 (oree) R 2196 2198 2092 0 -1 4194304 62481 0 0 0 124150 39 0 0 25 0 1 0 146804628 267476992 62306 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2198/statm: 65302 62306 139 317 0 64981 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 261208

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 2201
/proc/meminfo: memFree=1276232/2055920 swapFree=4154524/4192956
[pid=2198] ppid=2196 vsize=267992 CPUtime=1301.87
/proc/2198/stat : 2198 (oree) R 2196 2198 2092 0 -1 4194304 64074 0 0 0 130148 39 0 0 25 0 1 0 146804628 274423808 63899 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2198/statm: 66998 63899 139 317 0 66677 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 267992

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 2201
/proc/meminfo: memFree=1269832/2055920 swapFree=4154524/4192956
[pid=2198] ppid=2196 vsize=274880 CPUtime=1361.85
/proc/2198/stat : 2198 (oree) R 2196 2198 2092 0 -1 4194304 65680 0 0 0 136144 41 0 0 25 0 1 0 146804628 281477120 65505 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2198/statm: 68720 65505 139 317 0 68399 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 274880

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 2201
/proc/meminfo: memFree=1264584/2055920 swapFree=4154524/4192956
[pid=2198] ppid=2196 vsize=279892 CPUtime=1421.83
/proc/2198/stat : 2198 (oree) R 2196 2198 2092 0 -1 4194304 66984 0 0 0 142141 42 0 0 25 0 1 0 146804628 286609408 66809 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2198/statm: 69973 66809 139 317 0 69652 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 279892

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 2201
/proc/meminfo: memFree=1259720/2055920 swapFree=4154524/4192956
[pid=2198] ppid=2196 vsize=284696 CPUtime=1481.82
/proc/2198/stat : 2198 (oree) R 2196 2198 2092 0 -1 4194304 68219 0 0 0 148138 44 0 0 25 0 1 0 146804628 291528704 68044 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2198/statm: 71174 68044 139 317 0 70853 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 284696

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 2201
/proc/meminfo: memFree=1254728/2055920 swapFree=4154524/4192956
[pid=2198] ppid=2196 vsize=290280 CPUtime=1541.79
/proc/2198/stat : 2198 (oree) R 2196 2198 2092 0 -1 4194304 69458 0 0 0 154135 44 0 0 25 0 1 0 146804628 297246720 69283 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711029 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2198/statm: 72570 69283 139 317 0 72249 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 290280

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 2201
/proc/meminfo: memFree=1249288/2055920 swapFree=4154524/4192956
[pid=2198] ppid=2196 vsize=295604 CPUtime=1601.78
/proc/2198/stat : 2198 (oree) R 2196 2198 2092 0 -1 4194304 70807 0 0 0 160132 46 0 0 25 0 1 0 146804628 302698496 70632 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2198/statm: 73901 70632 139 317 0 73580 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 295604

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 2201
/proc/meminfo: memFree=1244808/2055920 swapFree=4154524/4192956
[pid=2198] ppid=2196 vsize=299776 CPUtime=1661.76
/proc/2198/stat : 2198 (oree) R 2196 2198 2092 0 -1 4194304 71917 0 0 0 166129 47 0 0 25 0 1 0 146804628 306970624 71742 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563622 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2198/statm: 74944 71742 139 317 0 74623 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 299776

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 2201
/proc/meminfo: memFree=1240008/2055920 swapFree=4154524/4192956
[pid=2198] ppid=2196 vsize=304332 CPUtime=1721.73
/proc/2198/stat : 2198 (oree) R 2196 2198 2092 0 -1 4194304 73136 0 0 0 172126 47 0 0 25 0 1 0 146804628 311635968 72961 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2198/statm: 76083 72961 139 317 0 75762 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 304332

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 2201
/proc/meminfo: memFree=1234952/2055920 swapFree=4154524/4192956
[pid=2198] ppid=2196 vsize=309260 CPUtime=1781.72
/proc/2198/stat : 2198 (oree) R 2196 2198 2092 0 -1 4194304 74371 0 0 0 178123 49 0 0 25 0 1 0 146804628 316682240 74196 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718665 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2198/statm: 77315 74196 139 317 0 76994 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 309260



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 2201
/proc/meminfo: memFree=1233672/2055920 swapFree=4154524/4192956
[pid=2198] ppid=2196 vsize=310580 CPUtime=1800.02
/proc/2198/stat : 2198 (oree) R 2196 2198 2092 0 -1 4194304 74711 0 0 0 179953 49 0 0 25 0 1 0 146804628 318033920 74536 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2198/statm: 77645 74536 139 317 0 77324 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 310580

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

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

[startup+1801 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 2201
/proc/meminfo: memFree=1233672/2055920 swapFree=4154524/4192956
[pid=2198] ppid=2196 vsize=310580 CPUtime=1800.41
/proc/2198/stat : 2198 (oree) R 2196 2198 2092 0 -1 4194304 74715 0 0 0 179992 49 0 0 25 0 1 0 146804628 318033920 74540 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2198/statm: 77645 74540 139 317 0 77324 0
Current children cumulated CPU time (s) 1800.41
Current children cumulated vsize (KiB) 310580

Child status: 0
Real time (s): 1801.07
CPU time (s): 1800.49
CPU user time (s): 1799.95
CPU system time (s): 0.545917
CPU usage (%): 99.9677
Max. virtual memory (cumulated for all children) (KiB): 310580

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

runsolver used 2.02469 second user time and 4.52931 second system time

The end

Launcher Data (download as text)

Begin job on node39 on Thu Apr 19 13:22:06 UTC 2007

IDJOB= 357152
IDBENCH= 2170
IDSOLVER= 172
FILE ID= node39/357152-1176988926

PBS_JOBID= 4630459

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  a63171c8a8ea2fa0eedb44e836168a56

RANDOM SEED= 401618068

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node39.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.256
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.256
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:       1532584 kB
Buffers:         45852 kB
Cached:         385220 kB
SwapCached:      18408 kB
Active:         171516 kB
Inactive:       287880 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1532584 kB
SwapTotal:     4192956 kB
SwapFree:      4154524 kB
Dirty:            2144 kB
Writeback:           0 kB
Mapped:          30452 kB
Slab:            49224 kB
Committed_AS:  1771732 kB
PageTables:       2012 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= 66487 MiB

End job on node39 on Thu Apr 19 13:52:09 UTC 2007