Trace number 365739

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.77

General information on the benchmark

Namenormalized-PB06/SATUNSAT-MEDINT/submitted-PB06/
manquiho/Aardal_1/normalized-cuww3.opb
MD5SUMc67056006c43da82eed6e7cbb40287a1
Bench CategorySATUNSAT-MEDINT (no optimisation, medium integers)
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 benchmark16.5735
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables68
Total number of constraints2
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2
Minimum length of a constraint68
Maximum length of a constraint68
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 58925135
Number of bits of the biggest number in a constraint 26
Biggest sum of numbers in a constraint 568217345
Number of bits of the biggest sum of numbers30
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=68 #constraints=2 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.29/0.30	c restart after 401 decisions
0.39/0.41	c nbDecision=500 #constraints=486
0.79/0.82	c restart after 801 decisions
1.19/1.20	c nbDecision=1000 #constraints=975
2.69/2.76	c nbDecision=1500 #constraints=1476
3.09/3.20	c restart after 1601 decisions
5.09/5.15	c nbDecision=2000 #constraints=1967
8.79/8.88	c nbDecision=2500 #constraints=2468
13.49/13.55	c nbDecision=3000 #constraints=2969
15.78/15.86	c restart after 3201 decisions
19.58/19.67	c nbDecision=3500 #constraints=3465
26.68/26.73	c nbDecision=4000 #constraints=3962
35.19/35.22	c nbDecision=4500 #constraints=4461
43.68/43.75	c nbDecision=5000 #constraints=4961
53.08/53.12	c nbDecision=5500 #constraints=5463
65.47/65.56	c nbDecision=6000 #constraints=5961
78.27/78.35	c restart after 6401 decisions
81.47/81.56	c nbDecision=6500 #constraints=6455
97.87/97.95	c nbDecision=7000 #constraints=6955
117.67/117.74	c nbDecision=7500 #constraints=7447
140.15/140.27	c nbDecision=8000 #constraints=7944
163.04/163.13	c nbDecision=8500 #constraints=8442
190.04/190.10	c nbDecision=9000 #constraints=8946
217.24/217.33	c nbDecision=9500 #constraints=9445
243.92/244.03	c nbDecision=10000 #constraints=9942
272.52/272.63	c nbDecision=10500 #constraints=10444
302.32/302.41	c nbDecision=11000 #constraints=10946
331.51/331.61	c nbDecision=11500 #constraints=11442
366.70/366.85	c nbDecision=12000 #constraints=11946
402.69/402.82	c nbDecision=12500 #constraints=12444
423.68/423.84	c restart after 12801 decisions
438.18/438.35	c nbDecision=13000 #constraints=12931
476.77/476.90	c nbDecision=13500 #constraints=13426
518.55/518.77	c nbDecision=14000 #constraints=13928
562.75/562.90	c nbDecision=14500 #constraints=14429
601.03/601.29	c nbDecision=15000 #constraints=14931
644.63/644.81	c nbDecision=15500 #constraints=15427
689.81/690.04	c nbDecision=16000 #constraints=15929
735.40/735.63	c nbDecision=16500 #constraints=16428
784.29/784.57	c nbDecision=17000 #constraints=16927
834.18/834.47	c nbDecision=17500 #constraints=17428
878.77/879.09	c nbDecision=18000 #constraints=17930
932.15/932.45	c nbDecision=18500 #constraints=18428
981.24/981.57	c nbDecision=19000 #constraints=18932
1030.13/1030.40	c nbDecision=19500 #constraints=19433
1076.02/1076.36	c nbDecision=20000 #constraints=19927
1124.31/1124.61	c nbDecision=20500 #constraints=20429
1173.39/1173.77	c nbDecision=21000 #constraints=20929
1222.92/1223.32	c nbDecision=21500 #constraints=21427
1278.49/1278.90	c nbDecision=22000 #constraints=21931
1332.38/1332.83	c nbDecision=22500 #constraints=22432
1386.76/1387.23	c nbDecision=23000 #constraints=22930
1443.75/1444.27	c nbDecision=23500 #constraints=23428
1509.13/1509.62	c nbDecision=24000 #constraints=23926
1577.72/1578.28	c nbDecision=24500 #constraints=24427
1643.29/1643.81	c nbDecision=25000 #constraints=24930
1709.99/1710.53	c nbDecision=25500 #constraints=25431
1722.38/1722.93	c restart after 25601 decisions
1771.86/1772.45	c nbDecision=26000 #constraints=25918
1800.07/1800.61	Received signal 15
1800.17/1800.74	
1800.17/1800.74	s UNKNOWN
1800.17/1800.74	
1800.17/1800.74	c user time= 1799.96 s
1800.17/1800.74	c system time= 0.25696 s
1800.17/1800.74	c wall clock time=1800.74

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node27/watcher-365739-1176997274 -o ROOT/results/node27/solver-365739-1176997274 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/365739-1176997274/instance-365739-1176997274.opb mod 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 0.99 0.99 3/65 26252
/proc/meminfo: memFree=1432480/2055920 swapFree=4179984/4192956
[pid=26252] ppid=26250 vsize=1468 CPUtime=0
/proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 185 0 0 0 0 0 0 0 18 0 1 0 112423296 1503232 167 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26252/statm: 367 167 138 317 0 46 0

