Trace number 365788

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.32 1800.89

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-75-70.opb
MD5SUM51456bad41bf92f026526861ffdd231e
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.045992
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables5250
Total number of constraints145
Number of constraints which are clauses75
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint70
Maximum length of a constraint75
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 76
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.00/0.02	c ...done
0.00/0.02	c #vars=5250 #constraints=145 hasObjective=no
0.00/0.02	c res. mode=mod
0.00/0.02	c VSIDS like heuristics
0.00/0.02	c complete search running
0.89/0.90	c restart after 401 decisions
0.99/1.06	c nbDecision=500 #constraints=509
2.49/2.55	c restart after 801 decisions
3.48/3.52	c nbDecision=1000 #constraints=935
8.29/8.36	c nbDecision=1500 #constraints=1430
9.49/9.58	c restart after 1601 decisions
15.08/15.13	c nbDecision=2000 #constraints=1864
23.68/23.75	c nbDecision=2500 #constraints=2362
34.58/34.61	c nbDecision=3000 #constraints=2856
39.97/40.02	c restart after 3201 decisions
48.48/48.59	c nbDecision=3500 #constraints=3288
66.17/66.26	c nbDecision=4000 #constraints=3785
85.46/85.58	c nbDecision=4500 #constraints=4279
108.96/109.00	c nbDecision=5000 #constraints=4778
134.46/134.53	c nbDecision=5500 #constraints=5272
161.05/161.11	c nbDecision=6000 #constraints=5763
181.14/181.27	c restart after 6401 decisions
186.44/186.52	c nbDecision=6500 #constraints=6191
217.53/217.68	c nbDecision=7000 #constraints=6690
252.43/252.57	c nbDecision=7500 #constraints=7188
291.01/291.12	c nbDecision=8000 #constraints=7678
331.40/331.51	c nbDecision=8500 #constraints=8176
372.89/373.05	c nbDecision=9000 #constraints=8674
414.08/414.29	c nbDecision=9500 #constraints=9166
459.97/460.14	c nbDecision=10000 #constraints=9661
514.05/514.28	c nbDecision=10500 #constraints=10155
570.04/570.28	c nbDecision=11000 #constraints=10652
630.73/630.94	c nbDecision=11500 #constraints=11151
691.91/692.14	c nbDecision=12000 #constraints=11644
755.40/755.69	c nbDecision=12500 #constraints=12143
797.78/798.04	c restart after 12801 decisions
821.58/821.88	c nbDecision=13000 #constraints=12576
890.96/891.28	c nbDecision=13500 #constraints=13070
957.28/957.62	c nbDecision=14000 #constraints=13563
1031.44/1031.82	c nbDecision=14500 #constraints=14062
1107.82/1108.20	c nbDecision=15000 #constraints=14560
1186.69/1187.20	c nbDecision=15500 #constraints=15055
1268.77/1269.22	c nbDecision=16000 #constraints=15553
1349.45/1349.92	c nbDecision=16500 #constraints=16047
1440.12/1440.67	c nbDecision=17000 #constraints=16545
1531.80/1532.32	c nbDecision=17500 #constraints=17043
1633.37/1633.98	c nbDecision=18000 #constraints=17541
1730.15/1730.73	c nbDecision=18500 #constraints=18041
1800.04/1800.61	Received signal 15
1800.14/1800.79	
1800.14/1800.79	s UNKNOWN
1800.14/1800.79	
1800.14/1800.79	c user time= 1799.64 s
1800.14/1800.79	c system time= 0.600908 s
1800.14/1800.79	c wall clock time=1800.8

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/node65/watcher-365788-1176997528 -o ROOT/results/node65/solver-365788-1176997528 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/365788-1176997528/instance-365788-1176997528.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.85 0.97 0.99 3/64 10075
/proc/meminfo: memFree=1587512/2055920 swapFree=4184012/4192956
[pid=10075] ppid=10073 vsize=1468 CPUtime=0
/proc/10075/stat : 10075 (oree) R 10073 10075 10018 0 -1 4194304 186 0 0 0 0 0 0 0 18 0 1 0 175742472 1503232 168 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10075/statm: 367 168 130 317 0 46 0

