Trace number 363784

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.04 1800.73

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s4-4-3-3pb.opb
MD5SUMc2400ec88bd2efb16a03934d0b4c43da
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark62
Best CPU time to get the best result obtained on this benchmark0.222965
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 62
Optimality of the best value was proved YES
Number of variables648
Total number of constraints1954
Number of constraints which are clauses1930
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 constraint27
Number of terms in the objective function 648
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 648
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 648
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=648 #constraints=1955 hasObjective=yes
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.09/0.12	c restart after 401 decisions
0.09/0.13	c nbDecision=500 #constraints=2134
0.19/0.25	c restart after 801 decisions
0.19/0.29	c nbDecision=1000 #constraints=2335
0.49/0.51	c nbDecision=1500 #constraints=2539
0.49/0.58	c restart after 1601 decisions
0.69/0.77	c nbDecision=2000 #constraints=2723
1.10/1.18	c nbDecision=2500 #constraints=2985
1.69/1.78	c nbDecision=3000 #constraints=3255
1.99/2.06	c restart after 3201 decisions
2.29/2.35	c nbDecision=3500 #constraints=3491
3.39/3.40	c nbDecision=4000 #constraints=3777
4.78/4.87	c nbDecision=4500 #constraints=4040
5.99/6.05	c nbDecision=5000 #constraints=4312
7.09/7.13	c nbDecision=5500 #constraints=4556
8.89/8.93	c nbDecision=6000 #constraints=4818
11.29/11.30	c restart after 6401 decisions
11.39/11.46	c nbDecision=6500 #constraints=5113
13.19/13.25	c nbDecision=7000 #constraints=5352
16.18/16.29	c nbDecision=7500 #constraints=5657
19.48/19.55	c nbDecision=8000 #constraints=5938
23.99/24.03	c nbDecision=8500 #constraints=6263
28.28/28.31	c nbDecision=9000 #constraints=6576
32.78/32.84	c nbDecision=9500 #constraints=6878
38.18/38.29	c nbDecision=10000 #constraints=7206
43.68/43.71	c nbDecision=10500 #constraints=7544
48.57/48.64	c nbDecision=11000 #constraints=7828
56.27/56.38	c nbDecision=11500 #constraints=8198
67.26/67.38	c nbDecision=12000 #constraints=8620
78.97/79.06	c nbDecision=12500 #constraints=9066
86.26/86.34	c restart after 12801 decisions
89.46/89.53	c nbDecision=13000 #constraints=9452
101.46/101.57	c nbDecision=13500 #constraints=9840
115.65/115.76	c nbDecision=14000 #constraints=10243
124.25/124.38	c nbDecision=14500 #constraints=10559
128.75/128.85	c nbDecision=15000 #constraints=10788
133.35/133.46	c nbDecision=15500 #constraints=11012
138.35/138.42	c nbDecision=16000 #constraints=11231
144.54/144.68	c nbDecision=16500 #constraints=11478
151.44/151.54	c nbDecision=17000 #constraints=11729
158.93/159.00	c nbDecision=17500 #constraints=11993
168.53/168.62	c nbDecision=18000 #constraints=12269
180.73/180.80	c nbDecision=18500 #constraints=12578
193.03/193.17	c nbDecision=19000 #constraints=12842
207.63/207.77	c nbDecision=19500 #constraints=13147
223.92/224.02	c nbDecision=20000 #constraints=13480
240.11/240.26	c nbDecision=20500 #constraints=13807
255.40/255.50	c nbDecision=21000 #constraints=14155
274.31/274.42	c nbDecision=21500 #constraints=14510
298.90/299.03	c nbDecision=22000 #constraints=14914
322.19/322.35	c nbDecision=22500 #constraints=15304
327.98/328.19	c nbDecision=23000 #constraints=15512
334.98/335.17	c nbDecision=23500 #constraints=15726
342.08/342.25	c nbDecision=24000 #constraints=15925
349.97/350.11	c nbDecision=24500 #constraints=16121
357.07/357.22	c nbDecision=25000 #constraints=16320
364.67/364.84	c nbDecision=25500 #constraints=16505
366.77/366.98	c restart after 25601 decisions
374.27/374.42	c nbDecision=26000 #constraints=16689
388.36/388.54	c nbDecision=26500 #constraints=16943
399.26/399.47	c nbDecision=27000 #constraints=17163
416.55/416.70	c nbDecision=27500 #constraints=17455
431.26/431.41	c nbDecision=28000 #constraints=17738
445.65/445.82	c nbDecision=28500 #constraints=18012
459.65/459.83	c nbDecision=29000 #constraints=18308
477.74/477.95	c nbDecision=29500 #constraints=18618
508.03/508.27	c nbDecision=30000 #constraints=19001
529.93/530.12	c nbDecision=30500 #constraints=19340
540.92/541.14	c nbDecision=31000 #constraints=19563
551.21/551.40	c nbDecision=31500 #constraints=19755
562.81/563.05	c nbDecision=32000 #constraints=19968
578.60/578.83	c nbDecision=32500 #constraints=20203
601.41/601.64	c nbDecision=33000 #constraints=20504
620.79/621.06	c nbDecision=33500 #constraints=20778
641.59/641.81	c nbDecision=34000 #constraints=21086
676.38/676.67	c nbDecision=34500 #constraints=21477
705.76/706.04	c nbDecision=35000 #constraints=21820
730.07/730.33	c nbDecision=35500 #constraints=22110
756.56/756.85	c nbDecision=36000 #constraints=22420
782.85/783.16	c nbDecision=36500 #constraints=22740
817.03/817.33	c nbDecision=37000 #constraints=23100
857.41/857.78	c nbDecision=37500 #constraints=23454
870.52/870.85	c nbDecision=38000 #constraints=23671
884.12/884.48	c nbDecision=38500 #constraints=23859
909.00/909.30	c nbDecision=39000 #constraints=24150
931.40/931.75	c nbDecision=39500 #constraints=24450
960.19/960.56	c nbDecision=40000 #constraints=24779
980.68/981.03	c nbDecision=40500 #constraints=25011
1012.47/1012.87	c nbDecision=41000 #constraints=25330
1047.86/1048.25	c nbDecision=41500 #constraints=25656
1068.16/1068.58	c nbDecision=42000 #constraints=25882
1086.45/1086.86	c nbDecision=42500 #constraints=26082
1104.74/1105.18	c nbDecision=43000 #constraints=26280
1131.83/1132.26	c nbDecision=43500 #constraints=26538
1157.32/1157.70	c nbDecision=44000 #constraints=26770
1197.31/1197.72	c nbDecision=44500 #constraints=27078
1237.70/1238.18	c nbDecision=45000 #constraints=27366
1273.89/1274.40	c nbDecision=45500 #constraints=27641
1313.88/1314.31	c nbDecision=46000 #constraints=27940
1356.35/1356.87	c nbDecision=46500 #constraints=28248
1395.67/1396.23	c nbDecision=47000 #constraints=28565
1456.71/1457.35	c nbDecision=47500 #constraints=28949
1507.59/1508.22	c nbDecision=48000 #constraints=29296
1522.30/1522.99	c nbDecision=48500 #constraints=29470
1543.69/1544.40	c nbDecision=49000 #constraints=29700
1562.18/1562.81	c nbDecision=49500 #constraints=29912
1581.18/1581.89	c nbDecision=50000 #constraints=30099
1608.06/1608.71	c nbDecision=50500 #constraints=30321
1638.56/1639.26	c nbDecision=51000 #constraints=30568
1645.26/1645.98	c restart after 51201 decisions
1655.25/1655.99	c nbDecision=51500 #constraints=30728
1681.74/1682.42	c nbDecision=52000 #constraints=30939
1716.73/1717.43	c nbDecision=52500 #constraints=31216
1749.32/1750.08	c nbDecision=53000 #constraints=31517
1778.12/1778.86	c nbDecision=53500 #constraints=31791
1800.02/1800.70	Received signal 15
1800.02/1800.71	
1800.02/1800.71	s UNKNOWN
1800.02/1800.71	
1800.02/1800.71	c user time= 1799.81 s
1800.02/1800.71	c system time= 0.211967 s
1800.02/1800.71	c wall clock time=1800.71

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node69/watcher-363784-1176986307 -o ROOT/results/node69/solver-363784-1176986307 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/363784-1176986307/instance-363784-1176986307.opb mod 

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 1394
/proc/meminfo: memFree=1679452/2055920 swapFree=4182908/4192956
[pid=1394] ppid=1392 vsize=1468 CPUtime=0
/proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 174620108 1503232 164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1394/statm: 367 164 130 317 0 46 0

