Trace number 359480

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.12 1800.67

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900575442.opb
MD5SUM3135d58f22cd009942de3e1dff086931
Bench CategorySATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark15.9296
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
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 667
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.32	c restart after 401 decisions
0.39/0.43	c nbDecision=500 #constraints=3180
0.79/0.82	c restart after 801 decisions
1.09/1.17	c nbDecision=1000 #constraints=3663
2.29/2.32	c nbDecision=1500 #constraints=4157
2.69/2.70	c restart after 1601 decisions
3.99/4.08	c nbDecision=2000 #constraints=4636
6.19/6.24	c nbDecision=2500 #constraints=5123
8.28/8.34	c nbDecision=3000 #constraints=5615
9.48/9.55	c restart after 3201 decisions
11.29/11.32	c nbDecision=3500 #constraints=6088
15.59/15.65	c nbDecision=4000 #constraints=6575
20.28/20.35	c nbDecision=4500 #constraints=7066
25.68/25.72	c nbDecision=5000 #constraints=7557
32.68/32.78	c nbDecision=5500 #constraints=8040
40.38/40.49	c nbDecision=6000 #constraints=8519
49.08/49.12	c restart after 6401 decisions
51.58/51.70	c nbDecision=6500 #constraints=8997
64.67/64.71	c nbDecision=7000 #constraints=9485
78.07/78.15	c nbDecision=7500 #constraints=9963
92.46/92.55	c nbDecision=8000 #constraints=10445
112.36/112.47	c nbDecision=8500 #constraints=10947
134.34/134.41	c nbDecision=9000 #constraints=11440
149.15/149.26	c nbDecision=9500 #constraints=11921
167.73/167.88	c nbDecision=10000 #constraints=12405
190.33/190.44	c nbDecision=10500 #constraints=12895
214.42/214.55	c nbDecision=11000 #constraints=13384
237.62/237.78	c nbDecision=11500 #constraints=13867
264.41/264.56	c nbDecision=12000 #constraints=14352
284.71/284.81	c nbDecision=12500 #constraints=14845
305.50/305.63	c restart after 12801 decisions
316.89/317.05	c nbDecision=13000 #constraints=15333
338.18/338.32	c nbDecision=13500 #constraints=15816
364.48/364.65	c nbDecision=14000 #constraints=16296
393.57/393.80	c nbDecision=14500 #constraints=16775
422.66/422.80	c nbDecision=15000 #constraints=17263
446.95/447.10	c nbDecision=15500 #constraints=17750
479.84/480.07	c nbDecision=16000 #constraints=18233
512.84/513.01	c nbDecision=16500 #constraints=18722
541.92/542.12	c nbDecision=17000 #constraints=19201
577.11/577.33	c nbDecision=17500 #constraints=19694
611.51/611.75	c nbDecision=18000 #constraints=20180
651.89/652.11	c nbDecision=18500 #constraints=20672
690.18/690.48	c nbDecision=19000 #constraints=21160
723.67/723.97	c nbDecision=19500 #constraints=21646
771.16/771.44	c nbDecision=20000 #constraints=22142
813.54/813.89	c nbDecision=20500 #constraints=22625
846.74/847.09	c nbDecision=21000 #constraints=23116
889.01/889.34	c nbDecision=21500 #constraints=23601
935.31/935.61	c nbDecision=22000 #constraints=24089
984.89/985.20	c nbDecision=22500 #constraints=24570
1024.78/1025.19	c nbDecision=23000 #constraints=25053
1071.37/1071.74	c nbDecision=23500 #constraints=25538
1134.74/1135.13	c nbDecision=24000 #constraints=26031
1190.43/1190.82	c nbDecision=24500 #constraints=26516
1252.41/1252.83	c nbDecision=25000 #constraints=27005
1310.99/1311.49	c nbDecision=25500 #constraints=27484
1322.98/1323.45	c restart after 25601 decisions
1388.06/1388.58	c nbDecision=26000 #constraints=27964
1478.14/1478.68	c nbDecision=26500 #constraints=28459
1574.11/1574.64	c nbDecision=27000 #constraints=28955
1647.29/1647.82	c nbDecision=27500 #constraints=29431
1711.27/1711.83	c nbDecision=28000 #constraints=29920
1783.55/1784.16	c nbDecision=28500 #constraints=30414
1800.05/1800.60	Received signal 15
1800.05/1800.65	
1800.05/1800.65	s UNKNOWN
1800.05/1800.65	
1800.05/1800.65	c user time= 1799.85 s
1800.05/1800.65	c system time= 0.254961 s
1800.05/1800.65	c wall clock time=1800.66

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/node22/watcher-359480-1176840420 -o ROOT/results/node22/solver-359480-1176840420 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/359480-1176840420/instance-359480-1176840420.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.72 0.93 0.98 3/77 23886
/proc/meminfo: memFree=1852480/2055920 swapFree=4168624/4192956
[pid=23886] ppid=23884 vsize=1468 CPUtime=0
/proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 131959696 1503232 165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23886/statm: 367 166 130 317 0 46 0

