Trace number 357155

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.12 1800.6

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par32-3-c.opb
MD5SUMbc7893eb7aff4749139e472af91e587e
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2650
Total number of constraints6619
Number of constraints which are clauses6619
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 constraint3
Number of terms in the objective function 2650
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 2650
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 2650
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.00/0.06	c ...done
0.00/0.06	c #vars=2650 #constraints=6620 hasObjective=yes
0.06/0.09	c res. mode=mod
0.06/0.09	c VSIDS like heuristics
0.06/0.09	c complete search running
1.49/1.55	c restart after 401 decisions
1.79/1.84	c nbDecision=500 #constraints=7075
3.09/3.17	c restart after 801 decisions
3.89/3.99	c nbDecision=1000 #constraints=7554
6.99/7.01	c nbDecision=1500 #constraints=8056
7.69/7.73	c restart after 1601 decisions
10.58/10.63	c nbDecision=2000 #constraints=8534
15.19/15.23	c nbDecision=2500 #constraints=9034
19.59/19.61	c nbDecision=3000 #constraints=9534
21.68/21.77	c restart after 3201 decisions
25.08/25.11	c nbDecision=3500 #constraints=10012
31.88/31.91	c nbDecision=4000 #constraints=10508
37.98/38.08	c nbDecision=4500 #constraints=11013
46.08/46.16	c nbDecision=5000 #constraints=11512
54.67/54.77	c nbDecision=5500 #constraints=12013
63.57/63.67	c nbDecision=6000 #constraints=12516
72.17/72.28	c restart after 6401 decisions
73.87/74.00	c nbDecision=6500 #constraints=12995
85.47/85.53	c nbDecision=7000 #constraints=13496
97.67/97.74	c nbDecision=7500 #constraints=13996
109.06/109.14	c nbDecision=8000 #constraints=14497
123.36/123.45	c nbDecision=8500 #constraints=14998
136.95/137.04	c nbDecision=9000 #constraints=15495
151.95/152.05	c nbDecision=9500 #constraints=15999
169.64/169.75	c nbDecision=10000 #constraints=16497
184.65/184.71	c nbDecision=10500 #constraints=17000
203.14/203.29	c nbDecision=11000 #constraints=17499
223.73/223.90	c nbDecision=11500 #constraints=17995
242.13/242.26	c nbDecision=12000 #constraints=18498
265.52/265.67	c nbDecision=12500 #constraints=18999
279.32/279.49	c restart after 12801 decisions
288.61/288.78	c nbDecision=13000 #constraints=19478
309.11/309.24	c nbDecision=13500 #constraints=19975
334.50/334.66	c nbDecision=14000 #constraints=20478
360.19/360.35	c nbDecision=14500 #constraints=20974
384.19/384.32	c nbDecision=15000 #constraints=21477
413.98/414.13	c nbDecision=15500 #constraints=21979
438.78/438.92	c nbDecision=16000 #constraints=22477
468.36/468.51	c nbDecision=16500 #constraints=22980
499.36/499.56	c nbDecision=17000 #constraints=23478
526.85/527.01	c nbDecision=17500 #constraints=23977
561.24/561.41	c nbDecision=18000 #constraints=24479
588.93/589.11	c nbDecision=18500 #constraints=24976
620.43/620.67	c nbDecision=19000 #constraints=25474
657.01/657.26	c nbDecision=19500 #constraints=25977
684.81/685.09	c nbDecision=20000 #constraints=26476
720.40/720.69	c nbDecision=20500 #constraints=26976
756.99/757.21	c nbDecision=21000 #constraints=27476
788.58/788.87	c nbDecision=21500 #constraints=27975
827.66/827.97	c nbDecision=22000 #constraints=28477
862.86/863.16	c nbDecision=22500 #constraints=28973
900.65/900.96	c nbDecision=23000 #constraints=29481
943.84/944.10	c nbDecision=23500 #constraints=29979
980.52/980.83	c nbDecision=24000 #constraints=30478
1025.81/1026.16	c nbDecision=24500 #constraints=30978
1070.51/1070.80	c nbDecision=25000 #constraints=31475
1111.49/1111.86	c nbDecision=25500 #constraints=31979
1120.99/1121.38	c restart after 25601 decisions
1150.98/1151.33	c nbDecision=26000 #constraints=32458
1200.67/1201.05	c nbDecision=26500 #constraints=32962
1246.96/1247.30	c nbDecision=27000 #constraints=33460
1292.64/1293.05	c nbDecision=27500 #constraints=33962
1347.53/1347.99	c nbDecision=28000 #constraints=34463
1390.61/1391.07	c nbDecision=28500 #constraints=34962
1444.00/1444.46	c nbDecision=29000 #constraints=35464
1494.40/1494.85	c nbDecision=29500 #constraints=35958
1539.67/1540.12	c nbDecision=30000 #constraints=36458
1594.16/1594.65	c nbDecision=30500 #constraints=36959
1641.75/1642.26	c nbDecision=31000 #constraints=37461
1693.33/1693.86	c nbDecision=31500 #constraints=37959
1752.92/1753.48	c nbDecision=32000 #constraints=38462
1797.91/1798.44	c nbDecision=32500 #constraints=38963
1800.01/1800.50	Received signal 15
1800.01/1800.58	
1800.01/1800.58	s UNKNOWN
1800.01/1800.58	
1800.01/1800.58	c user time= 1799.81 s
1800.01/1800.58	c system time= 0.289955 s
1800.01/1800.58	c wall clock time=1800.58

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/node15/watcher-357155-1176989086 -o ROOT/results/node15/solver-357155-1176989086 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357155-1176989086/instance-357155-1176989086.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.77 0.95 0.97 3/77 17147
/proc/meminfo: memFree=1657008/2055920 swapFree=4169120/4192956
[pid=17147] ppid=17145 vsize=1620 CPUtime=0
/proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 146826264 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17147/statm: 405 175 126 317 0 84 0

