Trace number 359354

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 alphaUNSAT 1398.55 1399.03

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900546076.opb
MD5SUM148040983257ccf233b3daf7936d3c1f
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 benchmark4.99324
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 723
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.35	c restart after 401 decisions
0.39/0.49	c nbDecision=500 #constraints=3185
0.79/0.88	c restart after 801 decisions
1.19/1.30	c nbDecision=1000 #constraints=3668
2.49/2.58	c nbDecision=1500 #constraints=4162
2.79/2.90	c restart after 1601 decisions
4.19/4.22	c nbDecision=2000 #constraints=4646
6.69/6.71	c nbDecision=2500 #constraints=5133
9.98/10.04	c nbDecision=3000 #constraints=5619
11.28/11.30	c restart after 3201 decisions
13.79/13.82	c nbDecision=3500 #constraints=6100
18.38/18.42	c nbDecision=4000 #constraints=6588
24.58/24.63	c nbDecision=4500 #constraints=7078
31.08/31.16	c nbDecision=5000 #constraints=7575
38.27/38.33	c nbDecision=5500 #constraints=8069
44.68/44.77	c nbDecision=6000 #constraints=8558
50.58/50.68	c restart after 6401 decisions
52.37/52.42	c nbDecision=6500 #constraints=9043
62.27/62.39	c nbDecision=7000 #constraints=9530
73.97/74.06	c nbDecision=7500 #constraints=10015
86.57/86.63	c nbDecision=8000 #constraints=10495
96.86/96.99	c nbDecision=8500 #constraints=10978
110.55/110.64	c nbDecision=9000 #constraints=11471
130.05/130.10	c nbDecision=9500 #constraints=11965
150.55/150.64	c nbDecision=10000 #constraints=12457
169.14/169.21	c nbDecision=10500 #constraints=12953
186.43/186.55	c nbDecision=11000 #constraints=13434
200.42/200.52	c nbDecision=11500 #constraints=13909
221.51/221.64	c nbDecision=12000 #constraints=14405
245.50/245.64	c nbDecision=12500 #constraints=14902
259.10/259.23	c restart after 12801 decisions
267.20/267.35	c nbDecision=13000 #constraints=15386
291.50/291.60	c nbDecision=13500 #constraints=15868
311.09/311.26	c nbDecision=14000 #constraints=16357
333.18/333.31	c nbDecision=14500 #constraints=16842
354.27/354.45	c nbDecision=15000 #constraints=17327
374.57/374.70	c nbDecision=15500 #constraints=17820
396.06/396.25	c nbDecision=16000 #constraints=18304
424.15/424.35	c nbDecision=16500 #constraints=18797
459.24/459.43	c nbDecision=17000 #constraints=19289
496.22/496.47	c nbDecision=17500 #constraints=19787
536.81/537.04	c nbDecision=18000 #constraints=20262
563.01/563.26	c nbDecision=18500 #constraints=20753
594.29/594.57	c nbDecision=19000 #constraints=21241
621.48/621.74	c nbDecision=19500 #constraints=21720
663.17/663.49	c nbDecision=20000 #constraints=22214
704.35/704.65	c nbDecision=20500 #constraints=22707
750.04/750.36	c nbDecision=21000 #constraints=23204
788.62/788.92	c nbDecision=21500 #constraints=23699
830.51/830.87	c nbDecision=22000 #constraints=24197
862.89/863.29	c nbDecision=22500 #constraints=24689
895.98/896.36	c nbDecision=23000 #constraints=25178
932.48/932.85	c nbDecision=23500 #constraints=25663
969.36/969.79	c nbDecision=24000 #constraints=26161
1005.75/1006.14	c nbDecision=24500 #constraints=26655
1042.73/1043.13	c nbDecision=25000 #constraints=27137
1086.03/1086.48	c nbDecision=25500 #constraints=27630
1094.42/1094.87	c restart after 25601 decisions
1135.31/1135.78	c nbDecision=26000 #constraints=28120
1184.89/1185.32	c nbDecision=26500 #constraints=28614
1227.17/1227.67	c nbDecision=27000 #constraints=29103
1271.76/1272.26	c nbDecision=27500 #constraints=29600
1318.24/1318.70	c nbDecision=28000 #constraints=30095
1366.92/1367.48	c nbDecision=28500 #constraints=30581
1398.52/1399.01	c nbDecision=28817 #constraints=30897
1398.52/1399.01	
1398.52/1399.01	s UNSATISFIABLE
1398.52/1399.01	
1398.52/1399.01	c user time= 1398.41 s
1398.52/1399.01	c system time= 0.132979 s
1398.52/1399.01	c wall clock time=1399.01

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/node69/watcher-359354-1176840122 -o ROOT/results/node69/solver-359354-1176840122 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/359354-1176840122/instance-359354-1176840122.opb mod 

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.98 2/64 18316
/proc/meminfo: memFree=1599836/2055920 swapFree=4182840/4192956
[pid=18316] ppid=18314 vsize=1468 CPUtime=0
/proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 160001616 1503232 164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134542867 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18316/statm: 367 164 130 317 0 46 0

