Trace number 360040

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.26 1800.92

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900565527.opb
MD5SUM2e8fe4d521f8ec7159487f71439b9947
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 benchmark1.66974
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables231
Total number of constraints2707
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
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 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 709
Number of bits of the biggest sum of numbers10
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=231 #constraints=2707 hasObjective=no
0.00/0.02	c res. mode=mod
0.00/0.02	c VSIDS like heuristics
0.00/0.02	c complete search running
0.29/0.34	c restart after 401 decisions
0.39/0.46	c nbDecision=500 #constraints=3187
0.79/0.85	c restart after 801 decisions
1.10/1.19	c nbDecision=1000 #constraints=3674
2.19/2.27	c nbDecision=1500 #constraints=4153
2.49/2.57	c restart after 1601 decisions
4.09/4.12	c nbDecision=2000 #constraints=4632
6.29/6.35	c nbDecision=2500 #constraints=5116
8.98/9.02	c nbDecision=3000 #constraints=5606
10.28/10.34	c restart after 3201 decisions
12.69/12.71	c nbDecision=3500 #constraints=6092
16.99/17.09	c nbDecision=4000 #constraints=6562
22.38/22.46	c nbDecision=4500 #constraints=7040
28.28/28.37	c nbDecision=5000 #constraints=7514
35.57/35.60	c nbDecision=5500 #constraints=7986
46.28/46.36	c nbDecision=6000 #constraints=8476
54.97/55.03	c restart after 6401 decisions
56.77/56.85	c nbDecision=6500 #constraints=8957
67.96/68.09	c nbDecision=7000 #constraints=9449
80.77/80.88	c nbDecision=7500 #constraints=9934
96.36/96.43	c nbDecision=8000 #constraints=10421
113.85/113.98	c nbDecision=8500 #constraints=10918
134.84/134.94	c nbDecision=9000 #constraints=11408
157.94/158.07	c nbDecision=9500 #constraints=11891
172.33/172.42	c nbDecision=10000 #constraints=12384
188.12/188.24	c nbDecision=10500 #constraints=12879
202.22/202.39	c nbDecision=11000 #constraints=13359
216.11/216.26	c nbDecision=11500 #constraints=13839
232.41/232.57	c nbDecision=12000 #constraints=14325
251.40/251.56	c nbDecision=12500 #constraints=14813
262.59/262.71	c restart after 12801 decisions
273.40/273.50	c nbDecision=13000 #constraints=15291
294.39/294.51	c nbDecision=13500 #constraints=15775
317.57/317.72	c nbDecision=14000 #constraints=16258
344.66/344.86	c nbDecision=14500 #constraints=16747
364.86/365.04	c nbDecision=15000 #constraints=17223
390.15/390.36	c nbDecision=15500 #constraints=17700
415.33/415.56	c nbDecision=16000 #constraints=18189
443.43/443.65	c nbDecision=16500 #constraints=18682
476.91/477.11	c nbDecision=17000 #constraints=19166
512.20/512.45	c nbDecision=17500 #constraints=19649
545.79/546.01	c nbDecision=18000 #constraints=20133
581.78/582.08	c nbDecision=18500 #constraints=20624
620.26/620.59	c nbDecision=19000 #constraints=21117
655.45/655.74	c nbDecision=19500 #constraints=21601
687.74/688.09	c nbDecision=20000 #constraints=22088
741.32/741.66	c nbDecision=20500 #constraints=22571
799.19/799.51	c nbDecision=21000 #constraints=23058
857.27/857.66	c nbDecision=21500 #constraints=23551
900.16/900.56	c nbDecision=22000 #constraints=24041
937.75/938.13	c nbDecision=22500 #constraints=24525
980.93/981.34	c nbDecision=23000 #constraints=25001
1026.51/1026.93	c nbDecision=23500 #constraints=25492
1073.20/1073.61	c nbDecision=24000 #constraints=25982
1115.19/1115.62	c nbDecision=24500 #constraints=26469
1170.66/1171.14	c nbDecision=25000 #constraints=26951
1240.74/1241.20	c nbDecision=25500 #constraints=27439
1252.03/1252.56	c restart after 25601 decisions
1311.21/1311.73	c nbDecision=26000 #constraints=27911
1377.18/1377.74	c nbDecision=26500 #constraints=28407
1458.15/1458.76	c nbDecision=27000 #constraints=28903
1516.54/1517.13	c nbDecision=27500 #constraints=29390
1581.71/1582.36	c nbDecision=28000 #constraints=29874
1648.38/1649.09	c nbDecision=28500 #constraints=30362
1698.87/1699.55	c nbDecision=29000 #constraints=30851
1768.24/1768.96	c nbDecision=29500 #constraints=31343
1800.04/1800.70	Received signal 15
1800.23/1800.90	
1800.23/1800.90	s UNKNOWN
1800.23/1800.90	
1800.23/1800.90	c user time= 1800.04 s
1800.23/1800.90	c system time= 0.200969 s
1800.23/1800.90	c wall clock time=1800.9

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node37/watcher-360040-1176841796 -o ROOT/results/node37/solver-360040-1176841796 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/360040-1176841796/instance-360040-1176841796.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.22 1.03 1.01 3/78 18681
/proc/meminfo: memFree=1644936/2055920 swapFree=4125188/4192956
[pid=18681] ppid=18679 vsize=1468 CPUtime=0
/proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 184 0 0 0 0 0 0 0 18 0 1 0 132092074 1503232 166 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18681/statm: 367 166 130 317 0 46 0