[startup+0.0445089 s]
/proc/loadavg: 1.00 0.99 0.99 3/65 26252
/proc/meminfo: memFree=1432480/2055920 swapFree=4179984/4192956
[pid=26252] ppid=26250 vsize=1732 CPUtime=0.04
/proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 241 0 0 0 4 0 0 0 18 0 1 0 112423296 1773568 223 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284196 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26252/statm: 433 223 138 317 0 112 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 1732

[startup+0.101514 s]
/proc/loadavg: 1.00 0.99 0.99 3/65 26252
/proc/meminfo: memFree=1432480/2055920 swapFree=4179984/4192956
[pid=26252] ppid=26250 vsize=2112 CPUtime=0.09
/proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 334 0 0 0 9 0 0 0 18 0 1 0 112423296 2162688 316 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564085 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26252/statm: 528 316 138 317 0 207 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2112

[startup+0.301534 s]
/proc/loadavg: 1.00 0.99 0.99 3/65 26252
/proc/meminfo: memFree=1432480/2055920 swapFree=4179984/4192956
[pid=26252] ppid=26250 vsize=3020 CPUtime=0.29
/proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 566 0 0 0 29 0 0 0 19 0 1 0 112423296 3092480 548 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26252/statm: 755 548 138 317 0 434 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3020

[startup+0.701574 s]
/proc/loadavg: 1.00 0.99 0.99 3/65 26252
/proc/meminfo: memFree=1432480/2055920 swapFree=4179984/4192956
[pid=26252] ppid=26250 vsize=4204 CPUtime=0.69
/proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 879 0 0 0 69 0 0 0 22 0 1 0 112423296 4304896 861 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718451 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26252/statm: 1051 861 139 317 0 730 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4204

[startup+1.50166 s]
/proc/loadavg: 1.00 0.99 0.99 2/66 26253
/proc/meminfo: memFree=1429080/2055920 swapFree=4179984/4192956
[pid=26252] ppid=26250 vsize=5944 CPUtime=1.49
/proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 1260 0 0 0 149 0 0 0 25 0 1 0 112423296 6086656 1242 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26252/statm: 1486 1242 139 317 0 1165 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5944

[startup+3.10182 s]
/proc/loadavg: 1.00 0.99 0.99 2/66 26253
/proc/meminfo: memFree=1427096/2055920 swapFree=4179984/4192956
[pid=26252] ppid=26250 vsize=7520 CPUtime=3.09
/proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 1687 0 0 0 309 0 0 0 25 0 1 0 112423296 7700480 1669 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26252/statm: 1880 1669 139 317 0 1559 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7520

[startup+6.30114 s]
/proc/loadavg: 1.00 0.99 0.99 2/66 26253
/proc/meminfo: memFree=1424600/2055920 swapFree=4179984/4192956
[pid=26252] ppid=26250 vsize=10212 CPUtime=6.29
/proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 2276 0 0 0 628 1 0 0 25 0 1 0 112423296 10457088 2258 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26252/statm: 2553 2258 139 317 0 2232 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10212

[startup+12.7018 s]
/proc/loadavg: 1.00 0.99 0.99 2/66 26253
/proc/meminfo: memFree=1421216/2055920 swapFree=4179984/4192956
[pid=26252] ppid=26250 vsize=12724 CPUtime=12.69
/proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 2954 0 0 0 1267 2 0 0 25 0 1 0 112423296 13029376 2936 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711020 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26252/statm: 3181 2936 139 317 0 2860 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 12724

