Trace number 366082

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.42 1801.03

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-41-40.opb
MD5SUM2ea7e3b5e107f983d069c627d91480a3
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.014997
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables1640
Total number of constraints81
Number of constraints which are clauses41
Number of constraints which are cardinality constraints (but not clauses)40
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint40
Maximum length of a constraint41
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 42
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.00	c ...done
0.00/0.00	c #vars=1640 #constraints=81 hasObjective=no
0.00/0.00	c res. mode=mod
0.00/0.00	c VSIDS like heuristics
0.00/0.00	c complete search running
0.59/0.60	c restart after 401 decisions
0.69/0.76	c nbDecision=500 #constraints=498
1.69/1.72	c restart after 801 decisions
2.39/2.49	c nbDecision=1000 #constraints=959
5.29/5.34	c nbDecision=1500 #constraints=1453
6.08/6.12	c restart after 1601 decisions
9.89/9.94	c nbDecision=2000 #constraints=1913
15.99/16.03	c nbDecision=2500 #constraints=2412
24.48/24.54	c nbDecision=3000 #constraints=2907
28.68/28.76	c restart after 3201 decisions
34.98/35.01	c nbDecision=3500 #constraints=3371
47.07/47.20	c nbDecision=4000 #constraints=3871
62.37/62.44	c nbDecision=4500 #constraints=4368
80.86/80.99	c nbDecision=5000 #constraints=4863
101.46/101.51	c nbDecision=5500 #constraints=5360
119.45/119.57	c nbDecision=6000 #constraints=5859
136.25/136.40	c restart after 6401 decisions
140.94/141.08	c nbDecision=6500 #constraints=6321
169.83/169.99	c nbDecision=7000 #constraints=6814
199.33/199.45	c nbDecision=7500 #constraints=7312
235.01/235.17	c nbDecision=8000 #constraints=7810
269.79/269.97	c nbDecision=8500 #constraints=8306
308.58/308.72	c nbDecision=9000 #constraints=8804
344.37/344.53	c nbDecision=9500 #constraints=9294
390.76/390.95	c nbDecision=10000 #constraints=9793
435.74/435.92	c nbDecision=10500 #constraints=10291
484.13/484.35	c nbDecision=11000 #constraints=10791
534.31/534.53	c nbDecision=11500 #constraints=11286
584.89/585.13	c nbDecision=12000 #constraints=11774
640.88/641.12	c nbDecision=12500 #constraints=12271
678.66/678.92	c restart after 12801 decisions
699.85/700.11	c nbDecision=13000 #constraints=12732
758.53/758.81	c nbDecision=13500 #constraints=13228
819.11/819.42	c nbDecision=14000 #constraints=13726
883.69/884.02	c nbDecision=14500 #constraints=14224
947.77/948.11	c nbDecision=15000 #constraints=14717
1011.44/1011.86	c nbDecision=15500 #constraints=15217
1088.62/1089.01	c nbDecision=16000 #constraints=15716
1161.49/1161.90	c nbDecision=16500 #constraints=16212
1234.17/1234.63	c nbDecision=17000 #constraints=16712
1307.85/1308.32	c nbDecision=17500 #constraints=17209
1393.61/1394.17	c nbDecision=18000 #constraints=17709
1477.89/1478.45	c nbDecision=18500 #constraints=18209
1567.36/1567.90	c nbDecision=19000 #constraints=18706
1663.43/1664.08	c nbDecision=19500 #constraints=19199
1760.39/1761.06	c nbDecision=20000 #constraints=19696
1800.09/1800.71	Received signal 15
1800.28/1800.97	
1800.28/1800.97	s UNKNOWN
1800.28/1800.97	
1800.28/1800.97	c user time= 1799.83 s
1800.28/1800.97	c system time= 0.52492 s
1800.28/1800.97	c wall clock time=1800.97

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/node37/watcher-366082-1176998633 -o ROOT/results/node37/solver-366082-1176998633 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/366082-1176998633/instance-366082-1176998633.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.95 0.98 3/78 2401
/proc/meminfo: memFree=1659720/2055920 swapFree=4158988/4192956
[pid=2401] ppid=2399 vsize=1468 CPUtime=0
/proc/2401/stat : 2401 (oree) R 2399 2401 1411 0 -1 4194304 186 0 0 0 0 0 0 0 18 0 1 0 147775779 1503232 168 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2401/statm: 367 168 131 317 0 46 0