[startup+0.00645211 s]
/proc/loadavg: 0.92 0.98 0.98 2/64 18316
/proc/meminfo: memFree=1599836/2055920 swapFree=4182840/4192956
[pid=18316] ppid=18314 vsize=1468 CPUtime=0
/proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 160001616 1503232 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18316/statm: 367 175 130 317 0 46 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1468

[startup+0.101466 s]
/proc/loadavg: 0.92 0.98 0.98 2/64 18316
/proc/meminfo: memFree=1599836/2055920 swapFree=4182840/4192956
[pid=18316] ppid=18314 vsize=2544 CPUtime=0.09
/proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 425 0 0 0 9 0 0 0 18 0 1 0 160001616 2605056 407 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564080 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18316/statm: 636 407 139 317 0 315 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2544

[startup+0.301498 s]
/proc/loadavg: 0.92 0.98 0.98 2/64 18316
/proc/meminfo: memFree=1599836/2055920 swapFree=4182840/4192956
[pid=18316] ppid=18314 vsize=2676 CPUtime=0.29
/proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 487 0 0 0 29 0 0 0 19 0 1 0 160001616 2740224 469 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711473 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18316/statm: 669 469 139 317 0 348 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2676

[startup+0.701563 s]
/proc/loadavg: 0.92 0.98 0.98 2/64 18316
/proc/meminfo: memFree=1599836/2055920 swapFree=4182840/4192956
[pid=18316] ppid=18314 vsize=3068 CPUtime=0.69
/proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 573 0 0 0 69 0 0 0 24 0 1 0 160001616 3141632 555 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712567 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18316/statm: 767 555 139 317 0 446 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3068

[startup+1.50169 s]
/proc/loadavg: 0.92 0.98 0.98 2/65 18317
/proc/meminfo: memFree=1597972/2055920 swapFree=4182840/4192956
[pid=18316] ppid=18314 vsize=3592 CPUtime=1.49
/proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 709 0 0 0 149 0 0 0 25 0 1 0 160001616 3678208 691 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134554575 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18316/statm: 898 691 139 317 0 577 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 3592

[startup+3.10195 s]
/proc/loadavg: 0.92 0.98 0.98 2/65 18317
/proc/meminfo: memFree=1597204/2055920 swapFree=4182840/4192956
[pid=18316] ppid=18314 vsize=4384 CPUtime=3.09
/proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 889 0 0 0 309 0 0 0 25 0 1 0 160001616 4489216 871 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563820 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18316/statm: 1096 871 139 317 0 775 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 4384

[startup+6.30147 s]
/proc/loadavg: 0.93 0.98 0.98 2/65 18317
/proc/meminfo: memFree=1595988/2055920 swapFree=4182840/4192956
[pid=18316] ppid=18314 vsize=5308 CPUtime=6.29
/proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 1139 0 0 0 629 0 0 0 25 0 1 0 160001616 5435392 1121 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711484 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18316/statm: 1327 1121 139 317 0 1006 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 5308

[startup+12.7015 s]
/proc/loadavg: 0.93 0.98 0.98 2/65 18317
/proc/meminfo: memFree=1594788/2055920 swapFree=4182840/4192956
[pid=18316] ppid=18314 vsize=6368 CPUtime=12.69
/proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 1411 0 0 0 1268 1 0 0 25 0 1 0 160001616 6520832 1356 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18316/statm: 1592 1356 139 317 0 1271 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 6368

[startup+25.5016 s]
/proc/loadavg: 0.95 0.98 0.98 2/65 18317
/proc/meminfo: memFree=1593324/2055920 swapFree=4182840/4192956
[pid=18316] ppid=18314 vsize=7816 CPUtime=25.48
/proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 1774 0 0 0 2547 1 0 0 25 0 1 0 160001616 8003584 1719 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718667 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18316/statm: 1954 1719 139 317 0 1633 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 7816