[startup+0.0846599 s]
/proc/loadavg: 1.22 1.03 1.01 3/78 18681
/proc/meminfo: memFree=1644936/2055920 swapFree=4125188/4192956
[pid=18681] ppid=18679 vsize=2544 CPUtime=0.08
/proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 424 0 0 0 8 0 0 0 18 0 1 0 132092074 2605056 406 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272661 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18681/statm: 636 406 139 317 0 315 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2544

[startup+0.101663 s]
/proc/loadavg: 1.22 1.03 1.01 3/78 18681
/proc/meminfo: memFree=1644936/2055920 swapFree=4125188/4192956
[pid=18681] ppid=18679 vsize=2544 CPUtime=0.09
/proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 425 0 0 0 9 0 0 0 18 0 1 0 132092074 2605056 407 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712546 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18681/statm: 636 407 139 317 0 315 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2544

[startup+0.3017 s]
/proc/loadavg: 1.22 1.03 1.01 3/78 18681
/proc/meminfo: memFree=1644936/2055920 swapFree=4125188/4192956
[pid=18681] ppid=18679 vsize=2672 CPUtime=0.29
/proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 487 0 0 0 29 0 0 0 19 0 1 0 132092074 2736128 469 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18681/statm: 668 469 139 317 0 347 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2672

[startup+0.701776 s]
/proc/loadavg: 1.22 1.03 1.01 3/78 18681
/proc/meminfo: memFree=1644936/2055920 swapFree=4125188/4192956
[pid=18681] ppid=18679 vsize=3064 CPUtime=0.69
/proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 584 0 0 0 69 0 0 0 23 0 1 0 132092074 3137536 566 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18681/statm: 766 566 139 317 0 445 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3064

[startup+1.50193 s]
/proc/loadavg: 1.22 1.03 1.01 2/79 18682
/proc/meminfo: memFree=1642944/2055920 swapFree=4125188/4192956
[pid=18681] ppid=18679 vsize=3716 CPUtime=1.49
/proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 733 0 0 0 149 0 0 0 25 0 1 0 132092074 3805184 715 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18681/statm: 929 715 139 317 0 608 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 3716

[startup+3.10123 s]
/proc/loadavg: 1.22 1.03 1.01 2/79 18682
/proc/meminfo: memFree=1642176/2055920 swapFree=4125188/4192956
[pid=18681] ppid=18679 vsize=4404 CPUtime=3.09
/proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 916 0 0 0 309 0 0 0 25 0 1 0 132092074 4509696 898 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563865 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18681/statm: 1101 898 139 317 0 780 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 4404

[startup+6.30183 s]
/proc/loadavg: 1.21 1.03 1.01 2/79 18682
/proc/meminfo: memFree=1641024/2055920 swapFree=4125188/4192956
[pid=18681] ppid=18679 vsize=5460 CPUtime=6.29
/proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 1159 0 0 0 629 0 0 0 25 0 1 0 132092074 5591040 1141 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563302 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18681/statm: 1365 1141 139 317 0 1044 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 5460

[startup+12.701 s]
/proc/loadavg: 1.19 1.03 1.01 2/79 18682
/proc/meminfo: memFree=1639424/2055920 swapFree=4125188/4192956
[pid=18681] ppid=18679 vsize=6788 CPUtime=12.69
/proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 1532 0 0 0 1268 1 0 0 25 0 1 0 132092074 6950912 1477 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563483 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18681/statm: 1697 1477 139 317 0 1376 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 6788