[startup+0.0298199 s]
/proc/loadavg: 0.91 0.95 0.98 3/78 2401
/proc/meminfo: memFree=1659720/2055920 swapFree=4158988/4192956
[pid=2401] ppid=2399 vsize=1864 CPUtime=0.02
/proc/2401/stat : 2401 (oree) R 2399 2401 1411 0 -1 4194304 299 0 0 0 2 0 0 0 18 0 1 0 147775779 1908736 281 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271349 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2401/statm: 466 281 139 317 0 145 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 1864

[startup+0.101835 s]
/proc/loadavg: 0.91 0.95 0.98 3/78 2401
/proc/meminfo: memFree=1659720/2055920 swapFree=4158988/4192956
[pid=2401] ppid=2399 vsize=2384 CPUtime=0.09
/proc/2401/stat : 2401 (oree) R 2399 2401 1411 0 -1 4194304 425 0 0 0 9 0 0 0 18 0 1 0 147775779 2441216 407 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272627 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2401/statm: 596 407 139 317 0 275 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2384

[startup+0.301872 s]
/proc/loadavg: 0.91 0.95 0.98 3/78 2401
/proc/meminfo: memFree=1659720/2055920 swapFree=4158988/4192956
[pid=2401] ppid=2399 vsize=3704 CPUtime=0.29
/proc/2401/stat : 2401 (oree) R 2399 2401 1411 0 -1 4194304 731 0 0 0 29 0 0 0 19 0 1 0 147775779 3792896 713 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2401/statm: 926 713 139 317 0 605 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3704

[startup+0.701948 s]
/proc/loadavg: 0.91 0.95 0.98 3/78 2401
/proc/meminfo: memFree=1659720/2055920 swapFree=4158988/4192956
[pid=2401] ppid=2399 vsize=5408 CPUtime=0.69
/proc/2401/stat : 2401 (oree) R 2399 2401 1411 0 -1 4194304 1165 0 0 0 69 0 0 0 23 0 1 0 147775779 5537792 1147 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2401/statm: 1352 1147 139 317 0 1031 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5408

[startup+1.5011 s]
/proc/loadavg: 0.91 0.95 0.98 2/79 2402
/proc/meminfo: memFree=1654080/2055920 swapFree=4158988/4192956
[pid=2401] ppid=2399 vsize=8704 CPUtime=1.49
/proc/2401/stat : 2401 (oree) R 2399 2401 1411 0 -1 4194304 1988 0 0 0 148 1 0 0 25 0 1 0 147775779 8912896 1970 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2401/statm: 2176 1970 139 317 0 1855 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8704

[startup+3.1014 s]
/proc/loadavg: 0.91 0.95 0.98 2/79 2402
/proc/meminfo: memFree=1650624/2055920 swapFree=4158988/4192956
[pid=2401] ppid=2399 vsize=13172 CPUtime=3.09
/proc/2401/stat : 2401 (oree) R 2399 2401 1411 0 -1 4194304 3108 0 0 0 308 1 0 0 25 0 1 0 147775779 13488128 3090 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2401/statm: 3293 3090 139 317 0 2972 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13172

[startup+6.302 s]
/proc/loadavg: 0.92 0.95 0.98 2/79 2402
/proc/meminfo: memFree=1643136/2055920 swapFree=4158988/4192956
[pid=2401] ppid=2399 vsize=18728 CPUtime=6.28
/proc/2401/stat : 2401 (oree) R 2399 2401 1411 0 -1 4194304 4496 0 0 0 627 1 0 0 25 0 1 0 147775779 19177472 4478 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2401/statm: 4682 4478 139 317 0 4361 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 18728

