Trace number 358598

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.13 1800.75

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111223696.opb
MD5SUM35d859ff8d89aabca90bcfc52829307f
Bench CategorySATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.06099
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables169
Total number of constraints101
Number of constraints which are clauses30
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint169
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 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1220
Number of bits of the biggest sum of numbers11
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=169 #constraints=101 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.20/0.21	c restart after 401 decisions
0.20/0.28	c nbDecision=500 #constraints=595
0.50/0.55	c restart after 801 decisions
0.69/0.75	c nbDecision=1000 #constraints=1088
1.49/1.54	c nbDecision=1500 #constraints=1590
1.69/1.75	c restart after 1601 decisions
2.79/2.85	c nbDecision=2000 #constraints=2086
4.69/4.75	c nbDecision=2500 #constraints=2583
7.19/7.29	c nbDecision=3000 #constraints=3081
8.39/8.44	c restart after 3201 decisions
10.39/10.44	c nbDecision=3500 #constraints=3578
14.89/14.92	c nbDecision=4000 #constraints=4078
19.79/19.81	c nbDecision=4500 #constraints=4578
25.98/26.03	c nbDecision=5000 #constraints=5078
33.17/33.26	c nbDecision=5500 #constraints=5574
41.18/41.24	c nbDecision=6000 #constraints=6068
48.67/48.72	c restart after 6401 decisions
51.17/51.29	c nbDecision=6500 #constraints=6560
62.86/62.98	c nbDecision=7000 #constraints=7060
75.47/75.52	c nbDecision=7500 #constraints=7559
87.87/87.93	c nbDecision=8000 #constraints=8053
103.26/103.38	c nbDecision=8500 #constraints=8553
118.76/118.81	c nbDecision=9000 #constraints=9051
137.95/138.05	c nbDecision=9500 #constraints=9550
156.94/157.03	c nbDecision=10000 #constraints=10045
174.63/174.76	c nbDecision=10500 #constraints=10543
198.12/198.25	c nbDecision=11000 #constraints=11043
220.52/220.68	c nbDecision=11500 #constraints=11539
243.90/244.01	c nbDecision=12000 #constraints=12037
266.30/266.44	c nbDecision=12500 #constraints=12532
280.09/280.23	c restart after 12801 decisions
289.39/289.50	c nbDecision=13000 #constraints=13026
315.59/315.73	c nbDecision=13500 #constraints=13527
343.67/343.83	c nbDecision=14000 #constraints=14026
370.36/370.55	c nbDecision=14500 #constraints=14524
396.86/397.06	c nbDecision=15000 #constraints=15019
429.64/429.87	c nbDecision=15500 #constraints=15520
467.63/467.85	c nbDecision=16000 #constraints=16018
509.22/509.47	c nbDecision=16500 #constraints=16517
548.71/548.91	c nbDecision=17000 #constraints=17015
587.99/588.26	c nbDecision=17500 #constraints=17516
632.57/632.89	c nbDecision=18000 #constraints=18014
665.66/665.91	c nbDecision=18500 #constraints=18511
706.46/706.78	c nbDecision=19000 #constraints=19007
750.04/750.32	c nbDecision=19500 #constraints=19505
797.63/797.95	c nbDecision=20000 #constraints=20005
847.20/847.51	c nbDecision=20500 #constraints=20503
896.58/896.95	c nbDecision=21000 #constraints=21003
939.18/939.58	c nbDecision=21500 #constraints=21501
979.86/980.22	c nbDecision=22000 #constraints=22001
1018.45/1018.84	c nbDecision=22500 #constraints=22498
1065.63/1066.07	c nbDecision=23000 #constraints=22997
1118.51/1118.98	c nbDecision=23500 #constraints=23497
1172.20/1172.67	c nbDecision=24000 #constraints=23991
1224.28/1224.74	c nbDecision=24500 #constraints=24489
1279.46/1279.95	c nbDecision=25000 #constraints=24990
1335.64/1336.15	c nbDecision=25500 #constraints=25486
1345.74/1346.26	c restart after 25601 decisions
1393.12/1393.65	c nbDecision=26000 #constraints=25981
1447.80/1448.34	c nbDecision=26500 #constraints=26472
1511.99/1512.53	c nbDecision=27000 #constraints=26971
1571.56/1572.16	c nbDecision=27500 #constraints=27473
1634.84/1635.48	c nbDecision=28000 #constraints=27972
1708.42/1709.02	c nbDecision=28500 #constraints=28471
1766.39/1767.03	c nbDecision=29000 #constraints=28970
1800.10/1800.71	Received signal 15
1800.10/1800.72	
1800.10/1800.72	s UNKNOWN
1800.10/1800.72	
1800.10/1800.72	c user time= 1799.89 s
1800.10/1800.72	c system time= 0.231964 s
1800.10/1800.72	c wall clock time=1800.73

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/node46/watcher-358598-1176838036 -o ROOT/results/node46/solver-358598-1176838036 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/358598-1176838036/instance-358598-1176838036.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.97 3/78 7177
/proc/meminfo: memFree=1455992/2055920 swapFree=4184556/4192956
[pid=7177] ppid=7175 vsize=1468 CPUtime=0
/proc/7177/stat : 7177 (oree) R 7175 7177 6792 0 -1 4194304 198 0 0 0 0 0 0 0 18 0 1 0 38486592 1503232 180 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134594896 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7177/statm: 367 180 139 317 0 46 0

