Trace number 357161

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
oree 0.1.2 alpha? (TO) 1800.13 1800.63

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par32-5-c.opb
MD5SUM47657fb6d35516304c5b4897d4fb805d
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 variables2678
Total number of constraints6689
Number of constraints which are clauses6689
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 2678
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 2678
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 2678
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.02/0.06	c ...done
0.02/0.06	c #vars=2678 #constraints=6690 hasObjective=yes
0.02/0.10	c res. mode=mod
0.02/0.10	c VSIDS like heuristics
0.02/0.10	c complete search running
0.79/0.80	c restart after 401 decisions
0.89/0.99	c nbDecision=500 #constraints=7148
1.69/1.76	c restart after 801 decisions
2.09/2.17	c nbDecision=1000 #constraints=7626
3.59/3.61	c nbDecision=1500 #constraints=8124
3.89/3.97	c restart after 1601 decisions
5.29/5.36	c nbDecision=2000 #constraints=8604
7.48/7.59	c nbDecision=2500 #constraints=9104
10.29/10.35	c nbDecision=3000 #constraints=9602
11.59/11.66	c restart after 3201 decisions
13.59/13.61	c nbDecision=3500 #constraints=10080
17.59/17.61	c nbDecision=4000 #constraints=10584
22.18/22.21	c nbDecision=4500 #constraints=11086
27.28/27.40	c nbDecision=5000 #constraints=11584
33.28/33.35	c nbDecision=5500 #constraints=12085
40.08/40.11	c nbDecision=6000 #constraints=12584
45.88/45.94	c restart after 6401 decisions
47.48/47.52	c nbDecision=6500 #constraints=13068
58.18/58.26	c nbDecision=7000 #constraints=13568
68.27/68.39	c nbDecision=7500 #constraints=14066
80.76/80.80	c nbDecision=8000 #constraints=14566
92.27/92.40	c nbDecision=8500 #constraints=15066
106.27/106.33	c nbDecision=9000 #constraints=15566
117.86/117.96	c nbDecision=9500 #constraints=16066
128.96/129.01	c nbDecision=10000 #constraints=16566
141.46/141.53	c nbDecision=10500 #constraints=17068
154.35/154.49	c nbDecision=11000 #constraints=17570
167.24/167.32	c nbDecision=11500 #constraints=18066
181.04/181.13	c nbDecision=12000 #constraints=18567
196.24/196.34	c nbDecision=12500 #constraints=19066
205.54/205.65	c restart after 12801 decisions
212.64/212.78	c nbDecision=13000 #constraints=19552
232.93/233.10	c nbDecision=13500 #constraints=20049
254.82/254.97	c nbDecision=14000 #constraints=20549
276.22/276.39	c nbDecision=14500 #constraints=21046
299.21/299.31	c nbDecision=15000 #constraints=21548
316.61/316.71	c nbDecision=15500 #constraints=22048
335.31/335.40	c nbDecision=16000 #constraints=22546
355.40/355.55	c nbDecision=16500 #constraints=23048
375.10/375.22	c nbDecision=17000 #constraints=23550
394.80/394.97	c nbDecision=17500 #constraints=24048
416.39/416.58	c nbDecision=18000 #constraints=24548
439.08/439.25	c nbDecision=18500 #constraints=25046
460.57/460.77	c nbDecision=19000 #constraints=25546
482.87/483.00	c nbDecision=19500 #constraints=26050
507.36/507.58	c nbDecision=20000 #constraints=26550
532.16/532.37	c nbDecision=20500 #constraints=27050
559.55/559.72	c nbDecision=21000 #constraints=27546
591.34/591.58	c nbDecision=21500 #constraints=28048
626.53/626.72	c nbDecision=22000 #constraints=28546
660.82/661.05	c nbDecision=22500 #constraints=29046
696.52/696.72	c nbDecision=23000 #constraints=29549
733.41/733.63	c nbDecision=23500 #constraints=30047
769.10/769.35	c nbDecision=24000 #constraints=30546
808.98/809.25	c nbDecision=24500 #constraints=31048
844.88/845.15	c nbDecision=25000 #constraints=31550
887.67/887.98	c nbDecision=25500 #constraints=32050
894.97/895.29	c restart after 25601 decisions
923.36/923.68	c nbDecision=26000 #constraints=32530
966.05/966.38	c nbDecision=26500 #constraints=33034
1005.44/1005.80	c nbDecision=27000 #constraints=33530
1048.23/1048.53	c nbDecision=27500 #constraints=34032
1090.42/1090.80	c nbDecision=28000 #constraints=34528
1133.81/1134.19	c nbDecision=28500 #constraints=35032
1178.80/1179.16	c nbDecision=29000 #constraints=35535
1224.19/1224.54	c nbDecision=29500 #constraints=36032
1267.47/1267.86	c nbDecision=30000 #constraints=36532
1317.56/1317.91	c nbDecision=30500 #constraints=37032
1360.76/1361.17	c nbDecision=31000 #constraints=37533
1413.64/1414.08	c nbDecision=31500 #constraints=38028
1458.43/1458.85	c nbDecision=32000 #constraints=38532
1511.82/1512.26	c nbDecision=32500 #constraints=39030
1559.00/1559.49	c nbDecision=33000 #constraints=39534
1612.19/1612.65	c nbDecision=33500 #constraints=40030
1662.38/1662.87	c nbDecision=34000 #constraints=40530
1715.27/1715.78	c nbDecision=34500 #constraints=41028
1769.15/1769.63	c nbDecision=35000 #constraints=41532
1800.10/1800.61	Received signal 15
1800.10/1800.61	
1800.10/1800.61	s UNKNOWN
1800.10/1800.61	
1800.10/1800.61	c user time= 1799.99 s
1800.10/1800.61	c system time= 0.120981 s
1800.10/1800.61	c wall clock time=1800.62

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/node61/watcher-357161-1176989483 -o ROOT/results/node61/solver-357161-1176989483 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357161-1176989483/instance-357161-1176989483.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: 1.05 1.01 0.96 3/64 26995
/proc/meminfo: memFree=1739440/2055920 swapFree=4184100/4192956
[pid=26995] ppid=26993 vsize=1620 CPUtime=0
/proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 110911962 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26995/statm: 405 175 126 317 0 84 0

