Trace number 362084

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 NameAnswerCPU timeWall clock time
oree 0.1.2 alpha? (TO) 1800.25 1800.73

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/ppp-problems/normalized-ppp:1-9,16-19.opb
MD5SUM732cdc3fa8b0bf0f47e882c13d928a6d
Bench CategorySATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark549.057
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables4626
Total number of constraints30747
Number of constraints which are clauses29724
Number of constraints which are cardinality constraints (but not clauses)945
Number of constraints which are nor clauses,nor cardinality constraints78
Minimum length of a constraint3
Maximum length of a constraint29
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 101
Number of bits of the biggest sum of numbers7
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.29/0.30	c ...done
0.29/0.30	c #vars=4626 #constraints=30921 hasObjective=no
0.29/0.34	c res. mode=mod
0.29/0.34	c VSIDS like heuristics
0.29/0.34	c complete search running
1.09/1.13	c restart after 401 decisions
1.09/1.18	c nbDecision=500 #constraints=31147
2.09/2.16	c restart after 801 decisions
2.39/2.43	c nbDecision=1000 #constraints=31450
4.29/4.31	c nbDecision=1500 #constraints=31895
4.79/4.80	c restart after 1601 decisions
6.09/6.14	c nbDecision=2000 #constraints=32297
8.59/8.66	c nbDecision=2500 #constraints=32752
11.69/11.79	c nbDecision=3000 #constraints=33216
13.29/13.34	c restart after 3201 decisions
15.19/15.26	c nbDecision=3500 #constraints=33637
19.39/19.48	c nbDecision=4000 #constraints=34085
23.98/24.07	c nbDecision=4500 #constraints=34526
30.49/30.53	c nbDecision=5000 #constraints=34992
37.29/37.37	c nbDecision=5500 #constraints=35447
41.78/41.89	c nbDecision=6000 #constraints=35867
47.87/47.98	c restart after 6401 decisions
48.17/48.24	c nbDecision=6500 #constraints=36242
49.68/49.72	c nbDecision=7000 #constraints=36609
52.07/52.16	c nbDecision=7500 #constraints=37053
54.87/54.94	c nbDecision=8000 #constraints=37455
58.38/58.49	c nbDecision=8500 #constraints=37898
63.48/63.51	c nbDecision=9000 #constraints=38356
69.47/69.56	c nbDecision=9500 #constraints=38767
76.07/76.14	c nbDecision=10000 #constraints=39181
84.16/84.26	c nbDecision=10500 #constraints=39606
93.67/93.71	c nbDecision=11000 #constraints=40031
105.46/105.55	c nbDecision=11500 #constraints=40490
118.86/118.98	c nbDecision=12000 #constraints=40919
132.65/132.71	c nbDecision=12500 #constraints=41365
140.15/140.24	c restart after 12801 decisions
142.75/142.82	c nbDecision=13000 #constraints=41759
153.45/153.56	c nbDecision=13500 #constraints=42207
163.65/163.72	c nbDecision=14000 #constraints=42671
175.64/175.73	c nbDecision=14500 #constraints=43138
188.14/188.21	c nbDecision=15000 #constraints=43605
200.14/200.27	c nbDecision=15500 #constraints=44086
213.83/213.98	c nbDecision=16000 #constraints=44565
228.13/228.28	c nbDecision=16500 #constraints=45044
245.82/245.98	c nbDecision=17000 #constraints=45517
263.82/263.97	c nbDecision=17500 #constraints=45982
283.61/283.76	c nbDecision=18000 #constraints=46449
303.01/303.15	c nbDecision=18500 #constraints=46906
325.51/325.68	c nbDecision=19000 #constraints=47367
350.00/350.18	c nbDecision=19500 #constraints=47824
375.49/375.60	c nbDecision=20000 #constraints=48297
400.98/401.12	c nbDecision=20500 #constraints=48765
422.68/422.86	c nbDecision=21000 #constraints=49200
444.28/444.46	c nbDecision=21500 #constraints=49636
470.76/470.90	c nbDecision=22000 #constraints=50092
500.06/500.27	c nbDecision=22500 #constraints=50534
531.94/532.10	c nbDecision=23000 #constraints=50996
560.34/560.52	c nbDecision=23500 #constraints=51454
584.54/584.75	c nbDecision=24000 #constraints=51861
619.63/619.87	c nbDecision=24500 #constraints=52303
661.11/661.35	c nbDecision=25000 #constraints=52773
703.50/703.74	c nbDecision=25500 #constraints=53237
713.00/713.20	c restart after 25601 decisions
721.30/721.60	c nbDecision=26000 #constraints=53665
736.09/736.34	c nbDecision=26500 #constraints=54139
752.39/752.64	c nbDecision=27000 #constraints=54601
770.08/770.34	c nbDecision=27500 #constraints=55018
792.58/792.88	c nbDecision=28000 #constraints=55482
815.47/815.78	c nbDecision=28500 #constraints=55960
839.77/840.01	c nbDecision=29000 #constraints=56433
859.66/859.93	c nbDecision=29500 #constraints=56862
880.56/880.85	c nbDecision=30000 #constraints=57336
902.75/903.05	c nbDecision=30500 #constraints=57774
929.54/929.83	c nbDecision=31000 #constraints=58227
955.84/956.19	c nbDecision=31500 #constraints=58681
983.63/983.92	c nbDecision=32000 #constraints=59146
1010.12/1010.48	c nbDecision=32500 #constraints=59610
1042.21/1042.59	c nbDecision=33000 #constraints=60076
1077.51/1077.80	c nbDecision=33500 #constraints=60547
1112.19/1112.55	c nbDecision=34000 #constraints=61008
1142.29/1142.63	c nbDecision=34500 #constraints=61473
1178.07/1178.43	c nbDecision=35000 #constraints=61947
1211.87/1212.27	c nbDecision=35500 #constraints=62411
1252.86/1253.20	c nbDecision=36000 #constraints=62887
1289.35/1289.79	c nbDecision=36500 #constraints=63349
1326.54/1326.95	c nbDecision=37000 #constraints=63791
1364.42/1364.89	c nbDecision=37500 #constraints=64235
1407.71/1408.15	c nbDecision=38000 #constraints=64707
1452.00/1452.41	c nbDecision=38500 #constraints=65173
1496.00/1496.46	c nbDecision=39000 #constraints=65650
1534.08/1534.58	c nbDecision=39500 #constraints=66116
1582.17/1582.66	c nbDecision=40000 #constraints=66591
1628.46/1628.98	c nbDecision=40500 #constraints=67081
1679.04/1679.59	c nbDecision=41000 #constraints=67569
1725.93/1726.48	c nbDecision=41500 #constraints=68045
1775.93/1776.42	c nbDecision=42000 #constraints=68510
1800.02/1800.50	Received signal 15
1800.12/1800.69	
1800.12/1800.69	s UNKNOWN
1800.12/1800.69	
1800.12/1800.69	c user time= 1799.77 s
1800.12/1800.69	c system time= 0.441932 s
1800.12/1800.69	c wall clock time=1800.69

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/node9/watcher-362084-1176845075 -o ROOT/results/node9/solver-362084-1176845075 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362084-1176845075/instance-362084-1176845075.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.99 0.98 0.99 3/77 8868
/proc/meminfo: memFree=1778224/2055920 swapFree=4145528/4192956
[pid=8868] ppid=8866 vsize=1468 CPUtime=0
/proc/8868/stat : 8868 (oree) R 8866 8868 7791 0 -1 4194304 180 0 0 0 0 0 0 0 18 0 1 0 160545041 1503232 162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8868/statm: 367 162 131 317 0 46 0