[startup+0.0334609 s]
/proc/loadavg: 0.91 0.95 0.97 3/78 7177
/proc/meminfo: memFree=1455992/2055920 swapFree=4184556/4192956
[pid=7177] ppid=7175 vsize=1600 CPUtime=0.03
/proc/7177/stat : 7177 (oree) R 7175 7177 6792 0 -1 4194304 224 0 0 0 3 0 0 0 18 0 1 0 38486592 1638400 206 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7177/statm: 400 206 139 317 0 79 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 1600

[startup+0.102473 s]
/proc/loadavg: 0.91 0.95 0.97 3/78 7177
/proc/meminfo: memFree=1455992/2055920 swapFree=4184556/4192956
[pid=7177] ppid=7175 vsize=1864 CPUtime=0.1
/proc/7177/stat : 7177 (oree) R 7175 7177 6792 0 -1 4194304 318 0 0 0 10 0 0 0 18 0 1 0 38486592 1908736 300 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7177/statm: 466 300 170 317 0 145 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 1864

[startup+0.30151 s]
/proc/loadavg: 0.91 0.95 0.97 3/78 7177
/proc/meminfo: memFree=1455992/2055920 swapFree=4184556/4192956
[pid=7177] ppid=7175 vsize=2408 CPUtime=0.29
/proc/7177/stat : 7177 (oree) R 7175 7177 6792 0 -1 4194304 455 0 0 0 29 0 0 0 19 0 1 0 38486592 2465792 437 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712473 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7177/statm: 602 437 170 317 0 281 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2408

[startup+0.701584 s]
/proc/loadavg: 0.91 0.95 0.97 3/78 7177
/proc/meminfo: memFree=1455992/2055920 swapFree=4184556/4192956
[pid=7177] ppid=7175 vsize=3064 CPUtime=0.69
/proc/7177/stat : 7177 (oree) R 7175 7177 6792 0 -1 4194304 620 0 0 0 69 0 0 0 22 0 1 0 38486592 3137536 602 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7177/statm: 766 602 170 317 0 445 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3064

[startup+1.50173 s]
/proc/loadavg: 0.91 0.95 0.97 2/79 7178
/proc/meminfo: memFree=1453744/2055920 swapFree=4184556/4192956
[pid=7177] ppid=7175 vsize=4032 CPUtime=1.49
/proc/7177/stat : 7177 (oree) R 7175 7177 6792 0 -1 4194304 848 0 0 0 149 0 0 0 25 0 1 0 38486592 4128768 830 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7177/statm: 1008 830 170 317 0 687 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4032

[startup+3.10203 s]
/proc/loadavg: 0.91 0.95 0.97 2/79 7178
/proc/meminfo: memFree=1452720/2055920 swapFree=4184556/4192956
[pid=7177] ppid=7175 vsize=5076 CPUtime=3.09
/proc/7177/stat : 7177 (oree) R 7175 7177 6792 0 -1 4194304 1108 0 0 0 309 0 0 0 25 0 1 0 38486592 5197824 1090 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284625 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7177/statm: 1269 1090 170 317 0 948 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5076

