Trace number 362112

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.52 1801.16

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb
MD5SUMd484bc8efed557f17788965b19feafe5
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 benchmark33.113
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables4602
Total number of constraints30179
Number of constraints which are clauses29160
Number of constraints which are cardinality constraints (but not clauses)941
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 103
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=4602 #constraints=30353 hasObjective=no
0.29/0.33	c res. mode=mod
0.29/0.33	c VSIDS like heuristics
0.29/0.33	c complete search running
0.99/1.08	c restart after 401 decisions
1.09/1.14	c nbDecision=500 #constraints=30574
1.89/1.92	c restart after 801 decisions
2.29/2.31	c nbDecision=1000 #constraints=30831
3.79/3.87	c nbDecision=1500 #constraints=31194
4.29/4.32	c restart after 1601 decisions
5.28/5.35	c nbDecision=2000 #constraints=31522
7.79/7.82	c nbDecision=2500 #constraints=31990
10.99/11.09	c nbDecision=3000 #constraints=32460
12.78/12.80	c restart after 3201 decisions
13.78/13.86	c nbDecision=3500 #constraints=32856
16.28/16.33	c nbDecision=4000 #constraints=33319
19.38/19.42	c nbDecision=4500 #constraints=33783
23.28/23.33	c nbDecision=5000 #constraints=34243
28.48/28.54	c nbDecision=5500 #constraints=34726
34.58/34.68	c nbDecision=6000 #constraints=35205
39.28/39.30	c restart after 6401 decisions
39.68/39.80	c nbDecision=6500 #constraints=35539
44.47/44.54	c nbDecision=7000 #constraints=36021
50.07/50.14	c nbDecision=7500 #constraints=36454
54.77/54.88	c nbDecision=8000 #constraints=36906
59.56/59.69	c nbDecision=8500 #constraints=37383
65.46/65.50	c nbDecision=9000 #constraints=37799
72.76/72.86	c nbDecision=9500 #constraints=38222
79.66/79.72	c nbDecision=10000 #constraints=38599
81.56/81.67	c nbDecision=10500 #constraints=38998
84.16/84.25	c nbDecision=11000 #constraints=39444
87.35/87.44	c nbDecision=11500 #constraints=39861
91.46/91.53	c nbDecision=12000 #constraints=40300
96.56/96.66	c nbDecision=12500 #constraints=40729
99.86/99.98	c restart after 12801 decisions
101.06/101.15	c nbDecision=13000 #constraints=41092
104.95/105.03	c nbDecision=13500 #constraints=41569
109.96/110.03	c nbDecision=14000 #constraints=42055
115.94/116.04	c nbDecision=14500 #constraints=42530
122.64/122.73	c nbDecision=15000 #constraints=42993
130.75/130.86	c nbDecision=15500 #constraints=43463
138.34/138.47	c nbDecision=16000 #constraints=43927
146.63/146.75	c nbDecision=16500 #constraints=44365
155.74/155.84	c nbDecision=17000 #constraints=44813
166.33/166.46	c nbDecision=17500 #constraints=45192
179.52/179.68	c nbDecision=18000 #constraints=45626
193.82/193.94	c nbDecision=18500 #constraints=46081
209.82/209.93	c nbDecision=19000 #constraints=46547
224.70/224.81	c nbDecision=19500 #constraints=46994
242.21/242.35	c nbDecision=20000 #constraints=47431
258.50/258.64	c nbDecision=20500 #constraints=47863
278.49/278.65	c nbDecision=21000 #constraints=48311
297.59/297.75	c nbDecision=21500 #constraints=48731
317.27/317.43	c nbDecision=22000 #constraints=49148
338.97/339.14	c nbDecision=22500 #constraints=49596
363.76/363.90	c nbDecision=23000 #constraints=50032
392.56/392.77	c nbDecision=23500 #constraints=50462
407.54/407.75	c nbDecision=24000 #constraints=50822
412.44/412.66	c nbDecision=24500 #constraints=51258
418.54/418.77	c nbDecision=25000 #constraints=51732
425.54/425.75	c nbDecision=25500 #constraints=52191
426.94/427.19	c restart after 25601 decisions
440.23/440.40	c nbDecision=26000 #constraints=52546
458.32/458.52	c nbDecision=26500 #constraints=53026
478.72/478.94	c nbDecision=27000 #constraints=53486
498.21/498.42	c nbDecision=27500 #constraints=53914
520.10/520.39	c nbDecision=28000 #constraints=54357
543.40/543.64	c nbDecision=28500 #constraints=54808
567.99/568.29	c nbDecision=29000 #constraints=55287
588.28/588.53	c nbDecision=29500 #constraints=55685
603.58/603.86	c nbDecision=30000 #constraints=56157
620.57/620.84	c nbDecision=30500 #constraints=56629
640.36/640.69	c nbDecision=31000 #constraints=57103
660.86/661.17	c nbDecision=31500 #constraints=57566
683.45/683.71	c nbDecision=32000 #constraints=58044
707.34/707.67	c nbDecision=32500 #constraints=58480
729.33/729.64	c nbDecision=33000 #constraints=58875
753.33/753.62	c nbDecision=33500 #constraints=59291
783.21/783.51	c nbDecision=34000 #constraints=59742
814.20/814.52	c nbDecision=34500 #constraints=60185
846.99/847.38	c nbDecision=35000 #constraints=60646
880.18/880.55	c nbDecision=35500 #constraints=61107
912.47/912.81	c nbDecision=36000 #constraints=61560
948.15/948.54	c nbDecision=36500 #constraints=62017
986.34/986.70	c nbDecision=37000 #constraints=62488
1027.73/1028.11	c nbDecision=37500 #constraints=62958
1065.92/1066.38	c nbDecision=38000 #constraints=63409
1102.20/1102.64	c nbDecision=38500 #constraints=63854
1140.78/1141.26	c nbDecision=39000 #constraints=64297
1184.67/1185.13	c nbDecision=39500 #constraints=64779
1225.26/1225.79	c nbDecision=40000 #constraints=65232
1269.95/1270.45	c nbDecision=40500 #constraints=65713
1314.72/1315.27	c nbDecision=41000 #constraints=66193
1362.71/1363.22	c nbDecision=41500 #constraints=66650
1408.59/1409.14	c nbDecision=42000 #constraints=67074
1452.37/1452.95	c nbDecision=42500 #constraints=67476
1497.16/1497.75	c nbDecision=43000 #constraints=67913
1547.74/1548.32	c nbDecision=43500 #constraints=68356
1595.83/1596.48	c nbDecision=44000 #constraints=68787
1644.31/1644.96	c nbDecision=44500 #constraints=69200
1696.89/1697.58	c nbDecision=45000 #constraints=69634
1755.57/1756.30	c nbDecision=45500 #constraints=70113
1800.06/1800.70	Received signal 15
1800.45/1801.12	
1800.45/1801.12	s UNKNOWN
1800.45/1801.12	
1800.45/1801.12	c user time= 1800.11 s
1800.45/1801.12	c system time= 0.374943 s
1800.45/1801.12	c wall clock time=1801.12

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/node66/watcher-362112-1176845111 -o ROOT/results/node66/solver-362112-1176845111 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362112-1176845111/instance-362112-1176845111.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.91 0.93 0.93 3/64 10283
/proc/meminfo: memFree=1870776/2055920 swapFree=4176828/4192956
[pid=10283] ppid=10281 vsize=1468 CPUtime=0
/proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 180 0 0 0 0 0 0 0 18 0 1 0 160500715 1503232 162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10283/statm: 367 162 131 317 0 46 0