[startup+12.7012 s]
/proc/loadavg: 0.93 0.95 0.98 2/79 2402
/proc/meminfo: memFree=1633536/2055920 swapFree=4158988/4192956
[pid=2401] ppid=2399 vsize=28192 CPUtime=12.68
/proc/2401/stat : 2401 (oree) R 2399 2401 1411 0 -1 4194304 6779 0 0 0 1266 2 0 0 25 0 1 0 147775779 28868608 6761 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2401/statm: 7048 6761 139 317 0 6727 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 28192

[startup+25.5016 s]
/proc/loadavg: 0.94 0.96 0.98 2/79 2402
/proc/meminfo: memFree=1620864/2055920 swapFree=4158988/4192956
[pid=2401] ppid=2399 vsize=40488 CPUtime=25.48
/proc/2401/stat : 2401 (oree) R 2399 2401 1411 0 -1 4194304 9822 0 0 0 2545 3 0 0 25 0 1 0 147775779 41459712 9804 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2401/statm: 10122 9804 139 317 0 9801 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 40488

[startup+51.1015 s]
/proc/loadavg: 0.96 0.96 0.98 2/79 2402
/proc/meminfo: memFree=1603840/2055920 swapFree=4158988/4192956
[pid=2401] ppid=2399 vsize=58700 CPUtime=51.08
/proc/2401/stat : 2401 (oree) R 2399 2401 1411 0 -1 4194304 14116 0 0 0 5102 6 0 0 25 0 1 0 147775779 60108800 14098 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2401/statm: 14675 14098 139 317 0 14354 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 58700

[startup+102.305 s]
/proc/loadavg: 0.98 0.96 0.98 2/79 2402
/proc/meminfo: memFree=1579392/2055920 swapFree=4158988/4192956
[pid=2401] ppid=2399 vsize=83044 CPUtime=102.26
/proc/2401/stat : 2401 (oree) R 2399 2401 1411 0 -1 4194304 20121 0 0 0 10217 9 0 0 25 0 1 0 147775779 85037056 20103 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2401/statm: 20761 20103 139 317 0 20440 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 83044

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/79 2402
/proc/meminfo: memFree=1560640/2055920 swapFree=4158988/4192956
[pid=2401] ppid=2399 vsize=102748 CPUtime=162.24
/proc/2401/stat : 2401 (oree) R 2399 2401 1411 0 -1 4194304 24844 0 0 0 16211 13 0 0 25 0 1 0 147775779 105213952 24826 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2401/statm: 25687 24826 139 317 0 25366 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 102748

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/79 2402
/proc/meminfo: memFree=1544576/2055920 swapFree=4158988/4192956
[pid=2401] ppid=2399 vsize=120288 CPUtime=222.21
/proc/2401/stat : 2401 (oree) R 2399 2401 1411 0 -1 4194304 28796 0 0 0 22206 15 0 0 25 0 1 0 147775779 123174912 28778 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2401/statm: 30072 28778 139 317 0 29751 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 120288

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/79 2402
/proc/meminfo: memFree=1528768/2055920 swapFree=4158988/4192956
[pid=2401] ppid=2399 vsize=138632 CPUtime=282.19
/proc/2401/stat : 2401 (oree) R 2399 2401 1411 0 -1 4194304 32852 0 0 0 28202 17 0 0 25 0 1 0 147775779 141959168 32777 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2401/statm: 34658 32777 139 317 0 34337 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 138632

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/79 2402
/proc/meminfo: memFree=1517056/2055920 swapFree=4158988/4192956
[pid=2401] ppid=2399 vsize=149832 CPUtime=342.17
/proc/2401/stat : 2401 (oree) R 2399 2401 1411 0 -1 4194304 35741 0 0 0 34198 19 0 0 25 0 1 0 147775779 153427968 35666 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2401/statm: 37458 35666 139 317 0 37137 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 149832

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/79 2402
/proc/meminfo: memFree=1507520/2055920 swapFree=4158988/4192956
[pid=2401] ppid=2399 vsize=159488 CPUtime=402.16
/proc/2401/stat : 2401 (oree) R 2399 2401 1411 0 -1 4194304 38134 0 0 0 40195 21 0 0 25 0 1 0 147775779 163315712 38059 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2401/statm: 39872 38059 139 317 0 39551 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 159488

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/79 2402
/proc/meminfo: memFree=1497088/2055920 swapFree=4158988/4192956
[pid=2401] ppid=2399 vsize=169800 CPUtime=462.13
/proc/2401/stat : 2401 (oree) R 2399 2401 1411 0 -1 4194304 40720 0 0 0 46190 23 0 0 25 0 1 0 147775779 173875200 40645 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2401/statm: 42450 40645 139 317 0 42129 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 169800

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/79 2402
/proc/meminfo: memFree=1486208/2055920 swapFree=4158988/4192956
[pid=2401] ppid=2399 vsize=181620 CPUtime=522.12
/proc/2401/stat : 2401 (oree) R 2399 2401 1411 0 -1 4194304 43480 0 0 0 52187 25 0 0 25 0 1 0 147775779 185978880 43405 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2401/statm: 45405 43405 139 317 0 45084 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 181620