[startup+6.30162 s]
/proc/loadavg: 0.92 0.95 0.97 2/79 7178
/proc/meminfo: memFree=1451376/2055920 swapFree=4184556/4192956
[pid=7177] ppid=7175 vsize=6132 CPUtime=6.29
/proc/7177/stat : 7177 (oree) R 7175 7177 6792 0 -1 4194304 1357 0 0 0 628 1 0 0 25 0 1 0 38486592 6279168 1339 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711130 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7177/statm: 1533 1339 170 317 0 1212 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 6132

[startup+12.7018 s]
/proc/loadavg: 0.93 0.95 0.97 2/79 7178
/proc/meminfo: memFree=1449592/2055920 swapFree=4184556/4192956
[pid=7177] ppid=7175 vsize=7580 CPUtime=12.69
/proc/7177/stat : 7177 (oree) R 7175 7177 6792 0 -1 4194304 1747 0 0 0 1268 1 0 0 25 0 1 0 38486592 7761920 1729 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7177/statm: 1895 1729 170 317 0 1574 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 7580

[startup+25.5012 s]
/proc/loadavg: 0.94 0.96 0.97 2/79 7178
/proc/meminfo: memFree=1447352/2055920 swapFree=4184556/4192956
[pid=7177] ppid=7175 vsize=9808 CPUtime=25.48
/proc/7177/stat : 7177 (oree) R 7175 7177 6792 0 -1 4194304 2275 0 0 0 2547 1 0 0 25 0 1 0 38486592 10043392 2257 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7177/statm: 2452 2257 170 317 0 2131 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 9808

[startup+51.1019 s]
/proc/loadavg: 0.96 0.96 0.97 2/79 7178
/proc/meminfo: memFree=1444600/2055920 swapFree=4184556/4192956
[pid=7177] ppid=7175 vsize=12640 CPUtime=51.07
/proc/7177/stat : 7177 (oree) R 7175 7177 6792 0 -1 4194304 2966 0 0 0 5105 2 0 0 25 0 1 0 38486592 12943360 2948 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7177/statm: 3160 2948 170 317 0 2839 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 12640

