Trace number 365858

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.23 1800.85

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-85-80.opb
MD5SUMa4a494535709e59392e65403b829113d
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.05999
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables6800
Total number of constraints165
Number of constraints which are clauses85
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint80
Maximum length of a constraint85
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 86
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=6800 #constraints=165 hasObjective=no
0.00/0.03	c res. mode=mod
0.00/0.03	c VSIDS like heuristics
0.00/0.03	c complete search running
1.00/1.06	c restart after 401 decisions
1.19/1.22	c nbDecision=500 #constraints=505
2.59/2.63	c restart after 801 decisions
3.59/3.62	c nbDecision=1000 #constraints=919
8.08/8.13	c nbDecision=1500 #constraints=1412
9.28/9.39	c restart after 1601 decisions
14.38/14.48	c nbDecision=2000 #constraints=1835
23.18/23.21	c nbDecision=2500 #constraints=2332
34.68/34.77	c nbDecision=3000 #constraints=2831
40.37/40.47	c restart after 3201 decisions
48.38/48.47	c nbDecision=3500 #constraints=3254
65.37/65.46	c nbDecision=4000 #constraints=3750
85.96/86.06	c nbDecision=4500 #constraints=4243
110.56/110.61	c nbDecision=5000 #constraints=4742
133.05/133.17	c nbDecision=5500 #constraints=5228
157.35/157.46	c nbDecision=6000 #constraints=5718
179.74/179.85	c restart after 6401 decisions
184.94/185.00	c nbDecision=6500 #constraints=6136
219.52/219.61	c nbDecision=7000 #constraints=6633
257.51/257.60	c nbDecision=7500 #constraints=7126
296.90/297.09	c nbDecision=8000 #constraints=7615
333.40/333.50	c nbDecision=8500 #constraints=8109
377.28/377.43	c nbDecision=9000 #constraints=8605
425.07/425.27	c nbDecision=9500 #constraints=9101
472.46/472.67	c nbDecision=10000 #constraints=9595
527.44/527.65	c nbDecision=10500 #constraints=10089
584.43/584.63	c nbDecision=11000 #constraints=10583
646.42/646.71	c nbDecision=11500 #constraints=11075
710.98/711.32	c nbDecision=12000 #constraints=11570
778.77/779.19	c nbDecision=12500 #constraints=12061
823.46/823.82	c restart after 12801 decisions
849.95/850.39	c nbDecision=13000 #constraints=12483
927.22/927.65	c nbDecision=13500 #constraints=12981
994.80/995.25	c nbDecision=14000 #constraints=13478
1069.58/1070.02	c nbDecision=14500 #constraints=13972
1149.36/1149.84	c nbDecision=15000 #constraints=14466
1233.13/1233.66	c nbDecision=15500 #constraints=14963
1311.91/1312.41	c nbDecision=16000 #constraints=15461
1398.39/1398.93	c nbDecision=16500 #constraints=15955
1489.16/1489.73	c nbDecision=17000 #constraints=16446
1583.44/1584.03	c nbDecision=17500 #constraints=16944
1683.51/1684.17	c nbDecision=18000 #constraints=17439
1786.87/1787.51	c nbDecision=18500 #constraints=17933
1800.08/1800.70	Received signal 15
1800.08/1800.74	
1800.08/1800.74	s UNKNOWN
1800.08/1800.74	
1800.08/1800.74	c user time= 1799.39 s
1800.08/1800.74	c system time= 0.742887 s
1800.08/1800.74	c wall clock time=1800.75

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/node71/watcher-365858-1176997847 -o ROOT/results/node71/solver-365858-1176997847 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/365858-1176997847/instance-365858-1176997847.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.92 0.98 0.99 3/64 1350
/proc/meminfo: memFree=1170048/2055920 swapFree=4184232/4192956
[pid=1350] ppid=1348 vsize=1468 CPUtime=0
/proc/1350/stat : 1350 (oree) R 1348 1350 631 0 -1 4194304 184 0 0 0 0 0 0 0 18 0 1 0 175774052 1503232 166 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1350/statm: 367 166 130 317 0 46 0