[startup+582.303 s]
/proc/loadavg: 0.99 0.97 0.98 2/79 2402
/proc/meminfo: memFree=1477824/2055920 swapFree=4158988/4192956
[pid=2401] ppid=2399 vsize=189244 CPUtime=582.09
/proc/2401/stat : 2401 (oree) R 2399 2401 1411 0 -1 4194304 45520 0 0 0 58183 26 0 0 25 0 1 0 147775779 193785856 45445 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2401/statm: 47311 45445 139 317 0 46990 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 189244

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/79 2402
/proc/meminfo: memFree=1469504/2055920 swapFree=4158988/4192956
[pid=2401] ppid=2399 vsize=196984 CPUtime=642.08
/proc/2401/stat : 2401 (oree) R 2399 2401 1411 0 -1 4194304 47601 0 0 0 64180 28 0 0 25 0 1 0 147775779 201711616 47526 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2401/statm: 49246 47526 139 317 0 48925 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 196984


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

[startup+882.301 s]
/proc/loadavg: 1.01 1.00 0.99 2/79 2402
/proc/meminfo: memFree=1435712/2055920 swapFree=4158988/4192956
[pid=2401] ppid=2399 vsize=235220 CPUtime=881.99
/proc/2401/stat : 2401 (oree) R 2399 2401 1411 0 -1 4194304 56030 0 0 0 88166 33 0 0 25 0 1 0 147775779 240865280 55955 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2401/statm: 58805 55955 139 317 0 58484 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 235220

[startup+942.302 s]
/proc/loadavg: 1.04 1.01 1.00 2/79 2402
/proc/meminfo: memFree=1427072/2055920 swapFree=4158988/4192956
[pid=2401] ppid=2399 vsize=245888 CPUtime=941.97
/proc/2401/stat : 2401 (oree) R 2399 2401 1411 0 -1 4194304 58171 0 0 0 94162 35 0 0 25 0 1 0 147775779 251789312 58096 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2401/statm: 61472 58096 139 317 0 61151 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 245888

[startup+1002.3 s]
/proc/loadavg: 1.05 1.02 1.00 2/79 2402
/proc/meminfo: memFree=1419840/2055920 swapFree=4158988/4192956
[pid=2401] ppid=2399 vsize=253092 CPUtime=1001.95
/proc/2401/stat : 2401 (oree) R 2399 2401 1411 0 -1 4194304 59997 0 0 0 100159 36 0 0 25 0 1 0 147775779 259166208 59922 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2401/statm: 63273 59922 139 317 0 62952 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 253092

[startup+1062.3 s]
/proc/loadavg: 1.05 1.03 1.00 2/79 2402
/proc/meminfo: memFree=1413248/2055920 swapFree=4158988/4192956
[pid=2401] ppid=2399 vsize=260520 CPUtime=1061.92
/proc/2401/stat : 2401 (oree) R 2399 2401 1411 0 -1 4194304 61672 0 0 0 106155 37 0 0 25 0 1 0 147775779 266772480 61597 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2401/statm: 65130 61597 139 317 0 64809 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 260520