[startup+102.305 s]
/proc/loadavg: 0.98 0.96 0.97 2/79 7178
/proc/meminfo: memFree=1440824/2055920 swapFree=4184556/4192956
[pid=7177] ppid=7175 vsize=16772 CPUtime=102.26
/proc/7177/stat : 7177 (oree) R 7175 7177 6792 0 -1 4194304 3953 0 0 0 10223 3 0 0 25 0 1 0 38486592 17174528 3878 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7177/statm: 4193 3878 170 317 0 3872 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 16772

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/79 7178
/proc/meminfo: memFree=1437560/2055920 swapFree=4184556/4192956
[pid=7177] ppid=7175 vsize=20112 CPUtime=162.23
/proc/7177/stat : 7177 (oree) R 7175 7177 6792 0 -1 4194304 4765 0 0 0 16219 4 0 0 25 0 1 0 38486592 20594688 4690 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7177/statm: 5028 4690 170 317 0 4707 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 20112

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/79 7178
/proc/meminfo: memFree=1435000/2055920 swapFree=4184556/4192956
[pid=7177] ppid=7175 vsize=22552 CPUtime=222.22
/proc/7177/stat : 7177 (oree) R 7175 7177 6792 0 -1 4194304 5400 0 0 0 22217 5 0 0 25 0 1 0 38486592 23093248 5325 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7177/statm: 5638 5325 170 317 0 5317 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 22552

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/79 7178
/proc/meminfo: memFree=1432760/2055920 swapFree=4184556/4192956
[pid=7177] ppid=7175 vsize=25140 CPUtime=282.19
/proc/7177/stat : 7177 (oree) R 7175 7177 6792 0 -1 4194304 5986 0 0 0 28213 6 0 0 25 0 1 0 38486592 25743360 5911 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7177/statm: 6285 5911 170 317 0 5964 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 25140

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/79 7178
/proc/meminfo: memFree=1430776/2055920 swapFree=4184556/4192956
[pid=7177] ppid=7175 vsize=27016 CPUtime=342.17
/proc/7177/stat : 7177 (oree) R 7175 7177 6792 0 -1 4194304 6478 0 0 0 34210 7 0 0 25 0 1 0 38486592 27664384 6403 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7177/statm: 6754 6403 170 317 0 6433 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 27016

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/79 7178
/proc/meminfo: memFree=1428600/2055920 swapFree=4184556/4192956
[pid=7177] ppid=7175 vsize=29220 CPUtime=402.16
/proc/7177/stat : 7177 (oree) R 7175 7177 6792 0 -1 4194304 7019 0 0 0 40208 8 0 0 25 0 1 0 38486592 29921280 6944 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7177/statm: 7305 6944 170 317 0 6984 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 29220

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/79 7178
/proc/meminfo: memFree=1427128/2055920 swapFree=4184556/4192956
[pid=7177] ppid=7175 vsize=30948 CPUtime=462.14
/proc/7177/stat : 7177 (oree) R 7175 7177 6792 0 -1 4194304 7394 0 0 0 46205 9 0 0 25 0 1 0 38486592 31690752 7319 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7177/statm: 7737 7319 170 317 0 7416 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 30948

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/79 7180
/proc/meminfo: memFree=1425528/2055920 swapFree=4184556/4192956
[pid=7177] ppid=7175 vsize=32888 CPUtime=522.11
/proc/7177/stat : 7177 (oree) R 7175 7177 6792 0 -1 4194304 7877 0 0 0 52202 9 0 0 25 0 1 0 38486592 33677312 7688 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7177/statm: 8222 7688 170 317 0 7901 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 32888

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/79 7180
/proc/meminfo: memFree=1424696/2055920 swapFree=4184556/4192956
[pid=7177] ppid=7175 vsize=34112 CPUtime=582.09
/proc/7177/stat : 7177 (oree) R 7175 7177 6792 0 -1 4194304 8149 0 0 0 58199 10 0 0 25 0 1 0 38486592 34930688 7960 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7177/statm: 8528 7960 170 317 0 8207 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 34112

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/79 7180
/proc/meminfo: memFree=1423416/2055920 swapFree=4184556/4192956
[pid=7177] ppid=7175 vsize=35524 CPUtime=642.08
/proc/7177/stat : 7177 (oree) R 7175 7177 6792 0 -1 4194304 8462 0 0 0 64197 11 0 0 25 0 1 0 38486592 36376576 8273 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7177/statm: 8881 8273 170 317 0 8560 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 35524


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

[startup+882.302 s]
/proc/loadavg: 1.05 0.99 0.98 2/79 7180
/proc/meminfo: memFree=1418936/2055920 swapFree=4184556/4192956
[pid=7177] ppid=7175 vsize=40044 CPUtime=881.99
/proc/7177/stat : 7177 (oree) R 7175 7177 6792 0 -1 4194304 9591 0 0 0 88186 13 0 0 25 0 1 0 38486592 41005056 9402 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7177/statm: 10011 9402 170 317 0 9690 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 40044

[startup+942.302 s]
/proc/loadavg: 1.06 1.00 0.98 2/79 7180
/proc/meminfo: memFree=1417784/2055920 swapFree=4184556/4192956
[pid=7177] ppid=7175 vsize=41332 CPUtime=941.97
/proc/7177/stat : 7177 (oree) R 7175 7177 6792 0 -1 4194304 9893 0 0 0 94183 14 0 0 25 0 1 0 38486592 42323968 9704 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7177/statm: 10333 9704 170 317 0 10012 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 41332

[startup+1002.3 s]
/proc/loadavg: 1.07 1.01 0.99 2/79 7180
/proc/meminfo: memFree=1416440/2055920 swapFree=4184556/4192956
[pid=7177] ppid=7175 vsize=42812 CPUtime=1001.95
/proc/7177/stat : 7177 (oree) R 7175 7177 6792 0 -1 4194304 10247 0 0 0 100181 14 0 0 25 0 1 0 38486592 43839488 10058 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7177/statm: 10703 10058 170 317 0 10382 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 42812

[startup+1062.3 s]
/proc/loadavg: 1.10 1.04 1.00 2/79 7180
/proc/meminfo: memFree=1415160/2055920 swapFree=4184556/4192956
[pid=7177] ppid=7175 vsize=44204 CPUtime=1061.93
/proc/7177/stat : 7177 (oree) R 7175 7177 6792 0 -1 4194304 10581 0 0 0 106178 15 0 0 25 0 1 0 38486592 45264896 10392 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7177/statm: 11051 10392 170 317 0 10730 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 44204

