Trace number 360320

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.8

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900554420.opb
MD5SUM30c4f9acafc0f3a30de05f75833db699
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 benchmark14.1498
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 689
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
0.00/0.02	c ...done
0.00/0.02	c #vars=231 #constraints=2707 hasObjective=no
0.00/0.02	c res. mode=mod
0.00/0.02	c VSIDS like heuristics
0.00/0.02	c complete search running
0.29/0.34	c restart after 401 decisions
0.39/0.47	c nbDecision=500 #constraints=3179
0.79/0.88	c restart after 801 decisions
1.39/1.40	c nbDecision=1000 #constraints=3666
2.59/2.69	c nbDecision=1500 #constraints=4147
2.99/3.00	c restart after 1601 decisions
4.59/4.63	c nbDecision=2000 #constraints=4634
7.49/7.56	c nbDecision=2500 #constraints=5126
10.39/10.46	c nbDecision=3000 #constraints=5607
11.99/12.02	c restart after 3201 decisions
14.68/14.77	c nbDecision=3500 #constraints=6093
20.48/20.52	c nbDecision=4000 #constraints=6591
27.78/27.87	c nbDecision=4500 #constraints=7078
34.09/34.11	c nbDecision=5000 #constraints=7560
44.08/44.17	c nbDecision=5500 #constraints=8060
56.87/56.93	c nbDecision=6000 #constraints=8555
64.47/64.53	c restart after 6401 decisions
66.77/66.85	c nbDecision=6500 #constraints=9038
80.27/80.38	c nbDecision=7000 #constraints=9532
96.36/96.43	c nbDecision=7500 #constraints=10025
111.66/111.79	c nbDecision=8000 #constraints=10519
131.15/131.20	c nbDecision=8500 #constraints=11012
151.44/151.57	c nbDecision=9000 #constraints=11506
173.55/173.66	c nbDecision=9500 #constraints=12006
193.14/193.23	c nbDecision=10000 #constraints=12497
215.43/215.58	c nbDecision=10500 #constraints=12990
231.72/231.89	c nbDecision=11000 #constraints=13474
253.72/253.86	c nbDecision=11500 #constraints=13969
278.72/278.85	c nbDecision=12000 #constraints=14462
300.81/300.99	c nbDecision=12500 #constraints=14940
317.20/317.33	c restart after 12801 decisions
328.51/328.61	c nbDecision=13000 #constraints=15422
349.50/349.70	c nbDecision=13500 #constraints=15895
374.89/375.06	c nbDecision=14000 #constraints=16386
404.48/404.61	c nbDecision=14500 #constraints=16881
431.88/432.02	c nbDecision=15000 #constraints=17362
465.36/465.52	c nbDecision=15500 #constraints=17836
499.65/499.89	c nbDecision=16000 #constraints=18324
542.94/543.14	c nbDecision=16500 #constraints=18819
582.94/583.17	c nbDecision=17000 #constraints=19306
626.42/626.61	c nbDecision=17500 #constraints=19794
652.41/652.64	c nbDecision=18000 #constraints=20283
682.50/682.73	c nbDecision=18500 #constraints=20759
724.29/724.55	c nbDecision=19000 #constraints=21253
764.59/764.87	c nbDecision=19500 #constraints=21739
806.17/806.46	c nbDecision=20000 #constraints=22233
844.76/845.07	c nbDecision=20500 #constraints=22722
881.05/881.36	c nbDecision=21000 #constraints=23191
920.34/920.63	c nbDecision=21500 #constraints=23681
956.64/956.99	c nbDecision=22000 #constraints=24158
998.23/998.58	c nbDecision=22500 #constraints=24645
1043.31/1043.62	c nbDecision=23000 #constraints=25132
1091.80/1092.16	c nbDecision=23500 #constraints=25630
1151.48/1151.82	c nbDecision=24000 #constraints=26126
1202.98/1203.35	c nbDecision=24500 #constraints=26612
1262.05/1262.43	c nbDecision=25000 #constraints=27109
1322.35/1322.88	c nbDecision=25500 #constraints=27601
1336.44/1336.90	c restart after 25601 decisions
1376.22/1376.74	c nbDecision=26000 #constraints=28084
1420.51/1421.06	c nbDecision=26500 #constraints=28570
1470.49/1471.01	c nbDecision=27000 #constraints=29052
1526.89/1527.49	c nbDecision=27500 #constraints=29535
1575.57/1576.19	c nbDecision=28000 #constraints=30025
1632.95/1633.53	c nbDecision=28500 #constraints=30509
1706.24/1706.88	c nbDecision=29000 #constraints=30996
1780.41/1781.09	c nbDecision=29500 #constraints=31488
1800.01/1800.61	Received signal 15
1800.11/1800.78	
1800.11/1800.78	s UNKNOWN
1800.11/1800.78	
1800.11/1800.78	c user time= 1800.03 s
1800.11/1800.78	c system time= 0.165974 s
1800.11/1800.78	c wall clock time=1800.78

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/node50/watcher-360320-1176842372 -o ROOT/results/node50/solver-360320-1176842372 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/360320-1176842372/instance-360320-1176842372.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.91 0.96 0.98 3/64 3604
/proc/meminfo: memFree=1493288/2055920 swapFree=4183816/4192956
[pid=3604] ppid=3602 vsize=1468 CPUtime=0
/proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 39082423 1503232 164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3604/statm: 367 165 130 317 0 46 0