[startup+25.5014 s]
/proc/loadavg: 1.15 1.03 1.01 2/79 18682
/proc/meminfo: memFree=1637568/2055920 swapFree=4125188/4192956
[pid=18681] ppid=18679 vsize=8652 CPUtime=25.48
/proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 1972 0 0 0 2547 1 0 0 25 0 1 0 132092074 8859648 1917 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18681/statm: 2163 1917 139 317 0 1842 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 8652

[startup+51.1013 s]
/proc/loadavg: 1.10 1.03 1.01 2/79 18682
/proc/meminfo: memFree=1635584/2055920 swapFree=4125252/4192956
[pid=18681] ppid=18679 vsize=10512 CPUtime=51.07
/proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 2455 0 0 0 5105 2 0 0 25 0 1 0 132092074 10764288 2400 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18681/statm: 2628 2400 139 317 0 2307 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 10512

[startup+102.306 s]
/proc/loadavg: 1.04 1.02 1.00 2/79 18682
/proc/meminfo: memFree=1632704/2055920 swapFree=4125252/4192956
[pid=18681] ppid=18679 vsize=13548 CPUtime=102.26
/proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 3208 0 0 0 10223 3 0 0 25 0 1 0 132092074 13873152 3081 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18681/statm: 3387 3081 139 317 0 3066 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 13548

[startup+162.301 s]
/proc/loadavg: 1.01 1.02 1.00 2/79 18682
/proc/meminfo: memFree=1630848/2055920 swapFree=4125252/4192956
[pid=18681] ppid=18679 vsize=15536 CPUtime=162.23
/proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 3714 0 0 0 16219 4 0 0 25 0 1 0 132092074 15908864 3587 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18681/statm: 3884 3587 139 317 0 3563 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 15536