[startup+0.08683 s]
/proc/loadavg: 0.72 0.93 0.98 3/77 23886
/proc/meminfo: memFree=1852480/2055920 swapFree=4168624/4192956
[pid=23886] ppid=23884 vsize=2544 CPUtime=0.08
/proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 425 0 0 0 8 0 0 0 18 0 1 0 131959696 2605056 407 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710982 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23886/statm: 636 407 139 317 0 315 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2544

[startup+0.101833 s]
/proc/loadavg: 0.72 0.93 0.98 3/77 23886
/proc/meminfo: memFree=1852480/2055920 swapFree=4168624/4192956
[pid=23886] ppid=23884 vsize=2544 CPUtime=0.09
/proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 425 0 0 0 9 0 0 0 18 0 1 0 131959696 2605056 407 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272576 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23886/statm: 636 407 139 317 0 315 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2544

[startup+0.301862 s]
/proc/loadavg: 0.72 0.93 0.98 3/77 23886
/proc/meminfo: memFree=1852480/2055920 swapFree=4168624/4192956
[pid=23886] ppid=23884 vsize=2804 CPUtime=0.29
/proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 527 0 0 0 29 0 0 0 19 0 1 0 131959696 2871296 509 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23886/statm: 701 509 170 317 0 380 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2804

[startup+0.701925 s]
/proc/loadavg: 0.72 0.93 0.98 3/77 23886
/proc/meminfo: memFree=1852480/2055920 swapFree=4168624/4192956
[pid=23886] ppid=23884 vsize=3068 CPUtime=0.69
/proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 617 0 0 0 69 0 0 0 23 0 1 0 131959696 3141632 599 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563351 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23886/statm: 767 599 170 317 0 446 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3068

[startup+1.50104 s]
/proc/loadavg: 0.74 0.94 0.98 2/78 23887
/proc/meminfo: memFree=1850616/2055920 swapFree=4168624/4192956
[pid=23886] ppid=23884 vsize=3596 CPUtime=1.49
/proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 748 0 0 0 149 0 0 0 25 0 1 0 131959696 3682304 730 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23886/statm: 899 730 170 317 0 578 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 3596

[startup+3.10129 s]
/proc/loadavg: 0.74 0.94 0.98 2/78 23887
/proc/meminfo: memFree=1849784/2055920 swapFree=4168624/4192956
[pid=23886] ppid=23884 vsize=4252 CPUtime=3.09
/proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 919 0 0 0 309 0 0 0 25 0 1 0 131959696 4354048 901 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23886/statm: 1063 901 170 317 0 742 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 4252

[startup+6.30178 s]
/proc/loadavg: 0.76 0.94 0.98 2/78 23887
/proc/meminfo: memFree=1848696/2055920 swapFree=4168624/4192956
[pid=23886] ppid=23884 vsize=5172 CPUtime=6.29
/proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 1138 0 0 0 629 0 0 0 25 0 1 0 131959696 5296128 1120 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716120 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23886/statm: 1293 1120 170 317 0 972 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 5172

[startup+12.7018 s]
/proc/loadavg: 0.78 0.94 0.98 2/78 23887
/proc/meminfo: memFree=1846840/2055920 swapFree=4168624/4192956
[pid=23886] ppid=23884 vsize=7024 CPUtime=12.69
/proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 1601 0 0 0 1268 1 0 0 25 0 1 0 131959696 7192576 1546 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563983 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23886/statm: 1756 1546 170 317 0 1435 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 7024

