Trace number 363812

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 NameAnswerObjective functionCPU timeWall clock time
oree 0.1.2 alpha? (TO) 1800.39 1800.95

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s4-4-3-4pb.opb
MD5SUM8521955d0869ff4fe0390118a5fbc0f9
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark60
Best CPU time to get the best result obtained on this benchmark0.119981
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 60
Optimality of the best value was proved YES
Number of variables696
Total number of constraints2096
Number of constraints which are clauses2072
Number of constraints which are cardinality constraints (but not clauses)24
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint29
Number of terms in the objective function 696
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 696
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 696
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=696 #constraints=2097 hasObjective=yes
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.00/0.07	c restart after 401 decisions
0.00/0.07	c nbDecision=500 #constraints=2202
0.10/0.19	c restart after 801 decisions
0.20/0.26	c nbDecision=1000 #constraints=2493
0.50/0.53	c nbDecision=1500 #constraints=2816
0.60/0.61	c restart after 1601 decisions
0.89/0.92	c nbDecision=2000 #constraints=3146
1.49/1.59	c nbDecision=2500 #constraints=3534
2.39/2.40	c nbDecision=3000 #constraints=3816
2.89/2.98	c restart after 3201 decisions
3.69/3.74	c nbDecision=3500 #constraints=4163
5.69/5.73	c nbDecision=4000 #constraints=4571
7.79/7.85	c nbDecision=4500 #constraints=4962
9.29/9.37	c nbDecision=5000 #constraints=5255
10.29/10.34	c nbDecision=5500 #constraints=5549
11.89/11.98	c nbDecision=6000 #constraints=5859
13.49/13.50	c restart after 6401 decisions
13.49/13.58	c nbDecision=6500 #constraints=6111
16.68/16.70	c nbDecision=7000 #constraints=6428
20.78/20.81	c nbDecision=7500 #constraints=6784
25.59/25.60	c nbDecision=8000 #constraints=7158
31.18/31.20	c nbDecision=8500 #constraints=7536
36.38/36.44	c nbDecision=9000 #constraints=7905
41.78/41.84	c nbDecision=9500 #constraints=8291
45.78/45.88	c nbDecision=10000 #constraints=8593
51.37/51.42	c nbDecision=10500 #constraints=8967
57.68/57.72	c nbDecision=11000 #constraints=9319
65.48/65.56	c nbDecision=11500 #constraints=9689
74.07/74.14	c nbDecision=12000 #constraints=10061
85.27/85.30	c nbDecision=12500 #constraints=10485
90.47/90.59	c restart after 12801 decisions
92.67/92.74	c nbDecision=13000 #constraints=10805
102.46/102.59	c nbDecision=13500 #constraints=11229
111.06/111.12	c nbDecision=14000 #constraints=11554
120.06/120.10	c nbDecision=14500 #constraints=11849
124.86/124.97	c nbDecision=15000 #constraints=12092
134.36/134.48	c nbDecision=15500 #constraints=12451
144.46/144.58	c nbDecision=16000 #constraints=12771
155.25/155.31	c nbDecision=16500 #constraints=13111
163.15/163.27	c nbDecision=17000 #constraints=13406
174.05/174.15	c nbDecision=17500 #constraints=13737
188.34/188.46	c nbDecision=18000 #constraints=14041
204.03/204.17	c nbDecision=18500 #constraints=14374
217.34/217.41	c nbDecision=19000 #constraints=14718
235.83/235.99	c nbDecision=19500 #constraints=15078
252.93/253.02	c nbDecision=20000 #constraints=15424
267.52/267.68	c nbDecision=20500 #constraints=15757
284.52/284.69	c nbDecision=21000 #constraints=16087
309.11/309.23	c nbDecision=21500 #constraints=16458
329.40/329.59	c nbDecision=22000 #constraints=16842
346.31/346.50	c nbDecision=22500 #constraints=17190
368.80/368.92	c nbDecision=23000 #constraints=17585
386.89/387.07	c nbDecision=23500 #constraints=17907
403.60/403.73	c nbDecision=24000 #constraints=18239
426.08/426.26	c nbDecision=24500 #constraints=18584
446.98/447.19	c nbDecision=25000 #constraints=18924
472.07/472.30	c nbDecision=25500 #constraints=19311
478.47/478.60	c restart after 25601 decisions
496.67/496.81	c nbDecision=26000 #constraints=19616
519.96/520.11	c nbDecision=26500 #constraints=19968
549.45/549.64	c nbDecision=27000 #constraints=20330
576.35/576.51	c nbDecision=27500 #constraints=20703
605.44/605.67	c nbDecision=28000 #constraints=21092
638.83/639.10	c nbDecision=28500 #constraints=21500
665.52/665.77	c nbDecision=29000 #constraints=21879
694.02/694.23	c nbDecision=29500 #constraints=22284
723.31/723.54	c nbDecision=30000 #constraints=22620
747.80/748.00	c nbDecision=30500 #constraints=22955
776.30/776.50	c nbDecision=31000 #constraints=23292
812.79/813.04	c nbDecision=31500 #constraints=23678
844.58/844.89	c nbDecision=32000 #constraints=24021
888.36/888.69	c nbDecision=32500 #constraints=24419
927.95/928.22	c nbDecision=33000 #constraints=24816
960.55/960.85	c nbDecision=33500 #constraints=25187
1000.44/1000.70	c nbDecision=34000 #constraints=25557
1041.13/1041.40	c nbDecision=34500 #constraints=25919
1086.01/1086.38	c nbDecision=35000 #constraints=26291
1136.31/1136.65	c nbDecision=35500 #constraints=26695
1177.39/1177.71	c nbDecision=36000 #constraints=27080
1220.08/1220.40	c nbDecision=36500 #constraints=27525
1260.47/1260.85	c nbDecision=37000 #constraints=27895
1301.32/1301.75	c nbDecision=37500 #constraints=28256
1340.77/1341.27	c nbDecision=38000 #constraints=28643
1386.14/1386.69	c nbDecision=38500 #constraints=29058
1432.93/1433.41	c nbDecision=39000 #constraints=29435
1484.92/1485.41	c nbDecision=39500 #constraints=29826
1529.30/1529.88	c nbDecision=40000 #constraints=30165
1573.50/1574.04	c nbDecision=40500 #constraints=30491
1634.48/1635.04	c nbDecision=41000 #constraints=30893
1689.17/1689.73	c nbDecision=41500 #constraints=31281
1728.36/1728.93	c nbDecision=42000 #constraints=31589
1787.54/1788.15	c nbDecision=42500 #constraints=31994
1800.05/1800.60	Received signal 15
1800.34/1800.93	
1800.34/1800.93	s UNKNOWN
1800.34/1800.93	
1800.34/1800.93	c user time= 1800.2 s
1800.34/1800.93	c system time= 0.180972 s
1800.34/1800.93	c wall clock time=1800.93

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/node70/watcher-363812-1176986373 -o ROOT/results/node70/solver-363812-1176986373 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/363812-1176986373/instance-363812-1176986373.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.99 0.97 0.93 2/64 27633
/proc/meminfo: memFree=1178808/2055920 swapFree=4183760/4192956
[pid=27633] ppid=27631 vsize=1468 CPUtime=0
/proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 138174686 1503232 164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27633/statm: 367 164 130 317 0 46 0