[startup+0.039679 s]
/proc/loadavg: 0.91 0.96 0.98 3/64 3604
/proc/meminfo: memFree=1493288/2055920 swapFree=4183816/4192956
[pid=3604] ppid=3602 vsize=2544 CPUtime=0.03
/proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 424 0 0 0 3 0 0 0 18 0 1 0 39082423 2605056 406 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134533233 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3604/statm: 636 406 139 317 0 315 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2544

[startup+0.101669 s]
/proc/loadavg: 0.91 0.96 0.98 3/64 3604
/proc/meminfo: memFree=1493288/2055920 swapFree=4183816/4192956
[pid=3604] ppid=3602 vsize=2544 CPUtime=0.09
/proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 425 0 0 0 9 0 0 0 18 0 1 0 39082423 2605056 407 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563935 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3604/statm: 636 407 139 317 0 315 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2544

[startup+0.301686 s]
/proc/loadavg: 0.91 0.96 0.98 3/64 3604
/proc/meminfo: memFree=1493288/2055920 swapFree=4183816/4192956
[pid=3604] ppid=3602 vsize=2808 CPUtime=0.29
/proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 501 0 0 0 29 0 0 0 19 0 1 0 39082423 2875392 483 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715605 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3604/statm: 702 483 139 317 0 381 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2808

[startup+0.701721 s]
/proc/loadavg: 0.91 0.96 0.98 3/64 3604
/proc/meminfo: memFree=1493288/2055920 swapFree=4183816/4192956
[pid=3604] ppid=3602 vsize=3196 CPUtime=0.69
/proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 592 0 0 0 69 0 0 0 23 0 1 0 39082423 3272704 574 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3604/statm: 799 574 139 317 0 478 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3196

[startup+1.50179 s]
/proc/loadavg: 0.91 0.96 0.98 2/65 3605
/proc/meminfo: memFree=1491232/2055920 swapFree=4183816/4192956
[pid=3604] ppid=3602 vsize=3588 CPUtime=1.49
/proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 710 0 0 0 149 0 0 0 25 0 1 0 39082423 3674112 692 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3604/statm: 897 692 139 317 0 576 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 3588

[startup+3.10193 s]
/proc/loadavg: 0.91 0.96 0.98 2/65 3605
/proc/meminfo: memFree=1490592/2055920 swapFree=4183816/4192956
[pid=3604] ppid=3602 vsize=4376 CPUtime=3.09
/proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 898 0 0 0 309 0 0 0 25 0 1 0 39082423 4481024 880 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3604/statm: 1094 880 139 317 0 773 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 4376

[startup+6.30121 s]
/proc/loadavg: 0.92 0.96 0.98 2/65 3605
/proc/meminfo: memFree=1489312/2055920 swapFree=4183816/4192956
[pid=3604] ppid=3602 vsize=5168 CPUtime=6.29
/proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 1112 0 0 0 629 0 0 0 25 0 1 0 39082423 5292032 1094 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3604/statm: 1292 1094 139 317 0 971 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 5168