[startup+0.0560369 s]
/proc/loadavg: 0.91 0.93 0.93 3/64 10283
/proc/meminfo: memFree=1870776/2055920 swapFree=4176828/4192956
[pid=10283] ppid=10281 vsize=2656 CPUtime=0.05
/proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 460 0 0 0 5 0 0 0 18 0 1 0 160500715 2719744 442 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10283/statm: 664 442 131 317 0 343 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2656

[startup+0.101046 s]
/proc/loadavg: 0.91 0.93 0.93 3/64 10283
/proc/meminfo: memFree=1870776/2055920 swapFree=4176828/4192956
[pid=10283] ppid=10281 vsize=3580 CPUtime=0.09
/proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 698 0 0 0 9 0 0 0 18 0 1 0 160500715 3665920 680 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10283/statm: 895 680 131 317 0 574 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3580

[startup+0.301084 s]
/proc/loadavg: 0.91 0.93 0.93 3/64 10283
/proc/meminfo: memFree=1870776/2055920 swapFree=4176828/4192956
[pid=10283] ppid=10281 vsize=7804 CPUtime=0.29
/proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 1751 0 0 0 29 0 0 0 19 0 1 0 160500715 7991296 1733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10283/statm: 1951 1733 131 317 0 1630 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7804