[startup+1122.3 s]
/proc/loadavg: 1.07 1.04 1.00 2/79 7180
/proc/meminfo: memFree=1414136/2055920 swapFree=4184556/4192956
[pid=7177] ppid=7175 vsize=45184 CPUtime=1121.91
/proc/7177/stat : 7177 (oree) R 7175 7177 6792 0 -1 4194304 10827 0 0 0 112176 15 0 0 25 0 1 0 38486592 46268416 10638 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7177/statm: 11296 10638 170 317 0 10975 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 45184

[startup+1182.3 s]
/proc/loadavg: 1.06 1.05 1.00 2/79 7180
/proc/meminfo: memFree=1413112/2055920 swapFree=4184556/4192956
[pid=7177] ppid=7175 vsize=46124 CPUtime=1181.89
/proc/7177/stat : 7177 (oree) R 7175 7177 6792 0 -1 4194304 11101 0 0 0 118173 16 0 0 25 0 1 0 38486592 47230976 10912 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7177/statm: 11531 10912 170 317 0 11210 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 46124

[startup+1242.3 s]
/proc/loadavg: 1.17 1.07 1.01 2/79 7180
/proc/meminfo: memFree=1412024/2055920 swapFree=4184556/4192956
[pid=7177] ppid=7175 vsize=47296 CPUtime=1241.87
/proc/7177/stat : 7177 (oree) R 7175 7177 6792 0 -1 4194304 11368 0 0 0 124170 17 0 0 25 0 1 0 38486592 48431104 11179 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7177/statm: 11824 11179 170 317 0 11503 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 47296

[startup+1302.3 s]
/proc/loadavg: 1.06 1.05 1.00 2/79 7180
/proc/meminfo: memFree=1411000/2055920 swapFree=4184556/4192956
[pid=7177] ppid=7175 vsize=48240 CPUtime=1301.85
/proc/7177/stat : 7177 (oree) R 7175 7177 6792 0 -1 4194304 11612 0 0 0 130168 17 0 0 25 0 1 0 38486592 49397760 11423 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7177/statm: 12060 11423 170 317 0 11739 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 48240

[startup+1362.3 s]
/proc/loadavg: 1.02 1.04 1.00 2/79 7180
/proc/meminfo: memFree=1410104/2055920 swapFree=4184556/4192956
[pid=7177] ppid=7175 vsize=49028 CPUtime=1361.83
/proc/7177/stat : 7177 (oree) R 7175 7177 6792 0 -1 4194304 11847 0 0 0 136165 18 0 0 25 0 1 0 38486592 50204672 11658 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7177/statm: 12257 11658 170 317 0 11936 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 49028

[startup+1422.31 s]
/proc/loadavg: 1.01 1.03 1.00 2/79 7180
/proc/meminfo: memFree=1409208/2055920 swapFree=4184556/4192956
[pid=7177] ppid=7175 vsize=50268 CPUtime=1421.81
/proc/7177/stat : 7177 (oree) R 7175 7177 6792 0 -1 4194304 12110 0 0 0 142163 18 0 0 25 0 1 0 38486592 51474432 11921 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7177/statm: 12567 11921 170 317 0 12246 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 50268

[startup+1482.3 s]
/proc/loadavg: 1.00 1.02 1.00 3/79 7180
/proc/meminfo: memFree=1408312/2055920 swapFree=4184556/4192956
[pid=7177] ppid=7175 vsize=51276 CPUtime=1481.79
/proc/7177/stat : 7177 (oree) R 7175 7177 6792 0 -1 4194304 12332 0 0 0 148160 19 0 0 25 0 1 0 38486592 52506624 12143 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7177/statm: 12819 12143 170 317 0 12498 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 51276