[startup+12.7028 s]
/proc/loadavg: 0.93 0.96 0.98 2/65 3605
/proc/meminfo: memFree=1488032/2055920 swapFree=4183816/4192956
[pid=3604] ppid=3602 vsize=6624 CPUtime=12.69
/proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 1500 0 0 0 1269 0 0 0 25 0 1 0 39082423 6782976 1445 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3604/statm: 1656 1445 170 317 0 1335 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 6624

[startup+25.5019 s]
/proc/loadavg: 1.02 0.98 0.99 2/65 3605
/proc/meminfo: memFree=1486504/2055920 swapFree=4183816/4192956
[pid=3604] ppid=3602 vsize=7948 CPUtime=25.49
/proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 1848 0 0 0 2548 1 0 0 25 0 1 0 39082423 8138752 1793 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3604/statm: 1987 1793 170 317 0 1666 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 7948

[startup+51.1012 s]
/proc/loadavg: 1.01 0.98 0.99 2/65 3605
/proc/meminfo: memFree=1484712/2055920 swapFree=4183816/4192956
[pid=3604] ppid=3602 vsize=9800 CPUtime=51.08
/proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 2298 0 0 0 5107 1 0 0 25 0 1 0 39082423 10035200 2243 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3604/statm: 2450 2243 170 317 0 2129 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 9800

[startup+102.306 s]
/proc/loadavg: 1.04 0.99 0.99 2/65 3605
/proc/meminfo: memFree=1482152/2055920 swapFree=4183816/4192956
[pid=3604] ppid=3602 vsize=12208 CPUtime=102.26
/proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 2907 0 0 0 10225 1 0 0 25 0 1 0 39082423 12500992 2852 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563449 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3604/statm: 3052 2852 170 317 0 2731 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 12208

[startup+162.302 s]
/proc/loadavg: 1.01 0.99 0.99 2/65 3605
/proc/meminfo: memFree=1479720/2055920 swapFree=4183816/4192956
[pid=3604] ppid=3602 vsize=14900 CPUtime=162.25
/proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 3591 0 0 0 16222 3 0 0 25 0 1 0 39082423 15257600 3464 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712511 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3604/statm: 3725 3464 170 317 0 3404 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 14900