[startup+0.0250871 s]
/proc/loadavg: 1.05 1.01 0.96 3/64 26995
/proc/meminfo: memFree=1739440/2055920 swapFree=4184100/4192956
[pid=26995] ppid=26993 vsize=2016 CPUtime=0.02
/proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 300 0 0 0 2 0 0 0 18 0 1 0 110911962 2064384 282 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26995/statm: 504 282 130 317 0 183 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2016

[startup+0.101093 s]
/proc/loadavg: 1.05 1.01 0.96 3/64 26995
/proc/meminfo: memFree=1739440/2055920 swapFree=4184100/4192956
[pid=26995] ppid=26993 vsize=3552 CPUtime=0.09
/proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 718 0 0 0 9 0 0 0 18 0 1 0 110911962 3637248 700 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385184 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26995/statm: 888 700 138 317 0 567 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3552

[startup+0.301112 s]
/proc/loadavg: 1.05 1.01 0.96 3/64 26995
/proc/meminfo: memFree=1739440/2055920 swapFree=4184100/4192956
[pid=26995] ppid=26993 vsize=4000 CPUtime=0.29
/proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 815 0 0 0 29 0 0 0 19 0 1 0 110911962 4096000 751 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271347 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26995/statm: 1000 751 139 317 0 679 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4000

[startup+0.701149 s]
/proc/loadavg: 1.05 1.01 0.96 3/64 26995
/proc/meminfo: memFree=1739440/2055920 swapFree=4184100/4192956
[pid=26995] ppid=26993 vsize=4264 CPUtime=0.69
/proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 873 0 0 0 69 0 0 0 22 0 1 0 110911962 4366336 809 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712478 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26995/statm: 1066 809 139 317 0 745 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4264

[startup+1.50223 s]
/proc/loadavg: 1.05 1.01 0.96 2/65 26996
/proc/meminfo: memFree=1736552/2055920 swapFree=4184100/4192956
[pid=26995] ppid=26993 vsize=4660 CPUtime=1.49
/proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 983 0 0 0 149 0 0 0 25 0 1 0 110911962 4771840 919 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284223 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26995/statm: 1165 919 139 317 0 844 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4660

[startup+3.10138 s]
/proc/loadavg: 1.05 1.01 0.96 2/65 26996
/proc/meminfo: memFree=1735848/2055920 swapFree=4184100/4192956
[pid=26995] ppid=26993 vsize=5452 CPUtime=3.09
/proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 1184 0 0 0 309 0 0 0 25 0 1 0 110911962 5582848 1120 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716161 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26995/statm: 1363 1120 139 317 0 1042 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5452