[startup+1542.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/79 7180
/proc/meminfo: memFree=1407416/2055920 swapFree=4184556/4192956
[pid=7177] ppid=7175 vsize=52088 CPUtime=1541.77
/proc/7177/stat : 7177 (oree) R 7175 7177 6792 0 -1 4194304 12557 0 0 0 154157 20 0 0 25 0 1 0 38486592 53338112 12368 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718318 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7177/statm: 13022 12368 170 317 0 12701 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 52088

[startup+1602.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/79 7180
/proc/meminfo: memFree=1406776/2055920 swapFree=4184556/4192956
[pid=7177] ppid=7175 vsize=52760 CPUtime=1601.75
/proc/7177/stat : 7177 (oree) R 7175 7177 6792 0 -1 4194304 12735 0 0 0 160154 21 0 0 25 0 1 0 38486592 54026240 12546 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7177/statm: 13190 12546 170 317 0 12869 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 52760

[startup+1662.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/79 7180
/proc/meminfo: memFree=1406136/2055920 swapFree=4184556/4192956
[pid=7177] ppid=7175 vsize=53472 CPUtime=1661.73
/proc/7177/stat : 7177 (oree) R 7175 7177 6792 0 -1 4194304 12909 0 0 0 166152 21 0 0 25 0 1 0 38486592 54755328 12720 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7177/statm: 13368 12720 170 317 0 13047 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 53472

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 7180
/proc/meminfo: memFree=1405432/2055920 swapFree=4184556/4192956
[pid=7177] ppid=7175 vsize=54572 CPUtime=1721.71
/proc/7177/stat : 7177 (oree) R 7175 7177 6792 0 -1 4194304 13106 0 0 0 172149 22 0 0 25 0 1 0 38486592 55881728 12917 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7177/statm: 13643 12917 170 317 0 13322 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 54572

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 7180
/proc/meminfo: memFree=1404472/2055920 swapFree=4184556/4192956
[pid=7177] ppid=7175 vsize=55508 CPUtime=1781.69
/proc/7177/stat : 7177 (oree) R 7175 7177 6792 0 -1 4194304 13322 0 0 0 178147 22 0 0 25 0 1 0 38486592 56840192 13133 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7177/statm: 13877 13133 170 317 0 13556 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 55508



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 7180
/proc/meminfo: memFree=1404152/2055920 swapFree=4184556/4192956
[pid=7177] ppid=7175 vsize=55796 CPUtime=1800.1
/proc/7177/stat : 7177 (oree) R 7175 7177 6792 0 -1 4194304 13389 0 0 0 179987 23 0 0 25 0 1 0 38486592 57135104 13200 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7177/statm: 13949 13200 170 317 0 13628 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 55796

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 7180
/proc/meminfo: memFree=1404152/2055920 swapFree=4184556/4192956
[pid=7177] ppid=7175 vsize=55796 CPUtime=1800.1
/proc/7177/stat : 7177 (oree) R 7175 7177 6792 0 -1 4194304 13389 0 0 0 179987 23 0 0 25 0 1 0 38486592 57135104 13200 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7177/statm: 13949 13200 170 317 0 13628 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 55796

Child status: 0
Real time (s): 1800.75
CPU time (s): 1800.13
CPU user time (s): 1799.89
CPU system time (s): 0.240963
CPU usage (%): 99.9658
Max. virtual memory (cumulated for all children) (KiB): 55796

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

runsolver used 1.80472 second user time and 4.75628 second system time

The end

Launcher Data (download as text)

Begin job on node46 on Tue Apr 17 19:27:16 UTC 2007

IDJOB= 358598
IDBENCH= 1225
IDSOLVER= 172
FILE ID= node46/358598-1176838036

PBS_JOBID= 4590150

Free space on /tmp= 66155 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111223696.opb
COMMAND LINE= oree /tmp/evaluation/358598-1176838036/instance-358598-1176838036.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node46/watcher-358598-1176838036 -o ROOT/results/node46/solver-358598-1176838036 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/358598-1176838036/instance-358598-1176838036.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  35d859ff8d89aabca90bcfc52829307f

RANDOM SEED= 387696035

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node46.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.268
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	: 5931.00
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.268
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:       1456464 kB
Buffers:         43324 kB
Cached:         354884 kB
SwapCached:       3060 kB
Active:         325720 kB
Inactive:       218808 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1456464 kB
SwapTotal:     4192956 kB
SwapFree:      4184556 kB
Dirty:            1332 kB
Writeback:           0 kB
Mapped:         161000 kB
Slab:            40356 kB
Committed_AS:  1898228 kB
PageTables:       1988 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= 66155 MiB

End job on node46 on Tue Apr 17 19:57:19 UTC 2007