[startup+0.0738901 s]
/proc/loadavg: 0.99 0.98 0.99 3/77 8868
/proc/meminfo: memFree=1778224/2055920 swapFree=4145528/4192956
[pid=8868] ppid=8866 vsize=2920 CPUtime=0.07
/proc/8868/stat : 8868 (oree) R 8866 8868 7791 0 -1 4194304 552 0 0 0 7 0 0 0 18 0 1 0 160545041 2990080 534 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8868/statm: 730 534 131 317 0 409 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2920

[startup+0.101892 s]
/proc/loadavg: 0.99 0.98 0.99 3/77 8868
/proc/meminfo: memFree=1778224/2055920 swapFree=4145528/4192956
[pid=8868] ppid=8866 vsize=3580 CPUtime=0.09
/proc/8868/stat : 8868 (oree) R 8866 8868 7791 0 -1 4194304 698 0 0 0 9 0 0 0 18 0 1 0 160545041 3665920 680 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8868/statm: 895 681 131 317 0 574 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3580

[startup+0.301915 s]
/proc/loadavg: 0.99 0.98 0.99 3/77 8868
/proc/meminfo: memFree=1778224/2055920 swapFree=4145528/4192956
[pid=8868] ppid=8866 vsize=7804 CPUtime=0.29
/proc/8868/stat : 8868 (oree) R 8866 8868 7791 0 -1 4194304 1748 0 0 0 28 1 0 0 19 0 1 0 160545041 7991296 1730 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8868/statm: 1951 1730 131 317 0 1630 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7804