[startup+0.0677561 s]
/proc/loadavg: 0.77 0.95 0.97 3/77 17147
/proc/meminfo: memFree=1657008/2055920 swapFree=4169120/4192956
[pid=17147] ppid=17145 vsize=3404 CPUtime=0.06
/proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 667 0 0 0 6 0 0 0 18 0 1 0 146826264 3485696 649 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17147/statm: 851 649 137 317 0 530 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 3404

[startup+0.101759 s]
/proc/loadavg: 0.77 0.95 0.97 3/77 17147
/proc/meminfo: memFree=1657008/2055920 swapFree=4169120/4192956
[pid=17147] ppid=17145 vsize=3536 CPUtime=0.09
/proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 714 0 0 0 9 0 0 0 18 0 1 0 146826264 3620864 696 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606614 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17147/statm: 884 696 138 317 0 563 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3536

[startup+0.301778 s]
/proc/loadavg: 0.77 0.95 0.97 3/77 17147
/proc/meminfo: memFree=1657008/2055920 swapFree=4169120/4192956
[pid=17147] ppid=17145 vsize=3980 CPUtime=0.29
/proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 810 0 0 0 29 0 0 0 19 0 1 0 146826264 4075520 746 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17147/statm: 995 746 139 317 0 674 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3980

[startup+0.701814 s]
/proc/loadavg: 0.77 0.95 0.97 3/77 17147
/proc/meminfo: memFree=1657008/2055920 swapFree=4169120/4192956
[pid=17147] ppid=17145 vsize=3980 CPUtime=0.69
/proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 824 0 0 0 69 0 0 0 23 0 1 0 146826264 4075520 760 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17147/statm: 995 760 139 317 0 674 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3980

[startup+1.50189 s]
/proc/loadavg: 0.79 0.95 0.97 2/78 17148
/proc/meminfo: memFree=1654312/2055920 swapFree=4169120/4192956
[pid=17147] ppid=17145 vsize=4372 CPUtime=1.49
/proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 903 0 0 0 149 0 0 0 25 0 1 0 146826264 4476928 839 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134554540 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17147/statm: 1093 839 139 317 0 772 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4372

[startup+3.10103 s]
/proc/loadavg: 0.79 0.95 0.97 2/78 17148
/proc/meminfo: memFree=1653736/2055920 swapFree=4169120/4192956
[pid=17147] ppid=17145 vsize=4900 CPUtime=3.09
/proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 1044 0 0 0 309 0 0 0 25 0 1 0 146826264 5017600 980 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17147/statm: 1225 980 139 317 0 904 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 4900

[startup+6.30133 s]
/proc/loadavg: 0.81 0.95 0.97 2/78 17148
/proc/meminfo: memFree=1652648/2055920 swapFree=4169120/4192956
[pid=17147] ppid=17145 vsize=5828 CPUtime=6.29
/proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 1284 0 0 0 629 0 0 0 25 0 1 0 146826264 5967872 1220 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563761 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17147/statm: 1457 1220 139 317 0 1136 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 5828

