Trace number 360124

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.18 1800.78

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900547427.opb
MD5SUM1354b5547377d8c2faefb00752f6b79c
Bench CategorySATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.066988
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables231
Total number of constraints2707
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 655
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.01/0.02	c ...done
0.01/0.02	c #vars=231 #constraints=2707 hasObjective=no
0.01/0.03	c res. mode=mod
0.01/0.03	c VSIDS like heuristics
0.01/0.03	c complete search running
0.29/0.33	c restart after 401 decisions
0.39/0.43	c nbDecision=500 #constraints=3176
0.69/0.77	c restart after 801 decisions
1.00/1.05	c nbDecision=1000 #constraints=3651
1.99/2.00	c nbDecision=1500 #constraints=4140
2.29/2.30	c restart after 1601 decisions
3.79/3.81	c nbDecision=2000 #constraints=4625
6.19/6.22	c nbDecision=2500 #constraints=5112
9.68/9.79	c nbDecision=3000 #constraints=5602
11.59/11.60	c restart after 3201 decisions
13.59/13.60	c nbDecision=3500 #constraints=6087
17.89/17.92	c nbDecision=4000 #constraints=6577
23.68/23.75	c nbDecision=4500 #constraints=7059
30.58/30.62	c nbDecision=5000 #constraints=7541
38.27/38.40	c nbDecision=5500 #constraints=8026
47.37/47.41	c nbDecision=6000 #constraints=8512
54.17/54.26	c restart after 6401 decisions
56.37/56.47	c nbDecision=6500 #constraints=8993
67.67/67.73	c nbDecision=7000 #constraints=9474
80.06/80.17	c nbDecision=7500 #constraints=9954
93.67/93.73	c nbDecision=8000 #constraints=10447
108.46/108.58	c nbDecision=8500 #constraints=10929
128.35/128.43	c nbDecision=9000 #constraints=11421
144.45/144.58	c nbDecision=9500 #constraints=11908
163.34/163.40	c nbDecision=10000 #constraints=12390
188.74/188.80	c nbDecision=10500 #constraints=12876
208.53/208.68	c nbDecision=11000 #constraints=13362
230.03/230.12	c nbDecision=11500 #constraints=13841
252.02/252.16	c nbDecision=12000 #constraints=14328
277.42/277.59	c nbDecision=12500 #constraints=14813
294.51/294.62	c restart after 12801 decisions
303.81/303.91	c nbDecision=13000 #constraints=15296
331.80/331.91	c nbDecision=13500 #constraints=15785
360.79/360.98	c nbDecision=14000 #constraints=16265
389.68/389.89	c nbDecision=14500 #constraints=16741
419.07/419.22	c nbDecision=15000 #constraints=17223
449.17/449.32	c nbDecision=15500 #constraints=17703
483.66/483.85	c nbDecision=16000 #constraints=18193
514.65/514.83	c nbDecision=16500 #constraints=18676
552.14/552.34	c nbDecision=17000 #constraints=19164
585.93/586.18	c nbDecision=17500 #constraints=19646
625.42/625.68	c nbDecision=18000 #constraints=20129
658.11/658.30	c nbDecision=18500 #constraints=20618
693.40/693.68	c nbDecision=19000 #constraints=21107
727.09/727.30	c nbDecision=19500 #constraints=21595
763.68/763.98	c nbDecision=20000 #constraints=22080
803.17/803.48	c nbDecision=20500 #constraints=22576
843.36/843.64	c nbDecision=21000 #constraints=23066
885.35/885.65	c nbDecision=21500 #constraints=23553
934.53/934.83	c nbDecision=22000 #constraints=24037
981.73/982.07	c nbDecision=22500 #constraints=24515
1031.41/1031.74	c nbDecision=23000 #constraints=25006
1085.99/1086.33	c nbDecision=23500 #constraints=25493
1137.18/1137.50	c nbDecision=24000 #constraints=25984
1183.07/1183.41	c nbDecision=24500 #constraints=26475
1233.66/1234.10	c nbDecision=25000 #constraints=26966
1289.95/1290.30	c nbDecision=25500 #constraints=27449
1300.14/1300.59	c restart after 25601 decisions
1341.02/1341.46	c nbDecision=26000 #constraints=27934
1395.81/1396.28	c nbDecision=26500 #constraints=28423
1448.80/1449.20	c nbDecision=27000 #constraints=28909
1498.89/1499.32	c nbDecision=27500 #constraints=29403
1555.97/1556.43	c nbDecision=28000 #constraints=29888
1615.25/1615.78	c nbDecision=28500 #constraints=30369
1685.33/1685.85	c nbDecision=29000 #constraints=30859
1747.77/1748.39	c nbDecision=29500 #constraints=31348
1800.10/1800.71	Received signal 15
1800.10/1800.76	
1800.10/1800.77	s UNKNOWN
1800.10/1800.77	
1800.10/1800.77	c user time= 1799.9 s
1800.10/1800.77	c system time= 0.265959 s
1800.10/1800.77	c wall clock time=1800.77

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

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