[startup+0.701163 s]
/proc/loadavg: 0.91 0.93 0.93 3/64 10283
/proc/meminfo: memFree=1870776/2055920 swapFree=4176828/4192956
[pid=10283] ppid=10281 vsize=12552 CPUtime=0.69
/proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 2970 0 0 0 69 0 0 0 22 0 1 0 160500715 12853248 2744 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10283/statm: 3138 2744 139 317 0 2817 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12552

[startup+1.50132 s]
/proc/loadavg: 0.91 0.93 0.93 2/65 10284
/proc/meminfo: memFree=1860080/2055920 swapFree=4176828/4192956
[pid=10283] ppid=10281 vsize=12552 CPUtime=1.49
/proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 2972 0 0 0 149 0 0 0 25 0 1 0 160500715 12853248 2746 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272945 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10283/statm: 3138 2746 139 317 0 2817 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12552

[startup+3.10164 s]
/proc/loadavg: 0.91 0.93 0.93 2/65 10284
/proc/meminfo: memFree=1859568/2055920 swapFree=4176828/4192956
[pid=10283] ppid=10281 vsize=13864 CPUtime=3.09
/proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 3299 0 0 0 308 1 0 0 25 0 1 0 160500715 14196736 3073 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10283/statm: 3466 3073 139 317 0 3145 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13864

[startup+6.30128 s]
/proc/loadavg: 0.91 0.93 0.93 2/65 10284
/proc/meminfo: memFree=1857200/2055920 swapFree=4176828/4192956
[pid=10283] ppid=10281 vsize=15968 CPUtime=6.28
/proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 3834 0 0 0 627 1 0 0 25 0 1 0 160500715 16351232 3608 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10283/statm: 3992 3610 139 317 0 3671 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 15968

[startup+12.7016 s]
/proc/loadavg: 0.92 0.93 0.93 2/65 10284
/proc/meminfo: memFree=1853552/2055920 swapFree=4176828/4192956
[pid=10283] ppid=10281 vsize=19136 CPUtime=12.68
/proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 4634 0 0 0 1266 2 0 0 25 0 1 0 160500715 19595264 4408 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711091 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10283/statm: 4784 4408 139 317 0 4463 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 19136

[startup+25.5011 s]
/proc/loadavg: 0.94 0.93 0.93 2/65 10284
/proc/meminfo: memFree=1847024/2055920 swapFree=4176828/4192956
[pid=10283] ppid=10281 vsize=25880 CPUtime=25.48
/proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 6267 0 0 0 2545 3 0 0 25 0 1 0 160500715 26501120 6008 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134530385 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10283/statm: 6470 6008 139 317 0 6149 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 25880

[startup+51.1012 s]
/proc/loadavg: 0.96 0.94 0.93 2/65 10284
/proc/meminfo: memFree=1840432/2055920 swapFree=4176828/4192956
[pid=10283] ppid=10281 vsize=32364 CPUtime=51.07
/proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 7920 0 0 0 5102 5 0 0 25 0 1 0 160500715 33140736 7661 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604197 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10283/statm: 8091 7661 139 317 0 7770 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 32364