[startup+6.30169 s]
/proc/loadavg: 1.05 1.01 0.96 2/65 26996
/proc/meminfo: memFree=1734504/2055920 swapFree=4184100/4192956
[pid=26995] ppid=26993 vsize=6544 CPUtime=6.29
/proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 1453 0 0 0 629 0 0 0 25 0 1 0 110911962 6701056 1389 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26995/statm: 1636 1389 139 317 0 1315 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 6544

[startup+12.7013 s]
/proc/loadavg: 1.04 1.01 0.96 2/65 26996
/proc/meminfo: memFree=1732840/2055920 swapFree=4184100/4192956
[pid=26995] ppid=26993 vsize=7988 CPUtime=12.69
/proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 1813 0 0 0 1268 1 0 0 25 0 1 0 110911962 8179712 1749 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26995/statm: 1997 1749 139 317 0 1676 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 7988

[startup+25.5015 s]
/proc/loadavg: 1.03 1.01 0.96 2/65 26996
/proc/meminfo: memFree=1730920/2055920 swapFree=4184100/4192956
[pid=26995] ppid=26993 vsize=9896 CPUtime=25.48
/proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 2266 0 0 0 2547 1 0 0 25 0 1 0 110911962 10133504 2202 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26995/statm: 2474 2202 139 317 0 2153 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 9896

[startup+51.102 s]
/proc/loadavg: 1.02 1.01 0.96 2/65 26996
/proc/meminfo: memFree=1728616/2055920 swapFree=4184100/4192956
[pid=26995] ppid=26993 vsize=12064 CPUtime=51.08
/proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 2836 0 0 0 5106 2 0 0 25 0 1 0 110911962 12353536 2772 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26995/statm: 3016 2772 139 317 0 2695 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 12064