[startup+25.5017 s]
/proc/loadavg: 0.81 0.94 0.98 2/78 23887
/proc/meminfo: memFree=1844728/2055920 swapFree=4168624/4192956
[pid=23886] ppid=23884 vsize=8996 CPUtime=25.48
/proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 2101 0 0 0 2547 1 0 0 25 0 1 0 131959696 9211904 2046 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23886/statm: 2249 2046 170 317 0 1928 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 8996

[startup+51.1016 s]
/proc/loadavg: 0.88 0.94 0.98 2/78 23887
/proc/meminfo: memFree=1842552/2055920 swapFree=4168624/4192956
[pid=23886] ppid=23884 vsize=11124 CPUtime=51.08
/proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 2643 0 0 0 5106 2 0 0 25 0 1 0 131959696 11390976 2588 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563464 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23886/statm: 2781 2588 170 317 0 2460 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 11124

[startup+102.305 s]
/proc/loadavg: 0.95 0.95 0.98 2/78 23887
/proc/meminfo: memFree=1840056/2055920 swapFree=4168624/4192956
[pid=23886] ppid=23884 vsize=13804 CPUtime=102.26
/proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 3317 0 0 0 10223 3 0 0 25 0 1 0 131959696 14135296 3190 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23886/statm: 3451 3190 170 317 0 3130 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 13804

[startup+162.302 s]
/proc/loadavg: 0.98 0.95 0.98 2/78 23887
/proc/meminfo: memFree=1837816/2055920 swapFree=4168624/4192956
[pid=23886] ppid=23884 vsize=16228 CPUtime=162.24
/proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 3876 0 0 0 16220 4 0 0 25 0 1 0 131959696 16617472 3749 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563441 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23886/statm: 4057 3749 170 317 0 3736 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 16228

[startup+222.302 s]
/proc/loadavg: 0.99 0.96 0.98 2/78 23887
/proc/meminfo: memFree=1835768/2055920 swapFree=4168624/4192956
[pid=23886] ppid=23884 vsize=18128 CPUtime=222.23
/proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 4371 0 0 0 22217 6 0 0 25 0 1 0 131959696 18563072 4244 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563419 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23886/statm: 4532 4244 170 317 0 4211 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 18128

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 23887
/proc/meminfo: memFree=1833720/2055920 swapFree=4168624/4192956
[pid=23886] ppid=23884 vsize=20300 CPUtime=282.2
/proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 4886 0 0 0 28214 6 0 0 25 0 1 0 131959696 20787200 4759 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23886/statm: 5075 4759 170 317 0 4754 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 20300

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 23887
/proc/meminfo: memFree=1831992/2055920 swapFree=4168624/4192956
[pid=23886] ppid=23884 vsize=21932 CPUtime=342.18
/proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 5302 0 0 0 34211 7 0 0 25 0 1 0 131959696 22458368 5175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718534 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23886/statm: 5483 5175 170 317 0 5162 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 21932

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 23887
/proc/meminfo: memFree=1830264/2055920 swapFree=4168624/4192956
[pid=23886] ppid=23884 vsize=23796 CPUtime=402.16
/proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 5739 0 0 0 40208 8 0 0 25 0 1 0 131959696 24367104 5612 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23886/statm: 5949 5612 170 317 0 5628 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 23796

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 23887
/proc/meminfo: memFree=1828408/2055920 swapFree=4168624/4192956
[pid=23886] ppid=23884 vsize=25640 CPUtime=462.15
/proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 6194 0 0 0 46206 9 0 0 25 0 1 0 131959696 26255360 6067 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23886/statm: 6410 6067 170 317 0 6089 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 25640

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 23887
/proc/meminfo: memFree=1827064/2055920 swapFree=4168624/4192956
[pid=23886] ppid=23884 vsize=27144 CPUtime=522.13
/proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 6549 0 0 0 52203 10 0 0 25 0 1 0 131959696 27795456 6422 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23886/statm: 6786 6422 170 317 0 6465 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 27144

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 23887
/proc/meminfo: memFree=1825656/2055920 swapFree=4168624/4192956
[pid=23886] ppid=23884 vsize=28476 CPUtime=582.12
/proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 6881 0 0 0 58201 11 0 0 25 0 1 0 131959696 29159424 6754 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23886/statm: 7119 6754 170 317 0 6798 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 28476

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 23887
/proc/meminfo: memFree=1824184/2055920 swapFree=4168624/4192956
[pid=23886] ppid=23884 vsize=29968 CPUtime=642.1
/proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 7244 0 0 0 64199 11 0 0 25 0 1 0 131959696 30687232 7117 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23886/statm: 7492 7117 170 317 0 7171 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 29968


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