[startup+12.7019 s]
/proc/loadavg: 0.82 0.95 0.97 2/78 17148
/proc/meminfo: memFree=1651176/2055920 swapFree=4169120/4192956
[pid=17147] ppid=17145 vsize=7276 CPUtime=12.68
/proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 1622 0 0 0 1268 0 0 0 25 0 1 0 146826264 7450624 1558 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17147/statm: 1819 1558 139 317 0 1498 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 7276

[startup+25.5011 s]
/proc/loadavg: 0.86 0.95 0.97 2/78 17148
/proc/meminfo: memFree=1649000/2055920 swapFree=4169120/4192956
[pid=17147] ppid=17145 vsize=9256 CPUtime=25.48
/proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 2136 0 0 0 2547 1 0 0 25 0 1 0 146826264 9478144 2072 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17147/statm: 2314 2072 139 317 0 1993 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 9256

[startup+51.1014 s]
/proc/loadavg: 0.91 0.96 0.97 2/78 17148
/proc/meminfo: memFree=1646312/2055920 swapFree=4169120/4192956
[pid=17147] ppid=17145 vsize=12064 CPUtime=51.07
/proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 2819 0 0 0 5105 2 0 0 25 0 1 0 146826264 12353536 2755 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715798 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17147/statm: 3016 2755 139 317 0 2695 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 12064

[startup+102.305 s]
/proc/loadavg: 0.96 0.96 0.97 2/78 17148
/proc/meminfo: memFree=1642280/2055920 swapFree=4169120/4192956
[pid=17147] ppid=17145 vsize=16336 CPUtime=102.27
/proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 3885 0 0 0 10223 4 0 0 25 0 1 0 146826264 16728064 3731 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17147/statm: 4084 3731 139 317 0 3763 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 16336