[startup+51.1017 s]
/proc/loadavg: 0.96 0.98 0.98 2/65 18317
/proc/meminfo: memFree=1591276/2055920 swapFree=4182840/4192956
[pid=18316] ppid=18314 vsize=9924 CPUtime=51.07
/proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 2296 0 0 0 5105 2 0 0 25 0 1 0 160001616 10162176 2241 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18316/statm: 2481 2241 139 317 0 2160 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 9924

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.98 2/65 18317
/proc/meminfo: memFree=1588332/2055920 swapFree=4182840/4192956
[pid=18316] ppid=18314 vsize=12984 CPUtime=102.26
/proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 3108 0 0 0 10223 3 0 0 25 0 1 0 160001616 13295616 2981 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18316/statm: 3246 2981 170 317 0 2925 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 12984

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 18317
/proc/meminfo: memFree=1586540/2055920 swapFree=4182840/4192956
[pid=18316] ppid=18314 vsize=14836 CPUtime=162.24
/proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 3584 0 0 0 16220 4 0 0 25 0 1 0 160001616 15192064 3457 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18316/statm: 3709 3457 170 317 0 3388 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 14836

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 18317
/proc/meminfo: memFree=1584364/2055920 swapFree=4182840/4192956
[pid=18316] ppid=18314 vsize=17116 CPUtime=222.21
/proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 4118 0 0 0 22217 4 0 0 25 0 1 0 160001616 17526784 3991 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18316/statm: 4279 3991 170 317 0 3958 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 17116

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 18317
/proc/meminfo: memFree=1582828/2055920 swapFree=4182840/4192956
[pid=18316] ppid=18314 vsize=18600 CPUtime=282.2
/proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 4501 0 0 0 28215 5 0 0 25 0 1 0 160001616 19046400 4374 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18316/statm: 4650 4374 170 317 0 4329 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 18600

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 18317
/proc/meminfo: memFree=1581292/2055920 swapFree=4182840/4192956
[pid=18316] ppid=18314 vsize=20056 CPUtime=342.17
/proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 4864 0 0 0 34212 5 0 0 25 0 1 0 160001616 20537344 4737 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18316/statm: 5014 4737 170 317 0 4693 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 20056

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 18317
/proc/meminfo: memFree=1579628/2055920 swapFree=4182840/4192956
[pid=18316] ppid=18314 vsize=21800 CPUtime=402.16
/proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 5284 0 0 0 40210 6 0 0 25 0 1 0 160001616 22323200 5157 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18316/statm: 5450 5157 170 317 0 5129 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 21800

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 18317
/proc/meminfo: memFree=1578412/2055920 swapFree=4182840/4192956
[pid=18316] ppid=18314 vsize=23108 CPUtime=462.14
/proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 5573 0 0 0 46207 7 0 0 25 0 1 0 160001616 23662592 5446 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18316/statm: 5777 5446 170 317 0 5456 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 23108

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 18317
/proc/meminfo: memFree=1577580/2055920 swapFree=4182840/4192956
[pid=18316] ppid=18314 vsize=23940 CPUtime=522.11
/proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 5787 0 0 0 52204 7 0 0 25 0 1 0 160001616 24514560 5660 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715685 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18316/statm: 5985 5660 170 317 0 5664 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 23940

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 18317
/proc/meminfo: memFree=1576108/2055920 swapFree=4182840/4192956
[pid=18316] ppid=18314 vsize=25816 CPUtime=582.1
/proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 6264 0 0 0 58202 8 0 0 25 0 1 0 160001616 26435584 5995 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18316/statm: 6454 5995 170 317 0 6133 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 25816

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 18317
/proc/meminfo: memFree=1575340/2055920 swapFree=4182840/4192956
[pid=18316] ppid=18314 vsize=26620 CPUtime=642.08
/proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 6490 0 0 0 64200 8 0 0 25 0 1 0 160001616 27258880 6221 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604218 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18316/statm: 6655 6221 170 317 0 6334 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 26620


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

/proc/meminfo: memFree=1573612/2055920 swapFree=4182840/4192956
[pid=18316] ppid=18314 vsize=28444 CPUtime=762.04
/proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 6911 0 0 0 76195 9 0 0 25 0 1 0 160001616 29126656 6642 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18316/statm: 7111 6642 170 317 0 6790 0
Current children cumulated CPU time (s) 762.04
Current children cumulated vsize (KiB) 28444

