Trace number 360236

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.21 1800.83

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900551864.opb
MD5SUM733d8edd6a6cbfe19e20f4970079db5a
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 benchmark7.67183
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 687
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.03	c res. mode=mod
0.00/0.03	c VSIDS like heuristics
0.00/0.03	c complete search running
0.29/0.31	c restart after 401 decisions
0.39/0.42	c nbDecision=500 #constraints=3179
0.69/0.75	c restart after 801 decisions
1.00/1.04	c nbDecision=1000 #constraints=3650
1.99/2.02	c nbDecision=1500 #constraints=4123
2.20/2.25	c restart after 1601 decisions
3.59/3.61	c nbDecision=2000 #constraints=4608
5.99/6.03	c nbDecision=2500 #constraints=5102
8.99/9.05	c nbDecision=3000 #constraints=5585
10.49/10.52	c restart after 3201 decisions
12.89/12.96	c nbDecision=3500 #constraints=6075
16.99/17.08	c nbDecision=4000 #constraints=6557
20.69/20.70	c nbDecision=4500 #constraints=7046
25.29/25.32	c nbDecision=5000 #constraints=7534
30.68/30.71	c nbDecision=5500 #constraints=8018
37.48/37.51	c nbDecision=6000 #constraints=8510
45.09/45.16	c restart after 6401 decisions
46.78/46.81	c nbDecision=6500 #constraints=8998
58.37/58.42	c nbDecision=7000 #constraints=9479
73.17/73.23	c nbDecision=7500 #constraints=9960
88.47/88.59	c nbDecision=8000 #constraints=10456
106.16/106.25	c nbDecision=8500 #constraints=10952
123.56/123.63	c nbDecision=9000 #constraints=11443
146.35/146.41	c nbDecision=9500 #constraints=11931
161.24/161.30	c nbDecision=10000 #constraints=12418
179.84/179.95	c nbDecision=10500 #constraints=12905
204.44/204.51	c nbDecision=11000 #constraints=13396
229.32/229.41	c nbDecision=11500 #constraints=13891
260.22/260.31	c nbDecision=12000 #constraints=14388
292.11/292.29	c nbDecision=12500 #constraints=14880
309.20/309.30	c restart after 12801 decisions
321.40/321.51	c nbDecision=13000 #constraints=15367
360.19/360.38	c nbDecision=13500 #constraints=15859
402.18/402.34	c nbDecision=14000 #constraints=16354
440.97/441.11	c nbDecision=14500 #constraints=16843
485.35/485.59	c nbDecision=15000 #constraints=17334
525.05/525.27	c nbDecision=15500 #constraints=17820
573.33/573.52	c nbDecision=16000 #constraints=18317
606.52/606.71	c nbDecision=16500 #constraints=18808
641.81/642.07	c nbDecision=17000 #constraints=19302
679.30/679.52	c nbDecision=17500 #constraints=19794
718.19/718.44	c nbDecision=18000 #constraints=20276
755.58/755.89	c nbDecision=18500 #constraints=20763
797.17/797.42	c nbDecision=19000 #constraints=21250
858.05/858.31	c nbDecision=19500 #constraints=21747
914.84/915.14	c nbDecision=20000 #constraints=22234
966.82/967.13	c nbDecision=20500 #constraints=22728
1031.41/1031.75	c nbDecision=21000 #constraints=23215
1088.08/1088.49	c nbDecision=21500 #constraints=23700
1139.77/1140.16	c nbDecision=22000 #constraints=24195
1185.75/1186.10	c nbDecision=22500 #constraints=24678
1239.54/1239.94	c nbDecision=23000 #constraints=25165
1295.92/1296.32	c nbDecision=23500 #constraints=25663
1352.41/1352.81	c nbDecision=24000 #constraints=26153
1415.79/1416.29	c nbDecision=24500 #constraints=26645
1480.87/1481.32	c nbDecision=25000 #constraints=27136
1536.95/1537.53	c nbDecision=25500 #constraints=27628
1549.44/1550.05	c restart after 25601 decisions
1601.43/1602.09	c nbDecision=26000 #constraints=28116
1670.01/1670.69	c nbDecision=26500 #constraints=28606
1732.00/1732.62	c nbDecision=27000 #constraints=29094
1800.09/1800.71	Received signal 15
1800.19/1800.81	
1800.19/1800.81	s UNKNOWN
1800.19/1800.81	
1800.19/1800.81	c user time= 1799.95 s
1800.19/1800.81	c system time= 0.250961 s
1800.19/1800.81	c wall clock time=1800.81

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/node17/watcher-360236-1176842181 -o ROOT/results/node17/solver-360236-1176842181 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/360236-1176842181/instance-360236-1176842181.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.07 1.04 1.01 3/77 17182
/proc/meminfo: memFree=1726712/2055920 swapFree=4123132/4192956
[pid=17182] ppid=17180 vsize=1468 CPUtime=0
/proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 132135573 1503232 165 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17182/statm: 367 165 130 317 0 46 0