[startup+25.5011 s]
/proc/loadavg: 1.00 0.99 0.99 2/66 26253
/proc/meminfo: memFree=1417440/2055920 swapFree=4179984/4192956
[pid=26252] ppid=26250 vsize=16124 CPUtime=25.49
/proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 3841 0 0 0 2546 3 0 0 25 0 1 0 112423296 16510976 3823 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26252/statm: 4031 3823 139 317 0 3710 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 16124

[startup+51.1017 s]
/proc/loadavg: 1.00 0.99 0.99 2/66 26253
/proc/meminfo: memFree=1411360/2055920 swapFree=4179984/4192956
[pid=26252] ppid=26250 vsize=22964 CPUtime=51.08
/proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 5367 0 0 0 5103 5 0 0 25 0 1 0 112423296 23515136 5349 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26252/statm: 5741 5349 139 317 0 5420 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 22964

[startup+102.306 s]
/proc/loadavg: 1.00 0.99 0.99 2/66 26253
/proc/meminfo: memFree=1405152/2055920 swapFree=4179984/4192956
[pid=26252] ppid=26250 vsize=28612 CPUtime=102.27
/proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 6889 0 0 0 10221 6 0 0 25 0 1 0 112423296 29298688 6871 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26252/statm: 7153 6871 139 317 0 6832 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 28612