[startup+822.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 23887
/proc/meminfo: memFree=1820280/2055920 swapFree=4168624/4192956
[pid=23886] ppid=23884 vsize=34396 CPUtime=822.04
/proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 8349 0 0 0 82190 14 0 0 25 0 1 0 131959696 35221504 8080 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23886/statm: 8599 8080 170 317 0 8278 0
Current children cumulated CPU time (s) 822.04
Current children cumulated vsize (KiB) 34396

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 23887
/proc/meminfo: memFree=1818936/2055920 swapFree=4168624/4192956
[pid=23886] ppid=23884 vsize=35824 CPUtime=882.02
/proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 8681 0 0 0 88188 14 0 0 25 0 1 0 131959696 36683776 8412 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563609 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23886/statm: 8956 8412 170 317 0 8635 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 35824

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 23887
/proc/meminfo: memFree=1817720/2055920 swapFree=4168624/4192956
[pid=23886] ppid=23884 vsize=37140 CPUtime=942
/proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 8994 0 0 0 94185 15 0 0 25 0 1 0 131959696 38031360 8692 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23886/statm: 9285 8692 170 317 0 8964 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 37140

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 23887
/proc/meminfo: memFree=1816568/2055920 swapFree=4168624/4192956
[pid=23886] ppid=23884 vsize=38376 CPUtime=1001.99
/proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 9283 0 0 0 100183 16 0 0 25 0 1 0 131959696 39297024 8981 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23886/statm: 9594 8981 170 317 0 9273 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 38376

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 23887
/proc/meminfo: memFree=1815288/2055920 swapFree=4168624/4192956
[pid=23886] ppid=23884 vsize=39424 CPUtime=1061.97
/proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 9576 0 0 0 106180 17 0 0 25 0 1 0 131959696 40370176 9274 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23886/statm: 9856 9274 170 317 0 9535 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 39424

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 23887
/proc/meminfo: memFree=1814392/2055920 swapFree=4168624/4192956
[pid=23886] ppid=23884 vsize=40216 CPUtime=1121.95
/proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 9796 0 0 0 112178 17 0 0 25 0 1 0 131959696 41181184 9494 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23886/statm: 10054 9494 170 317 0 9733 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 40216

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 23887
/proc/meminfo: memFree=1813496/2055920 swapFree=4168624/4192956
[pid=23886] ppid=23884 vsize=41184 CPUtime=1181.93
/proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 10020 0 0 0 118175 18 0 0 25 0 1 0 131959696 42172416 9718 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23886/statm: 10296 9718 170 317 0 9975 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 41184

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 23887
/proc/meminfo: memFree=1812536/2055920 swapFree=4168624/4192956
[pid=23886] ppid=23884 vsize=42188 CPUtime=1241.91
/proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 10239 0 0 0 124173 18 0 0 25 0 1 0 131959696 43200512 9937 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23886/statm: 10547 9937 170 317 0 10226 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 42188

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 23887
/proc/meminfo: memFree=1811576/2055920 swapFree=4168624/4192956
[pid=23886] ppid=23884 vsize=43224 CPUtime=1301.9
/proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 10483 0 0 0 130171 19 0 0 25 0 1 0 131959696 44261376 10181 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23886/statm: 10806 10181 170 317 0 10485 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 43224

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 23887
/proc/meminfo: memFree=1810808/2055920 swapFree=4168624/4192956
[pid=23886] ppid=23884 vsize=43752 CPUtime=1361.88
/proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 10646 0 0 0 136168 20 0 0 25 0 1 0 131959696 44802048 10344 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23886/statm: 10938 10344 170 317 0 10617 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 43752

[startup+1422.31 s]
/proc/loadavg: 1.18 1.04 1.00 2/78 23887
/proc/meminfo: memFree=1810232/2055920 swapFree=4168624/4192956
[pid=23886] ppid=23884 vsize=44336 CPUtime=1421.86
/proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 10793 0 0 0 142165 21 0 0 25 0 1 0 131959696 45400064 10491 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23886/statm: 11084 10491 170 317 0 10763 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 44336

[startup+1482.3 s]
/proc/loadavg: 1.06 1.03 1.00 2/78 23887
/proc/meminfo: memFree=1809720/2055920 swapFree=4168624/4192956
[pid=23886] ppid=23884 vsize=44912 CPUtime=1481.84
/proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 10921 0 0 0 148162 22 0 0 25 0 1 0 131959696 45989888 10619 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23886/statm: 11228 10619 170 317 0 10907 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 44912

[startup+1542.3 s]
/proc/loadavg: 1.02 1.02 1.00 2/78 23887
/proc/meminfo: memFree=1809208/2055920 swapFree=4168624/4192956
[pid=23886] ppid=23884 vsize=45436 CPUtime=1541.82
/proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 11036 0 0 0 154160 22 0 0 25 0 1 0 131959696 46526464 10734 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23886/statm: 11359 10734 170 317 0 11038 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 45436

[startup+1602.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/78 23887
/proc/meminfo: memFree=1808760/2055920 swapFree=4168624/4192956
[pid=23886] ppid=23884 vsize=45996 CPUtime=1601.8
/proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 11157 0 0 0 160157 23 0 0 25 0 1 0 131959696 47099904 10855 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23886/statm: 11499 10855 170 317 0 11178 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 45996

[startup+1662.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 23887
/proc/meminfo: memFree=1808184/2055920 swapFree=4168624/4192956
[pid=23886] ppid=23884 vsize=46556 CPUtime=1661.78
/proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 11297 0 0 0 166155 23 0 0 25 0 1 0 131959696 47673344 10995 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712497 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23886/statm: 11639 10995 170 317 0 11318 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 46556

[startup+1722.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 23887
/proc/meminfo: memFree=1807480/2055920 swapFree=4168624/4192956
[pid=23886] ppid=23884 vsize=47248 CPUtime=1721.77
/proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 11460 0 0 0 172153 24 0 0 25 0 1 0 131959696 48381952 11158 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602641 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23886/statm: 11812 11158 170 317 0 11491 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 47248

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 23887
/proc/meminfo: memFree=1806840/2055920 swapFree=4168624/4192956
[pid=23886] ppid=23884 vsize=47904 CPUtime=1781.75
/proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 11610 0 0 0 178150 25 0 0 25 0 1 0 131959696 49053696 11308 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23886/statm: 11976 11308 170 317 0 11655 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 47904



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 23887
/proc/meminfo: memFree=1806584/2055920 swapFree=4168624/4192956
[pid=23886] ppid=23884 vsize=48220 CPUtime=1800.05
/proc/23886/stat : 23886 (oree) R 23884 23886 23829 0 -1 4194304 11662 0 0 0 179980 25 0 0 25 0 1 0 131959696 49377280 11360 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23886/statm: 12055 11360 170 317 0 11734 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 48220

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

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

Child status: 0
Real time (s): 1800.67
CPU time (s): 1800.12
CPU user time (s): 1799.86
CPU system time (s): 0.263959
CPU usage (%): 99.9694
Max. virtual memory (cumulated for all children) (KiB): 48220

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

runsolver used 2.08068 second user time and 4.37033 second system time

The end

Launcher Data (download as text)

Begin job on node22 on Tue Apr 17 20:07:00 UTC 2007

IDJOB= 359480
IDBENCH= 1294
IDSOLVER= 172
FILE ID= node22/359480-1176840420

PBS_JOBID= 4590179

Free space on /tmp= 66530 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.1900575442.opb
COMMAND LINE= oree /tmp/evaluation/359480-1176840420/instance-359480-1176840420.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node22/watcher-359480-1176840420 -o ROOT/results/node22/solver-359480-1176840420 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/359480-1176840420/instance-359480-1176840420.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  3135d58f22cd009942de3e1dff086931

RANDOM SEED= 305422155

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node22.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.265
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.265
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:       1852952 kB
Buffers:         33916 kB
Cached:          86720 kB
SwapCached:       2308 kB
Active:          55868 kB
Inactive:        87220 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1852952 kB
SwapTotal:     4192956 kB
SwapFree:      4168624 kB
Dirty:            1580 kB
Writeback:           0 kB
Mapped:          30300 kB
Slab:            45540 kB
Committed_AS:  1716244 kB
PageTables:       1676 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= 66530 MiB

End job on node22 on Tue Apr 17 20:37:03 UTC 2007