Trace number 365830

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.21 1800.82

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-55-50.opb
MD5SUM277dd35641d3866b31d8fb041eb7f9fb
Bench CategorySATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.022995
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables2750
Total number of constraints105
Number of constraints which are clauses55
Number of constraints which are cardinality constraints (but not clauses)50
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint50
Maximum length of a constraint55
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 56
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
0.00/0.01	c ...done
0.00/0.01	c #vars=2750 #constraints=105 hasObjective=no
0.00/0.01	c res. mode=mod
0.00/0.01	c VSIDS like heuristics
0.00/0.01	c complete search running
0.69/0.72	c restart after 401 decisions
0.89/0.92	c nbDecision=500 #constraints=505
1.99/2.07	c restart after 801 decisions
2.99/3.08	c nbDecision=1000 #constraints=956
6.68/6.78	c nbDecision=1500 #constraints=1451
7.89/7.98	c restart after 1601 decisions
11.69/11.75	c nbDecision=2000 #constraints=1906
18.29/18.39	c nbDecision=2500 #constraints=2399
27.29/27.30	c nbDecision=3000 #constraints=2896
31.48/31.54	c restart after 3201 decisions
38.18/38.25	c nbDecision=3500 #constraints=3349
51.48/51.58	c nbDecision=4000 #constraints=3845
67.47/67.54	c nbDecision=4500 #constraints=4342
85.77/85.85	c nbDecision=5000 #constraints=4838
106.06/106.19	c nbDecision=5500 #constraints=5335
124.35/124.43	c nbDecision=6000 #constraints=5829
141.55/141.62	c restart after 6401 decisions
146.65/146.78	c nbDecision=6500 #constraints=6281
170.44/170.54	c nbDecision=7000 #constraints=6779
197.63/197.75	c nbDecision=7500 #constraints=7273
227.72/227.81	c nbDecision=8000 #constraints=7764
256.22/256.38	c nbDecision=8500 #constraints=8257
289.01/289.11	c nbDecision=9000 #constraints=8755
328.19/328.30	c nbDecision=9500 #constraints=9255
366.88/367.00	c nbDecision=10000 #constraints=9749
406.37/406.51	c nbDecision=10500 #constraints=10246
446.17/446.36	c nbDecision=11000 #constraints=10735
490.85/491.05	c nbDecision=11500 #constraints=11229
538.04/538.28	c nbDecision=12000 #constraints=11727
589.32/589.52	c nbDecision=12500 #constraints=12226
621.11/621.36	c restart after 12801 decisions
643.00/643.26	c nbDecision=13000 #constraints=12671
696.29/696.59	c nbDecision=13500 #constraints=13165
750.94/751.27	c nbDecision=14000 #constraints=13659
806.18/806.57	c nbDecision=14500 #constraints=14148
869.66/870.05	c nbDecision=15000 #constraints=14645
936.54/936.98	c nbDecision=15500 #constraints=15144
1004.32/1004.71	c nbDecision=16000 #constraints=15641
1071.30/1071.77	c nbDecision=16500 #constraints=16136
1143.08/1143.58	c nbDecision=17000 #constraints=16632
1213.76/1214.23	c nbDecision=17500 #constraints=17130
1289.54/1290.05	c nbDecision=18000 #constraints=17624
1364.62/1365.12	c nbDecision=18500 #constraints=18117
1449.49/1450.09	c nbDecision=19000 #constraints=18615
1531.97/1532.52	c nbDecision=19500 #constraints=19111
1620.85/1621.48	c nbDecision=20000 #constraints=19604
1709.22/1709.81	c nbDecision=20500 #constraints=20104
1797.59/1798.24	c nbDecision=21000 #constraints=20599
1800.10/1800.71	Received signal 15
1800.10/1800.74	
1800.10/1800.74	s UNKNOWN
1800.10/1800.74	
1800.10/1800.74	c user time= 1799.5 s
1800.10/1800.74	c system time= 0.646901 s
1800.10/1800.74	c wall clock time=1800.74

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/node47/watcher-365830-1176997727 -o ROOT/results/node47/solver-365830-1176997727 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/365830-1176997727/instance-365830-1176997727.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.01 1.00 0.97 3/77 14609
/proc/meminfo: memFree=1603328/2055920 swapFree=4157972/4192956
[pid=14609] ppid=14607 vsize=1468 CPUtime=0
/proc/14609/stat : 14609 (oree) R 14607 14609 13853 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 54618027 1503232 165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134831088 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14609/statm: 367 165 130 317 0 46 0