[startup+0 s]
/proc/loadavg: 1.00 0.99 0.99 3/77 29861
/proc/meminfo: memFree=1826096/2055920 swapFree=4135652/4192956
[pid=29861] ppid=29859 vsize=1468 CPUtime=0
/proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 125240812 1503232 165 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135284502 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29861/statm: 367 165 130 317 0 46 0

[startup+0.0146961 s]
/proc/loadavg: 1.00 0.99 0.99 3/77 29861
/proc/meminfo: memFree=1826096/2055920 swapFree=4135652/4192956
[pid=29861] ppid=29859 vsize=1732 CPUtime=0.01
/proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 236 0 0 0 1 0 0 0 18 0 1 0 125240812 1773568 218 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29861/statm: 433 218 130 317 0 112 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1732

[startup+0.101706 s]
/proc/loadavg: 1.00 0.99 0.99 3/77 29861
/proc/meminfo: memFree=1826096/2055920 swapFree=4135652/4192956
[pid=29861] ppid=29859 vsize=2544 CPUtime=0.09
/proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 456 0 0 0 9 0 0 0 18 0 1 0 125240812 2605056 438 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134713818 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29861/statm: 636 438 170 317 0 315 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2544

[startup+0.30173 s]
/proc/loadavg: 1.00 0.99 0.99 3/77 29861
/proc/meminfo: memFree=1826096/2055920 swapFree=4135652/4192956
[pid=29861] ppid=29859 vsize=2804 CPUtime=0.29
/proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 529 0 0 0 29 0 0 0 19 0 1 0 125240812 2871296 511 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29861/statm: 701 511 170 317 0 380 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2804

[startup+0.701778 s]
/proc/loadavg: 1.00 0.99 0.99 3/77 29861
/proc/meminfo: memFree=1826096/2055920 swapFree=4135652/4192956
[pid=29861] ppid=29859 vsize=3196 CPUtime=0.69
/proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 646 0 0 0 69 0 0 0 22 0 1 0 125240812 3272704 628 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134711122 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29861/statm: 799 628 170 317 0 478 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3196