[startup+162.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/66 26253
/proc/meminfo: memFree=1399328/2055920 swapFree=4179984/4192956
[pid=26252] ppid=26250 vsize=35948 CPUtime=162.25
/proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 8419 0 0 0 16218 7 0 0 25 0 1 0 112423296 36810752 8344 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26252/statm: 8987 8344 139 317 0 8666 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 35948

[startup+222.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/66 26253
/proc/meminfo: memFree=1394912/2055920 swapFree=4179984/4192956
[pid=26252] ppid=26250 vsize=40656 CPUtime=222.24
/proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 9487 0 0 0 22215 9 0 0 25 0 1 0 112423296 41631744 9412 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711181 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26252/statm: 10164 9412 139 317 0 9843 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 40656

[startup+282.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/66 26253
/proc/meminfo: memFree=1390944/2055920 swapFree=4179984/4192956
[pid=26252] ppid=26250 vsize=44248 CPUtime=282.22
/proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 10471 0 0 0 28212 10 0 0 25 0 1 0 112423296 45309952 10396 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26252/statm: 11062 10396 139 317 0 10741 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 44248

[startup+342.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/66 26253
/proc/meminfo: memFree=1387104/2055920 swapFree=4179984/4192956
[pid=26252] ppid=26250 vsize=48140 CPUtime=342.21
/proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 11427 0 0 0 34210 11 0 0 25 0 1 0 112423296 49295360 11352 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26252/statm: 12035 11352 139 317 0 11714 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 48140

[startup+402.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/66 26253
/proc/meminfo: memFree=1383968/2055920 swapFree=4179984/4192956
[pid=26252] ppid=26250 vsize=50928 CPUtime=402.19
/proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 12189 0 0 0 40208 11 0 0 25 0 1 0 112423296 52150272 12114 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26252/statm: 12732 12114 139 317 0 12411 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 50928

[startup+462.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/66 26253
/proc/meminfo: memFree=1381024/2055920 swapFree=4179984/4192956
[pid=26252] ppid=26250 vsize=53616 CPUtime=462.18
/proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 12922 0 0 0 46206 12 0 0 25 0 1 0 112423296 54902784 12847 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602641 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26252/statm: 13404 12847 139 317 0 13083 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 53616

[startup+522.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/66 26253
/proc/meminfo: memFree=1378592/2055920 swapFree=4179984/4192956
[pid=26252] ppid=26250 vsize=56160 CPUtime=522.16
/proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 13574 0 0 0 52203 13 0 0 25 0 1 0 112423296 57507840 13499 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26252/statm: 14040 13499 139 317 0 13719 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 56160

[startup+582.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/66 26253
/proc/meminfo: memFree=1375968/2055920 swapFree=4179984/4192956
[pid=26252] ppid=26250 vsize=58660 CPUtime=582.14
/proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 14232 0 0 0 58201 13 0 0 25 0 1 0 112423296 60067840 14157 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26252/statm: 14665 14157 139 317 0 14344 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 58660

[startup+642.302 s]
/proc/loadavg: 1.04 1.00 1.00 2/66 26253
/proc/meminfo: memFree=1373216/2055920 swapFree=4179984/4192956
[pid=26252] ppid=26250 vsize=61684 CPUtime=642.13
/proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 14905 0 0 0 64199 14 0 0 25 0 1 0 112423296 63164416 14830 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26252/statm: 15421 14830 139 317 0 15100 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 61684


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

[startup+882.302 s]
/proc/loadavg: 1.06 1.05 1.01 2/66 26253
/proc/meminfo: memFree=1363040/2055920 swapFree=4179984/4192956
[pid=26252] ppid=26250 vsize=75976 CPUtime=882.07
/proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 18307 0 0 0 88190 17 0 0 25 0 1 0 112423296 77799424 17360 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26252/statm: 18994 17360 139 317 0 18673 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 75976

[startup+942.302 s]
/proc/loadavg: 1.02 1.04 1.00 2/66 26253
/proc/meminfo: memFree=1360928/2055920 swapFree=4179984/4192956
[pid=26252] ppid=26250 vsize=77936 CPUtime=942.05
/proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 18861 0 0 0 94188 17 0 0 25 0 1 0 112423296 79806464 17881 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26252/statm: 19484 17881 139 317 0 19163 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 77936

[startup+1002.3 s]
/proc/loadavg: 1.01 1.03 1.00 2/66 26253
/proc/meminfo: memFree=1358496/2055920 swapFree=4179984/4192956
[pid=26252] ppid=26250 vsize=80180 CPUtime=1002.04
/proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 19468 0 0 0 100186 18 0 0 25 0 1 0 112423296 82104320 18488 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26252/statm: 20045 18488 139 317 0 19724 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 80180

[startup+1062.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 26253
/proc/meminfo: memFree=1356256/2055920 swapFree=4179984/4192956
[pid=26252] ppid=26250 vsize=82276 CPUtime=1062.02
/proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 20043 0 0 0 106183 19 0 0 25 0 1 0 112423296 84250624 19063 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26252/statm: 20569 19063 139 317 0 20248 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 82276

[startup+1122.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 26253
/proc/meminfo: memFree=1353824/2055920 swapFree=4179984/4192956
[pid=26252] ppid=26250 vsize=84644 CPUtime=1122.01
/proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 20677 0 0 0 112181 20 0 0 25 0 1 0 112423296 86675456 19664 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26252/statm: 21161 19664 139 317 0 20840 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 84644

[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 26253
/proc/meminfo: memFree=1351456/2055920 swapFree=4179984/4192956
[pid=26252] ppid=26250 vsize=86840 CPUtime=1182
/proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 21312 0 0 0 118179 21 0 0 25 0 1 0 112423296 88924160 20266 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718437 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26252/statm: 21710 20266 139 317 0 21389 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 86840

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26451
/proc/meminfo: memFree=1348744/2055920 swapFree=4179984/4192956
[pid=26252] ppid=26250 vsize=88924 CPUtime=1241.9
/proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 21865 0 0 0 124169 21 0 0 25 0 1 0 112423296 91058176 20819 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26252/statm: 22231 20819 139 317 0 21910 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 88924

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26451
/proc/meminfo: memFree=1346912/2055920 swapFree=4179984/4192956
[pid=26252] ppid=26250 vsize=90756 CPUtime=1301.89
/proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 22373 0 0 0 130167 22 0 0 25 0 1 0 112423296 92934144 21327 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26252/statm: 22689 21327 139 317 0 22368 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 90756

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26451
/proc/meminfo: memFree=1344864/2055920 swapFree=4179984/4192956
[pid=26252] ppid=26250 vsize=92708 CPUtime=1361.87
/proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 22927 0 0 0 136165 22 0 0 25 0 1 0 112423296 94932992 21848 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563494 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26252/statm: 23177 21848 139 317 0 22856 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 92708

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26451
/proc/meminfo: memFree=1342752/2055920 swapFree=4179984/4192956
[pid=26252] ppid=26250 vsize=95048 CPUtime=1421.85
/proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 23534 0 0 0 142163 22 0 0 25 0 1 0 112423296 97329152 22356 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26252/statm: 23762 22356 139 317 0 23441 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 95048

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26451
/proc/meminfo: memFree=1341152/2055920 swapFree=4179984/4192956
[pid=26252] ppid=26250 vsize=97000 CPUtime=1481.84
/proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 24077 0 0 0 148161 23 0 0 25 0 1 0 112423296 99328000 22800 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26252/statm: 24250 22800 139 317 0 23929 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 97000

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26451
/proc/meminfo: memFree=1339488/2055920 swapFree=4179984/4192956
[pid=26252] ppid=26250 vsize=98556 CPUtime=1541.82
/proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 24521 0 0 0 154159 23 0 0 25 0 1 0 112423296 100921344 23211 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26252/statm: 24639 23211 139 317 0 24318 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 98556

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26451
/proc/meminfo: memFree=1337760/2055920 swapFree=4179984/4192956
[pid=26252] ppid=26250 vsize=100132 CPUtime=1601.81
/proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 24947 0 0 0 160157 24 0 0 25 0 1 0 112423296 102535168 23637 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26252/statm: 25033 23637 139 317 0 24712 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 100132

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26451
/proc/meminfo: memFree=1336224/2055920 swapFree=4179984/4192956
[pid=26252] ppid=26250 vsize=101740 CPUtime=1661.79
/proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 25334 0 0 0 166155 24 0 0 25 0 1 0 112423296 104181760 24024 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26252/statm: 25435 24024 139 317 0 25114 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 101740

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26451
/proc/meminfo: memFree=1334496/2055920 swapFree=4179984/4192956
[pid=26252] ppid=26250 vsize=103424 CPUtime=1721.78
/proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 25772 0 0 0 172153 25 0 0 25 0 1 0 112423296 105906176 24462 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718428 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26252/statm: 25856 24462 139 317 0 25535 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 103424

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26451
/proc/meminfo: memFree=1332704/2055920 swapFree=4179984/4192956
[pid=26252] ppid=26250 vsize=104980 CPUtime=1781.76
/proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 26220 0 0 0 178151 25 0 0 25 0 1 0 112423296 107499520 24910 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26252/statm: 26245 24910 139 317 0 25924 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 104980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26451
/proc/meminfo: memFree=1332000/2055920 swapFree=4179984/4192956
[pid=26252] ppid=26250 vsize=105500 CPUtime=1800.07
/proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 26386 0 0 0 179982 25 0 0 25 0 1 0 112423296 108032000 25076 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26252/statm: 26375 25076 139 317 0 26054 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 105500

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/66 26451
/proc/meminfo: memFree=1332000/2055920 swapFree=4179984/4192956
[pid=26252] ppid=26250 vsize=105500 CPUtime=1800.17
/proc/26252/stat : 26252 (oree) R 26250 26252 25578 0 -1 4194304 26386 0 0 0 179992 25 0 0 25 0 1 0 112423296 108032000 25076 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26252/statm: 26375 25076 139 317 0 26054 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 105500

Child status: 0
Real time (s): 1800.77
CPU time (s): 1800.23
CPU user time (s): 1799.96
CPU system time (s): 0.275958
CPU usage (%): 99.9704
Max. virtual memory (cumulated for all children) (KiB): 105500

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

runsolver used 1.45678 second user time and 3.65144 second system time

The end

Launcher Data (download as text)

Begin job on node27 on Thu Apr 19 15:41:14 UTC 2007

IDJOB= 365739
IDBENCH= 2557
IDSOLVER= 172
FILE ID= node27/365739-1176997274

PBS_JOBID= 4630447

Free space on /tmp= 66376 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/manquiho/Aardal_1/normalized-cuww3.opb
COMMAND LINE= oree /tmp/evaluation/365739-1176997274/instance-365739-1176997274.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node27/watcher-365739-1176997274 -o ROOT/results/node27/solver-365739-1176997274 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/365739-1176997274/instance-365739-1176997274.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  c67056006c43da82eed6e7cbb40287a1

RANDOM SEED= 190032671

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node27.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.213
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.213
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:       1432888 kB
Buffers:         35396 kB
Cached:         511564 kB
SwapCached:       6696 kB
Active:          54600 kB
Inactive:       504776 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1432888 kB
SwapTotal:     4192956 kB
SwapFree:      4179984 kB
Dirty:            1304 kB
Writeback:           0 kB
Mapped:          15456 kB
Slab:            49704 kB
Committed_AS:  1692004 kB
PageTables:       1412 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= 66376 MiB

End job on node27 on Thu Apr 19 16:11:17 UTC 2007