[startup+0.0582319 s]
/proc/loadavg: 1.07 1.04 1.01 3/77 17182
/proc/meminfo: memFree=1726712/2055920 swapFree=4123132/4192956
[pid=17182] ppid=17180 vsize=2544 CPUtime=0.05
/proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 424 0 0 0 5 0 0 0 18 0 1 0 132135573 2605056 406 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712587 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17182/statm: 636 406 139 317 0 315 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2544

[startup+0.101236 s]
/proc/loadavg: 1.07 1.04 1.01 3/77 17182
/proc/meminfo: memFree=1726712/2055920 swapFree=4123132/4192956
[pid=17182] ppid=17180 vsize=2544 CPUtime=0.09
/proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 425 0 0 0 9 0 0 0 18 0 1 0 132135573 2605056 407 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134562758 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17182/statm: 636 407 139 317 0 315 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2544

[startup+0.301257 s]
/proc/loadavg: 1.07 1.04 1.01 3/77 17182
/proc/meminfo: memFree=1726712/2055920 swapFree=4123132/4192956
[pid=17182] ppid=17180 vsize=2676 CPUtime=0.29
/proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 487 0 0 0 29 0 0 0 19 0 1 0 132135573 2740224 469 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718318 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17182/statm: 669 469 139 317 0 348 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2676

[startup+0.701296 s]
/proc/loadavg: 1.07 1.04 1.01 3/77 17182
/proc/meminfo: memFree=1726712/2055920 swapFree=4123132/4192956
[pid=17182] ppid=17180 vsize=3072 CPUtime=0.69
/proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 582 0 0 0 69 0 0 0 22 0 1 0 132135573 3145728 564 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17182/statm: 768 564 139 317 0 447 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3072

[startup+1.50138 s]
/proc/loadavg: 1.07 1.04 1.01 2/78 17183
/proc/meminfo: memFree=1724720/2055920 swapFree=4123132/4192956
[pid=17182] ppid=17180 vsize=3732 CPUtime=1.49
/proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 727 0 0 0 149 0 0 0 25 0 1 0 132135573 3821568 709 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718926 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17182/statm: 933 709 139 317 0 612 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 3732

[startup+3.10153 s]
/proc/loadavg: 1.07 1.04 1.01 2/78 17183
/proc/meminfo: memFree=1723952/2055920 swapFree=4123132/4192956
[pid=17182] ppid=17180 vsize=4412 CPUtime=3.09
/proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 899 0 0 0 309 0 0 0 25 0 1 0 132135573 4517888 881 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718650 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17182/statm: 1103 881 139 317 0 782 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 4412

[startup+6.30185 s]
/proc/loadavg: 1.06 1.04 1.01 2/78 17183
/proc/meminfo: memFree=1722864/2055920 swapFree=4123132/4192956
[pid=17182] ppid=17180 vsize=5200 CPUtime=6.29
/proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 1121 0 0 0 629 0 0 0 25 0 1 0 132135573 5324800 1103 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17182/statm: 1300 1103 139 317 0 979 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 5200

[startup+12.7015 s]
/proc/loadavg: 1.06 1.04 1.01 2/78 17183
/proc/meminfo: memFree=1721464/2055920 swapFree=4123132/4192956
[pid=17182] ppid=17180 vsize=6524 CPUtime=12.69
/proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 1450 0 0 0 1269 0 0 0 25 0 1 0 132135573 6680576 1395 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17182/statm: 1631 1395 139 317 0 1310 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 6524