[startup+102.306 s]
/proc/loadavg: 1.01 1.00 0.96 2/65 26996
/proc/meminfo: memFree=1725736/2055920 swapFree=4184100/4192956
[pid=26995] ppid=26993 vsize=15616 CPUtime=102.27
/proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 3645 0 0 0 10224 3 0 0 25 0 1 0 110911962 15990784 3489 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26995/statm: 3904 3489 139 317 0 3583 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 15616

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 26996
/proc/meminfo: memFree=1722728/2055920 swapFree=4184100/4192956
[pid=26995] ppid=26993 vsize=18764 CPUtime=162.25
/proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 4394 0 0 0 16222 3 0 0 25 0 1 0 110911962 19214336 4238 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26995/statm: 4691 4238 139 317 0 4370 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 18764

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 26996
/proc/meminfo: memFree=1720232/2055920 swapFree=4184100/4192956
[pid=26995] ppid=26993 vsize=21020 CPUtime=222.23
/proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 5008 0 0 0 22219 4 0 0 25 0 1 0 110911962 21524480 4852 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26995/statm: 5255 4852 139 317 0 4934 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 21020

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 26996
/proc/meminfo: memFree=1718504/2055920 swapFree=4184100/4192956
[pid=26995] ppid=26993 vsize=22844 CPUtime=282.22
/proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 5444 0 0 0 28218 4 0 0 25 0 1 0 110911962 23392256 5288 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26995/statm: 5711 5288 139 317 0 5390 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 22844

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 26996
/proc/meminfo: memFree=1716520/2055920 swapFree=4184100/4192956
[pid=26995] ppid=26993 vsize=24552 CPUtime=342.21
/proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 5921 0 0 0 34216 5 0 0 25 0 1 0 110911962 25141248 5765 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26995/statm: 6138 5765 139 317 0 5817 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 24552

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 26996
/proc/meminfo: memFree=1714664/2055920 swapFree=4184100/4192956
[pid=26995] ppid=26993 vsize=27204 CPUtime=402.19
/proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 6450 0 0 0 40214 5 0 0 25 0 1 0 110911962 27856896 6228 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26995/statm: 6801 6228 139 317 0 6480 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 27204

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 26996
/proc/meminfo: memFree=1713000/2055920 swapFree=4184100/4192956
[pid=26995] ppid=26993 vsize=28964 CPUtime=462.17
/proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 6866 0 0 0 46212 5 0 0 25 0 1 0 110911962 29659136 6644 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26995/statm: 7241 6644 139 317 0 6920 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 28964

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 26996
/proc/meminfo: memFree=1710504/2055920 swapFree=4184100/4192956
[pid=26995] ppid=26993 vsize=32056 CPUtime=522.16
/proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 7647 0 0 0 52210 6 0 0 25 0 1 0 110911962 32825344 7209 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712567 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26995/statm: 8014 7209 139 317 0 7693 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 32056

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 26996
/proc/meminfo: memFree=1709992/2055920 swapFree=4184100/4192956
[pid=26995] ppid=26993 vsize=32580 CPUtime=582.14
/proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 7826 0 0 0 58208 6 0 0 25 0 1 0 110911962 33361920 7388 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26995/statm: 8145 7388 139 317 0 7824 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 32580

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 26996
/proc/meminfo: memFree=1708904/2055920 swapFree=4184100/4192956
[pid=26995] ppid=26993 vsize=33628 CPUtime=642.13
/proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 8092 0 0 0 64207 6 0 0 25 0 1 0 110911962 34435072 7654 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26995/statm: 8407 7654 139 317 0 8086 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 33628


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

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 26996
/proc/meminfo: memFree=1705512/2055920 swapFree=4184100/4192956
[pid=26995] ppid=26993 vsize=36864 CPUtime=822.09
/proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 8906 0 0 0 82201 8 0 0 25 0 1 0 110911962 37748736 8468 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26995/statm: 9216 8468 139 317 0 8895 0
Current children cumulated CPU time (s) 822.09
Current children cumulated vsize (KiB) 36864

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 26996
/proc/meminfo: memFree=1704552/2055920 swapFree=4184100/4192956
[pid=26995] ppid=26993 vsize=37920 CPUtime=882.07
/proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 9141 0 0 0 88199 8 0 0 25 0 1 0 110911962 38830080 8703 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26995/statm: 9480 8703 139 317 0 9159 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 37920

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 26996
/proc/meminfo: memFree=1703528/2055920 swapFree=4184100/4192956
[pid=26995] ppid=26993 vsize=38964 CPUtime=942.06
/proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 9432 0 0 0 94198 8 0 0 25 0 1 0 110911962 39899136 8961 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564002 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26995/statm: 9741 8961 139 317 0 9420 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 38964

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 26996
/proc/meminfo: memFree=1702632/2055920 swapFree=4184100/4192956
[pid=26995] ppid=26993 vsize=39748 CPUtime=1002.04
/proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 9656 0 0 0 100196 8 0 0 25 0 1 0 110911962 40701952 9185 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26995/statm: 9937 9185 139 317 0 9616 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 39748

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 26996
/proc/meminfo: memFree=1701800/2055920 swapFree=4184100/4192956
[pid=26995] ppid=26993 vsize=40532 CPUtime=1062.03
/proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 9863 0 0 0 106195 8 0 0 25 0 1 0 110911962 41504768 9392 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26995/statm: 10133 9392 139 317 0 9812 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 40532

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 26996
/proc/meminfo: memFree=1700776/2055920 swapFree=4184100/4192956
[pid=26995] ppid=26993 vsize=41316 CPUtime=1122.01
/proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 10108 0 0 0 112193 8 0 0 25 0 1 0 110911962 42307584 9637 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26995/statm: 10329 9637 139 317 0 10008 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 41316

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 26996
/proc/meminfo: memFree=1699944/2055920 swapFree=4184100/4192956
[pid=26995] ppid=26993 vsize=42096 CPUtime=1182
/proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 10317 0 0 0 118191 9 0 0 25 0 1 0 110911962 43106304 9846 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26995/statm: 10524 9846 139 317 0 10203 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 42096

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 26996
/proc/meminfo: memFree=1699048/2055920 swapFree=4184100/4192956
[pid=26995] ppid=26993 vsize=43000 CPUtime=1241.98
/proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 10525 0 0 0 124189 9 0 0 25 0 1 0 110911962 44032000 10054 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26995/statm: 10750 10054 139 317 0 10429 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 43000

[startup+1302.3 s]
/proc/loadavg: 1.05 1.01 0.96 2/65 26996
/proc/meminfo: memFree=1698088/2055920 swapFree=4184100/4192956
[pid=26995] ppid=26993 vsize=43772 CPUtime=1301.97
/proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 10758 0 0 0 130188 9 0 0 25 0 1 0 110911962 44822528 10254 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26995/statm: 10943 10254 139 317 0 10622 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 43772