[startup+0.0460311 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 1350
/proc/meminfo: memFree=1170048/2055920 swapFree=4184232/4192956
[pid=1350] ppid=1348 vsize=2704 CPUtime=0.04
/proc/1350/stat : 1350 (oree) R 1348 1350 631 0 -1 4194304 491 0 0 0 4 0 0 0 18 0 1 0 175774052 2768896 473 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1350/statm: 676 473 138 317 0 355 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2704

[startup+0.101037 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 1350
/proc/meminfo: memFree=1170048/2055920 swapFree=4184232/4192956
[pid=1350] ppid=1348 vsize=3108 CPUtime=0.09
/proc/1350/stat : 1350 (oree) R 1348 1350 631 0 -1 4194304 608 0 0 0 9 0 0 0 18 0 1 0 175774052 3182592 590 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604423 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1350/statm: 777 590 139 317 0 456 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3108

[startup+0.301064 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 1350
/proc/meminfo: memFree=1170048/2055920 swapFree=4184232/4192956
[pid=1350] ppid=1348 vsize=4428 CPUtime=0.29
/proc/1350/stat : 1350 (oree) R 1348 1350 631 0 -1 4194304 932 0 0 0 29 0 0 0 19 0 1 0 175774052 4534272 914 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1350/statm: 1107 914 139 317 0 786 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4428

[startup+0.701119 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 1350
/proc/meminfo: memFree=1170048/2055920 swapFree=4184232/4192956
[pid=1350] ppid=1348 vsize=6916 CPUtime=0.69
/proc/1350/stat : 1350 (oree) R 1348 1350 631 0 -1 4194304 1537 0 0 0 69 0 0 0 23 0 1 0 175774052 7081984 1519 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563665 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1350/statm: 1729 1519 139 317 0 1408 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6916

[startup+1.50123 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 1351
/proc/meminfo: memFree=1163064/2055920 swapFree=4184232/4192956
[pid=1350] ppid=1348 vsize=10456 CPUtime=1.49
/proc/1350/stat : 1350 (oree) R 1348 1350 631 0 -1 4194304 2400 0 0 0 149 0 0 0 25 0 1 0 175774052 10706944 2382 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1350/statm: 2614 2382 139 317 0 2293 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10456

[startup+3.10145 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 1351
/proc/meminfo: memFree=1158008/2055920 swapFree=4184232/4192956
[pid=1350] ppid=1348 vsize=15980 CPUtime=3.09
/proc/1350/stat : 1350 (oree) R 1348 1350 631 0 -1 4194304 3733 0 0 0 308 1 0 0 25 0 1 0 175774052 16363520 3715 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135279015 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1350/statm: 3995 3715 139 317 0 3674 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15980

[startup+6.30188 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 1351
/proc/meminfo: memFree=1147832/2055920 swapFree=4184232/4192956
[pid=1350] ppid=1348 vsize=26272 CPUtime=6.29
/proc/1350/stat : 1350 (oree) R 1348 1350 631 0 -1 4194304 6226 0 0 0 627 2 0 0 25 0 1 0 175774052 26902528 6208 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712518 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1350/statm: 6568 6208 139 317 0 6247 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26272

[startup+12.7028 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 1351
/proc/meminfo: memFree=1136136/2055920 swapFree=4184232/4192956
[pid=1350] ppid=1348 vsize=37828 CPUtime=12.69
/proc/1350/stat : 1350 (oree) R 1348 1350 631 0 -1 4194304 9021 0 0 0 1266 3 0 0 25 0 1 0 175774052 38735872 9003 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1350/statm: 9457 9003 139 317 0 9136 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 37828

[startup+25.5015 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 1351
/proc/meminfo: memFree=1113104/2055920 swapFree=4184232/4192956
[pid=1350] ppid=1348 vsize=60664 CPUtime=25.48
/proc/1350/stat : 1350 (oree) R 1348 1350 631 0 -1 4194304 14380 0 0 0 2543 5 0 0 25 0 1 0 175774052 62119936 14362 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1350/statm: 15166 14362 139 317 0 14845 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 60664

[startup+51.102 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 1351
/proc/meminfo: memFree=1087696/2055920 swapFree=4184232/4192956
[pid=1350] ppid=1348 vsize=86904 CPUtime=51.08
/proc/1350/stat : 1350 (oree) R 1348 1350 631 0 -1 4194304 20740 0 0 0 5099 9 0 0 25 0 1 0 175774052 88989696 20722 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1350/statm: 21726 20722 139 317 0 21405 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 86904

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 1351
/proc/meminfo: memFree=1044560/2055920 swapFree=4184232/4192956
[pid=1350] ppid=1348 vsize=134996 CPUtime=102.26
/proc/1350/stat : 1350 (oree) R 1348 1350 631 0 -1 4194304 31395 0 0 0 10213 13 0 0 25 0 1 0 175774052 138235904 31377 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1350/statm: 33749 31377 139 317 0 33428 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 134996

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 1351
/proc/meminfo: memFree=1010448/2055920 swapFree=4184232/4192956
[pid=1350] ppid=1348 vsize=169016 CPUtime=162.24
/proc/1350/stat : 1350 (oree) R 1348 1350 631 0 -1 4194304 39973 0 0 0 16206 18 0 0 25 0 1 0 175774052 173072384 39955 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1350/statm: 42254 39955 139 317 0 41933 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 169016

[startup+222.301 s]
/proc/loadavg: 1.04 1.00 1.00 2/65 1351
/proc/meminfo: memFree=983632/2055920 swapFree=4184232/4192956
[pid=1350] ppid=1348 vsize=196892 CPUtime=222.23
/proc/1350/stat : 1350 (oree) R 1348 1350 631 0 -1 4194304 46579 0 0 0 22202 21 0 0 25 0 1 0 175774052 201617408 46561 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1350/statm: 49223 46561 139 317 0 48902 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 196892

[startup+282.301 s]
/proc/loadavg: 1.05 1.01 1.00 2/65 1351
/proc/meminfo: memFree=954576/2055920 swapFree=4184232/4192956
[pid=1350] ppid=1348 vsize=231868 CPUtime=282.21
/proc/1350/stat : 1350 (oree) R 1348 1350 631 0 -1 4194304 53888 0 0 0 28197 24 0 0 25 0 1 0 175774052 237432832 53870 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1350/statm: 57967 53870 139 317 0 57646 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 231868

[startup+342.302 s]
/proc/loadavg: 1.05 1.02 1.00 2/65 1351
/proc/meminfo: memFree=932560/2055920 swapFree=4184232/4192956
[pid=1350] ppid=1348 vsize=255036 CPUtime=342.19
/proc/1350/stat : 1350 (oree) R 1348 1350 631 0 -1 4194304 59313 0 0 0 34192 27 0 0 25 0 1 0 175774052 261156864 59295 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1350/statm: 63759 59295 139 317 0 63438 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 255036

[startup+402.302 s]
/proc/loadavg: 1.05 1.03 1.00 2/65 1351
/proc/meminfo: memFree=912912/2055920 swapFree=4184232/4192956
[pid=1350] ppid=1348 vsize=276084 CPUtime=402.18
/proc/1350/stat : 1350 (oree) R 1348 1350 631 0 -1 4194304 64286 0 0 0 40188 30 0 0 25 0 1 0 175774052 282710016 64210 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1350/statm: 69021 64210 139 317 0 68700 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 276084

[startup+462.301 s]
/proc/loadavg: 1.02 1.02 1.00 2/65 1351
/proc/meminfo: memFree=894608/2055920 swapFree=4184232/4192956
[pid=1350] ppid=1348 vsize=295200 CPUtime=462.15
/proc/1350/stat : 1350 (oree) R 1348 1350 631 0 -1 4194304 68835 0 0 0 46183 32 0 0 25 0 1 0 175774052 302284800 68759 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1350/statm: 73800 68759 139 317 0 73479 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 295200

[startup+522.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 1351
/proc/meminfo: memFree=876176/2055920 swapFree=4184232/4192956
[pid=1350] ppid=1348 vsize=316800 CPUtime=522.14
/proc/1350/stat : 1350 (oree) R 1348 1350 631 0 -1 4194304 73481 0 0 0 52179 35 0 0 25 0 1 0 175774052 324403200 73405 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1350/statm: 79200 73405 139 317 0 78879 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 316800

[startup+582.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 1351
/proc/meminfo: memFree=860944/2055920 swapFree=4184232/4192956
[pid=1350] ppid=1348 vsize=331020 CPUtime=582.12
/proc/1350/stat : 1350 (oree) R 1348 1350 631 0 -1 4194304 77261 0 0 0 58175 37 0 0 25 0 1 0 175774052 338964480 77185 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563622 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1350/statm: 82755 77185 139 317 0 82434 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 331020

[startup+642.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/71 1507
/proc/meminfo: memFree=846152/2055920 swapFree=4184232/4192956
[pid=1350] ppid=1348 vsize=344460 CPUtime=642.02
/proc/1350/stat : 1350 (oree) R 1348 1350 631 0 -1 4194304 80583 0 0 0 64161 41 0 0 25 0 1 0 175774052 352727040 80507 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711130 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1350/statm: 86115 80507 139 317 0 85794 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 344460


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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1549
/proc/meminfo: memFree=788816/2055920 swapFree=4184232/4192956
[pid=1350] ppid=1348 vsize=404184 CPUtime=881.93
/proc/1350/stat : 1350 (oree) R 1348 1350 631 0 -1 4194304 95156 0 0 0 88144 49 0 0 25 0 1 0 175774052 413884416 95080 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1350/statm: 101046 95080 139 317 0 100725 0
Current children cumulated CPU time (s) 881.93
Current children cumulated vsize (KiB) 404184

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1549
/proc/meminfo: memFree=768464/2055920 swapFree=4184232/4192956
[pid=1350] ppid=1348 vsize=431032 CPUtime=941.92
/proc/1350/stat : 1350 (oree) R 1348 1350 631 0 -1 4194304 100287 0 0 0 94141 51 0 0 25 0 1 0 175774052 441376768 100211 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1350/statm: 107758 100211 139 317 0 107437 0
Current children cumulated CPU time (s) 941.92
Current children cumulated vsize (KiB) 431032

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1549
/proc/meminfo: memFree=750864/2055920 swapFree=4184232/4192956
[pid=1350] ppid=1348 vsize=452984 CPUtime=1001.9
/proc/1350/stat : 1350 (oree) R 1348 1350 631 0 -1 4194304 104644 0 0 0 100138 52 0 0 25 0 1 0 175774052 463855616 104568 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1350/statm: 113246 104568 139 317 0 112925 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 452984

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1549
/proc/meminfo: memFree=738832/2055920 swapFree=4184232/4192956
[pid=1350] ppid=1348 vsize=464776 CPUtime=1061.89
/proc/1350/stat : 1350 (oree) R 1348 1350 631 0 -1 4194304 107662 0 0 0 106135 54 0 0 25 0 1 0 175774052 475930624 107586 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1350/statm: 116194 107586 139 317 0 115873 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 464776

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1549
/proc/meminfo: memFree=725136/2055920 swapFree=4184232/4192956
[pid=1350] ppid=1348 vsize=481184 CPUtime=1121.87
/proc/1350/stat : 1350 (oree) R 1348 1350 631 0 -1 4194304 111093 0 0 0 112131 56 0 0 25 0 1 0 175774052 492732416 111017 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716169 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1350/statm: 120296 111017 139 317 0 119975 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 481184

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1549
/proc/meminfo: memFree=713488/2055920 swapFree=4184232/4192956
[pid=1350] ppid=1348 vsize=492904 CPUtime=1181.85
/proc/1350/stat : 1350 (oree) R 1348 1350 631 0 -1 4194304 114064 0 0 0 118128 57 0 0 25 0 1 0 175774052 504733696 113988 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1350/statm: 123226 113988 139 317 0 122905 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 492904

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1549
/proc/meminfo: memFree=698704/2055920 swapFree=4184232/4192956
[pid=1350] ppid=1348 vsize=510208 CPUtime=1241.83
/proc/1350/stat : 1350 (oree) R 1348 1350 631 0 -1 4194304 117695 0 0 0 124124 59 0 0 25 0 1 0 175774052 522452992 117619 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563647 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1350/statm: 127552 117619 139 317 0 127231 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 510208

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1549
/proc/meminfo: memFree=688656/2055920 swapFree=4184232/4192956
[pid=1350] ppid=1348 vsize=520300 CPUtime=1301.82
/proc/1350/stat : 1350 (oree) R 1348 1350 631 0 -1 4194304 120199 0 0 0 130121 61 0 0 25 0 1 0 175774052 532787200 120123 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1350/statm: 130075 120123 139 317 0 129754 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 520300

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1549
/proc/meminfo: memFree=673936/2055920 swapFree=4184232/4192956
[pid=1350] ppid=1348 vsize=539884 CPUtime=1361.79
/proc/1350/stat : 1350 (oree) R 1348 1350 631 0 -1 4194304 123904 0 0 0 136117 62 0 0 25 0 1 0 175774052 552841216 123828 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1350/statm: 134971 123828 139 317 0 134650 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 539884

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1549
/proc/meminfo: memFree=663312/2055920 swapFree=4184232/4192956
[pid=1350] ppid=1348 vsize=550476 CPUtime=1421.79
/proc/1350/stat : 1350 (oree) R 1348 1350 631 0 -1 4194304 126529 0 0 0 142115 64 0 0 25 0 1 0 175774052 563687424 126453 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1350/statm: 137619 126453 139 317 0 137298 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 550476

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1549
/proc/meminfo: memFree=650256/2055920 swapFree=4184232/4192956
[pid=1350] ppid=1348 vsize=565868 CPUtime=1481.76
/proc/1350/stat : 1350 (oree) R 1348 1350 631 0 -1 4194304 129806 0 0 0 148110 66 0 0 25 0 1 0 175774052 579448832 129730 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1350/statm: 141467 129730 139 317 0 141146 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 565868

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1549
/proc/meminfo: memFree=638096/2055920 swapFree=4184232/4192956
[pid=1350] ppid=1348 vsize=581260 CPUtime=1541.75
/proc/1350/stat : 1350 (oree) R 1348 1350 631 0 -1 4194304 132944 0 0 0 154107 68 0 0 25 0 1 0 175774052 595210240 132754 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563625 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1350/statm: 145315 132754 139 317 0 144994 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 581260

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1549
/proc/meminfo: memFree=628176/2055920 swapFree=4184232/4192956
[pid=1350] ppid=1348 vsize=590792 CPUtime=1601.73
/proc/1350/stat : 1350 (oree) R 1348 1350 631 0 -1 4194304 135434 0 0 0 160104 69 0 0 25 0 1 0 175774052 604971008 135244 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1350/statm: 147698 135244 139 317 0 147377 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 590792

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1549
/proc/meminfo: memFree=618640/2055920 swapFree=4184232/4192956
[pid=1350] ppid=1348 vsize=600228 CPUtime=1661.71
/proc/1350/stat : 1350 (oree) R 1348 1350 631 0 -1 4194304 137816 0 0 0 166101 70 0 0 25 0 1 0 175774052 614633472 137626 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134714116 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1350/statm: 150057 137626 139 317 0 149736 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 600228

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1549
/proc/meminfo: memFree=609168/2055920 swapFree=4184232/4192956
[pid=1350] ppid=1348 vsize=610000 CPUtime=1721.69
/proc/1350/stat : 1350 (oree) R 1348 1350 631 0 -1 4194304 140169 0 0 0 172098 71 0 0 25 0 1 0 175774052 624640000 139979 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1350/statm: 152500 139979 139 317 0 152179 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 610000

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1549
/proc/meminfo: memFree=598864/2055920 swapFree=4184232/4192956
[pid=1350] ppid=1348 vsize=619924 CPUtime=1781.67
/proc/1350/stat : 1350 (oree) R 1348 1350 631 0 -1 4194304 142717 0 0 0 178094 73 0 0 25 0 1 0 175774052 634802176 142527 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1350/statm: 154981 142527 139 317 0 154660 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 619924



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1549
/proc/meminfo: memFree=595728/2055920 swapFree=4184232/4192956
[pid=1350] ppid=1348 vsize=622928 CPUtime=1800.08
/proc/1350/stat : 1350 (oree) R 1348 1350 631 0 -1 4194304 143496 0 0 0 179934 74 0 0 25 0 1 0 175774052 637878272 143306 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1350/statm: 155732 143306 139 317 0 155411 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 622928

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 1.00 2/65 1549
/proc/meminfo: memFree=595728/2055920 swapFree=4184232/4192956
[pid=1350] ppid=1348 vsize=0 CPUtime=1800.17
/proc/1350/stat : 1350 (oree) R 1348 1350 631 0 -1 4194308 143512 0 0 0 179938 79 0 0 25 0 1 0 175774052 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1350/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.85
CPU time (s): 1800.23
CPU user time (s): 1799.39
CPU system time (s): 0.835872
CPU usage (%): 99.9654
Max. virtual memory (cumulated for all children) (KiB): 622928

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

runsolver used 1.37479 second user time and 3.60845 second system time

The end

Launcher Data (download as text)

Begin job on node71 on Thu Apr 19 15:50:47 UTC 2007

IDJOB= 365858
IDBENCH= 2580
IDSOLVER= 172
FILE ID= node71/365858-1176997847

PBS_JOBID= 4630434

Free space on /tmp= 66446 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-85-80.opb
COMMAND LINE= oree /tmp/evaluation/365858-1176997847/instance-365858-1176997847.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node71/watcher-365858-1176997847 -o ROOT/results/node71/solver-365858-1176997847 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/365858-1176997847/instance-365858-1176997847.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  a4a494535709e59392e65403b829113d

RANDOM SEED= 472130196

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node71.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.234
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.234
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:       1170456 kB
Buffers:         38228 kB
Cached:         767128 kB
SwapCached:       2620 kB
Active:         208488 kB
Inactive:       606528 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1170456 kB
SwapTotal:     4192956 kB
SwapFree:      4184232 kB
Dirty:            1416 kB
Writeback:           0 kB
Mapped:          15820 kB
Slab:            56484 kB
Committed_AS:  2577808 kB
PageTables:       1448 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= 66446 MiB

End job on node71 on Thu Apr 19 16:20:50 UTC 2007