[startup+25.5018 s]
/proc/loadavg: 1.04 1.04 1.01 2/78 17183
/proc/meminfo: memFree=1719288/2055920 swapFree=4123132/4192956
[pid=17182] ppid=17180 vsize=8640 CPUtime=25.49
/proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 2015 0 0 0 2548 1 0 0 25 0 1 0 132135573 8847360 1960 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17182/statm: 2160 1960 170 317 0 1839 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 8640

[startup+51.1015 s]
/proc/loadavg: 1.03 1.03 1.00 3/78 17183
/proc/meminfo: memFree=1716920/2055920 swapFree=4123132/4192956
[pid=17182] ppid=17180 vsize=10916 CPUtime=51.08
/proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 2591 0 0 0 5106 2 0 0 25 0 1 0 132135573 11177984 2536 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17182/statm: 2729 2536 170 317 0 2408 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 10916

[startup+102.307 s]
/proc/loadavg: 1.01 1.03 1.00 2/78 17185
/proc/meminfo: memFree=1714232/2055920 swapFree=4123132/4192956
[pid=17182] ppid=17180 vsize=13704 CPUtime=102.27
/proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 3296 0 0 0 10224 3 0 0 25 0 1 0 132135573 14032896 3169 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17182/statm: 3426 3169 170 317 0 3105 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 13704