[startup+222.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/79 18682
/proc/meminfo: memFree=1627904/2055920 swapFree=4125316/4192956
[pid=18681] ppid=18679 vsize=18628 CPUtime=222.21
/proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 4443 0 0 0 22216 5 0 0 25 0 1 0 132092074 19075072 4316 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18681/statm: 4657 4316 139 317 0 4336 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 18628

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 18682
/proc/meminfo: memFree=1625728/2055920 swapFree=4125316/4192956
[pid=18681] ppid=18679 vsize=20624 CPUtime=282.19
/proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 4981 0 0 0 28213 6 0 0 25 0 1 0 132092074 21118976 4854 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18681/statm: 5156 4854 139 317 0 4835 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 20624

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 18682
/proc/meminfo: memFree=1623936/2055920 swapFree=4125380/4192956
[pid=18681] ppid=18679 vsize=22396 CPUtime=342.16
/proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 5437 0 0 0 34210 6 0 0 25 0 1 0 132092074 22933504 5310 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18681/statm: 5599 5310 170 317 0 5278 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 22396

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 18682
/proc/meminfo: memFree=1622144/2055920 swapFree=4125380/4192956
[pid=18681] ppid=18679 vsize=24316 CPUtime=402.14
/proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 5901 0 0 0 40207 7 0 0 25 0 1 0 132092074 24899584 5774 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18681/statm: 6079 5774 170 317 0 5758 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 24316

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 18682
/proc/meminfo: memFree=1620544/2055920 swapFree=4125380/4192956
[pid=18681] ppid=18679 vsize=26012 CPUtime=462.12
/proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 6299 0 0 0 46204 8 0 0 25 0 1 0 132092074 26636288 6172 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18681/statm: 6503 6172 170 317 0 6182 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 26012

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 18682
/proc/meminfo: memFree=1619328/2055920 swapFree=4125444/4192956
[pid=18681] ppid=18679 vsize=27428 CPUtime=522.1
/proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 6633 0 0 0 52201 9 0 0 25 0 1 0 132092074 28086272 6506 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18681/statm: 6857 6506 170 317 0 6536 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 27428

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 18684
/proc/meminfo: memFree=1618112/2055920 swapFree=4125444/4192956
[pid=18681] ppid=18679 vsize=28504 CPUtime=582.08
/proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 6926 0 0 0 58199 9 0 0 25 0 1 0 132092074 29188096 6799 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18681/statm: 7126 6799 170 317 0 6805 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 28504

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 18684
/proc/meminfo: memFree=1616896/2055920 swapFree=4125508/4192956
[pid=18681] ppid=18679 vsize=30420 CPUtime=642.06
/proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 7367 0 0 0 64196 10 0 0 25 0 1 0 132092074 31150080 7098 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712546 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18681/statm: 7605 7098 170 317 0 7284 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 30420


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

[startup+942.301 s]
/proc/loadavg: 1.05 1.01 1.00 2/79 18684
/proc/meminfo: memFree=1612224/2055920 swapFree=4125636/4192956
[pid=18681] ppid=18679 vsize=35128 CPUtime=941.94
/proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 8532 0 0 0 94181 13 0 0 25 0 1 0 132092074 35971072 8263 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715601 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18681/statm: 8782 8263 170 317 0 8461 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 35128

[startup+1002.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/79 18684
/proc/meminfo: memFree=1611200/2055920 swapFree=4125636/4192956
[pid=18681] ppid=18679 vsize=36256 CPUtime=1001.93
/proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 8781 0 0 0 100179 14 0 0 25 0 1 0 132092074 37126144 8512 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718454 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18681/statm: 9064 8512 170 317 0 8743 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 36256

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 18684
/proc/meminfo: memFree=1610176/2055920 swapFree=4125636/4192956
[pid=18681] ppid=18679 vsize=37244 CPUtime=1061.9
/proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 9030 0 0 0 106176 14 0 0 25 0 1 0 132092074 38137856 8761 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18681/statm: 9311 8761 170 317 0 8990 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 37244

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 18684
/proc/meminfo: memFree=1609088/2055920 swapFree=4125700/4192956
[pid=18681] ppid=18679 vsize=38176 CPUtime=1121.88
/proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 9289 0 0 0 112173 15 0 0 25 0 1 0 132092074 39092224 9020 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18681/statm: 9544 9020 170 317 0 9223 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 38176

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 18684
/proc/meminfo: memFree=1608448/2055920 swapFree=4125700/4192956
[pid=18681] ppid=18679 vsize=38976 CPUtime=1181.86
/proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 9469 0 0 0 118171 15 0 0 25 0 1 0 132092074 39911424 9200 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18681/statm: 9744 9200 170 317 0 9423 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 38976

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 18684
/proc/meminfo: memFree=1607808/2055920 swapFree=4125764/4192956
[pid=18681] ppid=18679 vsize=39508 CPUtime=1241.84
/proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 9619 0 0 0 124168 16 0 0 25 0 1 0 132092074 40456192 9350 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18681/statm: 9877 9350 170 317 0 9556 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 39508

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 18684
/proc/meminfo: memFree=1607168/2055920 swapFree=4125764/4192956
[pid=18681] ppid=18679 vsize=40164 CPUtime=1301.82
/proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 9768 0 0 0 130166 16 0 0 25 0 1 0 132092074 41127936 9499 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18681/statm: 10041 9499 170 317 0 9720 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 40164

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 18684
/proc/meminfo: memFree=1606528/2055920 swapFree=4125764/4192956
[pid=18681] ppid=18679 vsize=40716 CPUtime=1361.79
/proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 9921 0 0 0 136163 16 0 0 25 0 1 0 132092074 41693184 9652 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18681/statm: 10179 9652 170 317 0 9858 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 40716

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 18684
/proc/meminfo: memFree=1605824/2055920 swapFree=4125828/4192956
[pid=18681] ppid=18679 vsize=41508 CPUtime=1421.77
/proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 10110 0 0 0 142160 17 0 0 25 0 1 0 132092074 42504192 9841 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18681/statm: 10377 9841 170 317 0 10056 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 41508

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 18684
/proc/meminfo: memFree=1605312/2055920 swapFree=4125828/4192956
[pid=18681] ppid=18679 vsize=41912 CPUtime=1481.74
/proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 10223 0 0 0 148157 17 0 0 25 0 1 0 132092074 42917888 9954 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18681/statm: 10478 9954 170 317 0 10157 0
Current children cumulated CPU time (s) 1481.74
Current children cumulated vsize (KiB) 41912

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 18684
/proc/meminfo: memFree=1604416/2055920 swapFree=4125892/4192956
[pid=18681] ppid=18679 vsize=43048 CPUtime=1541.73
/proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 10465 0 0 0 154155 18 0 0 25 0 1 0 132092074 44081152 10196 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18681/statm: 10762 10196 170 317 0 10441 0
Current children cumulated CPU time (s) 1541.73
Current children cumulated vsize (KiB) 43048

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 18684
/proc/meminfo: memFree=1603712/2055920 swapFree=4125892/4192956
[pid=18681] ppid=18679 vsize=43836 CPUtime=1601.7
/proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 10663 0 0 0 160152 18 0 0 25 0 1 0 132092074 44888064 10361 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18681/statm: 10959 10361 170 317 0 10638 0
Current children cumulated CPU time (s) 1601.7
Current children cumulated vsize (KiB) 43836

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 18684
/proc/meminfo: memFree=1602944/2055920 swapFree=4125956/4192956
[pid=18681] ppid=18679 vsize=44532 CPUtime=1661.68
/proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 10859 0 0 0 166149 19 0 0 25 0 1 0 132092074 45600768 10557 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18681/statm: 11133 10557 170 317 0 10812 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 44532

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 18684
/proc/meminfo: memFree=1602176/2055920 swapFree=4125956/4192956
[pid=18681] ppid=18679 vsize=45420 CPUtime=1721.66
/proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 11054 0 0 0 172147 19 0 0 25 0 1 0 132092074 46510080 10752 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604231 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18681/statm: 11355 10752 170 317 0 11034 0
Current children cumulated CPU time (s) 1721.66
Current children cumulated vsize (KiB) 45420

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 18684
/proc/meminfo: memFree=1601472/2055920 swapFree=4125956/4192956
[pid=18681] ppid=18679 vsize=46080 CPUtime=1781.64
/proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 11229 0 0 0 178144 20 0 0 25 0 1 0 132092074 47185920 10927 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712569 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18681/statm: 11520 10927 170 317 0 11199 0
Current children cumulated CPU time (s) 1781.64
Current children cumulated vsize (KiB) 46080



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 18684
/proc/meminfo: memFree=1601280/2055920 swapFree=4125956/4192956
[pid=18681] ppid=18679 vsize=46208 CPUtime=1800.04
/proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 11267 0 0 0 179984 20 0 0 25 0 1 0 132092074 47316992 10965 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18681/statm: 11552 10965 170 317 0 11231 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 46208

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/79 18684
/proc/meminfo: memFree=1601280/2055920 swapFree=4125956/4192956
[pid=18681] ppid=18679 vsize=46208 CPUtime=1800.14
/proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 11267 0 0 0 179994 20 0 0 25 0 1 0 132092074 47316992 10965 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18681/statm: 11552 10965 170 317 0 11231 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 46208

[startup+1800.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 18684
/proc/meminfo: memFree=1601280/2055920 swapFree=4125956/4192956
[pid=18681] ppid=18679 vsize=46208 CPUtime=1800.23
/proc/18681/stat : 18681 (oree) R 18679 18681 18010 0 -1 4194304 11267 0 0 0 180003 20 0 0 25 0 1 0 132092074 47316992 10965 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18681/statm: 11552 10965 170 317 0 11231 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 46208

Child status: 0
Real time (s): 1800.92
CPU time (s): 1800.26
CPU user time (s): 1800.05
CPU system time (s): 0.208968
CPU usage (%): 99.9633
Max. virtual memory (cumulated for all children) (KiB): 46208

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

runsolver used 1.86472 second user time and 4.70129 second system time

The end

Launcher Data (download as text)

Begin job on node37 on Tue Apr 17 20:29:56 UTC 2007

IDJOB= 360040
IDBENCH= 1339
IDSOLVER= 172
FILE ID= node37/360040-1176841796

PBS_JOBID= 4590152

Free space on /tmp= 66462 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900565527.opb
COMMAND LINE= oree /tmp/evaluation/360040-1176841796/instance-360040-1176841796.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node37/watcher-360040-1176841796 -o ROOT/results/node37/solver-360040-1176841796 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/360040-1176841796/instance-360040-1176841796.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  2e8fe4d521f8ec7159487f71439b9947

RANDOM SEED= 273641070

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node37.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.281
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.281
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1645408 kB
Buffers:         37164 kB
Cached:         288652 kB
SwapCached:       3168 kB
Active:         189736 kB
Inactive:       162036 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1645408 kB
SwapTotal:     4192956 kB
SwapFree:      4125188 kB
Dirty:            1408 kB
Writeback:           0 kB
Mapped:          33188 kB
Slab:            44072 kB
Committed_AS:  1104856 kB
PageTables:       2000 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66462 MiB

End job on node37 on Tue Apr 17 20:59:59 UTC 2007