[startup+102.305 s]
/proc/loadavg: 0.98 0.94 0.93 2/65 10284
/proc/meminfo: memFree=1821936/2055920 swapFree=4176828/4192956
[pid=10283] ppid=10281 vsize=50796 CPUtime=102.26
/proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 12521 0 0 0 10215 11 0 0 25 0 1 0 160500715 52015104 12262 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272945 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10283/statm: 12699 12262 139 317 0 12378 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 50796

[startup+162.302 s]
/proc/loadavg: 0.99 0.95 0.93 2/65 10284
/proc/meminfo: memFree=1809136/2055920 swapFree=4176828/4192956
[pid=10283] ppid=10281 vsize=63776 CPUtime=162.23
/proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 15699 0 0 0 16209 14 0 0 25 0 1 0 160500715 65306624 15440 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10283/statm: 15944 15440 139 317 0 15623 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 63776

[startup+222.301 s]
/proc/loadavg: 0.99 0.96 0.93 2/65 10284
/proc/meminfo: memFree=1801968/2055920 swapFree=4176828/4192956
[pid=10283] ppid=10281 vsize=70908 CPUtime=222.21
/proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 17496 0 0 0 22206 15 0 0 25 0 1 0 160500715 72609792 17237 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10283/statm: 17727 17237 139 317 0 17406 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 70908

[startup+282.301 s]
/proc/loadavg: 0.99 0.96 0.93 2/65 10284
/proc/meminfo: memFree=1795760/2055920 swapFree=4176828/4192956
[pid=10283] ppid=10281 vsize=77784 CPUtime=282.18
/proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 19042 0 0 0 28202 16 0 0 25 0 1 0 160500715 79650816 18783 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10283/statm: 19446 18783 139 317 0 19125 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 77784

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 10284
/proc/meminfo: memFree=1790448/2055920 swapFree=4176828/4192956
[pid=10283] ppid=10281 vsize=83152 CPUtime=342.17
/proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 20345 0 0 0 34199 18 0 0 25 0 1 0 160500715 85147648 20086 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10283/statm: 20788 20086 139 317 0 20467 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 83152

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 10284
/proc/meminfo: memFree=1786288/2055920 swapFree=4176828/4192956
[pid=10283] ppid=10281 vsize=87524 CPUtime=402.15
/proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 21384 0 0 0 40196 19 0 0 25 0 1 0 160500715 89624576 21125 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10283/statm: 21881 21125 139 317 0 21560 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 87524

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 10284
/proc/meminfo: memFree=1777776/2055920 swapFree=4176828/4192956
[pid=10283] ppid=10281 vsize=96512 CPUtime=462.12
/proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 23508 0 0 0 46192 20 0 0 25 0 1 0 160500715 98828288 23249 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10283/statm: 24128 23249 139 317 0 23807 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 96512

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 10284
/proc/meminfo: memFree=1774256/2055920 swapFree=4176828/4192956
[pid=10283] ppid=10281 vsize=100152 CPUtime=522.1
/proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 24398 0 0 0 52189 21 0 0 25 0 1 0 160500715 102555648 24139 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10283/statm: 25038 24139 139 317 0 24717 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 100152

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 10284
/proc/meminfo: memFree=1770928/2055920 swapFree=4176828/4192956
[pid=10283] ppid=10281 vsize=103188 CPUtime=582.08
/proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 25200 0 0 0 58186 22 0 0 25 0 1 0 160500715 105664512 24941 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604372 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10283/statm: 25797 24941 139 317 0 25476 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 103188

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 10284
/proc/meminfo: memFree=1764912/2055920 swapFree=4176828/4192956
[pid=10283] ppid=10281 vsize=109396 CPUtime=642.06
/proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 26684 0 0 0 64183 23 0 0 25 0 1 0 160500715 112021504 26425 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10283/statm: 27349 26425 139 317 0 27028 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 109396


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

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 10286
/proc/meminfo: memFree=1745328/2055920 swapFree=4176828/4192956
[pid=10283] ppid=10281 vsize=131228 CPUtime=941.95
/proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 31991 0 0 0 94166 29 0 0 25 0 1 0 160500715 134377472 31317 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563614 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10283/statm: 32807 31317 139 317 0 32486 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 131228

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 10286
/proc/meminfo: memFree=1742064/2055920 swapFree=4176828/4192956
[pid=10283] ppid=10281 vsize=134696 CPUtime=1001.94
/proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 32792 0 0 0 100164 30 0 0 25 0 1 0 160500715 137928704 32118 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10283/statm: 33674 32118 139 317 0 33353 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 134696

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 10286
/proc/meminfo: memFree=1739312/2055920 swapFree=4176828/4192956
[pid=10283] ppid=10281 vsize=137560 CPUtime=1061.92
/proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 33475 0 0 0 106161 31 0 0 25 0 1 0 160500715 140861440 32801 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10283/statm: 34390 32801 139 317 0 34069 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 137560

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 10286
/proc/meminfo: memFree=1736624/2055920 swapFree=4176828/4192956
[pid=10283] ppid=10281 vsize=140292 CPUtime=1121.89
/proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 34147 0 0 0 112158 31 0 0 25 0 1 0 160500715 143659008 33473 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10283/statm: 35073 33473 139 317 0 34752 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 140292

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 10286
/proc/meminfo: memFree=1733808/2055920 swapFree=4176828/4192956
[pid=10283] ppid=10281 vsize=143216 CPUtime=1181.87
/proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 34880 0 0 0 118155 32 0 0 25 0 1 0 160500715 146653184 34173 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10283/statm: 35804 34173 139 317 0 35483 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 143216

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 10286
/proc/meminfo: memFree=1730800/2055920 swapFree=4176828/4192956
[pid=10283] ppid=10281 vsize=146288 CPUtime=1241.85
/proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 35629 0 0 0 124153 32 0 0 25 0 1 0 160500715 149798912 34922 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10283/statm: 36572 34922 139 317 0 36251 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 146288

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 10286
/proc/meminfo: memFree=1727600/2055920 swapFree=4176828/4192956
[pid=10283] ppid=10281 vsize=149568 CPUtime=1301.83
/proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 36474 0 0 0 130150 33 0 0 25 0 1 0 160500715 153157632 35702 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604138 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10283/statm: 37392 35702 139 317 0 37071 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 149568

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 10286
/proc/meminfo: memFree=1724912/2055920 swapFree=4176828/4192956
[pid=10283] ppid=10281 vsize=152592 CPUtime=1361.81
/proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 37131 0 0 0 136147 34 0 0 25 0 1 0 160500715 156254208 36359 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10283/statm: 38148 36359 139 317 0 37827 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 152592