[startup+162.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 17185
/proc/meminfo: memFree=1711736/2055920 swapFree=4123132/4192956
[pid=17182] ppid=17180 vsize=16280 CPUtime=162.24
/proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 3914 0 0 0 16220 4 0 0 25 0 1 0 132135573 16670720 3787 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17182/statm: 4070 3787 170 317 0 3749 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 16280

[startup+222.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 17185
/proc/meminfo: memFree=1709752/2055920 swapFree=4123132/4192956
[pid=17182] ppid=17180 vsize=18300 CPUtime=222.23
/proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 4416 0 0 0 22218 5 0 0 25 0 1 0 132135573 18739200 4289 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17182/statm: 4575 4289 170 317 0 4254 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 18300

[startup+282.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 17185
/proc/meminfo: memFree=1708280/2055920 swapFree=4123132/4192956
[pid=17182] ppid=17180 vsize=19812 CPUtime=282.21
/proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 4794 0 0 0 28215 6 0 0 25 0 1 0 132135573 20287488 4667 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17182/statm: 4953 4667 170 317 0 4632 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 19812

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17185
/proc/meminfo: memFree=1706616/2055920 swapFree=4123132/4192956
[pid=17182] ppid=17180 vsize=21440 CPUtime=342.19
/proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 5186 0 0 0 34212 7 0 0 25 0 1 0 132135573 21954560 5059 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17182/statm: 5360 5059 170 317 0 5039 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 21440

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17185
/proc/meminfo: memFree=1705592/2055920 swapFree=4123132/4192956
[pid=17182] ppid=17180 vsize=22508 CPUtime=402.18
/proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 5451 0 0 0 40210 8 0 0 25 0 1 0 132135573 23048192 5324 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17182/statm: 5627 5324 170 317 0 5306 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 22508

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17185
/proc/meminfo: memFree=1704376/2055920 swapFree=4123132/4192956
[pid=17182] ppid=17180 vsize=23716 CPUtime=462.16
/proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 5757 0 0 0 46208 8 0 0 25 0 1 0 132135573 24285184 5630 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17182/statm: 5929 5630 170 317 0 5608 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 23716

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17185
/proc/meminfo: memFree=1703288/2055920 swapFree=4123132/4192956
[pid=17182] ppid=17180 vsize=24784 CPUtime=522.15
/proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 6006 0 0 0 52206 9 0 0 25 0 1 0 132135573 25378816 5879 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563943 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17182/statm: 6196 5879 170 317 0 5875 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 24784

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17185
/proc/meminfo: memFree=1702456/2055920 swapFree=4123132/4192956
[pid=17182] ppid=17180 vsize=25568 CPUtime=582.12
/proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 6213 0 0 0 58203 9 0 0 25 0 1 0 132135573 26181632 6086 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17182/statm: 6392 6086 170 317 0 6071 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 25568

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17185
/proc/meminfo: memFree=1701048/2055920 swapFree=4123132/4192956
[pid=17182] ppid=17180 vsize=27028 CPUtime=642.11
/proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 6558 0 0 0 64201 10 0 0 25 0 1 0 132135573 27676672 6431 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17182/statm: 6757 6431 170 317 0 6436 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 27028


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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17185
/proc/meminfo: memFree=1696696/2055920 swapFree=4123132/4192956
[pid=17182] ppid=17180 vsize=31948 CPUtime=882.04
/proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 7792 0 0 0 88191 13 0 0 25 0 1 0 132135573 32714752 7523 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712569 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17182/statm: 7987 7523 170 317 0 7666 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 31948

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17185
/proc/meminfo: memFree=1695992/2055920 swapFree=4123132/4192956
[pid=17182] ppid=17180 vsize=32764 CPUtime=942.03
/proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 7981 0 0 0 94189 14 0 0 25 0 1 0 132135573 33550336 7712 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17182/statm: 8191 7712 170 317 0 7870 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 32764

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17185
/proc/meminfo: memFree=1695160/2055920 swapFree=4123132/4192956
[pid=17182] ppid=17180 vsize=33572 CPUtime=1002
/proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 8174 0 0 0 100186 14 0 0 25 0 1 0 132135573 34377728 7905 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17182/statm: 8393 7905 170 317 0 8072 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 33572

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17185
/proc/meminfo: memFree=1694456/2055920 swapFree=4123132/4192956
[pid=17182] ppid=17180 vsize=34404 CPUtime=1061.99
/proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 8360 0 0 0 106184 15 0 0 25 0 1 0 132135573 35229696 8091 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17182/statm: 8601 8091 170 317 0 8280 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 34404

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17185
/proc/meminfo: memFree=1693560/2055920 swapFree=4123132/4192956
[pid=17182] ppid=17180 vsize=35400 CPUtime=1121.98
/proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 8585 0 0 0 112182 16 0 0 25 0 1 0 132135573 36249600 8316 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17182/statm: 8850 8316 170 317 0 8529 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 35400

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17185
/proc/meminfo: memFree=1692600/2055920 swapFree=4123132/4192956
[pid=17182] ppid=17180 vsize=36412 CPUtime=1181.96
/proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 8831 0 0 0 118180 16 0 0 25 0 1 0 132135573 37285888 8562 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17182/statm: 9103 8562 170 317 0 8782 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 36412

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17185
/proc/meminfo: memFree=1691576/2055920 swapFree=4123132/4192956
[pid=17182] ppid=17180 vsize=37316 CPUtime=1241.94
/proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 9055 0 0 0 124177 17 0 0 25 0 1 0 132135573 38211584 8786 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17182/statm: 9329 8786 170 317 0 9008 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 37316

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17185
/proc/meminfo: memFree=1690872/2055920 swapFree=4123132/4192956
[pid=17182] ppid=17180 vsize=38100 CPUtime=1301.92
/proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 9242 0 0 0 130175 17 0 0 25 0 1 0 132135573 39014400 8973 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17182/statm: 9525 8973 170 317 0 9204 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 38100

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17185
/proc/meminfo: memFree=1690040/2055920 swapFree=4123132/4192956
[pid=17182] ppid=17180 vsize=38952 CPUtime=1361.91
/proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 9449 0 0 0 136173 18 0 0 25 0 1 0 132135573 39886848 9180 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17182/statm: 9738 9180 170 317 0 9417 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 38952

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17185
/proc/meminfo: memFree=1689272/2055920 swapFree=4123132/4192956
[pid=17182] ppid=17180 vsize=39800 CPUtime=1421.89
/proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 9633 0 0 0 142171 18 0 0 25 0 1 0 132135573 40755200 9364 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563486 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17182/statm: 9950 9364 170 317 0 9629 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 39800

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/84 17211
/proc/meminfo: memFree=1687360/2055920 swapFree=4123132/4192956
[pid=17182] ppid=17180 vsize=40568 CPUtime=1481.87
/proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 9819 0 0 0 148166 21 0 0 25 0 1 0 132135573 41541632 9550 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17182/statm: 10142 9550 170 317 0 9821 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 40568

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17383
/proc/meminfo: memFree=1687472/2055920 swapFree=4123132/4192956
[pid=17182] ppid=17180 vsize=41416 CPUtime=1541.75
/proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 10041 0 0 0 154153 22 0 0 25 0 1 0 132135573 42409984 9772 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17182/statm: 10354 9772 170 317 0 10033 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 41416

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17383
/proc/meminfo: memFree=1686776/2055920 swapFree=4123132/4192956
[pid=17182] ppid=17180 vsize=42160 CPUtime=1601.73
/proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 10214 0 0 0 160150 23 0 0 25 0 1 0 132135573 43171840 9945 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17182/statm: 10540 9945 170 317 0 10219 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 42160

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17383
/proc/meminfo: memFree=1686264/2055920 swapFree=4123132/4192956
[pid=17182] ppid=17180 vsize=42832 CPUtime=1661.71
/proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 10373 0 0 0 166148 23 0 0 25 0 1 0 132135573 43859968 10104 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17182/statm: 10708 10104 170 317 0 10387 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 42832

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17383
/proc/meminfo: memFree=1685560/2055920 swapFree=4123132/4192956
[pid=17182] ppid=17180 vsize=43628 CPUtime=1721.7
/proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 10580 0 0 0 172146 24 0 0 25 0 1 0 132135573 44675072 10278 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17182/statm: 10907 10278 170 317 0 10586 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 43628

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17383
/proc/meminfo: memFree=1684728/2055920 swapFree=4123132/4192956
[pid=17182] ppid=17180 vsize=44416 CPUtime=1781.68
/proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 10765 0 0 0 178144 24 0 0 25 0 1 0 132135573 45481984 10463 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17182/statm: 11104 10463 170 317 0 10783 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 44416



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17383
/proc/meminfo: memFree=1684664/2055920 swapFree=4123132/4192956
[pid=17182] ppid=17180 vsize=44544 CPUtime=1800.09
/proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 10801 0 0 0 179984 25 0 0 25 0 1 0 132135573 45613056 10499 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17182/statm: 11136 10499 170 317 0 10815 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 44544

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/78 17383
/proc/meminfo: memFree=1684664/2055920 swapFree=4123132/4192956
[pid=17182] ppid=17180 vsize=44544 CPUtime=1800.19
/proc/17182/stat : 17182 (oree) R 17180 17182 16473 0 -1 4194304 10801 0 0 0 179994 25 0 0 25 0 1 0 132135573 45613056 10499 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17182/statm: 11136 10499 170 317 0 10815 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 44544

Child status: 0
Real time (s): 1800.83
CPU time (s): 1800.21
CPU user time (s): 1799.95
CPU system time (s): 0.25896
CPU usage (%): 99.9659
Max. virtual memory (cumulated for all children) (KiB): 44544

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

runsolver used 2.06669 second user time and 4.45732 second system time

The end

Launcher Data (download as text)

Begin job on node17 on Tue Apr 17 20:36:21 UTC 2007

IDJOB= 360236
IDBENCH= 1353
IDSOLVER= 172
FILE ID= node17/360236-1176842181

PBS_JOBID= 4590136

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  733d8edd6a6cbfe19e20f4970079db5a

RANDOM SEED= 661405331

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node17.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.240
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.240
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:       1727184 kB
Buffers:         34296 kB
Cached:         179744 kB
SwapCached:      32528 kB
Active:          98380 kB
Inactive:       163120 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1727184 kB
SwapTotal:     4192956 kB
SwapFree:      4123132 kB
Dirty:            1400 kB
Writeback:           0 kB
Mapped:          39828 kB
Slab:            52784 kB
Committed_AS:  7038100 kB
PageTables:       1808 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= 66469 MiB

End job on node17 on Tue Apr 17 21:06:23 UTC 2007