[startup+0.045004 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 10075
/proc/meminfo: memFree=1587512/2055920 swapFree=4184012/4192956
[pid=10075] ppid=10073 vsize=2484 CPUtime=0.04
/proc/10075/stat : 10075 (oree) R 10073 10075 10018 0 -1 4194304 456 0 0 0 4 0 0 0 18 0 1 0 175742472 2543616 438 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10075/statm: 621 438 139 317 0 300 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2484

[startup+0.102009 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 10075
/proc/meminfo: memFree=1587512/2055920 swapFree=4184012/4192956
[pid=10075] ppid=10073 vsize=3012 CPUtime=0.09
/proc/10075/stat : 10075 (oree) R 10073 10075 10018 0 -1 4194304 570 0 0 0 9 0 0 0 18 0 1 0 175742472 3084288 552 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10075/statm: 753 552 139 317 0 432 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3012

[startup+0.301024 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 10075
/proc/meminfo: memFree=1587512/2055920 swapFree=4184012/4192956
[pid=10075] ppid=10073 vsize=4604 CPUtime=0.29
/proc/10075/stat : 10075 (oree) R 10073 10075 10018 0 -1 4194304 962 0 0 0 29 0 0 0 19 0 1 0 175742472 4714496 944 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710848 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10075/statm: 1151 944 139 317 0 830 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4604

[startup+0.701058 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 10075
/proc/meminfo: memFree=1587512/2055920 swapFree=4184012/4192956
[pid=10075] ppid=10073 vsize=7028 CPUtime=0.69
/proc/10075/stat : 10075 (oree) R 10073 10075 10018 0 -1 4194304 1558 0 0 0 69 0 0 0 23 0 1 0 175742472 7196672 1540 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272978 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10075/statm: 1757 1540 139 317 0 1436 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7028

[startup+1.50112 s]
/proc/loadavg: 0.85 0.97 0.99 2/65 10076
/proc/meminfo: memFree=1580720/2055920 swapFree=4184012/4192956
[pid=10075] ppid=10073 vsize=10652 CPUtime=1.49
/proc/10075/stat : 10075 (oree) R 10073 10075 10018 0 -1 4194304 2445 0 0 0 149 0 0 0 25 0 1 0 175742472 10907648 2427 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10075/statm: 2663 2427 139 317 0 2342 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10652

[startup+3.10126 s]
/proc/loadavg: 0.86 0.97 0.99 2/65 10076
/proc/meminfo: memFree=1575920/2055920 swapFree=4184012/4192956
[pid=10075] ppid=10073 vsize=15564 CPUtime=3.09
/proc/10075/stat : 10075 (oree) R 10073 10075 10018 0 -1 4194304 3669 0 0 0 308 1 0 0 25 0 1 0 175742472 15937536 3651 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10075/statm: 3891 3651 139 317 0 3570 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15564

[startup+6.30152 s]
/proc/loadavg: 0.86 0.97 0.99 2/65 10076
/proc/meminfo: memFree=1566128/2055920 swapFree=4184012/4192956
[pid=10075] ppid=10073 vsize=25408 CPUtime=6.29
/proc/10075/stat : 10075 (oree) R 10073 10075 10018 0 -1 4194304 6019 0 0 0 627 2 0 0 25 0 1 0 175742472 26017792 6001 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10075/statm: 6352 6001 139 317 0 6031 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25408

[startup+12.7021 s]
/proc/loadavg: 0.88 0.97 0.99 2/65 10076
/proc/meminfo: memFree=1553664/2055920 swapFree=4184012/4192956
[pid=10075] ppid=10073 vsize=37672 CPUtime=12.69
/proc/10075/stat : 10075 (oree) R 10073 10075 10018 0 -1 4194304 8965 0 0 0 1265 4 0 0 25 0 1 0 175742472 38576128 8947 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10075/statm: 9418 8947 139 317 0 9097 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 37672

[startup+25.5011 s]
/proc/loadavg: 0.90 0.97 0.99 2/65 10076
/proc/meminfo: memFree=1531904/2055920 swapFree=4184012/4192956
[pid=10075] ppid=10073 vsize=59072 CPUtime=25.48
/proc/10075/stat : 10075 (oree) R 10073 10075 10018 0 -1 4194304 14034 0 0 0 2542 6 0 0 25 0 1 0 175742472 60489728 14016 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10075/statm: 14768 14016 139 317 0 14447 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 59072

[startup+51.1012 s]
/proc/loadavg: 0.93 0.97 0.99 2/65 10076
/proc/meminfo: memFree=1509824/2055920 swapFree=4184012/4192956
[pid=10075] ppid=10073 vsize=82464 CPUtime=51.08
/proc/10075/stat : 10075 (oree) R 10073 10075 10018 0 -1 4194304 19651 0 0 0 5099 9 0 0 25 0 1 0 175742472 84443136 19633 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10075/statm: 20616 19633 139 317 0 20295 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 82464

[startup+102.305 s]
/proc/loadavg: 0.97 0.97 0.99 2/65 10076
/proc/meminfo: memFree=1471040/2055920 swapFree=4184012/4192956
[pid=10075] ppid=10073 vsize=123808 CPUtime=102.27
/proc/10075/stat : 10075 (oree) R 10073 10075 10018 0 -1 4194304 29128 0 0 0 10214 13 0 0 25 0 1 0 175742472 126779392 29110 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10075/statm: 30952 29110 139 317 0 30631 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 123808

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10076
/proc/meminfo: memFree=1436928/2055920 swapFree=4184012/4192956
[pid=10075] ppid=10073 vsize=158956 CPUtime=162.25
/proc/10075/stat : 10075 (oree) R 10073 10075 10018 0 -1 4194304 37737 0 0 0 16209 16 0 0 25 0 1 0 175742472 162770944 37719 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10075/statm: 39739 37719 139 317 0 39418 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 158956

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10076
/proc/meminfo: memFree=1412096/2055920 swapFree=4184012/4192956
[pid=10075] ppid=10073 vsize=185948 CPUtime=222.23
/proc/10075/stat : 10075 (oree) R 10073 10075 10018 0 -1 4194304 43845 0 0 0 22205 18 0 0 25 0 1 0 175742472 190410752 43827 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563419 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10075/statm: 46487 43827 139 317 0 46166 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 185948

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10076
/proc/meminfo: memFree=1387584/2055920 swapFree=4184012/4192956
[pid=10075] ppid=10073 vsize=214408 CPUtime=282.21
/proc/10075/stat : 10075 (oree) R 10073 10075 10018 0 -1 4194304 50018 0 0 0 28200 21 0 0 25 0 1 0 175742472 219553792 50000 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563746 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10075/statm: 53602 50000 139 317 0 53281 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 214408

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10076
/proc/meminfo: memFree=1366528/2055920 swapFree=4184012/4192956
[pid=10075] ppid=10073 vsize=236828 CPUtime=342.2
/proc/10075/stat : 10075 (oree) R 10073 10075 10018 0 -1 4194304 55220 0 0 0 34196 24 0 0 25 0 1 0 175742472 242511872 55202 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10075/statm: 59207 55202 139 317 0 58886 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 236828

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10076
/proc/meminfo: memFree=1348544/2055920 swapFree=4184012/4192956
[pid=10075] ppid=10073 vsize=255024 CPUtime=402.18
/proc/10075/stat : 10075 (oree) R 10073 10075 10018 0 -1 4194304 59820 0 0 0 40193 25 0 0 25 0 1 0 175742472 261144576 59744 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10075/statm: 63756 59744 139 317 0 63435 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 255024

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10076
/proc/meminfo: memFree=1332544/2055920 swapFree=4184012/4192956
[pid=10075] ppid=10073 vsize=271828 CPUtime=462.17
/proc/10075/stat : 10075 (oree) R 10073 10075 10018 0 -1 4194304 63761 0 0 0 46190 27 0 0 25 0 1 0 175742472 278351872 63685 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10075/statm: 67957 63685 139 317 0 67636 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 271828

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10076
/proc/meminfo: memFree=1317440/2055920 swapFree=4184012/4192956
[pid=10075] ppid=10073 vsize=288264 CPUtime=522.16
/proc/10075/stat : 10075 (oree) R 10073 10075 10018 0 -1 4194304 67555 0 0 0 52187 29 0 0 25 0 1 0 175742472 295182336 67479 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10075/statm: 72066 67479 139 317 0 71745 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 288264

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10076
/proc/meminfo: memFree=1304256/2055920 swapFree=4184012/4192956
[pid=10075] ppid=10073 vsize=300744 CPUtime=582.13
/proc/10075/stat : 10075 (oree) R 10073 10075 10018 0 -1 4194304 70817 0 0 0 58183 30 0 0 25 0 1 0 175742472 307961856 70741 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10075/statm: 75186 70741 139 317 0 74865 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 300744

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10076
/proc/meminfo: memFree=1290752/2055920 swapFree=4184012/4192956
[pid=10075] ppid=10073 vsize=314556 CPUtime=642.13
/proc/10075/stat : 10075 (oree) R 10073 10075 10018 0 -1 4194304 74166 0 0 0 64181 32 0 0 25 0 1 0 175742472 322105344 74090 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10075/statm: 78639 74090 139 317 0 78318 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 314556


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10076
/proc/meminfo: memFree=1241472/2055920 swapFree=4184012/4192956
[pid=10075] ppid=10073 vsize=365620 CPUtime=882.06
/proc/10075/stat : 10075 (oree) R 10073 10075 10018 0 -1 4194304 86459 0 0 0 88168 38 0 0 25 0 1 0 175742472 374394880 86383 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563639 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10075/statm: 91405 86383 139 317 0 91084 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 365620

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/71 10150
/proc/meminfo: memFree=1229896/2055920 swapFree=4184012/4192956
[pid=10075] ppid=10073 vsize=375988 CPUtime=942.02
/proc/10075/stat : 10075 (oree) R 10073 10075 10018 0 -1 4194304 89077 0 0 0 94163 39 0 0 25 0 1 0 175742472 385011712 89001 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10075/statm: 93997 89001 139 317 0 93676 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 375988

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10274
/proc/meminfo: memFree=1216704/2055920 swapFree=4184012/4192956
[pid=10075] ppid=10073 vsize=394440 CPUtime=1001.94
/proc/10075/stat : 10075 (oree) R 10073 10075 10018 0 -1 4194304 92589 0 0 0 100152 42 0 0 25 0 1 0 175742472 403906560 92513 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10075/statm: 98610 92513 139 317 0 98289 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 394440

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10274
/proc/meminfo: memFree=1204544/2055920 swapFree=4184012/4192956
[pid=10075] ppid=10073 vsize=409108 CPUtime=1061.92
/proc/10075/stat : 10075 (oree) R 10073 10075 10018 0 -1 4194304 95651 0 0 0 106149 43 0 0 25 0 1 0 175742472 418926592 95575 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10075/statm: 102277 95575 139 317 0 101956 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 409108

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10274
/proc/meminfo: memFree=1189248/2055920 swapFree=4184012/4192956
[pid=10075] ppid=10073 vsize=428856 CPUtime=1121.9
/proc/10075/stat : 10075 (oree) R 10073 10075 10018 0 -1 4194304 99434 0 0 0 112145 45 0 0 25 0 1 0 175742472 439148544 99358 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10075/statm: 107214 99358 139 317 0 106893 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 428856

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10274
/proc/meminfo: memFree=1175872/2055920 swapFree=4184012/4192956
[pid=10075] ppid=10073 vsize=444936 CPUtime=1181.89
/proc/10075/stat : 10075 (oree) R 10073 10075 10018 0 -1 4194304 102808 0 0 0 118142 47 0 0 25 0 1 0 175742472 455614464 102732 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10075/statm: 111234 102732 139 317 0 110913 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 444936

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10274
/proc/meminfo: memFree=1165952/2055920 swapFree=4184012/4192956
[pid=10075] ppid=10073 vsize=454684 CPUtime=1241.87
/proc/10075/stat : 10075 (oree) R 10073 10075 10018 0 -1 4194304 105244 0 0 0 124139 48 0 0 25 0 1 0 175742472 465596416 105168 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10075/statm: 113671 105168 139 317 0 113350 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 454684

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10274
/proc/meminfo: memFree=1153280/2055920 swapFree=4184012/4192956
[pid=10075] ppid=10073 vsize=469244 CPUtime=1301.87
/proc/10075/stat : 10075 (oree) R 10073 10075 10018 0 -1 4194304 108392 0 0 0 130137 50 0 0 25 0 1 0 175742472 480505856 108316 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10075/statm: 117311 108316 139 317 0 116990 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 469244

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10274
/proc/meminfo: memFree=1143424/2055920 swapFree=4184012/4192956
[pid=10075] ppid=10073 vsize=481172 CPUtime=1361.84
/proc/10075/stat : 10075 (oree) R 10073 10075 10018 0 -1 4194304 111145 0 0 0 136133 51 0 0 25 0 1 0 175742472 492720128 111069 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10075/statm: 120293 111069 139 317 0 119972 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 481172

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10274
/proc/meminfo: memFree=1132096/2055920 swapFree=4184012/4192956
[pid=10075] ppid=10073 vsize=491968 CPUtime=1421.83
/proc/10075/stat : 10075 (oree) R 10073 10075 10018 0 -1 4194304 113670 0 0 0 142131 52 0 0 25 0 1 0 175742472 503775232 113594 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10075/statm: 122992 113594 139 317 0 122671 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 491968

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10274
/proc/meminfo: memFree=1121728/2055920 swapFree=4184012/4192956
[pid=10075] ppid=10073 vsize=503020 CPUtime=1481.81
/proc/10075/stat : 10075 (oree) R 10073 10075 10018 0 -1 4194304 116404 0 0 0 148128 53 0 0 25 0 1 0 175742472 515092480 116214 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10075/statm: 125755 116214 139 317 0 125434 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 503020

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10274
/proc/meminfo: memFree=1113280/2055920 swapFree=4184012/4192956
[pid=10075] ppid=10073 vsize=511500 CPUtime=1541.8
/proc/10075/stat : 10075 (oree) R 10073 10075 10018 0 -1 4194304 118509 0 0 0 154125 55 0 0 25 0 1 0 175742472 523776000 118319 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10075/statm: 127875 118319 139 317 0 127554 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 511500

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10274
/proc/meminfo: memFree=1105024/2055920 swapFree=4184012/4192956
[pid=10075] ppid=10073 vsize=519288 CPUtime=1601.79
/proc/10075/stat : 10075 (oree) R 10073 10075 10018 0 -1 4194304 120570 0 0 0 160123 56 0 0 25 0 1 0 175742472 531750912 120380 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10075/statm: 129822 120380 139 317 0 129501 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 519288

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10274
/proc/meminfo: memFree=1092992/2055920 swapFree=4184012/4192956
[pid=10075] ppid=10073 vsize=535320 CPUtime=1661.77
/proc/10075/stat : 10075 (oree) R 10073 10075 10018 0 -1 4194304 123569 0 0 0 166120 57 0 0 25 0 1 0 175742472 548167680 123379 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10075/statm: 133830 123379 139 317 0 133509 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 535320

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10274
/proc/meminfo: memFree=1082560/2055920 swapFree=4184012/4192956
[pid=10075] ppid=10073 vsize=548004 CPUtime=1721.75
/proc/10075/stat : 10075 (oree) R 10073 10075 10018 0 -1 4194304 126197 0 0 0 172117 58 0 0 25 0 1 0 175742472 561156096 126007 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10075/statm: 137001 126007 139 317 0 136680 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 548004

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10274
/proc/meminfo: memFree=1072960/2055920 swapFree=4184012/4192956
[pid=10075] ppid=10073 vsize=556976 CPUtime=1781.73
/proc/10075/stat : 10075 (oree) R 10073 10075 10018 0 -1 4194304 128563 0 0 0 178114 59 0 0 25 0 1 0 175742472 570343424 128373 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10075/statm: 139244 128373 139 317 0 138923 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 556976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10274
/proc/meminfo: memFree=1069760/2055920 swapFree=4184012/4192956
[pid=10075] ppid=10073 vsize=560080 CPUtime=1800.04
/proc/10075/stat : 10075 (oree) R 10073 10075 10018 0 -1 4194304 129351 0 0 0 179944 60 0 0 25 0 1 0 175742472 573521920 129161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10075/statm: 140020 129161 139 317 0 139699 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 560080

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

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

[startup+1800.8 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 10274
/proc/meminfo: memFree=1069760/2055920 swapFree=4184012/4192956
[pid=10075] ppid=10073 vsize=542024 CPUtime=1800.24
/proc/10075/stat : 10075 (oree) R 10073 10075 10018 0 -1 4194304 129397 0 0 0 179964 60 0 0 25 0 1 0 175742472 555032576 126279 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135339169 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10075/statm: 135407 126229 155 317 0 135086 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 542024

Child status: 0
Real time (s): 1800.89
CPU time (s): 1800.32
CPU user time (s): 1799.64
CPU system time (s): 0.682896
CPU usage (%): 99.9688
Max. virtual memory (cumulated for all children) (KiB): 560224

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

runsolver used 1.34679 second user time and 3.64445 second system time

The end

Launcher Data (download as text)

Begin job on node65 on Thu Apr 19 15:45:29 UTC 2007

IDJOB= 365788
IDBENCH= 2567
IDSOLVER= 172
FILE ID= node65/365788-1176997528

PBS_JOBID= 4630485

Free space on /tmp= 66400 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-75-70.opb
COMMAND LINE= oree /tmp/evaluation/365788-1176997528/instance-365788-1176997528.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node65/watcher-365788-1176997528 -o ROOT/results/node65/solver-365788-1176997528 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/365788-1176997528/instance-365788-1176997528.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  51456bad41bf92f026526861ffdd231e

RANDOM SEED= 389203722

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node65.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.245
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.245
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:       1587984 kB
Buffers:         28576 kB
Cached:         389836 kB
SwapCached:       2712 kB
Active:         201488 kB
Inactive:       226132 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1587984 kB
SwapTotal:     4192956 kB
SwapFree:      4184012 kB
Dirty:            1588 kB
Writeback:           0 kB
Mapped:          15192 kB
Slab:            26324 kB
Committed_AS:  2284768 kB
PageTables:       1456 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= 66400 MiB

End job on node65 on Thu Apr 19 16:15:31 UTC 2007