[startup+0.0657411 s]
/proc/loadavg: 1.01 1.00 0.97 3/77 14609
/proc/meminfo: memFree=1603328/2055920 swapFree=4157972/4192956
[pid=14609] ppid=14607 vsize=2348 CPUtime=0.06
/proc/14609/stat : 14609 (oree) R 14607 14609 13853 0 -1 4194304 395 0 0 0 6 0 0 0 18 0 1 0 54618027 2404352 377 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284166 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14609/statm: 587 377 139 317 0 266 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2348

[startup+0.102743 s]
/proc/loadavg: 1.01 1.00 0.97 3/77 14609
/proc/meminfo: memFree=1603328/2055920 swapFree=4157972/4192956
[pid=14609] ppid=14607 vsize=2612 CPUtime=0.09
/proc/14609/stat : 14609 (oree) R 14607 14609 13853 0 -1 4194304 470 0 0 0 9 0 0 0 18 0 1 0 54618027 2674688 452 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718721 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14609/statm: 653 452 139 317 0 332 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2612

[startup+0.302765 s]
/proc/loadavg: 1.01 1.00 0.97 3/77 14609
/proc/meminfo: memFree=1603328/2055920 swapFree=4157972/4192956
[pid=14609] ppid=14607 vsize=3788 CPUtime=0.29
/proc/14609/stat : 14609 (oree) R 14607 14609 13853 0 -1 4194304 766 0 0 0 29 0 0 0 20 0 1 0 54618027 3878912 748 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711049 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14609/statm: 947 748 139 317 0 626 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3788

[startup+0.702808 s]
/proc/loadavg: 1.01 1.00 0.97 3/77 14609
/proc/meminfo: memFree=1603328/2055920 swapFree=4157972/4192956
[pid=14609] ppid=14607 vsize=5888 CPUtime=0.69
/proc/14609/stat : 14609 (oree) R 14607 14609 13853 0 -1 4194304 1294 0 0 0 69 0 0 0 24 0 1 0 54618027 6029312 1276 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14609/statm: 1472 1276 139 317 0 1151 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5888