[startup+162.302 s]
/proc/loadavg: 0.98 0.97 0.97 2/78 17148
/proc/meminfo: memFree=1639016/2055920 swapFree=4169120/4192956
[pid=17147] ppid=17145 vsize=20048 CPUtime=162.24
/proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 4711 0 0 0 16219 5 0 0 25 0 1 0 146826264 20529152 4557 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272567 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17147/statm: 5012 4557 139 317 0 4691 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 20048

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 17148
/proc/meminfo: memFree=1636264/2055920 swapFree=4169120/4192956
[pid=17147] ppid=17145 vsize=22868 CPUtime=222.23
/proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 5379 0 0 0 22217 6 0 0 25 0 1 0 146826264 23416832 5225 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17147/statm: 5717 5225 139 317 0 5396 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 22868

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 17148
/proc/meminfo: memFree=1634152/2055920 swapFree=4169120/4192956
[pid=17147] ppid=17145 vsize=25052 CPUtime=282.21
/proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 5913 0 0 0 28214 7 0 0 25 0 1 0 146826264 25653248 5759 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17147/statm: 6263 5759 139 317 0 5942 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 25052

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 17148
/proc/meminfo: memFree=1632104/2055920 swapFree=4169120/4192956
[pid=17147] ppid=17145 vsize=26924 CPUtime=342.2
/proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 6404 0 0 0 34212 8 0 0 25 0 1 0 146826264 27570176 6250 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17147/statm: 6731 6250 139 317 0 6410 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 26924

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 17148
/proc/meminfo: memFree=1630312/2055920 swapFree=4169120/4192956
[pid=17147] ppid=17145 vsize=28540 CPUtime=402.18
/proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 6856 0 0 0 40209 9 0 0 25 0 1 0 146826264 29224960 6702 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17147/statm: 7135 6702 139 317 0 6814 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 28540

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 17148
/proc/meminfo: memFree=1628776/2055920 swapFree=4169120/4192956
[pid=17147] ppid=17145 vsize=30124 CPUtime=462.16
/proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 7265 0 0 0 46206 10 0 0 25 0 1 0 146826264 30846976 7111 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17147/statm: 7531 7111 139 317 0 7210 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 30124

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 17148
/proc/meminfo: memFree=1627112/2055920 swapFree=4169120/4192956
[pid=17147] ppid=17145 vsize=32724 CPUtime=522.15
/proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 7870 0 0 0 52204 11 0 0 25 0 1 0 146826264 33509376 7518 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17147/statm: 8181 7518 139 317 0 7860 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 32724

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 17148
/proc/meminfo: memFree=1625576/2055920 swapFree=4169120/4192956
[pid=17147] ppid=17145 vsize=34204 CPUtime=582.13
/proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 8239 0 0 0 58201 12 0 0 25 0 1 0 146826264 35024896 7887 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17147/statm: 8551 7887 139 317 0 8230 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 34204

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 17148
/proc/meminfo: memFree=1624168/2055920 swapFree=4169120/4192956
[pid=17147] ppid=17145 vsize=35772 CPUtime=642.12
/proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 8636 0 0 0 64199 13 0 0 25 0 1 0 146826264 36630528 8251 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17147/statm: 8943 8251 139 317 0 8622 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 35772


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 17150
/proc/meminfo: memFree=1618472/2055920 swapFree=4169120/4192956
[pid=17147] ppid=17145 vsize=42200 CPUtime=882.05
/proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 10206 0 0 0 88189 16 0 0 25 0 1 0 146826264 43212800 9643 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17147/statm: 10550 9643 139 317 0 10229 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 42200

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 17150
/proc/meminfo: memFree=1617320/2055920 swapFree=4169120/4192956
[pid=17147] ppid=17145 vsize=43108 CPUtime=942.04
/proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 10479 0 0 0 94187 17 0 0 25 0 1 0 146826264 44142592 9916 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17147/statm: 10777 9916 139 317 0 10456 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 43108

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 17150
/proc/meminfo: memFree=1616168/2055920 swapFree=4169120/4192956
[pid=17147] ppid=17145 vsize=44280 CPUtime=1002.02
/proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 10812 0 0 0 100184 18 0 0 25 0 1 0 146826264 45342720 10216 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17147/statm: 11070 10216 139 317 0 10749 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 44280

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 17150
/proc/meminfo: memFree=1615144/2055920 swapFree=4169120/4192956
[pid=17147] ppid=17145 vsize=45584 CPUtime=1062
/proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 11094 0 0 0 106182 18 0 0 25 0 1 0 146826264 46678016 10465 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17147/statm: 11396 10465 139 317 0 11075 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 45584

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 17150
/proc/meminfo: memFree=1614056/2055920 swapFree=4169120/4192956
[pid=17147] ppid=17145 vsize=46616 CPUtime=1121.99
/proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 11376 0 0 0 112180 19 0 0 25 0 1 0 146826264 47734784 10747 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17147/statm: 11654 10747 139 317 0 11333 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 46616

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 17150
/proc/meminfo: memFree=1612840/2055920 swapFree=4169120/4192956
[pid=17147] ppid=17145 vsize=47796 CPUtime=1181.97
/proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 11676 0 0 0 118177 20 0 0 25 0 1 0 146826264 48943104 11014 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17147/statm: 11949 11014 139 317 0 11628 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 47796

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 17150
/proc/meminfo: memFree=1612008/2055920 swapFree=4169120/4192956
[pid=17147] ppid=17145 vsize=48708 CPUtime=1241.96
/proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 11911 0 0 0 124175 21 0 0 25 0 1 0 146826264 49876992 11249 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17147/statm: 12177 11249 139 317 0 11856 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 48708

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 17150
/proc/meminfo: memFree=1610920/2055920 swapFree=4169120/4192956
[pid=17147] ppid=17145 vsize=49648 CPUtime=1301.94
/proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 12167 0 0 0 130172 22 0 0 25 0 1 0 146826264 50839552 11505 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17147/statm: 12412 11505 139 317 0 12091 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 49648

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 17150
/proc/meminfo: memFree=1610152/2055920 swapFree=4169120/4192956
[pid=17147] ppid=17145 vsize=50432 CPUtime=1361.92
/proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 12383 0 0 0 136169 23 0 0 25 0 1 0 146826264 51642368 11721 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17147/statm: 12608 11721 139 317 0 12287 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 50432

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 17150
/proc/meminfo: memFree=1609064/2055920 swapFree=4169120/4192956
[pid=17147] ppid=17145 vsize=51344 CPUtime=1421.91
/proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 12639 0 0 0 142167 24 0 0 25 0 1 0 146826264 52576256 11977 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17147/statm: 12836 11977 139 317 0 12515 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 51344

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 17150
/proc/meminfo: memFree=1608424/2055920 swapFree=4169120/4192956
[pid=17147] ppid=17145 vsize=52124 CPUtime=1481.89
/proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 12847 0 0 0 148165 24 0 0 25 0 1 0 146826264 53374976 12185 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17147/statm: 13031 12185 139 317 0 12710 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 52124

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 17150
/proc/meminfo: memFree=1607336/2055920 swapFree=4169120/4192956
[pid=17147] ppid=17145 vsize=53036 CPUtime=1541.87
/proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 13109 0 0 0 154162 25 0 0 25 0 1 0 146826264 54308864 12447 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17147/statm: 13259 12447 139 317 0 12938 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 53036

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 17150
/proc/meminfo: memFree=1606440/2055920 swapFree=4169120/4192956
[pid=17147] ppid=17145 vsize=53952 CPUtime=1601.86
/proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 13359 0 0 0 160159 27 0 0 25 0 1 0 146826264 55246848 12664 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17147/statm: 13488 12664 139 317 0 13167 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 53952

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 17150
/proc/meminfo: memFree=1605480/2055920 swapFree=4169120/4192956
[pid=17147] ppid=17145 vsize=54740 CPUtime=1661.84
/proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 13595 0 0 0 166157 27 0 0 25 0 1 0 146826264 56053760 12900 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17147/statm: 13685 12900 139 317 0 13364 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 54740

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 17150
/proc/meminfo: memFree=1604584/2055920 swapFree=4169120/4192956
[pid=17147] ppid=17145 vsize=55656 CPUtime=1721.83
/proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 13847 0 0 0 172155 28 0 0 25 0 1 0 146826264 56991744 13119 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17147/statm: 13914 13119 139 317 0 13593 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 55656

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 17150
/proc/meminfo: memFree=1603688/2055920 swapFree=4169120/4192956
[pid=17147] ppid=17145 vsize=56568 CPUtime=1781.81
/proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 14109 0 0 0 178153 28 0 0 25 0 1 0 146826264 57925632 13348 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17147/statm: 14142 13348 139 317 0 13821 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 56568



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 17150
/proc/meminfo: memFree=1603368/2055920 swapFree=4169120/4192956
[pid=17147] ppid=17145 vsize=56700 CPUtime=1800.01
/proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 14179 0 0 0 179973 28 0 0 25 0 1 0 146826264 58060800 13418 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17147/statm: 14175 13418 139 317 0 13854 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 56700

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

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