[startup+222.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3605
/proc/meminfo: memFree=1477992/2055920 swapFree=4183816/4192956
[pid=3604] ppid=3602 vsize=16740 CPUtime=222.23
/proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 4029 0 0 0 22220 3 0 0 25 0 1 0 39082423 17141760 3902 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716090 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3604/statm: 4185 3902 170 317 0 3864 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 16740

[startup+282.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3605
/proc/meminfo: memFree=1476136/2055920 swapFree=4183816/4192956
[pid=3604] ppid=3602 vsize=18768 CPUtime=282.22
/proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 4506 0 0 0 28218 4 0 0 25 0 1 0 39082423 19218432 4379 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3604/statm: 4692 4379 170 317 0 4371 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 18768

[startup+342.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3605
/proc/meminfo: memFree=1474472/2055920 swapFree=4183816/4192956
[pid=3604] ppid=3602 vsize=20216 CPUtime=342.2
/proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 4900 0 0 0 34215 5 0 0 25 0 1 0 39082423 20701184 4773 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3604/statm: 5054 4773 170 317 0 4733 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 20216

[startup+402.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3605
/proc/meminfo: memFree=1473000/2055920 swapFree=4183816/4192956
[pid=3604] ppid=3602 vsize=21840 CPUtime=402.18
/proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 5281 0 0 0 40212 6 0 0 25 0 1 0 39082423 22364160 5154 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3604/statm: 5460 5154 170 317 0 5139 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 21840

[startup+462.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3605
/proc/meminfo: memFree=1471720/2055920 swapFree=4183816/4192956
[pid=3604] ppid=3602 vsize=23088 CPUtime=462.16
/proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 5583 0 0 0 46210 6 0 0 25 0 1 0 39082423 23642112 5456 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3604/statm: 5772 5456 170 317 0 5451 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 23088

[startup+522.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3605
/proc/meminfo: memFree=1470760/2055920 swapFree=4183816/4192956
[pid=3604] ppid=3602 vsize=24040 CPUtime=522.15
/proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 5825 0 0 0 52209 6 0 0 25 0 1 0 39082423 24616960 5698 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604251 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3604/statm: 6010 5698 170 317 0 5689 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 24040

[startup+582.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3605
/proc/meminfo: memFree=1469800/2055920 swapFree=4183816/4192956
[pid=3604] ppid=3602 vsize=24844 CPUtime=582.14
/proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 6056 0 0 0 58207 7 0 0 25 0 1 0 39082423 25440256 5929 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3604/statm: 6211 5929 170 317 0 5890 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 24844

[startup+642.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3605
/proc/meminfo: memFree=1468776/2055920 swapFree=4183816/4192956
[pid=3604] ppid=3602 vsize=25936 CPUtime=642.12
/proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 6312 0 0 0 64205 7 0 0 25 0 1 0 39082423 26558464 6185 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3604/statm: 6484 6185 170 317 0 6163 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 25936


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

[startup+882.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3605
/proc/meminfo: memFree=1464616/2055920 swapFree=4183816/4192956
[pid=3604] ppid=3602 vsize=30812 CPUtime=882.05
/proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 7481 0 0 0 88197 8 0 0 25 0 1 0 39082423 31551488 7212 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3604/statm: 7703 7212 170 317 0 7382 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 30812

[startup+942.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3605
/proc/meminfo: memFree=1463720/2055920 swapFree=4183816/4192956
[pid=3604] ppid=3602 vsize=31752 CPUtime=942.04
/proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 7721 0 0 0 94195 9 0 0 25 0 1 0 39082423 32514048 7452 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3604/statm: 7938 7452 170 317 0 7617 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 31752

[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3605
/proc/meminfo: memFree=1462696/2055920 swapFree=4183816/4192956
[pid=3604] ppid=3602 vsize=32812 CPUtime=1002.02
/proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 7968 0 0 0 100193 9 0 0 25 0 1 0 39082423 33599488 7699 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718451 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3604/statm: 8203 7699 170 317 0 7882 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 32812

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3605
/proc/meminfo: memFree=1461864/2055920 swapFree=4183816/4192956
[pid=3604] ppid=3602 vsize=33604 CPUtime=1062.01
/proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 8178 0 0 0 106192 9 0 0 25 0 1 0 39082423 34410496 7909 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3604/statm: 8401 7909 170 317 0 8080 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 33604

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3605
/proc/meminfo: memFree=1461032/2055920 swapFree=4183816/4192956
[pid=3604] ppid=3602 vsize=34444 CPUtime=1121.99
/proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 8392 0 0 0 112190 9 0 0 25 0 1 0 39082423 35270656 8123 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3604/statm: 8611 8123 170 317 0 8290 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 34444

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3605
/proc/meminfo: memFree=1460200/2055920 swapFree=4183816/4192956
[pid=3604] ppid=3602 vsize=35308 CPUtime=1181.97
/proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 8586 0 0 0 118188 9 0 0 25 0 1 0 39082423 36155392 8317 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3604/statm: 8827 8317 170 317 0 8506 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 35308

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3605
/proc/meminfo: memFree=1459368/2055920 swapFree=4183816/4192956
[pid=3604] ppid=3602 vsize=36144 CPUtime=1241.96
/proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 8801 0 0 0 124186 10 0 0 25 0 1 0 39082423 37011456 8532 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3604/statm: 9036 8532 170 317 0 8715 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 36144

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/71 3687
/proc/meminfo: memFree=1457464/2055920 swapFree=4183816/4192956
[pid=3604] ppid=3602 vsize=36672 CPUtime=1301.91
/proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 8946 0 0 0 130178 13 0 0 25 0 1 0 39082423 37552128 8677 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3604/statm: 9168 8677 170 317 0 8847 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 36672

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3803
/proc/meminfo: memFree=1457768/2055920 swapFree=4183816/4192956
[pid=3604] ppid=3602 vsize=37376 CPUtime=1361.82
/proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 9111 0 0 0 136168 14 0 0 25 0 1 0 39082423 38273024 8842 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3604/statm: 9344 8842 170 317 0 9023 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 37376

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3803
/proc/meminfo: memFree=1456936/2055920 swapFree=4183816/4192956
[pid=3604] ppid=3602 vsize=38336 CPUtime=1421.81
/proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 9320 0 0 0 142167 14 0 0 25 0 1 0 39082423 39256064 9051 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3604/statm: 9584 9051 170 317 0 9263 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 38336

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3803
/proc/meminfo: memFree=1456104/2055920 swapFree=4183816/4192956
[pid=3604] ppid=3602 vsize=39332 CPUtime=1481.8
/proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 9518 0 0 0 148165 15 0 0 25 0 1 0 39082423 40275968 9249 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3604/statm: 9833 9249 170 317 0 9512 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 39332

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3803
/proc/meminfo: memFree=1455464/2055920 swapFree=4183816/4192956
[pid=3604] ppid=3602 vsize=40024 CPUtime=1541.78
/proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 9691 0 0 0 154163 15 0 0 25 0 1 0 39082423 40984576 9422 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3604/statm: 10006 9422 170 317 0 9685 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 40024

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3803
/proc/meminfo: memFree=1454568/2055920 swapFree=4183816/4192956
[pid=3604] ppid=3602 vsize=40816 CPUtime=1601.76
/proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 9906 0 0 0 160161 15 0 0 25 0 1 0 39082423 41795584 9637 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710943 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3604/statm: 10204 9637 170 317 0 9883 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 40816

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3803
/proc/meminfo: memFree=1453928/2055920 swapFree=4183816/4192956
[pid=3604] ppid=3602 vsize=41492 CPUtime=1661.75
/proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 10069 0 0 0 166159 16 0 0 25 0 1 0 39082423 42487808 9800 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3604/statm: 10373 9800 170 317 0 10052 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 41492

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3805
/proc/meminfo: memFree=1453288/2055920 swapFree=4183816/4192956
[pid=3604] ppid=3602 vsize=42160 CPUtime=1721.73
/proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 10237 0 0 0 172157 16 0 0 25 0 1 0 39082423 43171840 9968 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3604/statm: 10540 9968 170 317 0 10219 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 42160

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3805
/proc/meminfo: memFree=1452904/2055920 swapFree=4183816/4192956
[pid=3604] ppid=3602 vsize=42552 CPUtime=1781.71
/proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 10347 0 0 0 178155 16 0 0 25 0 1 0 39082423 43573248 10078 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3604/statm: 10638 10078 170 317 0 10317 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 42552



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3805
/proc/meminfo: memFree=1452712/2055920 swapFree=4183816/4192956
[pid=3604] ppid=3602 vsize=42816 CPUtime=1800.01
/proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 10390 0 0 0 179985 16 0 0 25 0 1 0 39082423 43843584 10121 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3604/statm: 10704 10121 170 317 0 10383 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 42816

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 0.99 0.99 2/65 3805
/proc/meminfo: memFree=1452712/2055920 swapFree=4183816/4192956
[pid=3604] ppid=3602 vsize=42816 CPUtime=1800.11
/proc/3604/stat : 3604 (oree) R 3602 3604 2975 0 -1 4194304 10391 0 0 0 179995 16 0 0 25 0 1 0 39082423 43843584 10122 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3604/statm: 10704 10122 170 317 0 10383 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 42816

Child status: 0
Real time (s): 1800.8
CPU time (s): 1800.21
CPU user time (s): 1800.04
CPU system time (s): 0.172973
CPU usage (%): 99.9674
Max. virtual memory (cumulated for all children) (KiB): 42816

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

runsolver used 1.3118 second user time and 3.67744 second system time

The end

Launcher Data (download as text)

Begin job on node50 on Tue Apr 17 20:39:32 UTC 2007

IDJOB= 360320
IDBENCH= 1362
IDSOLVER= 172
FILE ID= node50/360320-1176842372

PBS_JOBID= 4590164

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  30c4f9acafc0f3a30de05f75833db699

RANDOM SEED= 513586994

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node50.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.232
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.232
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:       1493648 kB
Buffers:         39436 kB
Cached:         447708 kB
SwapCached:       3272 kB
Active:         160868 kB
Inactive:       336120 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1493648 kB
SwapTotal:     4192956 kB
SwapFree:      4183816 kB
Dirty:            1448 kB
Writeback:           0 kB
Mapped:          15568 kB
Slab:            51200 kB
Committed_AS:   998876 kB
PageTables:       1460 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= 66542 MiB

End job on node50 on Tue Apr 17 21:09:35 UTC 2007