[startup+1.50189 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 14610
/proc/meminfo: memFree=1597688/2055920 swapFree=4157972/4192956
[pid=14609] ppid=14607 vsize=9328 CPUtime=1.49
/proc/14609/stat : 14609 (oree) R 14607 14609 13853 0 -1 4194304 2137 0 0 0 149 0 0 0 25 0 1 0 54618027 9551872 2119 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272635 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14609/statm: 2332 2119 139 317 0 2011 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9328

[startup+3.10107 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 14610
/proc/meminfo: memFree=1593464/2055920 swapFree=4157972/4192956
[pid=14609] ppid=14607 vsize=13532 CPUtime=3.09
/proc/14609/stat : 14609 (oree) R 14607 14609 13853 0 -1 4194304 3195 0 0 0 308 1 0 0 25 0 1 0 54618027 13856768 3177 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14609/statm: 3383 3177 139 317 0 3062 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13532

[startup+6.30141 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 14610
/proc/meminfo: memFree=1585088/2055920 swapFree=4157972/4192956
[pid=14609] ppid=14607 vsize=20844 CPUtime=6.29
/proc/14609/stat : 14609 (oree) R 14607 14609 13853 0 -1 4194304 4989 0 0 0 628 1 0 0 25 0 1 0 54618027 21344256 4971 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14609/statm: 5211 4971 139 317 0 4890 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20844

[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 14610
/proc/meminfo: memFree=1574536/2055920 swapFree=4157972/4192956
[pid=14609] ppid=14607 vsize=30996 CPUtime=12.68
/proc/14609/stat : 14609 (oree) R 14607 14609 13853 0 -1 4194304 7462 0 0 0 1266 2 0 0 25 0 1 0 54618027 31739904 7444 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14609/statm: 7749 7444 139 317 0 7428 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 30996

[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 14610
/proc/meminfo: memFree=1559816/2055920 swapFree=4157972/4192956
[pid=14609] ppid=14607 vsize=45724 CPUtime=25.48
/proc/14609/stat : 14609 (oree) R 14607 14609 13853 0 -1 4194304 11067 0 0 0 2543 5 0 0 25 0 1 0 54618027 46821376 11049 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14609/statm: 11431 11049 139 317 0 11110 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 45724

[startup+51.1013 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 14610
/proc/meminfo: memFree=1540616/2055920 swapFree=4157972/4192956
[pid=14609] ppid=14607 vsize=66104 CPUtime=51.08
/proc/14609/stat : 14609 (oree) R 14607 14609 13853 0 -1 4194304 15825 0 0 0 5099 9 0 0 25 0 1 0 54618027 67690496 15807 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14609/statm: 16526 15807 139 317 0 16205 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 66104

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 14610
/proc/meminfo: memFree=1512904/2055920 swapFree=4157972/4192956
[pid=14609] ppid=14607 vsize=93916 CPUtime=102.27
/proc/14609/stat : 14609 (oree) R 14607 14609 13853 0 -1 4194304 22655 0 0 0 10215 12 0 0 25 0 1 0 54618027 96169984 22637 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14609/statm: 23479 22637 139 317 0 23158 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 93916

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 14610
/proc/meminfo: memFree=1490376/2055920 swapFree=4157972/4192956
[pid=14609] ppid=14607 vsize=117640 CPUtime=162.24
/proc/14609/stat : 14609 (oree) R 14607 14609 13853 0 -1 4194304 28324 0 0 0 16209 15 0 0 25 0 1 0 54618027 120463360 28306 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14609/statm: 29410 28306 139 317 0 29089 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 117640

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 14610
/proc/meminfo: memFree=1464712/2055920 swapFree=4157972/4192956
[pid=14609] ppid=14607 vsize=146640 CPUtime=222.23
/proc/14609/stat : 14609 (oree) R 14607 14609 13853 0 -1 4194304 34672 0 0 0 22205 18 0 0 25 0 1 0 54618027 150159360 34654 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14609/statm: 36660 34654 139 317 0 36339 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 146640

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 14610
/proc/meminfo: memFree=1446920/2055920 swapFree=4157972/4192956
[pid=14609] ppid=14607 vsize=164788 CPUtime=282.21
/proc/14609/stat : 14609 (oree) R 14607 14609 13853 0 -1 4194304 39180 0 0 0 28201 20 0 0 25 0 1 0 54618027 168742912 39105 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14609/statm: 41197 39105 139 317 0 40876 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 164788

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 14610
/proc/meminfo: memFree=1431112/2055920 swapFree=4157972/4192956
[pid=14609] ppid=14607 vsize=180476 CPUtime=342.2
/proc/14609/stat : 14609 (oree) R 14607 14609 13853 0 -1 4194304 43093 0 0 0 34198 22 0 0 25 0 1 0 54618027 184807424 43018 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14609/statm: 45119 43018 139 317 0 44798 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 180476

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 14610
/proc/meminfo: memFree=1416008/2055920 swapFree=4157972/4192956
[pid=14609] ppid=14607 vsize=196124 CPUtime=402.17
/proc/14609/stat : 14609 (oree) R 14607 14609 13853 0 -1 4194304 46888 0 0 0 40192 25 0 0 25 0 1 0 54618027 200830976 46813 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14609/statm: 49031 46813 139 317 0 48710 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 196124

[startup+462.303 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 14610
/proc/meminfo: memFree=1401608/2055920 swapFree=4157972/4192956
[pid=14609] ppid=14607 vsize=210536 CPUtime=462.15
/proc/14609/stat : 14609 (oree) R 14607 14609 13853 0 -1 4194304 50467 0 0 0 46188 27 0 0 25 0 1 0 54618027 215588864 50392 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14609/statm: 52634 50392 139 317 0 52313 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 210536

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 14610
/proc/meminfo: memFree=1388872/2055920 swapFree=4157972/4192956
[pid=14609] ppid=14607 vsize=224092 CPUtime=522.14
/proc/14609/stat : 14609 (oree) R 14607 14609 13853 0 -1 4194304 53650 0 0 0 52185 29 0 0 25 0 1 0 54618027 229470208 53575 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14609/statm: 56023 53575 139 317 0 55702 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 224092

[startup+582.303 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 14610
/proc/meminfo: memFree=1376968/2055920 swapFree=4157972/4192956
[pid=14609] ppid=14607 vsize=234812 CPUtime=582.12
/proc/14609/stat : 14609 (oree) R 14607 14609 13853 0 -1 4194304 56596 0 0 0 58181 31 0 0 25 0 1 0 54618027 240447488 56521 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14609/statm: 58703 56521 139 317 0 58382 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 234812

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 14610
/proc/meminfo: memFree=1367368/2055920 swapFree=4157972/4192956
[pid=14609] ppid=14607 vsize=244048 CPUtime=642.11
/proc/14609/stat : 14609 (oree) R 14607 14609 13853 0 -1 4194304 58984 0 0 0 64178 33 0 0 25 0 1 0 54618027 249905152 58909 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14609/statm: 61012 58909 139 317 0 60691 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 244048


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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 14808
/proc/meminfo: memFree=1322248/2055920 swapFree=4157972/4192956
[pid=14609] ppid=14607 vsize=296092 CPUtime=881.95
/proc/14609/stat : 14609 (oree) R 14607 14609 13853 0 -1 4194304 70243 0 0 0 88154 41 0 0 25 0 1 0 54618027 303198208 70168 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14609/statm: 74023 70168 139 317 0 73702 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 296092

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 14808
/proc/meminfo: memFree=1314568/2055920 swapFree=4157972/4192956
[pid=14609] ppid=14607 vsize=303460 CPUtime=941.94
/proc/14609/stat : 14609 (oree) R 14607 14609 13853 0 -1 4194304 72163 0 0 0 94151 43 0 0 25 0 1 0 54618027 310743040 72088 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14609/statm: 75865 72088 139 317 0 75544 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 303460

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 14808
/proc/meminfo: memFree=1304264/2055920 swapFree=4157972/4192956
[pid=14609] ppid=14607 vsize=316292 CPUtime=1001.92
/proc/14609/stat : 14609 (oree) R 14607 14609 13853 0 -1 4194304 74743 0 0 0 100147 45 0 0 25 0 1 0 54618027 323883008 74668 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14609/statm: 79073 74668 139 317 0 78752 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 316292

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 14808
/proc/meminfo: memFree=1294920/2055920 swapFree=4157972/4192956
[pid=14609] ppid=14607 vsize=326800 CPUtime=1061.9
/proc/14609/stat : 14609 (oree) R 14607 14609 13853 0 -1 4194304 77060 0 0 0 106144 46 0 0 25 0 1 0 54618027 334643200 76985 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14609/statm: 81700 76985 139 317 0 81379 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 326800

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 14808
/proc/meminfo: memFree=1285640/2055920 swapFree=4157972/4192956
[pid=14609] ppid=14607 vsize=337636 CPUtime=1121.89
/proc/14609/stat : 14609 (oree) R 14607 14609 13853 0 -1 4194304 79366 0 0 0 112141 48 0 0 25 0 1 0 54618027 345739264 79291 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134533539 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14609/statm: 84409 79291 139 317 0 84088 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 337636

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 14810
/proc/meminfo: memFree=1278536/2055920 swapFree=4157972/4192956
[pid=14609] ppid=14607 vsize=345220 CPUtime=1181.87
/proc/14609/stat : 14609 (oree) R 14607 14609 13853 0 -1 4194304 81269 0 0 0 118138 49 0 0 25 0 1 0 54618027 353505280 81080 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14609/statm: 86305 81080 139 317 0 85984 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 345220

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 14810
/proc/meminfo: memFree=1270408/2055920 swapFree=4157972/4192956
[pid=14609] ppid=14607 vsize=352904 CPUtime=1241.85
/proc/14609/stat : 14609 (oree) R 14607 14609 13853 0 -1 4194304 83323 0 0 0 124134 51 0 0 25 0 1 0 54618027 361373696 83134 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14609/statm: 88226 83134 139 317 0 87905 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 352904

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 14810
/proc/meminfo: memFree=1261512/2055920 swapFree=4157972/4192956
[pid=14609] ppid=14607 vsize=362892 CPUtime=1301.83
/proc/14609/stat : 14609 (oree) R 14607 14609 13853 0 -1 4194304 85512 0 0 0 130131 52 0 0 25 0 1 0 54618027 371601408 85323 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14609/statm: 90723 85323 139 317 0 90402 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 362892

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 14810
/proc/meminfo: memFree=1254216/2055920 swapFree=4157972/4192956
[pid=14609] ppid=14607 vsize=370028 CPUtime=1361.82
/proc/14609/stat : 14609 (oree) R 14607 14609 13853 0 -1 4194304 87329 0 0 0 136128 54 0 0 25 0 1 0 54618027 378908672 87140 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14609/statm: 92507 87140 139 317 0 92186 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 370028

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 14810
/proc/meminfo: memFree=1247880/2055920 swapFree=4157972/4192956
[pid=14609] ppid=14607 vsize=375840 CPUtime=1421.8
/proc/14609/stat : 14609 (oree) R 14607 14609 13853 0 -1 4194304 88916 0 0 0 142125 55 0 0 25 0 1 0 54618027 384860160 88727 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14609/statm: 93960 88727 139 317 0 93639 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 375840

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 14810
/proc/meminfo: memFree=1240968/2055920 swapFree=4157972/4192956
[pid=14609] ppid=14607 vsize=383084 CPUtime=1481.78
/proc/14609/stat : 14609 (oree) R 14607 14609 13853 0 -1 4194304 90673 0 0 0 148121 57 0 0 25 0 1 0 54618027 392278016 90484 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712482 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14609/statm: 95771 90484 139 317 0 95450 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 383084

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 14810
/proc/meminfo: memFree=1233992/2055920 swapFree=4157972/4192956
[pid=14609] ppid=14607 vsize=389732 CPUtime=1541.76
/proc/14609/stat : 14609 (oree) R 14607 14609 13853 0 -1 4194304 92389 0 0 0 154118 58 0 0 25 0 1 0 54618027 399085568 92200 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563449 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14609/statm: 97433 92200 139 317 0 97112 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 389732

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 14810
/proc/meminfo: memFree=1225864/2055920 swapFree=4157972/4192956
[pid=14609] ppid=14607 vsize=398968 CPUtime=1601.74
/proc/14609/stat : 14609 (oree) R 14607 14609 13853 0 -1 4194304 94441 0 0 0 160115 59 0 0 25 0 1 0 54618027 408543232 94252 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14609/statm: 99742 94252 139 317 0 99421 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 398968

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 14810
/proc/meminfo: memFree=1219592/2055920 swapFree=4157972/4192956
[pid=14609] ppid=14607 vsize=404840 CPUtime=1661.73
/proc/14609/stat : 14609 (oree) R 14607 14609 13853 0 -1 4194304 95985 0 0 0 166112 61 0 0 25 0 1 0 54618027 414556160 95796 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14609/statm: 101210 95796 139 317 0 100889 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 404840

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 14810
/proc/meminfo: memFree=1211784/2055920 swapFree=4157972/4192956
[pid=14609] ppid=14607 vsize=413884 CPUtime=1721.71
/proc/14609/stat : 14609 (oree) R 14607 14609 13853 0 -1 4194304 97952 0 0 0 172109 62 0 0 25 0 1 0 54618027 423817216 97763 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14609/statm: 103471 97763 139 317 0 103150 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 413884

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 14810
/proc/meminfo: memFree=1204552/2055920 swapFree=4157972/4192956
[pid=14609] ppid=14607 vsize=422596 CPUtime=1781.7
/proc/14609/stat : 14609 (oree) R 14607 14609 13853 0 -1 4194304 99732 0 0 0 178106 64 0 0 25 0 1 0 54618027 432738304 99543 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14609/statm: 105649 99543 139 317 0 105328 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 422596



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 14810
/proc/meminfo: memFree=1202312/2055920 swapFree=4157972/4192956
[pid=14609] ppid=14607 vsize=424612 CPUtime=1800.1
/proc/14609/stat : 14609 (oree) R 14607 14609 13853 0 -1 4194304 100292 0 0 0 179946 64 0 0 25 0 1 0 54618027 434802688 100103 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14609/statm: 106153 100103 139 317 0 105832 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 424612

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

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

[startup+1800.81 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 14810
/proc/meminfo: memFree=1202312/2055920 swapFree=4157972/4192956
[pid=14609] ppid=14607 vsize=0 CPUtime=1800.2
/proc/14609/stat : 14609 (oree) R 14607 14609 13853 0 -1 4194308 100309 0 0 0 179950 70 0 0 25 0 1 0 54618027 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14609/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.82
CPU time (s): 1800.21
CPU user time (s): 1799.5
CPU system time (s): 0.712891
CPU usage (%): 99.9666
Max. virtual memory (cumulated for all children) (KiB): 424612

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

runsolver used 1.93371 second user time and 4.6293 second system time

The end

Launcher Data (download as text)

Begin job on node47 on Thu Apr 19 15:48:47 UTC 2007

IDJOB= 365830
IDBENCH= 2573
IDSOLVER= 172
FILE ID= node47/365830-1176997727

PBS_JOBID= 4630455

Free space on /tmp= 66426 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-55-50.opb
COMMAND LINE= oree /tmp/evaluation/365830-1176997727/instance-365830-1176997727.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node47/watcher-365830-1176997727 -o ROOT/results/node47/solver-365830-1176997727 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/365830-1176997727/instance-365830-1176997727.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  277dd35641d3866b31d8fb041eb7f9fb

RANDOM SEED= 840826753

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node47.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:       1603864 kB
Buffers:         37036 kB
Cached:         346356 kB
SwapCached:       3256 kB
Active:          41964 kB
Inactive:       364652 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1603864 kB
SwapTotal:     4192956 kB
SwapFree:      4157972 kB
Dirty:            1372 kB
Writeback:           0 kB
Mapped:          30208 kB
Slab:            31024 kB
Committed_AS:  2602596 kB
PageTables:       1776 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= 66426 MiB

End job on node47 on Thu Apr 19 16:18:50 UTC 2007