[startup+0.0939509 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 27633
/proc/meminfo: memFree=1178808/2055920 swapFree=4183760/4192956
[pid=27633] ppid=27631 vsize=2348 CPUtime=0.09
/proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 391 0 0 0 9 0 0 0 18 0 1 0 138174686 2404352 373 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562754 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27633/statm: 587 373 139 317 0 266 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2348

[startup+0.102952 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 27633
/proc/meminfo: memFree=1178808/2055920 swapFree=4183760/4192956
[pid=27633] ppid=27631 vsize=2348 CPUtime=0.1
/proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 399 0 0 0 10 0 0 0 18 0 1 0 138174686 2404352 381 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27633/statm: 587 381 139 317 0 266 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2348

[startup+0.302971 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 27633
/proc/meminfo: memFree=1178808/2055920 swapFree=4183760/4192956
[pid=27633] ppid=27631 vsize=3004 CPUtime=0.3
/proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 553 0 0 0 30 0 0 0 19 0 1 0 138174686 3076096 535 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27633/statm: 751 535 139 317 0 430 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 3004

[startup+0.702012 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 27633
/proc/meminfo: memFree=1178808/2055920 swapFree=4183760/4192956
[pid=27633] ppid=27631 vsize=3660 CPUtime=0.69
/proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 743 0 0 0 69 0 0 0 23 0 1 0 138174686 3747840 725 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270603 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27633/statm: 915 725 139 317 0 594 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3660

[startup+1.50109 s]
/proc/loadavg: 1.07 0.99 0.93 2/65 27634
/proc/meminfo: memFree=1176048/2055920 swapFree=4183760/4192956
[pid=27633] ppid=27631 vsize=4840 CPUtime=1.49
/proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 1023 0 0 0 149 0 0 0 25 0 1 0 138174686 4956160 1005 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27633/statm: 1210 1005 139 317 0 889 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4840

[startup+3.10125 s]
/proc/loadavg: 1.07 0.99 0.93 2/65 27634
/proc/meminfo: memFree=1174896/2055920 swapFree=4183760/4192956
[pid=27633] ppid=27631 vsize=5900 CPUtime=3.09
/proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 1267 0 0 0 309 0 0 0 25 0 1 0 138174686 6041600 1249 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27633/statm: 1475 1249 139 317 0 1154 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5900

[startup+6.30157 s]
/proc/loadavg: 1.07 0.99 0.93 2/65 27634
/proc/meminfo: memFree=1173168/2055920 swapFree=4183760/4192956
[pid=27633] ppid=27631 vsize=7476 CPUtime=6.29
/proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 1652 0 0 0 628 1 0 0 25 0 1 0 138174686 7655424 1634 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712551 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27633/statm: 1869 1634 139 317 0 1548 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 7476

[startup+12.7012 s]
/proc/loadavg: 1.06 0.99 0.93 2/65 27634
/proc/meminfo: memFree=1170608/2055920 swapFree=4183760/4192956
[pid=27633] ppid=27631 vsize=9860 CPUtime=12.69
/proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 2236 0 0 0 1268 1 0 0 25 0 1 0 138174686 10096640 2218 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27633/statm: 2465 2218 139 317 0 2144 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 9860

[startup+25.5015 s]
/proc/loadavg: 1.05 0.99 0.93 2/65 27634
/proc/meminfo: memFree=1167920/2055920 swapFree=4183760/4192956
[pid=27633] ppid=27631 vsize=12404 CPUtime=25.49
/proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 2856 0 0 0 2547 2 0 0 25 0 1 0 138174686 12701696 2838 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27633/statm: 3101 2838 139 317 0 2780 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 12404

[startup+51.1011 s]
/proc/loadavg: 1.03 0.99 0.93 2/65 27634
/proc/meminfo: memFree=1164144/2055920 swapFree=4183760/4192956
[pid=27633] ppid=27631 vsize=16660 CPUtime=51.07
/proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 3863 0 0 0 5105 2 0 0 25 0 1 0 138174686 17059840 3788 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563622 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27633/statm: 4165 3788 139 317 0 3844 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 16660

[startup+102.305 s]
/proc/loadavg: 1.01 0.99 0.93 2/65 27634
/proc/meminfo: memFree=1158960/2055920 swapFree=4183760/4192956
[pid=27633] ppid=27631 vsize=21800 CPUtime=102.27
/proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 5151 0 0 0 10224 3 0 0 25 0 1 0 138174686 22323200 5076 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27633/statm: 5450 5076 139 317 0 5129 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 21800

[startup+162.301 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 27634
/proc/meminfo: memFree=1154096/2055920 swapFree=4183760/4192956
[pid=27633] ppid=27631 vsize=26760 CPUtime=162.25
/proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 6370 0 0 0 16221 4 0 0 25 0 1 0 138174686 27402240 6295 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27633/statm: 6690 6295 139 317 0 6369 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 26760

[startup+222.301 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 27634
/proc/meminfo: memFree=1150576/2055920 swapFree=4183760/4192956
[pid=27633] ppid=27631 vsize=30300 CPUtime=222.24
/proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 7233 0 0 0 22219 5 0 0 25 0 1 0 138174686 31027200 7158 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27633/statm: 7575 7158 139 317 0 7254 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 30300

[startup+282.301 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 27634
/proc/meminfo: memFree=1147504/2055920 swapFree=4183760/4192956
[pid=27633] ppid=27631 vsize=33604 CPUtime=282.22
/proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 7976 0 0 0 28217 5 0 0 25 0 1 0 138174686 34410496 7901 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27633/statm: 8401 7901 139 317 0 8080 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 33604

[startup+342.301 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 27634
/proc/meminfo: memFree=1144880/2055920 swapFree=4183760/4192956
[pid=27633] ppid=27631 vsize=36884 CPUtime=342.21
/proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 8742 0 0 0 34215 6 0 0 25 0 1 0 138174686 37769216 8554 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712543 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27633/statm: 9221 8554 139 317 0 8900 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 36884

[startup+402.302 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 27634
/proc/meminfo: memFree=1142384/2055920 swapFree=4183760/4192956
[pid=27633] ppid=27631 vsize=39492 CPUtime=402.19
/proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 9383 0 0 0 40212 7 0 0 25 0 1 0 138174686 40439808 9195 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27633/statm: 9873 9195 139 317 0 9552 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 39492

[startup+462.302 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 27634
/proc/meminfo: memFree=1139888/2055920 swapFree=4183760/4192956
[pid=27633] ppid=27631 vsize=41944 CPUtime=462.17
/proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 9986 0 0 0 46210 7 0 0 25 0 1 0 138174686 42950656 9798 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27633/statm: 10486 9798 139 317 0 10165 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 41944

[startup+522.302 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 27634
/proc/meminfo: memFree=1137968/2055920 swapFree=4183760/4192956
[pid=27633] ppid=27631 vsize=44040 CPUtime=522.16
/proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 10484 0 0 0 52208 8 0 0 25 0 1 0 138174686 45096960 10296 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27633/statm: 11010 10296 139 317 0 10689 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 44040

[startup+582.302 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 27634
/proc/meminfo: memFree=1135920/2055920 swapFree=4183760/4192956
[pid=27633] ppid=27631 vsize=46116 CPUtime=582.15
/proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 10989 0 0 0 58206 9 0 0 25 0 1 0 138174686 47222784 10801 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27633/statm: 11529 10801 139 317 0 11208 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 46116

[startup+642.302 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 27634
/proc/meminfo: memFree=1134192/2055920 swapFree=4183760/4192956
[pid=27633] ppid=27631 vsize=47832 CPUtime=642.13
/proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 11413 0 0 0 64204 9 0 0 25 0 1 0 138174686 48979968 11225 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27633/statm: 11958 11225 139 317 0 11637 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 47832


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

[startup+942.301 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 27636
/proc/meminfo: memFree=1125424/2055920 swapFree=4183760/4192956
[pid=27633] ppid=27631 vsize=57112 CPUtime=942.06
/proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 13781 0 0 0 94194 12 0 0 25 0 1 0 138174686 58482688 13395 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27633/statm: 14278 13395 139 317 0 13957 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 57112

[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 27636
/proc/meminfo: memFree=1123824/2055920 swapFree=4183760/4192956
[pid=27633] ppid=27631 vsize=58856 CPUtime=1002.04
/proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 14197 0 0 0 100192 12 0 0 25 0 1 0 138174686 60268544 13811 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27633/statm: 14714 13811 139 317 0 14393 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 58856

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 27636
/proc/meminfo: memFree=1122416/2055920 swapFree=4183760/4192956
[pid=27633] ppid=27631 vsize=60220 CPUtime=1062.02
/proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 14542 0 0 0 106190 12 0 0 25 0 1 0 138174686 61665280 14156 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27633/statm: 15055 14156 139 317 0 14734 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 60220

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 27636
/proc/meminfo: memFree=1121200/2055920 swapFree=4183760/4192956
[pid=27633] ppid=27631 vsize=61404 CPUtime=1122.01
/proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 14873 0 0 0 112188 13 0 0 25 0 1 0 138174686 62877696 14454 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27633/statm: 15351 14454 139 317 0 15030 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 61404

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 27636
/proc/meminfo: memFree=1119792/2055920 swapFree=4183760/4192956
[pid=27633] ppid=27631 vsize=63156 CPUtime=1181.99
/proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 15332 0 0 0 118186 13 0 0 25 0 1 0 138174686 64671744 14814 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27633/statm: 15789 14814 139 317 0 15468 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 63156

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 27636
/proc/meminfo: memFree=1118512/2055920 swapFree=4183760/4192956
[pid=27633] ppid=27631 vsize=64344 CPUtime=1241.97
/proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 15640 0 0 0 124184 13 0 0 25 0 1 0 138174686 65888256 15122 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712497 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27633/statm: 16086 15122 139 317 0 15765 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 64344

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.93 2/71 27718
/proc/meminfo: memFree=1115896/2055920 swapFree=4183760/4192956
[pid=27633] ppid=27631 vsize=65392 CPUtime=1301.93
/proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 15954 0 0 0 130179 14 0 0 25 0 1 0 138174686 66961408 15436 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27633/statm: 16348 15436 139 317 0 16027 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 65392

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 27834
/proc/meminfo: memFree=1115632/2055920 swapFree=4183760/4192956
[pid=27633] ppid=27631 vsize=66600 CPUtime=1361.85
/proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 16294 0 0 0 136170 15 0 0 25 0 1 0 138174686 68198400 15776 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27633/statm: 16650 15776 139 317 0 16329 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 66600

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 27834
/proc/meminfo: memFree=1114544/2055920 swapFree=4183760/4192956
[pid=27633] ppid=27631 vsize=67812 CPUtime=1421.83
/proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 16589 0 0 0 142168 15 0 0 25 0 1 0 138174686 69439488 16071 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27633/statm: 16953 16071 139 317 0 16632 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 67812

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 27834
/proc/meminfo: memFree=1113456/2055920 swapFree=4183760/4192956
[pid=27633] ppid=27631 vsize=68992 CPUtime=1481.82
/proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 16844 0 0 0 148166 16 0 0 25 0 1 0 138174686 70647808 16326 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27633/statm: 17248 16326 139 317 0 16927 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 68992

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 27834
/proc/meminfo: memFree=1112560/2055920 swapFree=4183760/4192956
[pid=27633] ppid=27631 vsize=70044 CPUtime=1541.8
/proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 17076 0 0 0 154164 16 0 0 25 0 1 0 138174686 71725056 16558 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27633/statm: 17511 16558 139 317 0 17190 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 70044

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 27834
/proc/meminfo: memFree=1111664/2055920 swapFree=4183760/4192956
[pid=27633] ppid=27631 vsize=70992 CPUtime=1601.78
/proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 17323 0 0 0 160162 16 0 0 25 0 1 0 138174686 72695808 16805 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27633/statm: 17748 16805 139 317 0 17427 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 70992

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 27834
/proc/meminfo: memFree=1110768/2055920 swapFree=4183760/4192956
[pid=27633] ppid=27631 vsize=71940 CPUtime=1661.78
/proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 17561 0 0 0 166161 17 0 0 25 0 1 0 138174686 73666560 17043 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27633/statm: 17985 17043 139 317 0 17664 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 71940

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 27834
/proc/meminfo: memFree=1109616/2055920 swapFree=4183760/4192956
[pid=27633] ppid=27631 vsize=73552 CPUtime=1721.76
/proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 17980 0 0 0 172159 17 0 0 25 0 1 0 138174686 75317248 17297 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27633/statm: 18388 17297 139 317 0 18067 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 73552

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 27834
/proc/meminfo: memFree=1108720/2055920 swapFree=4183760/4192956
[pid=27633] ppid=27631 vsize=74620 CPUtime=1781.74
/proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 18226 0 0 0 178157 17 0 0 25 0 1 0 138174686 76410880 17543 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27633/statm: 18655 17543 139 317 0 18334 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 74620



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 27834
/proc/meminfo: memFree=1108336/2055920 swapFree=4183760/4192956
[pid=27633] ppid=27631 vsize=75008 CPUtime=1800.05
/proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 18342 0 0 0 179987 18 0 0 25 0 1 0 138174686 76808192 17626 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563993 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27633/statm: 18752 17626 139 317 0 18431 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 75008

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

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

[startup+1800.8 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 27834
/proc/meminfo: memFree=1108336/2055920 swapFree=4183760/4192956
[pid=27633] ppid=27631 vsize=75008 CPUtime=1800.24
/proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 18343 0 0 0 180006 18 0 0 25 0 1 0 138174686 76808192 17627 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27633/statm: 18752 17627 139 317 0 18431 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 75008

[startup+1800.9 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 27834
/proc/meminfo: memFree=1108336/2055920 swapFree=4183760/4192956
[pid=27633] ppid=27631 vsize=75008 CPUtime=1800.34
/proc/27633/stat : 27633 (oree) R 27631 27633 27470 0 -1 4194304 18343 0 0 0 180016 18 0 0 25 0 1 0 138174686 76808192 17627 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27633/statm: 18752 17627 139 317 0 18431 0
Current children cumulated CPU time (s) 1800.34
Current children cumulated vsize (KiB) 75008

Child status: 0
Real time (s): 1800.95
CPU time (s): 1800.39
CPU user time (s): 1800.2
CPU system time (s): 0.19097
CPU usage (%): 99.9692
Max. virtual memory (cumulated for all children) (KiB): 75008

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

runsolver used 1.35679 second user time and 3.62745 second system time

The end

Launcher Data (download as text)

Begin job on node70 on Thu Apr 19 12:39:33 UTC 2007

IDJOB= 363812
IDBENCH= 2028
IDSOLVER= 172
FILE ID= node70/363812-1176986373

PBS_JOBID= 4630424

Free space on /tmp= 66476 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s4-4-3-4pb.opb
COMMAND LINE= oree /tmp/evaluation/363812-1176986373/instance-363812-1176986373.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node70/watcher-363812-1176986373 -o ROOT/results/node70/solver-363812-1176986373 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/363812-1176986373/instance-363812-1176986373.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  8521955d0869ff4fe0390118a5fbc0f9

RANDOM SEED= 116411599

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node70.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.218
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.218
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:       1179408 kB
Buffers:         31640 kB
Cached:         771884 kB
SwapCached:       3092 kB
Active:         285488 kB
Inactive:       527592 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1179408 kB
SwapTotal:     4192956 kB
SwapFree:      4183760 kB
Dirty:            1368 kB
Writeback:           0 kB
Mapped:          15520 kB
Slab:            49528 kB
Committed_AS:  2490620 kB
PageTables:       1396 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= 66476 MiB

End job on node70 on Thu Apr 19 13:09:36 UTC 2007