[startup+0.701959 s]
/proc/loadavg: 0.99 0.98 0.99 3/77 8868
/proc/meminfo: memFree=1778224/2055920 swapFree=4145528/4192956
[pid=8868] ppid=8866 vsize=12720 CPUtime=0.69
/proc/8868/stat : 8868 (oree) R 8866 8868 7791 0 -1 4194304 3015 0 0 0 68 1 0 0 23 0 1 0 160545041 13025280 2785 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562665 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8868/statm: 3180 2785 139 317 0 2859 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12720

[startup+1.50105 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8869
/proc/meminfo: memFree=1767400/2055920 swapFree=4145528/4192956
[pid=8868] ppid=8866 vsize=12720 CPUtime=1.48
/proc/8868/stat : 8868 (oree) R 8866 8868 7791 0 -1 4194304 3016 0 0 0 147 1 0 0 25 0 1 0 160545041 13025280 2786 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712511 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8868/statm: 3180 2786 139 317 0 2859 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 12720

[startup+3.10123 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8869
/proc/meminfo: memFree=1767080/2055920 swapFree=4145528/4192956
[pid=8868] ppid=8866 vsize=13632 CPUtime=3.09
/proc/8868/stat : 8868 (oree) R 8866 8868 7791 0 -1 4194304 3246 0 0 0 307 2 0 0 25 0 1 0 160545041 13959168 3016 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8868/statm: 3408 3016 139 317 0 3087 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13632

[startup+6.30159 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8869
/proc/meminfo: memFree=1765032/2055920 swapFree=4145528/4192956
[pid=8868] ppid=8866 vsize=15604 CPUtime=6.29
/proc/8868/stat : 8868 (oree) R 8866 8868 7791 0 -1 4194304 3742 0 0 0 626 3 0 0 25 0 1 0 160545041 15978496 3512 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8868/statm: 3901 3512 139 317 0 3580 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15604

[startup+12.7013 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8869
/proc/meminfo: memFree=1761448/2055920 swapFree=4145528/4192956
[pid=8868] ppid=8866 vsize=19036 CPUtime=12.69
/proc/8868/stat : 8868 (oree) R 8866 8868 7791 0 -1 4194304 4593 0 0 0 1265 4 0 0 25 0 1 0 160545041 19492864 4330 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715615 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8868/statm: 4759 4330 139 317 0 4438 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19036

[startup+25.5018 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8869
/proc/meminfo: memFree=1757800/2055920 swapFree=4145528/4192956
[pid=8868] ppid=8866 vsize=22476 CPUtime=25.48
/proc/8868/stat : 8868 (oree) R 8866 8868 7791 0 -1 4194304 5459 0 0 0 2544 4 0 0 25 0 1 0 160545041 23015424 5196 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8868/statm: 5619 5196 139 317 0 5298 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 22476

[startup+51.1017 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8869
/proc/meminfo: memFree=1751016/2055920 swapFree=4145528/4192956
[pid=8868] ppid=8866 vsize=29672 CPUtime=51.08
/proc/8868/stat : 8868 (oree) R 8866 8868 7791 0 -1 4194304 7232 0 0 0 5102 6 0 0 25 0 1 0 160545041 30384128 6969 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562761 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8868/statm: 7418 6969 139 317 0 7097 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 29672

[startup+102.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8869
/proc/meminfo: memFree=1736936/2055920 swapFree=4145528/4192956
[pid=8868] ppid=8866 vsize=43660 CPUtime=102.26
/proc/8868/stat : 8868 (oree) R 8866 8868 7791 0 -1 4194304 10650 0 0 0 10216 10 0 0 25 0 1 0 160545041 44707840 10387 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8868/statm: 10915 10387 139 317 0 10594 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 43660

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8869
/proc/meminfo: memFree=1729320/2055920 swapFree=4145528/4192956
[pid=8868] ppid=8866 vsize=51244 CPUtime=162.25
/proc/8868/stat : 8868 (oree) R 8866 8868 7791 0 -1 4194304 12545 0 0 0 16212 13 0 0 25 0 1 0 160545041 52473856 12282 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711000 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8868/statm: 12811 12282 139 317 0 12490 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 51244

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 3/78 8869
/proc/meminfo: memFree=1722664/2055920 swapFree=4145528/4192956
[pid=8868] ppid=8866 vsize=57768 CPUtime=222.24
/proc/8868/stat : 8868 (oree) R 8866 8868 7791 0 -1 4194304 14187 0 0 0 22209 15 0 0 25 0 1 0 160545041 59154432 13924 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8868/statm: 14442 13924 139 317 0 14121 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 57768

[startup+282.302 s]
/proc/loadavg: 1.06 1.00 1.00 2/78 8869
/proc/meminfo: memFree=1717928/2055920 swapFree=4145528/4192956
[pid=8868] ppid=8866 vsize=62828 CPUtime=282.21
/proc/8868/stat : 8868 (oree) R 8866 8868 7791 0 -1 4194304 15385 0 0 0 28205 16 0 0 25 0 1 0 160545041 64335872 15122 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8868/statm: 15707 15122 139 317 0 15386 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 62828

[startup+342.302 s]
/proc/loadavg: 1.08 1.01 1.00 2/78 8869
/proc/meminfo: memFree=1714152/2055920 swapFree=4145528/4192956
[pid=8868] ppid=8866 vsize=66836 CPUtime=342.19
/proc/8868/stat : 8868 (oree) R 8866 8868 7791 0 -1 4194304 16299 0 0 0 34202 17 0 0 25 0 1 0 160545041 68440064 16036 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710849 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8868/statm: 16709 16036 139 317 0 16388 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 66836

[startup+402.301 s]
/proc/loadavg: 1.08 1.03 1.00 2/78 8869
/proc/meminfo: memFree=1710952/2055920 swapFree=4145528/4192956
[pid=8868] ppid=8866 vsize=70060 CPUtime=402.18
/proc/8868/stat : 8868 (oree) R 8866 8868 7791 0 -1 4194304 17113 0 0 0 40199 19 0 0 25 0 1 0 160545041 71741440 16850 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8868/statm: 17515 16850 139 317 0 17194 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 70060

[startup+462.301 s]
/proc/loadavg: 1.12 1.05 1.01 2/78 8871
/proc/meminfo: memFree=1707304/2055920 swapFree=4145528/4192956
[pid=8868] ppid=8866 vsize=73920 CPUtime=462.16
/proc/8868/stat : 8868 (oree) R 8866 8868 7791 0 -1 4194304 18034 0 0 0 46196 20 0 0 25 0 1 0 160545041 75694080 17771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8868/statm: 18480 17771 139 317 0 18159 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 73920

[startup+522.302 s]
/proc/loadavg: 1.13 1.07 1.01 2/78 8871
/proc/meminfo: memFree=1704104/2055920 swapFree=4145528/4192956
[pid=8868] ppid=8866 vsize=76984 CPUtime=522.15
/proc/8868/stat : 8868 (oree) R 8866 8868 7791 0 -1 4194304 18802 0 0 0 52194 21 0 0 25 0 1 0 160545041 78831616 18539 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8868/statm: 19246 18539 139 317 0 18925 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 76984

[startup+582.302 s]
/proc/loadavg: 1.09 1.07 1.01 2/78 8871
/proc/meminfo: memFree=1701096/2055920 swapFree=4145528/4192956
[pid=8868] ppid=8866 vsize=79812 CPUtime=582.14
/proc/8868/stat : 8868 (oree) R 8866 8868 7791 0 -1 4194304 19585 0 0 0 58191 23 0 0 25 0 1 0 160545041 81727488 19322 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8868/statm: 19953 19322 170 317 0 19632 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 79812

[startup+642.302 s]
/proc/loadavg: 1.07 1.07 1.01 2/78 8871
/proc/meminfo: memFree=1698536/2055920 swapFree=4145528/4192956
[pid=8868] ppid=8866 vsize=82216 CPUtime=642.12
/proc/8868/stat : 8868 (oree) R 8866 8868 7791 0 -1 4194304 20217 0 0 0 64188 24 0 0 25 0 1 0 160545041 84189184 19954 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8868/statm: 20554 19954 170 317 0 20233 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 82216


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

[startup+942.301 s]
/proc/loadavg: 1.18 1.09 1.02 2/78 8871
/proc/meminfo: memFree=1679528/2055920 swapFree=4145528/4192956
[pid=8868] ppid=8866 vsize=102188 CPUtime=942.03
/proc/8868/stat : 8868 (oree) R 8866 8868 7791 0 -1 4194304 24967 0 0 0 94173 30 0 0 25 0 1 0 160545041 104640512 24704 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8868/statm: 25547 24704 170 317 0 25226 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 102188

[startup+1002.3 s]
/proc/loadavg: 1.12 1.09 1.02 2/78 8871
/proc/meminfo: memFree=1676136/2055920 swapFree=4145528/4192956
[pid=8868] ppid=8866 vsize=105772 CPUtime=1002.02
/proc/8868/stat : 8868 (oree) R 8866 8868 7791 0 -1 4194304 25807 0 0 0 100171 31 0 0 25 0 1 0 160545041 108310528 25544 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8868/statm: 26443 25544 170 317 0 26122 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 105772

[startup+1062.3 s]
/proc/loadavg: 1.14 1.10 1.02 2/78 8871
/proc/meminfo: memFree=1673320/2055920 swapFree=4145528/4192956
[pid=8868] ppid=8866 vsize=108472 CPUtime=1062
/proc/8868/stat : 8868 (oree) R 8866 8868 7791 0 -1 4194304 26520 0 0 0 106168 32 0 0 25 0 1 0 160545041 111075328 26257 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8868/statm: 27118 26257 170 317 0 26797 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 108472

[startup+1122.3 s]
/proc/loadavg: 1.14 1.11 1.03 2/78 8871
/proc/meminfo: memFree=1670504/2055920 swapFree=4145528/4192956
[pid=8868] ppid=8866 vsize=111036 CPUtime=1121.99
/proc/8868/stat : 8868 (oree) R 8866 8868 7791 0 -1 4194304 27201 0 0 0 112165 34 0 0 25 0 1 0 160545041 113700864 26938 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8868/statm: 27759 26938 170 317 0 27438 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 111036

[startup+1182.3 s]
/proc/loadavg: 1.10 1.10 1.03 2/78 8871
/proc/meminfo: memFree=1666344/2055920 swapFree=4145528/4192956
[pid=8868] ppid=8866 vsize=116568 CPUtime=1181.97
/proc/8868/stat : 8868 (oree) R 8866 8868 7791 0 -1 4194304 28641 0 0 0 118162 35 0 0 25 0 1 0 160545041 119365632 27955 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8868/statm: 29142 27955 170 317 0 28821 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 116568

[startup+1242.3 s]
/proc/loadavg: 1.14 1.11 1.03 2/78 8871
/proc/meminfo: memFree=1664744/2055920 swapFree=4145528/4192956
[pid=8868] ppid=8866 vsize=118228 CPUtime=1241.96
/proc/8868/stat : 8868 (oree) R 8866 8868 7791 0 -1 4194304 29064 0 0 0 124160 36 0 0 25 0 1 0 160545041 121065472 28378 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8868/statm: 29557 28378 170 317 0 29236 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 118228

[startup+1302.3 s]
/proc/loadavg: 1.09 1.10 1.03 2/78 8871
/proc/meminfo: memFree=1662056/2055920 swapFree=4145528/4192956
[pid=8868] ppid=8866 vsize=121184 CPUtime=1301.95
/proc/8868/stat : 8868 (oree) R 8866 8868 7791 0 -1 4194304 29714 0 0 0 130158 37 0 0 25 0 1 0 160545041 124092416 29028 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563659 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8868/statm: 30296 29028 170 317 0 29975 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 121184

[startup+1362.3 s]
/proc/loadavg: 1.10 1.10 1.03 2/78 8871
/proc/meminfo: memFree=1659816/2055920 swapFree=4145528/4192956
[pid=8868] ppid=8866 vsize=123532 CPUtime=1361.93
/proc/8868/stat : 8868 (oree) R 8866 8868 7791 0 -1 4194304 30268 0 0 0 136156 37 0 0 25 0 1 0 160545041 126496768 29582 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8868/statm: 30883 29582 170 317 0 30562 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 123532

[startup+1422.31 s]
/proc/loadavg: 1.03 1.08 1.03 2/78 8871
/proc/meminfo: memFree=1657576/2055920 swapFree=4145528/4192956
[pid=8868] ppid=8866 vsize=126360 CPUtime=1421.91
/proc/8868/stat : 8868 (oree) R 8866 8868 7791 0 -1 4194304 30819 0 0 0 142153 38 0 0 25 0 1 0 160545041 129392640 30133 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8868/statm: 31590 30133 170 317 0 31269 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 126360

[startup+1482.3 s]
/proc/loadavg: 1.01 1.06 1.02 2/78 8871
/proc/meminfo: memFree=1655464/2055920 swapFree=4145528/4192956
[pid=8868] ppid=8866 vsize=129008 CPUtime=1481.89
/proc/8868/stat : 8868 (oree) R 8866 8868 7791 0 -1 4194304 31371 0 0 0 148150 39 0 0 25 0 1 0 160545041 132104192 30685 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8868/statm: 32252 30685 170 317 0 31931 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 129008

[startup+1542.3 s]
/proc/loadavg: 1.00 1.05 1.02 2/78 8871
/proc/meminfo: memFree=1653096/2055920 swapFree=4145528/4192956
[pid=8868] ppid=8866 vsize=131704 CPUtime=1541.88
/proc/8868/stat : 8868 (oree) R 8866 8868 7791 0 -1 4194304 32012 0 0 0 154148 40 0 0 25 0 1 0 160545041 134864896 31261 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8868/statm: 32926 31261 170 317 0 32605 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 131704

[startup+1602.3 s]
/proc/loadavg: 1.00 1.04 1.01 2/78 8871
/proc/meminfo: memFree=1650984/2055920 swapFree=4145528/4192956
[pid=8868] ppid=8866 vsize=133944 CPUtime=1601.87
/proc/8868/stat : 8868 (oree) R 8866 8868 7791 0 -1 4194304 32526 0 0 0 160146 41 0 0 25 0 1 0 160545041 137158656 31775 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8868/statm: 33486 31775 170 317 0 33165 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 133944

[startup+1662.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/78 8871
/proc/meminfo: memFree=1648872/2055920 swapFree=4145528/4192956
[pid=8868] ppid=8866 vsize=136496 CPUtime=1661.85
/proc/8868/stat : 8868 (oree) R 8866 8868 7791 0 -1 4194304 33111 0 0 0 166143 42 0 0 25 0 1 0 160545041 139771904 32327 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8868/statm: 34124 32327 170 317 0 33803 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 136496

[startup+1722.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 8871
/proc/meminfo: memFree=1646824/2055920 swapFree=4145528/4192956
[pid=8868] ppid=8866 vsize=138324 CPUtime=1721.83
/proc/8868/stat : 8868 (oree) R 8866 8868 7791 0 -1 4194304 33598 0 0 0 172140 43 0 0 25 0 1 0 160545041 141643776 32814 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8868/statm: 34581 32814 170 317 0 34260 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 138324

[startup+1782.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 8871
/proc/meminfo: memFree=1644968/2055920 swapFree=4145528/4192956
[pid=8868] ppid=8866 vsize=140192 CPUtime=1781.82
/proc/8868/stat : 8868 (oree) R 8866 8868 7791 0 -1 4194304 34048 0 0 0 178138 44 0 0 25 0 1 0 160545041 143556608 33264 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8868/statm: 35048 33264 170 317 0 34727 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 140192



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 8871
/proc/meminfo: memFree=1644072/2055920 swapFree=4145528/4192956
[pid=8868] ppid=8866 vsize=141512 CPUtime=1800.02
/proc/8868/stat : 8868 (oree) R 8866 8868 7791 0 -1 4194304 34270 0 0 0 179958 44 0 0 25 0 1 0 160545041 144908288 33486 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718670 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8868/statm: 35378 33486 170 317 0 35057 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 141512

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

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

[startup+1800.61 s]
/proc/loadavg: 1.00 1.01 1.00 2/79 8872
/proc/meminfo: memFree=1644064/2055920 swapFree=4145528/4192956
[pid=8868] ppid=8866 vsize=141512 CPUtime=1800.12
/proc/8868/stat : 8868 (oree) R 8866 8868 7791 0 -1 4194304 34270 0 0 0 179968 44 0 0 25 0 1 0 160545041 144908288 33486 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8868/statm: 35378 33486 170 317 0 35057 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 141512

[startup+1800.71 s]
/proc/loadavg: 1.00 1.01 1.00 2/79 8872
/proc/meminfo: memFree=1644064/2055920 swapFree=4145528/4192956
[pid=8868] ppid=8866 vsize=132196 CPUtime=1800.22
/proc/8868/stat : 8868 (oree) R 8866 8868 7791 0 -1 4194304 34286 0 0 0 179978 44 0 0 25 0 1 0 160545041 135368704 32132 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135339169 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8868/statm: 33016 32132 186 317 0 32695 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 132196

Child status: 0
Real time (s): 1800.73
CPU time (s): 1800.25
CPU user time (s): 1799.78
CPU system time (s): 0.463929
CPU usage (%): 99.9733
Max. virtual memory (cumulated for all children) (KiB): 141512

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

runsolver used 2.08968 second user time and 4.46332 second system time

The end

Launcher Data (download as text)

Begin job on node9 on Tue Apr 17 21:24:35 UTC 2007

IDJOB= 362084
IDBENCH= 1498
IDSOLVER= 172
FILE ID= node9/362084-1176845075

PBS_JOBID= 4590159

Free space on /tmp= 66490 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-9,16-19.opb
COMMAND LINE= oree /tmp/evaluation/362084-1176845075/instance-362084-1176845075.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node9/watcher-362084-1176845075 -o ROOT/results/node9/solver-362084-1176845075 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/362084-1176845075/instance-362084-1176845075.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  732cdc3fa8b0bf0f47e882c13d928a6d

RANDOM SEED= 423891226

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node9.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.221
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.221
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:       1778632 kB
Buffers:         32768 kB
Cached:         181900 kB
SwapCached:      16124 kB
Active:         192188 kB
Inactive:        53840 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1778632 kB
SwapTotal:     4192956 kB
SwapFree:      4145528 kB
Dirty:            2536 kB
Writeback:           0 kB
Mapped:          30260 kB
Slab:            16724 kB
Committed_AS:  5959852 kB
PageTables:       1784 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= 66490 MiB

End job on node9 on Tue Apr 17 21:54:37 UTC 2007