[startup+1422.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 10286
/proc/meminfo: memFree=1722736/2055920 swapFree=4176828/4192956
[pid=10283] ppid=10281 vsize=154600 CPUtime=1421.79
/proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 37707 0 0 0 142145 34 0 0 25 0 1 0 160500715 158310400 36935 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10283/statm: 38650 36935 170 317 0 38329 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 154600

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 10286
/proc/meminfo: memFree=1720624/2055920 swapFree=4176828/4192956
[pid=10283] ppid=10281 vsize=156824 CPUtime=1481.77
/proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 38239 0 0 0 148142 35 0 0 25 0 1 0 160500715 160587776 37467 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10283/statm: 39206 37467 170 317 0 38885 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 156824

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 10286
/proc/meminfo: memFree=1718320/2055920 swapFree=4176828/4192956
[pid=10283] ppid=10281 vsize=159460 CPUtime=1541.74
/proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 38787 0 0 0 154139 35 0 0 25 0 1 0 160500715 163287040 38015 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10283/statm: 39865 38015 170 317 0 39544 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 159460

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 10286
/proc/meminfo: memFree=1716208/2055920 swapFree=4176828/4192956
[pid=10283] ppid=10281 vsize=162356 CPUtime=1601.73
/proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 39316 0 0 0 160137 36 0 0 25 0 1 0 160500715 166252544 38544 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712500 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10283/statm: 40589 38544 170 317 0 40268 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 162356

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 10286
/proc/meminfo: memFree=1714160/2055920 swapFree=4176828/4192956
[pid=10283] ppid=10281 vsize=164748 CPUtime=1661.7
/proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 39821 0 0 0 166134 36 0 0 25 0 1 0 160500715 168701952 39049 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10283/statm: 41187 39049 170 317 0 40866 0
Current children cumulated CPU time (s) 1661.7
Current children cumulated vsize (KiB) 164748

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 10286
/proc/meminfo: memFree=1712240/2055920 swapFree=4176828/4192956
[pid=10283] ppid=10281 vsize=166980 CPUtime=1721.68
/proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 40317 0 0 0 172132 36 0 0 25 0 1 0 160500715 170987520 39545 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10283/statm: 41745 39545 170 317 0 41424 0
Current children cumulated CPU time (s) 1721.68
Current children cumulated vsize (KiB) 166980

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 10286
/proc/meminfo: memFree=1710320/2055920 swapFree=4176828/4192956
[pid=10283] ppid=10281 vsize=168960 CPUtime=1781.66
/proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 40764 0 0 0 178129 37 0 0 25 0 1 0 160500715 173015040 39992 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10283/statm: 42240 39992 170 317 0 41919 0
Current children cumulated CPU time (s) 1781.66
Current children cumulated vsize (KiB) 168960



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 10286
/proc/meminfo: memFree=1709680/2055920 swapFree=4176828/4192956
[pid=10283] ppid=10281 vsize=169884 CPUtime=1800.06
/proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 40937 0 0 0 179969 37 0 0 25 0 1 0 160500715 173961216 40165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10283/statm: 42471 40165 170 317 0 42150 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 169884

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

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

[startup+1801 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 10286
/proc/meminfo: memFree=1709680/2055920 swapFree=4176828/4192956
[pid=10283] ppid=10281 vsize=169884 CPUtime=1800.35
/proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 40937 0 0 0 179998 37 0 0 25 0 1 0 160500715 173961216 40165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10283/statm: 42471 40165 170 317 0 42150 0
Current children cumulated CPU time (s) 1800.35
Current children cumulated vsize (KiB) 169884

[startup+1801.1 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 10286
/proc/meminfo: memFree=1709680/2055920 swapFree=4176828/4192956
[pid=10283] ppid=10281 vsize=169884 CPUtime=1800.45
/proc/10283/stat : 10283 (oree) R 10281 10283 10142 0 -1 4194304 40937 0 0 0 180008 37 0 0 25 0 1 0 160500715 173961216 40165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10283/statm: 42471 40165 170 317 0 42150 0
Current children cumulated CPU time (s) 1800.45
Current children cumulated vsize (KiB) 169884

Child status: 0
Real time (s): 1801.16
CPU time (s): 1800.52
CPU user time (s): 1800.12
CPU system time (s): 0.401938
CPU usage (%): 99.9645
Max. virtual memory (cumulated for all children) (KiB): 169884

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

runsolver used 1.19282 second user time and 3.75243 second system time

The end

Launcher Data (download as text)

Begin job on node66 on Tue Apr 17 21:25:11 UTC 2007

IDJOB= 362112
IDBENCH= 1500
IDSOLVER= 172
FILE ID= node66/362112-1176845111

PBS_JOBID= 4590183

Free space on /tmp= 66444 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-11,19,21.opb
COMMAND LINE= oree /tmp/evaluation/362112-1176845111/instance-362112-1176845111.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node66/watcher-362112-1176845111 -o ROOT/results/node66/solver-362112-1176845111 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/362112-1176845111/instance-362112-1176845111.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  d484bc8efed557f17788965b19feafe5

RANDOM SEED= 881497963

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node66.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.281
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.281
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:       1871184 kB
Buffers:         13144 kB
Cached:         114248 kB
SwapCached:       9832 kB
Active:          23452 kB
Inactive:       119736 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1871184 kB
SwapTotal:     4192956 kB
SwapFree:      4176828 kB
Dirty:            2484 kB
Writeback:           0 kB
Mapped:          15668 kB
Slab:            27636 kB
Committed_AS:   753092 kB
PageTables:       1376 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= 66444 MiB

End job on node66 on Tue Apr 17 21:55:14 UTC 2007