[startup+0.0179479 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 1394
/proc/meminfo: memFree=1679452/2055920 swapFree=4182908/4192956
[pid=1394] ppid=1392 vsize=1732 CPUtime=0.01
/proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 252 0 0 0 1 0 0 0 18 0 1 0 174620108 1773568 235 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1394/statm: 433 235 130 317 0 112 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1732

[startup+0.101961 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 1394
/proc/meminfo: memFree=1679452/2055920 swapFree=4182908/4192956
[pid=1394] ppid=1392 vsize=2288 CPUtime=0.09
/proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 386 0 0 0 9 0 0 0 18 0 1 0 174620108 2342912 368 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1394/statm: 572 368 139 317 0 251 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2288

[startup+0.301993 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 1394
/proc/meminfo: memFree=1679452/2055920 swapFree=4182908/4192956
[pid=1394] ppid=1392 vsize=2812 CPUtime=0.29
/proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 512 0 0 0 29 0 0 0 19 0 1 0 174620108 2879488 494 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1394/statm: 703 494 139 317 0 382 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2812

[startup+0.701057 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 1394
/proc/meminfo: memFree=1679452/2055920 swapFree=4182908/4192956
[pid=1394] ppid=1392 vsize=3472 CPUtime=0.69
/proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 694 0 0 0 69 0 0 0 22 0 1 0 174620108 3555328 676 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1394/statm: 868 676 139 317 0 547 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3472

[startup+1.50119 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 1395
/proc/meminfo: memFree=1676820/2055920 swapFree=4182908/4192956
[pid=1394] ppid=1392 vsize=4656 CPUtime=1.49
/proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 963 0 0 0 149 0 0 0 25 0 1 0 174620108 4767744 945 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1394/statm: 1164 945 139 317 0 843 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4656

[startup+3.10145 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 1395
/proc/meminfo: memFree=1675348/2055920 swapFree=4182908/4192956
[pid=1394] ppid=1392 vsize=5852 CPUtime=3.09
/proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 1260 0 0 0 309 0 0 0 25 0 1 0 174620108 5992448 1242 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1394/statm: 1463 1242 139 317 0 1142 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5852

[startup+6.30196 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 1395
/proc/meminfo: memFree=1673884/2055920 swapFree=4182908/4192956
[pid=1394] ppid=1392 vsize=7252 CPUtime=6.29
/proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 1600 0 0 0 628 1 0 0 25 0 1 0 174620108 7426048 1582 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1394/statm: 1813 1582 139 317 0 1492 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 7252

[startup+12.702 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 1395
/proc/meminfo: memFree=1671708/2055920 swapFree=4182908/4192956
[pid=1394] ppid=1392 vsize=9256 CPUtime=12.69
/proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 2080 0 0 0 1268 1 0 0 25 0 1 0 174620108 9478144 2062 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1394/statm: 2314 2062 139 317 0 1993 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 9256

[startup+25.5011 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 1395
/proc/meminfo: memFree=1669212/2055920 swapFree=4182908/4192956
[pid=1394] ppid=1392 vsize=11628 CPUtime=25.49
/proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 2681 0 0 0 2547 2 0 0 25 0 1 0 174620108 11907072 2663 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711029 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1394/statm: 2907 2663 139 317 0 2586 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 11628

[startup+51.1012 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 1395
/proc/meminfo: memFree=1665692/2055920 swapFree=4182908/4192956
[pid=1394] ppid=1392 vsize=15484 CPUtime=51.07
/proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 3622 0 0 0 5105 2 0 0 25 0 1 0 174620108 15855616 3553 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1394/statm: 3871 3553 139 317 0 3550 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 15484

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 1397
/proc/meminfo: memFree=1661724/2055920 swapFree=4182908/4192956
[pid=1394] ppid=1392 vsize=19544 CPUtime=102.26
/proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 4583 0 0 0 10223 3 0 0 25 0 1 0 174620108 20013056 4514 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710943 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1394/statm: 4886 4514 139 317 0 4565 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 19544

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 1397
/proc/meminfo: memFree=1656860/2055920 swapFree=4182908/4192956
[pid=1394] ppid=1392 vsize=24520 CPUtime=162.23
/proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 5826 0 0 0 16219 4 0 0 25 0 1 0 174620108 25108480 5757 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1394/statm: 6130 5757 139 317 0 5809 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 24520

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 1397
/proc/meminfo: memFree=1653788/2055920 swapFree=4182908/4192956
[pid=1394] ppid=1392 vsize=27932 CPUtime=222.22
/proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 6577 0 0 0 22217 5 0 0 25 0 1 0 174620108 28602368 6508 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1394/statm: 6983 6508 139 317 0 6662 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 27932

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 1397
/proc/meminfo: memFree=1650588/2055920 swapFree=4182908/4192956
[pid=1394] ppid=1392 vsize=31380 CPUtime=282.2
/proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 7412 0 0 0 28214 6 0 0 25 0 1 0 174620108 32133120 7243 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1394/statm: 7845 7243 139 317 0 7524 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 31380

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 1397
/proc/meminfo: memFree=1648284/2055920 swapFree=4182908/4192956
[pid=1394] ppid=1392 vsize=33752 CPUtime=342.18
/proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 8029 0 0 0 34212 6 0 0 25 0 1 0 174620108 34562048 7860 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1394/statm: 8438 7860 139 317 0 8117 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 33752

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 1397
/proc/meminfo: memFree=1645532/2055920 swapFree=4182908/4192956
[pid=1394] ppid=1392 vsize=36720 CPUtime=402.16
/proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 8720 0 0 0 40208 8 0 0 25 0 1 0 174620108 37601280 8551 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1394/statm: 9180 8551 139 317 0 8859 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 36720

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 1397
/proc/meminfo: memFree=1642716/2055920 swapFree=4182908/4192956
[pid=1394] ppid=1392 vsize=39444 CPUtime=462.14
/proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 9422 0 0 0 46205 9 0 0 25 0 1 0 174620108 40390656 9253 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1394/statm: 9861 9253 139 317 0 9540 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 39444

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 1397
/proc/meminfo: memFree=1640732/2055920 swapFree=4182908/4192956
[pid=1394] ppid=1392 vsize=41696 CPUtime=522.13
/proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 9967 0 0 0 52203 10 0 0 25 0 1 0 174620108 42696704 9732 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1394/statm: 10424 9732 139 317 0 10103 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 41696

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 1397
/proc/meminfo: memFree=1638172/2055920 swapFree=4182908/4192956
[pid=1394] ppid=1392 vsize=44340 CPUtime=582.1
/proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 10612 0 0 0 58200 10 0 0 25 0 1 0 174620108 45404160 10377 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1394/statm: 11085 10377 139 317 0 10764 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 44340

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 1397
/proc/meminfo: memFree=1635996/2055920 swapFree=4182908/4192956
[pid=1394] ppid=1392 vsize=46512 CPUtime=642.09
/proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 11147 0 0 0 64198 11 0 0 25 0 1 0 174620108 47628288 10912 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1394/statm: 11628 10912 139 317 0 11307 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 46512


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

[startup+882.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 1397
/proc/meminfo: memFree=1629020/2055920 swapFree=4182908/4192956
[pid=1394] ppid=1392 vsize=54268 CPUtime=882.02
/proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 13141 0 0 0 88189 13 0 0 25 0 1 0 174620108 55570432 12642 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1394/statm: 13567 12642 139 317 0 13246 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 54268

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 1397
/proc/meminfo: memFree=1627228/2055920 swapFree=4182908/4192956
[pid=1394] ppid=1392 vsize=56188 CPUtime=941.99
/proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 13590 0 0 0 94186 13 0 0 25 0 1 0 174620108 57536512 13091 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1394/statm: 14047 13091 139 317 0 13726 0
Current children cumulated CPU time (s) 941.99
Current children cumulated vsize (KiB) 56188

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 1397
/proc/meminfo: memFree=1625372/2055920 swapFree=4182908/4192956
[pid=1394] ppid=1392 vsize=58040 CPUtime=1001.97
/proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 14039 0 0 0 100183 14 0 0 25 0 1 0 174620108 59432960 13540 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1394/statm: 14510 13540 139 317 0 14189 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 58040

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 1397
/proc/meminfo: memFree=1623900/2055920 swapFree=4182908/4192956
[pid=1394] ppid=1392 vsize=59508 CPUtime=1061.95
/proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 14413 0 0 0 106181 14 0 0 25 0 1 0 174620108 60936192 13914 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1394/statm: 14877 13914 139 317 0 14556 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 59508

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 1397
/proc/meminfo: memFree=1622172/2055920 swapFree=4182908/4192956
[pid=1394] ppid=1392 vsize=61488 CPUtime=1121.94
/proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 14870 0 0 0 112179 15 0 0 25 0 1 0 174620108 62963712 14338 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1394/statm: 15372 14338 139 317 0 15051 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 61488

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 1397
/proc/meminfo: memFree=1621020/2055920 swapFree=4182908/4192956
[pid=1394] ppid=1392 vsize=62452 CPUtime=1181.91
/proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 15150 0 0 0 118176 15 0 0 25 0 1 0 174620108 63950848 14618 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1394/statm: 15613 14618 139 317 0 15292 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 62452

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 1397
/proc/meminfo: memFree=1620124/2055920 swapFree=4182908/4192956
[pid=1394] ppid=1392 vsize=63624 CPUtime=1241.89
/proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 15441 0 0 0 124174 15 0 0 25 0 1 0 174620108 65150976 14843 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1394/statm: 15906 14843 139 317 0 15585 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 63624

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 1397
/proc/meminfo: memFree=1619100/2055920 swapFree=4182908/4192956
[pid=1394] ppid=1392 vsize=64408 CPUtime=1301.89
/proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 15688 0 0 0 130173 16 0 0 25 0 1 0 174620108 65953792 15090 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1394/statm: 16102 15090 139 317 0 15781 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 64408

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/71 1469
/proc/meminfo: memFree=1616660/2055920 swapFree=4182908/4192956
[pid=1394] ppid=1392 vsize=65460 CPUtime=1361.83
/proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 15974 0 0 0 136166 17 0 0 25 0 1 0 174620108 67031040 15376 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1394/statm: 16365 15376 139 317 0 16044 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 65460

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 1595
/proc/meminfo: memFree=1616796/2055920 swapFree=4182908/4192956
[pid=1394] ppid=1392 vsize=66676 CPUtime=1421.73
/proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 16240 0 0 0 142155 18 0 0 25 0 1 0 174620108 68276224 15642 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1394/statm: 16669 15642 139 317 0 16348 0
Current children cumulated CPU time (s) 1421.73
Current children cumulated vsize (KiB) 66676

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 1595
/proc/meminfo: memFree=1615260/2055920 swapFree=4182908/4192956
[pid=1394] ppid=1392 vsize=68712 CPUtime=1481.7
/proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 16768 0 0 0 148152 18 0 0 25 0 1 0 174620108 70361088 15972 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1394/statm: 17178 15972 139 317 0 16857 0
Current children cumulated CPU time (s) 1481.7
Current children cumulated vsize (KiB) 68712

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 1595
/proc/meminfo: memFree=1614556/2055920 swapFree=4182908/4192956
[pid=1394] ppid=1392 vsize=69928 CPUtime=1541.69
/proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 17072 0 0 0 154150 19 0 0 25 0 1 0 174620108 71606272 16210 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711091 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1394/statm: 17482 16210 139 317 0 17161 0
Current children cumulated CPU time (s) 1541.69
Current children cumulated vsize (KiB) 69928

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 1595
/proc/meminfo: memFree=1613212/2055920 swapFree=4182908/4192956
[pid=1394] ppid=1392 vsize=71260 CPUtime=1601.67
/proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 17421 0 0 0 160148 19 0 0 25 0 1 0 174620108 72970240 16559 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1394/statm: 17815 16559 139 317 0 17494 0
Current children cumulated CPU time (s) 1601.67
Current children cumulated vsize (KiB) 71260

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 1595
/proc/meminfo: memFree=1611996/2055920 swapFree=4182908/4192956
[pid=1394] ppid=1392 vsize=72200 CPUtime=1661.65
/proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 17705 0 0 0 166145 20 0 0 25 0 1 0 174620108 73932800 16843 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563383 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1394/statm: 18050 16843 139 317 0 17729 0
Current children cumulated CPU time (s) 1661.65
Current children cumulated vsize (KiB) 72200

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 1595
/proc/meminfo: memFree=1610844/2055920 swapFree=4182908/4192956
[pid=1394] ppid=1392 vsize=73436 CPUtime=1721.63
/proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 17993 0 0 0 172143 20 0 0 25 0 1 0 174620108 75198464 17131 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1394/statm: 18359 17131 139 317 0 18038 0
Current children cumulated CPU time (s) 1721.63
Current children cumulated vsize (KiB) 73436

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 1595
/proc/meminfo: memFree=1609372/2055920 swapFree=4182908/4192956
[pid=1394] ppid=1392 vsize=74776 CPUtime=1781.62
/proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 18355 0 0 0 178141 21 0 0 25 0 1 0 174620108 76570624 17493 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1394/statm: 18694 17493 139 317 0 18373 0
Current children cumulated CPU time (s) 1781.62
Current children cumulated vsize (KiB) 74776



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 1595
/proc/meminfo: memFree=1608988/2055920 swapFree=4182908/4192956
[pid=1394] ppid=1392 vsize=75204 CPUtime=1800.02
/proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 18445 0 0 0 179981 21 0 0 25 0 1 0 174620108 77008896 17583 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1394/statm: 18801 17583 139 317 0 18480 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 75204

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: 0.99 0.98 0.99 2/65 1595
/proc/meminfo: memFree=1608988/2055920 swapFree=4182908/4192956
[pid=1394] ppid=1392 vsize=75204 CPUtime=1800.02
/proc/1394/stat : 1394 (oree) R 1392 1394 32246 0 -1 4194304 18445 0 0 0 179981 21 0 0 25 0 1 0 174620108 77008896 17583 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1394/statm: 18801 17583 139 317 0 18480 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 75204

Child status: 0
Real time (s): 1800.73
CPU time (s): 1800.04
CPU user time (s): 1799.82
CPU system time (s): 0.224965
CPU usage (%): 99.9618
Max. virtual memory (cumulated for all children) (KiB): 75204

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

runsolver used 1.36279 second user time and 3.63245 second system time

The end

Launcher Data (download as text)

Begin job on node69 on Thu Apr 19 12:38:27 UTC 2007

IDJOB= 363784
IDBENCH= 2025
IDSOLVER= 172
FILE ID= node69/363784-1176986307

PBS_JOBID= 4630394

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  c2400ec88bd2efb16a03934d0b4c43da

RANDOM SEED= 688368764

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node69.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.264
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5931.00
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.264
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1679924 kB
Buffers:         28504 kB
Cached:         278300 kB
SwapCached:       3888 kB
Active:         145200 kB
Inactive:       171732 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1679924 kB
SwapTotal:     4192956 kB
SwapFree:      4182908 kB
Dirty:            1432 kB
Writeback:           0 kB
Mapped:          16064 kB
Slab:            45020 kB
Committed_AS:  1533296 kB
PageTables:       1476 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= 66497 MiB

End job on node69 on Thu Apr 19 13:08:30 UTC 2007