[startup+1.50187 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 29862
/proc/meminfo: memFree=1823976/2055920 swapFree=4135652/4192956
[pid=29861] ppid=29859 vsize=3856 CPUtime=1.49
/proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 802 0 0 0 149 0 0 0 25 0 1 0 125240812 3948544 784 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134604407 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29861/statm: 964 784 170 317 0 643 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 3856

[startup+3.10206 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 29862
/proc/meminfo: memFree=1823080/2055920 swapFree=4135652/4192956
[pid=29861] ppid=29859 vsize=4648 CPUtime=3.09
/proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 994 0 0 0 309 0 0 0 25 0 1 0 125240812 4759552 976 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563609 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29861/statm: 1162 976 170 317 0 841 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 4648

[startup+6.30144 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 29862
/proc/meminfo: memFree=1822056/2055920 swapFree=4135652/4192956
[pid=29861] ppid=29859 vsize=5436 CPUtime=6.29
/proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 1209 0 0 0 629 0 0 0 25 0 1 0 125240812 5566464 1191 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718318 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29861/statm: 1359 1191 170 317 0 1038 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 5436

[startup+12.7012 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 29862
/proc/meminfo: memFree=1820648/2055920 swapFree=4135652/4192956
[pid=29861] ppid=29859 vsize=6764 CPUtime=12.69
/proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 1537 0 0 0 1268 1 0 0 25 0 1 0 125240812 6926336 1482 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29861/statm: 1691 1482 170 317 0 1370 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 6764

[startup+25.5017 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 29862
/proc/meminfo: memFree=1818856/2055920 swapFree=4135652/4192956
[pid=29861] ppid=29859 vsize=8584 CPUtime=25.48
/proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 1972 0 0 0 2547 1 0 0 25 0 1 0 125240812 8790016 1917 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29861/statm: 2146 1917 170 317 0 1825 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 8584

[startup+51.1017 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 29862
/proc/meminfo: memFree=1816616/2055920 swapFree=4135652/4192956
[pid=29861] ppid=29859 vsize=10736 CPUtime=51.08
/proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 2522 0 0 0 5106 2 0 0 25 0 1 0 125240812 10993664 2467 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29861/statm: 2684 2467 170 317 0 2363 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 10736

[startup+102.306 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 29862
/proc/meminfo: memFree=1813480/2055920 swapFree=4135652/4192956
[pid=29861] ppid=29859 vsize=14120 CPUtime=102.27
/proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 3363 0 0 0 10224 3 0 0 25 0 1 0 125240812 14458880 3236 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29861/statm: 3530 3236 170 317 0 3209 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 14120

[startup+162.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 29862
/proc/meminfo: memFree=1810984/2055920 swapFree=4135660/4192956
[pid=29861] ppid=29859 vsize=16648 CPUtime=162.24
/proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 3990 0 0 0 16220 4 0 0 25 0 1 0 125240812 17047552 3863 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29861/statm: 4162 3863 170 317 0 3841 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 16648

[startup+222.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 29862
/proc/meminfo: memFree=1808872/2055920 swapFree=4135660/4192956
[pid=29861] ppid=29859 vsize=18656 CPUtime=222.23
/proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 4492 0 0 0 22217 6 0 0 25 0 1 0 125240812 19103744 4365 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29861/statm: 4664 4365 170 317 0 4343 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 18656

[startup+282.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 29862
/proc/meminfo: memFree=1806952/2055920 swapFree=4135660/4192956
[pid=29861] ppid=29859 vsize=20576 CPUtime=282.21
/proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 4975 0 0 0 28214 7 0 0 25 0 1 0 125240812 21069824 4848 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29861/statm: 5144 4848 170 317 0 4823 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 20576

[startup+342.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 29862
/proc/meminfo: memFree=1805352/2055920 swapFree=4135676/4192956
[pid=29861] ppid=29859 vsize=22528 CPUtime=342.19
/proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 5389 0 0 0 34212 7 0 0 25 0 1 0 125240812 23068672 5262 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29861/statm: 5632 5262 170 317 0 5311 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 22528

[startup+402.301 s]
/proc/loadavg: 1.08 1.00 0.99 2/78 29862
/proc/meminfo: memFree=1803816/2055920 swapFree=4135676/4192956
[pid=29861] ppid=29859 vsize=24160 CPUtime=402.18
/proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 5790 0 0 0 40210 8 0 0 25 0 1 0 125240812 24739840 5663 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29861/statm: 6040 5663 170 317 0 5719 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 24160

[startup+462.301 s]
/proc/loadavg: 1.03 1.00 0.99 2/78 29862
/proc/meminfo: memFree=1802280/2055920 swapFree=4135688/4192956
[pid=29861] ppid=29859 vsize=25704 CPUtime=462.16
/proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 6177 0 0 0 46207 9 0 0 25 0 1 0 125240812 26320896 6050 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29861/statm: 6426 6050 170 317 0 6105 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 25704

[startup+522.301 s]
/proc/loadavg: 1.01 1.00 0.99 2/78 29862
/proc/meminfo: memFree=1800936/2055920 swapFree=4135688/4192956
[pid=29861] ppid=29859 vsize=27176 CPUtime=522.15
/proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 6516 0 0 0 52205 10 0 0 25 0 1 0 125240812 27828224 6389 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29861/statm: 6794 6389 170 317 0 6473 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 27176

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 29862
/proc/meminfo: memFree=1799784/2055920 swapFree=4135688/4192956
[pid=29861] ppid=29859 vsize=28572 CPUtime=582.13
/proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 6815 0 0 0 58203 10 0 0 25 0 1 0 125240812 29257728 6688 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29861/statm: 7143 6688 170 317 0 6822 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 28572

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 29862
/proc/meminfo: memFree=1798632/2055920 swapFree=4135708/4192956
[pid=29861] ppid=29859 vsize=29716 CPUtime=642.12
/proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 7131 0 0 0 64201 11 0 0 25 0 1 0 125240812 30429184 6971 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134562667 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29861/statm: 7429 6971 170 317 0 7108 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 29716


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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 29864
/proc/meminfo: memFree=1793896/2055920 swapFree=4135724/4192956
[pid=29861] ppid=29859 vsize=35016 CPUtime=882.04
/proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 8474 0 0 0 88190 14 0 0 25 0 1 0 125240812 35856384 8172 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29861/statm: 8754 8172 170 317 0 8433 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 35016

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 29864
/proc/meminfo: memFree=1793000/2055920 swapFree=4135732/4192956
[pid=29861] ppid=29859 vsize=35940 CPUtime=942.03
/proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 8703 0 0 0 94188 15 0 0 25 0 1 0 125240812 36802560 8401 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29861/statm: 8985 8401 170 317 0 8664 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 35940

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 29864
/proc/meminfo: memFree=1792040/2055920 swapFree=4135732/4192956
[pid=29861] ppid=29859 vsize=36872 CPUtime=1002.02
/proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 8944 0 0 0 100186 16 0 0 25 0 1 0 125240812 37756928 8642 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29861/statm: 9218 8642 170 317 0 8897 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 36872

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 29864
/proc/meminfo: memFree=1791208/2055920 swapFree=4135744/4192956
[pid=29861] ppid=29859 vsize=37660 CPUtime=1062
/proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 9160 0 0 0 106183 17 0 0 25 0 1 0 125240812 38563840 8858 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563957 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29861/statm: 9415 8858 170 317 0 9094 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 37660

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 29864
/proc/meminfo: memFree=1790312/2055920 swapFree=4135744/4192956
[pid=29861] ppid=29859 vsize=38732 CPUtime=1121.98
/proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 9390 0 0 0 112181 17 0 0 25 0 1 0 125240812 39661568 9088 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29861/statm: 9683 9088 170 317 0 9362 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 38732

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 29864
/proc/meminfo: memFree=1789416/2055920 swapFree=4135744/4192956
[pid=29861] ppid=29859 vsize=39576 CPUtime=1181.97
/proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 9619 0 0 0 118179 18 0 0 25 0 1 0 125240812 40525824 9317 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29861/statm: 9894 9317 170 317 0 9573 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 39576

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 29864
/proc/meminfo: memFree=1788328/2055920 swapFree=4135744/4192956
[pid=29861] ppid=29859 vsize=40680 CPUtime=1241.95
/proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 9875 0 0 0 124176 19 0 0 25 0 1 0 125240812 41656320 9573 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29861/statm: 10170 9573 170 317 0 9849 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 40680

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 29864
/proc/meminfo: memFree=1787496/2055920 swapFree=4135744/4192956
[pid=29861] ppid=29859 vsize=41656 CPUtime=1301.94
/proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 10081 0 0 0 130174 20 0 0 25 0 1 0 125240812 42655744 9779 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29861/statm: 10414 9779 170 317 0 10093 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 41656

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 29864
/proc/meminfo: memFree=1786536/2055920 swapFree=4135744/4192956
[pid=29861] ppid=29859 vsize=42576 CPUtime=1361.92
/proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 10308 0 0 0 136171 21 0 0 25 0 1 0 125240812 43597824 10006 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29861/statm: 10644 10006 170 317 0 10323 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 42576

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 29864
/proc/meminfo: memFree=1785640/2055920 swapFree=4135744/4192956
[pid=29861] ppid=29859 vsize=43392 CPUtime=1421.91
/proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 10531 0 0 0 142170 21 0 0 25 0 1 0 125240812 44433408 10229 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29861/statm: 10848 10229 170 317 0 10527 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 43392

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 29864
/proc/meminfo: memFree=1784680/2055920 swapFree=4135744/4192956
[pid=29861] ppid=29859 vsize=44624 CPUtime=1481.89
/proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 10789 0 0 0 148167 22 0 0 25 0 1 0 125240812 45694976 10487 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29861/statm: 11156 10487 170 317 0 10835 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 44624

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 29864
/proc/meminfo: memFree=1783848/2055920 swapFree=4135744/4192956
[pid=29861] ppid=29859 vsize=45284 CPUtime=1541.87
/proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 10997 0 0 0 154164 23 0 0 25 0 1 0 125240812 46370816 10695 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29861/statm: 11321 10695 170 317 0 11000 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 45284

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 29864
/proc/meminfo: memFree=1782952/2055920 swapFree=4135744/4192956
[pid=29861] ppid=29859 vsize=46332 CPUtime=1601.86
/proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 11212 0 0 0 160162 24 0 0 25 0 1 0 125240812 47443968 10910 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29861/statm: 11583 10910 170 317 0 11262 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 46332

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 29864
/proc/meminfo: memFree=1782376/2055920 swapFree=4135744/4192956
[pid=29861] ppid=29859 vsize=47156 CPUtime=1661.84
/proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 11370 0 0 0 166160 24 0 0 25 0 1 0 125240812 48287744 11068 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29861/statm: 11789 11068 170 317 0 11468 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 47156

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 29864
/proc/meminfo: memFree=1781672/2055920 swapFree=4135744/4192956
[pid=29861] ppid=29859 vsize=47816 CPUtime=1721.82
/proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 11542 0 0 0 172157 25 0 0 25 0 1 0 125240812 48963584 11240 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29861/statm: 11954 11240 170 317 0 11633 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 47816

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/84 30034
/proc/meminfo: memFree=1779440/2055920 swapFree=4135744/4192956
[pid=29861] ppid=29859 vsize=48736 CPUtime=1781.71
/proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 11761 0 0 0 178145 26 0 0 25 0 1 0 125240812 49905664 11459 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712584 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29861/statm: 12184 11459 170 317 0 11863 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 48736



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 30062
/proc/meminfo: memFree=1780128/2055920 swapFree=4135744/4192956
[pid=29861] ppid=29859 vsize=49000 CPUtime=1800.1
/proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 11833 0 0 0 179984 26 0 0 25 0 1 0 125240812 50176000 11531 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29861/statm: 12250 11531 170 317 0 11929 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 49000

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 30062
/proc/meminfo: memFree=1780128/2055920 swapFree=4135744/4192956
[pid=29861] ppid=29859 vsize=49000 CPUtime=1800.1
/proc/29861/stat : 29861 (oree) R 29859 29861 29084 0 -1 4194304 11833 0 0 0 179984 26 0 0 25 0 1 0 125240812 50176000 11531 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29861/statm: 12250 11531 170 317 0 11929 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 49000

Child status: 0
Real time (s): 1800.78
CPU time (s): 1800.18
CPU user time (s): 1799.9
CPU system time (s): 0.274958
CPU usage (%): 99.9664
Max. virtual memory (cumulated for all children) (KiB): 49000

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

runsolver used 2.15267 second user time and 4.38933 second system time

The end

Launcher Data (download as text)

Begin job on node11 on Tue Apr 17 20:31:59 UTC 2007

IDJOB= 360124
IDBENCH= 1345
IDSOLVER= 172
FILE ID= node11/360124-1176841919

PBS_JOBID= 4586407

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  1354b5547377d8c2faefb00752f6b79c

RANDOM SEED= 927062757

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node11.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.235
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.235
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:       1826504 kB
Buffers:         32644 kB
Cached:         113932 kB
SwapCached:      26756 kB
Active:          99488 kB
Inactive:        86820 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1826504 kB
SwapTotal:     4192956 kB
SwapFree:      4135652 kB
Dirty:            1524 kB
Writeback:           0 kB
Mapped:          30952 kB
Slab:            28580 kB
Committed_AS:  6135588 kB
PageTables:       1848 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= 66303 MiB

End job on node11 on Tue Apr 17 21:02:02 UTC 2007