[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 18317
/proc/meminfo: memFree=1572844/2055920 swapFree=4182840/4192956
[pid=18316] ppid=18314 vsize=29296 CPUtime=822.01
/proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 7124 0 0 0 82192 9 0 0 25 0 1 0 160001616 29999104 6855 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18316/statm: 7324 6855 170 317 0 7003 0
Current children cumulated CPU time (s) 822.01
Current children cumulated vsize (KiB) 29296

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 18317
/proc/meminfo: memFree=1571756/2055920 swapFree=4182840/4192956
[pid=18316] ppid=18314 vsize=30344 CPUtime=881.99
/proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 7384 0 0 0 88190 9 0 0 25 0 1 0 160001616 31072256 7115 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18316/statm: 7586 7115 170 317 0 7265 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 30344

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 18317
/proc/meminfo: memFree=1570732/2055920 swapFree=4182840/4192956
[pid=18316] ppid=18314 vsize=31424 CPUtime=941.97
/proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 7641 0 0 0 94187 10 0 0 25 0 1 0 160001616 32178176 7372 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18316/statm: 7856 7372 170 317 0 7535 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 31424

[startup+1002.3 s]
/proc/loadavg: 1.04 1.00 0.99 2/65 18317
/proc/meminfo: memFree=1569836/2055920 swapFree=4182840/4192956
[pid=18316] ppid=18314 vsize=32384 CPUtime=1001.95
/proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 7870 0 0 0 100185 10 0 0 25 0 1 0 160001616 33161216 7601 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18316/statm: 8096 7601 170 317 0 7775 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 32384

[startup+1062.3 s]
/proc/loadavg: 1.17 1.04 1.00 2/65 18317
/proc/meminfo: memFree=1568876/2055920 swapFree=4182840/4192956
[pid=18316] ppid=18314 vsize=33488 CPUtime=1061.93
/proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 8094 0 0 0 106183 10 0 0 25 0 1 0 160001616 34291712 7825 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563957 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18316/statm: 8372 7825 170 317 0 8051 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 33488

[startup+1122.3 s]
/proc/loadavg: 1.10 1.05 1.00 2/65 18317
/proc/meminfo: memFree=1568108/2055920 swapFree=4182840/4192956
[pid=18316] ppid=18314 vsize=34192 CPUtime=1121.91
/proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 8292 0 0 0 112180 11 0 0 25 0 1 0 160001616 35012608 8023 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604154 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18316/statm: 8548 8023 170 317 0 8227 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 34192

[startup+1182.3 s]
/proc/loadavg: 1.03 1.04 1.00 2/65 18317
/proc/meminfo: memFree=1567404/2055920 swapFree=4182840/4192956
[pid=18316] ppid=18314 vsize=34848 CPUtime=1181.89
/proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 8477 0 0 0 118178 11 0 0 25 0 1 0 160001616 35684352 8208 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18316/statm: 8712 8208 170 317 0 8391 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 34848

[startup+1242.3 s]
/proc/loadavg: 1.01 1.03 1.00 2/65 18317
/proc/meminfo: memFree=1566444/2055920 swapFree=4182840/4192956
[pid=18316] ppid=18314 vsize=35820 CPUtime=1241.88
/proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 8706 0 0 0 124176 12 0 0 25 0 1 0 160001616 36679680 8437 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563625 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18316/statm: 8955 8437 170 317 0 8634 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 35820

[startup+1302.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 18317
/proc/meminfo: memFree=1565612/2055920 swapFree=4182840/4192956
[pid=18316] ppid=18314 vsize=36612 CPUtime=1301.85
/proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 8898 0 0 0 130173 12 0 0 25 0 1 0 160001616 37490688 8629 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18316/statm: 9153 8629 170 317 0 8832 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 36612

[startup+1362.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 18317
/proc/meminfo: memFree=1564844/2055920 swapFree=4182840/4192956
[pid=18316] ppid=18314 vsize=37552 CPUtime=1361.82
/proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 9107 0 0 0 136170 12 0 0 25 0 1 0 160001616 38453248 8838 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18316/statm: 9388 8838 170 317 0 9067 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 37552

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

[startup+1382.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 18317
/proc/meminfo: memFree=1564588/2055920 swapFree=4182840/4192956
[pid=18316] ppid=18314 vsize=37816 CPUtime=1381.83
/proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 9166 0 0 0 138170 13 0 0 25 0 1 0 160001616 38723584 8897 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18316/statm: 9454 8897 170 317 0 9133 0
Current children cumulated CPU time (s) 1381.83
Current children cumulated vsize (KiB) 37816

[startup+1388.7 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 18317
/proc/meminfo: memFree=1564524/2055920 swapFree=4182840/4192956
[pid=18316] ppid=18314 vsize=37816 CPUtime=1388.22
/proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 9184 0 0 0 138809 13 0 0 25 0 1 0 160001616 38723584 8915 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18316/statm: 9454 8915 170 317 0 9133 0
Current children cumulated CPU time (s) 1388.22
Current children cumulated vsize (KiB) 37816

[startup+1395.1 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 18317
/proc/meminfo: memFree=1564396/2055920 swapFree=4182840/4192956
[pid=18316] ppid=18314 vsize=37944 CPUtime=1394.62
/proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 9202 0 0 0 139449 13 0 0 25 0 1 0 160001616 38854656 8933 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18316/statm: 9486 8933 170 317 0 9165 0
Current children cumulated CPU time (s) 1394.62
Current children cumulated vsize (KiB) 37944

[startup+1396.7 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 18317
/proc/meminfo: memFree=1564396/2055920 swapFree=4182840/4192956
[pid=18316] ppid=18314 vsize=37944 CPUtime=1396.22
/proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 9207 0 0 0 139609 13 0 0 25 0 1 0 160001616 38854656 8938 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18316/statm: 9486 8938 170 317 0 9165 0
Current children cumulated CPU time (s) 1396.22
Current children cumulated vsize (KiB) 37944

[startup+1398.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 18317
/proc/meminfo: memFree=1564396/2055920 swapFree=4182840/4192956
[pid=18316] ppid=18314 vsize=37944 CPUtime=1397.82
/proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 9212 0 0 0 139769 13 0 0 25 0 1 0 160001616 38854656 8943 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18316/statm: 9486 8943 170 317 0 9165 0
Current children cumulated CPU time (s) 1397.82
Current children cumulated vsize (KiB) 37944

[startup+1398.7 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 18317
/proc/meminfo: memFree=1564396/2055920 swapFree=4182840/4192956
[pid=18316] ppid=18314 vsize=37944 CPUtime=1398.22
/proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 9214 0 0 0 139809 13 0 0 25 0 1 0 160001616 38854656 8945 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18316/statm: 9486 8945 170 317 0 9165 0
Current children cumulated CPU time (s) 1398.22
Current children cumulated vsize (KiB) 37944

[startup+1398.9 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 18317
/proc/meminfo: memFree=1564396/2055920 swapFree=4182840/4192956
[pid=18316] ppid=18314 vsize=37944 CPUtime=1398.42
/proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 9215 0 0 0 139829 13 0 0 25 0 1 0 160001616 38854656 8946 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18316/statm: 9486 8946 170 317 0 9165 0
Current children cumulated CPU time (s) 1398.42
Current children cumulated vsize (KiB) 37944

[startup+1399 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 18317
/proc/meminfo: memFree=1564396/2055920 swapFree=4182840/4192956
[pid=18316] ppid=18314 vsize=37944 CPUtime=1398.52
/proc/18316/stat : 18316 (oree) R 18314 18316 17604 0 -1 4194304 9215 0 0 0 139839 13 0 0 25 0 1 0 160001616 38854656 8946 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18316/statm: 9486 8946 170 317 0 9165 0
Current children cumulated CPU time (s) 1398.52
Current children cumulated vsize (KiB) 37944

Child status: 0
Real time (s): 1399.03
CPU time (s): 1398.55
CPU user time (s): 1398.41
CPU system time (s): 0.139978
CPU usage (%): 99.966
Max. virtual memory (cumulated for all children) (KiB): 37944

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1398.41
system time used= 0.139978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9231
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= 7
involuntary context switches= 1747

runsolver used 1.01484 second user time and 2.82657 second system time

The end

Launcher Data (download as text)

Begin job on node69 on Tue Apr 17 20:02:02 UTC 2007

IDJOB= 359354
IDBENCH= 1285
IDSOLVER= 172
FILE ID= node69/359354-1176840122

PBS_JOBID= 4590151

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  148040983257ccf233b3daf7936d3c1f

RANDOM SEED= 326280291

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node69.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.264
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.264
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:       1600308 kB
Buffers:         27976 kB
Cached:         378420 kB
SwapCached:       5208 kB
Active:         236776 kB
Inactive:       180484 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1600308 kB
SwapTotal:     4192956 kB
SwapFree:      4182840 kB
Dirty:            1448 kB
Writeback:           0 kB
Mapped:          15488 kB
Slab:            24372 kB
Committed_AS:  1425784 kB
PageTables:       1472 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= 66523 MiB

End job on node69 on Tue Apr 17 20:25:21 UTC 2007