[startup+1800.5 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 17150
/proc/meminfo: memFree=1603368/2055920 swapFree=4169120/4192956
[pid=17147] ppid=17145 vsize=56700 CPUtime=1800.01
/proc/17147/stat : 17147 (oree) R 17145 17147 17090 0 -1 4194304 14179 0 0 0 179973 28 0 0 25 0 1 0 146826264 58060800 13418 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17147/statm: 14175 13418 139 317 0 13854 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 56700

Child status: 0
Real time (s): 1800.6
CPU time (s): 1800.12
CPU user time (s): 1799.82
CPU system time (s): 0.299954
CPU usage (%): 99.973
Max. virtual memory (cumulated for all children) (KiB): 56700

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

runsolver used 1.9967 second user time and 4.56131 second system time

The end

Launcher Data (download as text)

Begin job on node15 on Thu Apr 19 13:24:47 UTC 2007

IDJOB= 357155
IDBENCH= 2175
IDSOLVER= 172
FILE ID= node15/357155-1176989086

PBS_JOBID= 4630463

Free space on /tmp= 66483 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-par32-3-c.opb
COMMAND LINE= oree /tmp/evaluation/357155-1176989086/instance-357155-1176989086.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node15/watcher-357155-1176989086 -o ROOT/results/node15/solver-357155-1176989086 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357155-1176989086/instance-357155-1176989086.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  bc7893eb7aff4749139e472af91e587e

RANDOM SEED= 376385964

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node15.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.227
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.227
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:       1657480 kB
Buffers:         36748 kB
Cached:         289896 kB
SwapCached:       2544 kB
Active:         214944 kB
Inactive:       134396 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1657480 kB
SwapTotal:     4192956 kB
SwapFree:      4169120 kB
Dirty:            1732 kB
Writeback:           0 kB
Mapped:          29924 kB
Slab:            34612 kB
Committed_AS:  6275384 kB
PageTables:       1868 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= 66483 MiB

End job on node15 on Thu Apr 19 13:54:49 UTC 2007