[startup+1122.3 s]
/proc/loadavg: 1.13 1.05 1.01 2/79 2402
/proc/meminfo: memFree=1406272/2055920 swapFree=4158988/4192956
[pid=2401] ppid=2399 vsize=267264 CPUtime=1121.91
/proc/2401/stat : 2401 (oree) R 2399 2401 1411 0 -1 4194304 63380 0 0 0 112152 39 0 0 25 0 1 0 147775779 273678336 63305 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2401/statm: 66816 63305 139 317 0 66495 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 267264

[startup+1182.3 s]
/proc/loadavg: 1.12 1.06 1.00 2/79 2402
/proc/meminfo: memFree=1398784/2055920 swapFree=4158988/4192956
[pid=2401] ppid=2399 vsize=275576 CPUtime=1181.89
/proc/2401/stat : 2401 (oree) R 2399 2401 1411 0 -1 4194304 65253 0 0 0 118148 41 0 0 25 0 1 0 147775779 282189824 65178 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2401/statm: 68894 65178 139 317 0 68573 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 275576

[startup+1242.3 s]
/proc/loadavg: 1.11 1.06 1.00 2/79 2402
/proc/meminfo: memFree=1391808/2055920 swapFree=4158988/4192956
[pid=2401] ppid=2399 vsize=282880 CPUtime=1241.87
/proc/2401/stat : 2401 (oree) R 2399 2401 1411 0 -1 4194304 67099 0 0 0 124145 42 0 0 25 0 1 0 147775779 289669120 66911 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2401/statm: 70720 66911 139 317 0 70399 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 282880

[startup+1302.3 s]
/proc/loadavg: 1.10 1.06 1.00 2/79 2402
/proc/meminfo: memFree=1385152/2055920 swapFree=4158988/4192956
[pid=2401] ppid=2399 vsize=289104 CPUtime=1301.85
/proc/2401/stat : 2401 (oree) R 2399 2401 1411 0 -1 4194304 68729 0 0 0 130142 43 0 0 25 0 1 0 147775779 296042496 68541 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718428 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2401/statm: 72276 68541 139 317 0 71955 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 289104

[startup+1362.3 s]
/proc/loadavg: 1.04 1.05 1.00 2/79 2402
/proc/meminfo: memFree=1378624/2055920 swapFree=4158988/4192956
[pid=2401] ppid=2399 vsize=296412 CPUtime=1361.83
/proc/2401/stat : 2401 (oree) R 2399 2401 1411 0 -1 4194304 70363 0 0 0 136139 44 0 0 25 0 1 0 147775779 303525888 70175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2401/statm: 74103 70175 139 317 0 73782 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 296412

[startup+1422.31 s]
/proc/loadavg: 1.01 1.04 1.00 2/79 2402
/proc/meminfo: memFree=1372864/2055920 swapFree=4158988/4192956
[pid=2401] ppid=2399 vsize=301700 CPUtime=1421.81
/proc/2401/stat : 2401 (oree) R 2399 2401 1411 0 -1 4194304 71786 0 0 0 142136 45 0 0 25 0 1 0 147775779 308940800 71598 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711055 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2401/statm: 75425 71598 139 317 0 75104 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 301700