[startup+1362.3 s]
/proc/loadavg: 1.02 1.01 0.96 2/65 26996
/proc/meminfo: memFree=1697320/2055920 swapFree=4184100/4192956
[pid=26995] ppid=26993 vsize=44684 CPUtime=1361.96
/proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 11019 0 0 0 136186 10 0 0 25 0 1 0 110911962 45756416 10482 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26995/statm: 11171 10482 139 317 0 10850 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 44684

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 26996
/proc/meminfo: memFree=1696552/2055920 swapFree=4184100/4192956
[pid=26995] ppid=26993 vsize=45464 CPUtime=1421.94
/proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 11229 0 0 0 142184 10 0 0 25 0 1 0 110911962 46555136 10659 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26995/statm: 11366 10659 139 317 0 11045 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 45464

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 26996
/proc/meminfo: memFree=1695720/2055920 swapFree=4184100/4192956
[pid=26995] ppid=26993 vsize=46116 CPUtime=1481.92
/proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 11437 0 0 0 148182 10 0 0 25 0 1 0 110911962 47222784 10867 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26995/statm: 11529 10867 139 317 0 11208 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 46116

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 26996
/proc/meminfo: memFree=1694952/2055920 swapFree=4184100/4192956
[pid=26995] ppid=26993 vsize=47020 CPUtime=1541.91
/proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 11690 0 0 0 154181 10 0 0 25 0 1 0 110911962 48148480 11054 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26995/statm: 11755 11054 139 317 0 11434 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 47020

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 26996
/proc/meminfo: memFree=1694120/2055920 swapFree=4184100/4192956
[pid=26995] ppid=26993 vsize=48688 CPUtime=1601.89
/proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 12148 0 0 0 160179 10 0 0 25 0 1 0 110911962 49856512 11250 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26995/statm: 12172 11250 139 317 0 11851 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 48688

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 26996
/proc/meminfo: memFree=1693416/2055920 swapFree=4184100/4192956
[pid=26995] ppid=26993 vsize=49724 CPUtime=1661.88
/proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 12362 0 0 0 166178 10 0 0 25 0 1 0 110911962 50917376 11431 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26995/statm: 12431 11431 139 317 0 12110 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 49724

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 26996
/proc/meminfo: memFree=1692648/2055920 swapFree=4184100/4192956
[pid=26995] ppid=26993 vsize=50500 CPUtime=1721.87
/proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 12605 0 0 0 172176 11 0 0 25 0 1 0 110911962 51712000 11608 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26995/statm: 12625 11608 139 317 0 12304 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 50500

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/71 27062
/proc/meminfo: memFree=1690536/2055920 swapFree=4184100/4192956
[pid=26995] ppid=26993 vsize=51528 CPUtime=1781.82
/proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 12889 0 0 0 178171 11 0 0 25 0 1 0 110911962 52764672 11793 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26995/statm: 12882 11793 139 317 0 12561 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 51528



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 0.96 2/71 27118
/proc/meminfo: memFree=1690280/2055920 swapFree=4184100/4192956
[pid=26995] ppid=26993 vsize=51788 CPUtime=1800.1
/proc/26995/stat : 26995 (oree) R 26993 26995 26221 0 -1 4194304 12952 0 0 0 179998 12 0 0 25 0 1 0 110911962 53030912 11856 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563449 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26995/statm: 12947 11856 139 317 0 12626 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 51788

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

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

Child status: 0
Real time (s): 1800.63
CPU time (s): 1800.13
CPU user time (s): 1800
CPU system time (s): 0.13098
CPU usage (%): 99.9721
Max. virtual memory (cumulated for all children) (KiB): 51788

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

runsolver used 1.3148 second user time and 3.64945 second system time

The end

Launcher Data (download as text)

Begin job on node61 on Thu Apr 19 13:31:23 UTC 2007

IDJOB= 357161
IDBENCH= 2198
IDSOLVER= 172
FILE ID= node61/357161-1176989483

PBS_JOBID= 4630414

Free space on /tmp= 66502 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-5-c.opb
COMMAND LINE= oree /tmp/evaluation/357161-1176989483/instance-357161-1176989483.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node61/watcher-357161-1176989483 -o ROOT/results/node61/solver-357161-1176989483 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357161-1176989483/instance-357161-1176989483.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  47657fb6d35516304c5b4897d4fb805d

RANDOM SEED= 979417017

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node61.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.240
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.240
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:       1739848 kB
Buffers:          8712 kB
Cached:         254248 kB
SwapCached:       3056 kB
Active:          66696 kB
Inactive:       210828 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1739848 kB
SwapTotal:     4192956 kB
SwapFree:      4184100 kB
Dirty:            1528 kB
Writeback:           0 kB
Mapped:          20244 kB
Slab:            24632 kB
Committed_AS:   863272 kB
PageTables:       1400 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= 66502 MiB

End job on node61 on Thu Apr 19 14:01:26 UTC 2007