[startup+1482.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/79 2402
/proc/meminfo: memFree=1366656/2055920 swapFree=4158988/4192956
[pid=2401] ppid=2399 vsize=307644 CPUtime=1481.78
/proc/2401/stat : 2401 (oree) R 2399 2401 1411 0 -1 4194304 73357 0 0 0 148132 46 0 0 25 0 1 0 147775779 315027456 73169 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2401/statm: 76911 73169 139 317 0 76590 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 307644

[startup+1542.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/79 2402
/proc/meminfo: memFree=1360256/2055920 swapFree=4158988/4192956
[pid=2401] ppid=2399 vsize=314928 CPUtime=1541.77
/proc/2401/stat : 2401 (oree) R 2399 2401 1411 0 -1 4194304 74936 0 0 0 154129 48 0 0 25 0 1 0 147775779 322486272 74748 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2401/statm: 78732 74748 139 317 0 78411 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 314928

[startup+1602.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/79 2402
/proc/meminfo: memFree=1352512/2055920 swapFree=4158988/4192956
[pid=2401] ppid=2399 vsize=324932 CPUtime=1601.75
/proc/2401/stat : 2401 (oree) R 2399 2401 1411 0 -1 4194304 76858 0 0 0 160126 49 0 0 25 0 1 0 147775779 332730368 76670 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2401/statm: 81233 76670 139 317 0 80912 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 324932

[startup+1662.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/79 2402
/proc/meminfo: memFree=1347328/2055920 swapFree=4158988/4192956
[pid=2401] ppid=2399 vsize=329828 CPUtime=1661.73
/proc/2401/stat : 2401 (oree) R 2399 2401 1411 0 -1 4194304 78156 0 0 0 166123 50 0 0 25 0 1 0 147775779 337743872 77968 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2401/statm: 82457 77968 139 317 0 82136 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 329828

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 2402
/proc/meminfo: memFree=1341888/2055920 swapFree=4158988/4192956
[pid=2401] ppid=2399 vsize=335568 CPUtime=1721.71
/proc/2401/stat : 2401 (oree) R 2399 2401 1411 0 -1 4194304 79526 0 0 0 172120 51 0 0 25 0 1 0 147775779 343621632 79338 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563639 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2401/statm: 83892 79338 139 317 0 83571 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 335568

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 2402
/proc/meminfo: memFree=1336896/2055920 swapFree=4158988/4192956
[pid=2401] ppid=2399 vsize=340280 CPUtime=1781.69
/proc/2401/stat : 2401 (oree) R 2399 2401 1411 0 -1 4194304 80755 0 0 0 178117 52 0 0 25 0 1 0 147775779 348446720 80567 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563622 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2401/statm: 85070 80567 139 317 0 84749 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 340280



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 2402
/proc/meminfo: memFree=1335424/2055920 swapFree=4158988/4192956
[pid=2401] ppid=2399 vsize=341732 CPUtime=1800.09
/proc/2401/stat : 2401 (oree) R 2399 2401 1411 0 -1 4194304 81124 0 0 0 179957 52 0 0 25 0 1 0 147775779 349933568 80936 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2401/statm: 85433 80936 139 317 0 85112 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 341732

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: 1.00 1.00 1.00 2/79 2402
/proc/meminfo: memFree=1335424/2055920 swapFree=4158988/4192956
[pid=2401] ppid=2399 vsize=0 CPUtime=1800.37
/proc/2401/stat : 2401 (oree) R 2399 2401 1411 0 -1 4194308 81147 0 0 0 179983 54 0 0 25 0 1 0 147775779 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2401/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.37
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1801.03
CPU time (s): 1800.42
CPU user time (s): 1799.84
CPU system time (s): 0.578911
CPU usage (%): 99.9658
Max. virtual memory (cumulated for all children) (KiB): 341732

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

runsolver used 1.80073 second user time and 4.76128 second system time

The end

Launcher Data (download as text)

Begin job on node37 on Thu Apr 19 16:03:53 UTC 2007

IDJOB= 366082
IDBENCH= 2604
IDSOLVER= 172
FILE ID= node37/366082-1176998633

PBS_JOBID= 4630446

Free space on /tmp= 66415 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-41-40.opb
COMMAND LINE= oree /tmp/evaluation/366082-1176998633/instance-366082-1176998633.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node37/watcher-366082-1176998633 -o ROOT/results/node37/solver-366082-1176998633 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/366082-1176998633/instance-366082-1176998633.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  2ea7e3b5e107f983d069c627d91480a3

RANDOM SEED= 780445571

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node37.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:       1660192 kB
Buffers:         42316 kB
Cached:         258720 kB
SwapCached:       2516 kB
Active:          99092 kB
Inactive:       226848 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1660192 kB
SwapTotal:     4192956 kB
SwapFree:      4158988 kB
Dirty:            1352 kB
Writeback:           0 kB
Mapped:          32520 kB
Slab:            55144 kB
Committed_AS:  1143040 kB
PageTables:       2000 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= 66415 MiB

End job on node37 on Thu Apr 19 16:33:56 UTC 2007