Trace number 356887

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.26 1800.87

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-mkc1.opb
MD5SUMfcdcb6b6d92f8975c7c03a825b19d25c
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-2715
Best CPU time to get the best result obtained on this benchmark1802.19
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -2739
Optimality of the best value was proved NO
Number of variables27743
Total number of constraints5584
Number of constraints which are clauses712
Number of constraints which are cardinality constraints (but not clauses)24
Number of constraints which are nor clauses,nor cardinality constraints4848
Minimum length of a constraint2
Maximum length of a constraint25072
Number of terms in the objective function 25306
Biggest coefficient in the objective function 191
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 537745
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 249195
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 543330
Number of bits of the biggest sum of numbers20
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.39/0.49	c ...done
0.39/0.49	c #vars=27743 #constraints=5587 hasObjective=yes
0.79/0.83	c res. mode=mod
0.79/0.83	c VSIDS like heuristics
0.79/0.83	c complete search running
5.09/5.17	c restart after 401 decisions
5.39/5.41	c nbDecision=500 #constraints=5913
7.59/7.68	c restart after 801 decisions
8.59/8.64	c nbDecision=1000 #constraints=6355
12.98/13.10	c nbDecision=1500 #constraints=6854
14.19/14.21	c restart after 1601 decisions
17.49/17.53	c nbDecision=2000 #constraints=7295
23.78/23.81	c nbDecision=2500 #constraints=7794
30.78/30.88	c nbDecision=3000 #constraints=8295
33.98/34.04	c restart after 3201 decisions
36.38/36.46	c nbDecision=3500 #constraints=8737
42.78/42.85	c nbDecision=4000 #constraints=9236
49.38/49.44	c nbDecision=4500 #constraints=9736
56.48/56.59	c nbDecision=5000 #constraints=10236
63.57/63.62	c nbDecision=5500 #constraints=10735
71.07/71.16	c nbDecision=6000 #constraints=11236
77.77/77.89	c restart after 6401 decisions
78.57/78.61	c nbDecision=6500 #constraints=11667
86.87/86.96	c nbDecision=7000 #constraints=12166
94.27/94.37	c nbDecision=7500 #constraints=12669
103.96/104.02	c nbDecision=8000 #constraints=13168
112.66/112.74	c nbDecision=8500 #constraints=13669
121.55/121.63	c nbDecision=9000 #constraints=14167
130.75/130.90	c nbDecision=9500 #constraints=14666
140.45/140.51	c nbDecision=10000 #constraints=15169
150.64/150.72	c nbDecision=10500 #constraints=15668
159.22/159.33	c nbDecision=11000 #constraints=16167
171.89/172.03	c nbDecision=11500 #constraints=16666
184.06/184.22	c nbDecision=12000 #constraints=17165
195.25/195.44	c nbDecision=12500 #constraints=17666
203.43/203.62	c restart after 12801 decisions
206.23/206.43	c nbDecision=13000 #constraints=18105
216.62/216.83	c nbDecision=13500 #constraints=18607
226.63/226.80	c nbDecision=14000 #constraints=19106
236.82/237.05	c nbDecision=14500 #constraints=19605
247.12/247.37	c nbDecision=15000 #constraints=20105
258.12/258.38	c nbDecision=15500 #constraints=20605
269.71/269.98	c nbDecision=16000 #constraints=21105
281.42/281.62	c nbDecision=16500 #constraints=21606
293.01/293.22	c nbDecision=17000 #constraints=22105
305.70/305.91	c nbDecision=17500 #constraints=22605
318.70/318.93	c nbDecision=18000 #constraints=23105
331.40/331.70	c nbDecision=18500 #constraints=23606
343.99/344.26	c nbDecision=19000 #constraints=24105
356.38/356.68	c nbDecision=19500 #constraints=24606
369.69/369.93	c nbDecision=20000 #constraints=25105
382.38/382.67	c nbDecision=20500 #constraints=25606
395.58/395.84	c nbDecision=21000 #constraints=26105
409.57/409.90	c nbDecision=21500 #constraints=26606
422.87/423.10	c nbDecision=22000 #constraints=27105
436.27/436.51	c nbDecision=22500 #constraints=27605
448.26/448.58	c nbDecision=23000 #constraints=28106
465.26/465.59	c nbDecision=23500 #constraints=28607
482.66/482.94	c nbDecision=24000 #constraints=29105
500.35/500.65	c nbDecision=24500 #constraints=29606
515.95/516.27	c nbDecision=25000 #constraints=30105
532.74/533.04	c nbDecision=25500 #constraints=30605
536.14/536.46	c restart after 25601 decisions
550.93/551.29	c nbDecision=26000 #constraints=31048
573.42/573.72	c nbDecision=26500 #constraints=31548
596.32/596.62	c nbDecision=27000 #constraints=32047
620.72/621.05	c nbDecision=27500 #constraints=32548
642.91/643.29	c nbDecision=28000 #constraints=33049
666.71/667.07	c nbDecision=28500 #constraints=33549
691.20/691.52	c nbDecision=29000 #constraints=34049
716.19/716.52	c nbDecision=29500 #constraints=34548
740.48/740.89	c nbDecision=30000 #constraints=35046
765.87/766.27	c nbDecision=30500 #constraints=35546
791.07/791.48	c nbDecision=31000 #constraints=36047
817.15/817.58	c nbDecision=31500 #constraints=36549
843.36/843.76	c nbDecision=32000 #constraints=37047
869.94/870.39	c nbDecision=32500 #constraints=37546
896.74/897.13	c nbDecision=33000 #constraints=38049
923.23/923.67	c nbDecision=33500 #constraints=38547
950.42/950.80	c nbDecision=34000 #constraints=39047
975.22/975.68	c nbDecision=34500 #constraints=39547
995.41/995.81	c nbDecision=35000 #constraints=40036
1014.10/1014.58	c nbDecision=35500 #constraints=40536
1036.20/1036.60	c nbDecision=36000 #constraints=41038
1053.99/1054.41	c nbDecision=36500 #constraints=41541
1070.68/1071.13	c nbDecision=37000 #constraints=42039
1089.59/1090.05	c nbDecision=37500 #constraints=42537
1110.58/1111.05	c nbDecision=38000 #constraints=43038
1129.67/1130.16	c nbDecision=38500 #constraints=43537
1147.87/1148.34	c nbDecision=39000 #constraints=44037
1167.96/1168.40	c nbDecision=39500 #constraints=44535
1184.85/1185.35	c nbDecision=40000 #constraints=45034
1207.65/1208.10	c nbDecision=40500 #constraints=45535
1231.94/1232.42	c nbDecision=41000 #constraints=46036
1251.14/1251.60	c nbDecision=41500 #constraints=46535
1268.93/1269.47	c nbDecision=42000 #constraints=47034
1289.23/1289.73	c nbDecision=42500 #constraints=47532
1311.32/1311.86	c nbDecision=43000 #constraints=48034
1331.62/1332.12	c nbDecision=43500 #constraints=48531
1355.91/1356.48	c nbDecision=44000 #constraints=49006
1381.70/1382.25	c nbDecision=44500 #constraints=49496
1410.60/1411.14	c nbDecision=45000 #constraints=49939
1444.98/1445.52	c nbDecision=45500 #constraints=50439
1478.77/1479.39	c nbDecision=46000 #constraints=50941
1496.27/1496.89	c nbDecision=46500 #constraints=51440
1525.46/1526.09	c nbDecision=47000 #constraints=51937
1553.15/1553.75	c nbDecision=47500 #constraints=52438
1586.54/1587.20	c nbDecision=48000 #constraints=52938
1616.23/1616.83	c nbDecision=48500 #constraints=53441
1644.42/1645.05	c nbDecision=49000 #constraints=53939
1670.62/1671.27	c nbDecision=49500 #constraints=54437
1695.61/1696.25	c nbDecision=50000 #constraints=54937
1726.70/1727.33	c nbDecision=50500 #constraints=55438
1757.19/1757.88	c nbDecision=51000 #constraints=55939
1767.68/1768.32	c restart after 51201 decisions
1792.39/1793.09	c nbDecision=51500 #constraints=56377
1800.09/1800.71	Received signal 15
1800.18/1800.84	
1800.18/1800.84	s UNKNOWN
1800.18/1800.84	
1800.18/1800.84	c user time= 1799.9 s
1800.18/1800.84	c system time= 0.32595 s
1800.18/1800.84	c wall clock time=1800.84

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/node7/watcher-356887-1176847111 -o ROOT/results/node7/solver-356887-1176847111 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356887-1176847111/instance-356887-1176847111.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/77 18778
/proc/meminfo: memFree=1821232/2055920 swapFree=4149976/4192956
[pid=18778] ppid=18776 vsize=1468 CPUtime=0
/proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 160748783 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18778/statm: 367 161 126 317 0 46 0

[startup+0.073854 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 18778
/proc/meminfo: memFree=1821232/2055920 swapFree=4149976/4192956
[pid=18778] ppid=18776 vsize=2604 CPUtime=0.07
/proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 511 0 0 0 7 0 0 0 18 0 1 0 160748783 2666496 395 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134590706 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18778/statm: 651 395 128 317 0 330 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2604

[startup+0.102857 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 18778
/proc/meminfo: memFree=1821232/2055920 swapFree=4149976/4192956
[pid=18778] ppid=18776 vsize=2868 CPUtime=0.1
/proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 591 0 0 0 10 0 0 0 18 0 1 0 160748783 2936832 475 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18778/statm: 717 475 131 317 0 396 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2868

[startup+0.302879 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 18778
/proc/meminfo: memFree=1821232/2055920 swapFree=4149976/4192956
[pid=18778] ppid=18776 vsize=6340 CPUtime=0.29
/proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 1579 0 0 0 29 0 0 0 19 0 1 0 160748783 6492160 1267 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134538330 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18778/statm: 1585 1267 131 317 0 1264 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6340

[startup+0.70192 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 18778
/proc/meminfo: memFree=1821232/2055920 swapFree=4149976/4192956
[pid=18778] ppid=18776 vsize=13308 CPUtime=0.69
/proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 3296 0 0 0 68 1 0 0 22 0 1 0 160748783 13627392 2984 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18778/statm: 3327 2984 137 317 0 3006 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13308

[startup+1.502 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 18779
/proc/meminfo: memFree=1808808/2055920 swapFree=4149976/4192956
[pid=18778] ppid=18776 vsize=14252 CPUtime=1.49
/proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 3538 0 0 0 148 1 0 0 25 0 1 0 160748783 14594048 3187 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18778/statm: 3563 3187 139 317 0 3242 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14252

[startup+3.10117 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 18779
/proc/meminfo: memFree=1808680/2055920 swapFree=4149976/4192956
[pid=18778] ppid=18776 vsize=14516 CPUtime=3.09
/proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 3584 0 0 0 308 1 0 0 25 0 1 0 160748783 14864384 3233 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18778/statm: 3629 3233 139 317 0 3308 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14516

[startup+6.30151 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 18779
/proc/meminfo: memFree=1808360/2055920 swapFree=4149976/4192956
[pid=18778] ppid=18776 vsize=14780 CPUtime=6.29
/proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 3679 0 0 0 628 1 0 0 25 0 1 0 160748783 15134720 3328 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18778/statm: 3695 3328 139 317 0 3374 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14780

[startup+12.7012 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 18779
/proc/meminfo: memFree=1807592/2055920 swapFree=4149976/4192956
[pid=18778] ppid=18776 vsize=15568 CPUtime=12.68
/proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 3857 0 0 0 1267 1 0 0 25 0 1 0 160748783 15941632 3506 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18778/statm: 3892 3506 139 317 0 3571 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 15568

[startup+25.5015 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 18779
/proc/meminfo: memFree=1806312/2055920 swapFree=4149976/4192956
[pid=18778] ppid=18776 vsize=16900 CPUtime=25.48
/proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 4197 0 0 0 2546 2 0 0 25 0 1 0 160748783 17305600 3846 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18778/statm: 4225 3846 139 317 0 3904 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 16900

[startup+51.1012 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 18779
/proc/meminfo: memFree=1804136/2055920 swapFree=4149976/4192956
[pid=18778] ppid=18776 vsize=19116 CPUtime=51.08
/proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 4724 0 0 0 5105 3 0 0 25 0 1 0 160748783 19574784 4373 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18778/statm: 4779 4373 139 317 0 4458 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 19116

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 18779
/proc/meminfo: memFree=1799912/2055920 swapFree=4149976/4192956
[pid=18778] ppid=18776 vsize=23580 CPUtime=102.26
/proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 5850 0 0 0 10222 4 0 0 25 0 1 0 160748783 24145920 5423 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18778/statm: 5895 5423 139 317 0 5574 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 23580

[startup+162.302 s]
/proc/loadavg: 1.04 1.00 1.00 2/84 18861
/proc/meminfo: memFree=1793336/2055920 swapFree=4149980/4192956
[pid=18778] ppid=18776 vsize=28676 CPUtime=162.21
/proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 7124 0 0 0 16215 6 0 0 25 0 1 0 160748783 29364224 6697 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18778/statm: 7169 6697 139 317 0 6848 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 28676

[startup+222.301 s]
/proc/loadavg: 1.06 1.01 1.00 2/78 18977
/proc/meminfo: memFree=1790376/2055920 swapFree=4149980/4192956
[pid=18778] ppid=18776 vsize=33376 CPUtime=222.13
/proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 8137 0 0 0 22206 7 0 0 25 0 1 0 160748783 34177024 7710 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18778/statm: 8344 7710 139 317 0 8023 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 33376

[startup+282.301 s]
/proc/loadavg: 1.07 1.02 1.00 2/78 18977
/proc/meminfo: memFree=1786856/2055920 swapFree=4149980/4192956
[pid=18778] ppid=18776 vsize=36668 CPUtime=282.11
/proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 9028 0 0 0 28203 8 0 0 25 0 1 0 160748783 37548032 8601 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18778/statm: 9167 8601 139 317 0 8846 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 36668

[startup+342.302 s]
/proc/loadavg: 1.06 1.03 1.00 2/78 18977
/proc/meminfo: memFree=1783528/2055920 swapFree=4149980/4192956
[pid=18778] ppid=18776 vsize=40704 CPUtime=342.09
/proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 10095 0 0 0 34200 9 0 0 25 0 1 0 160748783 41680896 9420 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563668 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18778/statm: 10176 9420 139 317 0 9855 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 40704

[startup+402.302 s]
/proc/loadavg: 1.10 1.05 1.01 2/78 18977
/proc/meminfo: memFree=1780584/2055920 swapFree=4149980/4192956
[pid=18778] ppid=18776 vsize=44156 CPUtime=402.08
/proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 11025 0 0 0 40198 10 0 0 25 0 1 0 160748783 45215744 10185 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18778/statm: 11039 10185 139 317 0 10718 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 44156

[startup+462.302 s]
/proc/loadavg: 1.07 1.05 1.01 2/78 18977
/proc/meminfo: memFree=1777512/2055920 swapFree=4149980/4192956
[pid=18778] ppid=18776 vsize=46808 CPUtime=462.06
/proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 11768 0 0 0 46194 12 0 0 25 0 1 0 160748783 47931392 10928 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134593515 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18778/statm: 11702 10928 139 317 0 11381 0
Current children cumulated CPU time (s) 462.06
Current children cumulated vsize (KiB) 46808

[startup+522.303 s]
/proc/loadavg: 1.02 1.04 1.00 2/78 18977
/proc/meminfo: memFree=1775208/2055920 swapFree=4149980/4192956
[pid=18778] ppid=18776 vsize=49148 CPUtime=522.05
/proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 12392 0 0 0 52192 13 0 0 25 0 1 0 160748783 50327552 11519 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18778/statm: 12287 11519 139 317 0 11966 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 49148

[startup+582.303 s]
/proc/loadavg: 1.01 1.03 1.00 2/78 18977
/proc/meminfo: memFree=1773672/2055920 swapFree=4149980/4192956
[pid=18778] ppid=18776 vsize=50460 CPUtime=582.03
/proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 12763 0 0 0 58189 14 0 0 25 0 1 0 160748783 51671040 11890 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18778/statm: 12615 11890 139 317 0 12294 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 50460

[startup+642.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 18977
/proc/meminfo: memFree=1772008/2055920 swapFree=4149980/4192956
[pid=18778] ppid=18776 vsize=52700 CPUtime=642.01
/proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 13206 0 0 0 64187 14 0 0 25 0 1 0 160748783 53964800 12300 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18778/statm: 13175 12300 139 317 0 12854 0
Current children cumulated CPU time (s) 642.01
Current children cumulated vsize (KiB) 52700


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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18977
/proc/meminfo: memFree=1767016/2055920 swapFree=4149980/4192956
[pid=18778] ppid=18776 vsize=57544 CPUtime=881.94
/proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 14478 0 0 0 88176 18 0 0 25 0 1 0 160748783 58925056 13539 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18778/statm: 14386 13539 139 317 0 14065 0
Current children cumulated CPU time (s) 881.94
Current children cumulated vsize (KiB) 57544

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 18977
/proc/meminfo: memFree=1765736/2055920 swapFree=4149980/4192956
[pid=18778] ppid=18776 vsize=59744 CPUtime=941.92
/proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 14987 0 0 0 94174 18 0 0 25 0 1 0 160748783 61177856 13853 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711137 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18778/statm: 14936 13853 139 317 0 14615 0
Current children cumulated CPU time (s) 941.92
Current children cumulated vsize (KiB) 59744

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18977
/proc/meminfo: memFree=1764072/2055920 swapFree=4149980/4192956
[pid=18778] ppid=18776 vsize=61188 CPUtime=1001.91
/proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 15410 0 0 0 100172 19 0 0 25 0 1 0 160748783 62656512 14276 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18778/statm: 15297 14276 139 317 0 14976 0
Current children cumulated CPU time (s) 1001.91
Current children cumulated vsize (KiB) 61188

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18977
/proc/meminfo: memFree=1761640/2055920 swapFree=4149980/4192956
[pid=18778] ppid=18776 vsize=63852 CPUtime=1061.89
/proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 16093 0 0 0 106169 20 0 0 25 0 1 0 160748783 65384448 14893 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18778/statm: 15963 14893 139 317 0 15642 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 63852

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18977
/proc/meminfo: memFree=1759080/2055920 swapFree=4149980/4192956
[pid=18778] ppid=18776 vsize=66516 CPUtime=1121.87
/proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 16790 0 0 0 112166 21 0 0 25 0 1 0 160748783 68112384 15524 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18778/statm: 16629 15524 139 317 0 16308 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 66516

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 18977
/proc/meminfo: memFree=1756520/2055920 swapFree=4149980/4192956
[pid=18778] ppid=18776 vsize=69800 CPUtime=1181.85
/proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 17731 0 0 0 118163 22 0 0 25 0 1 0 160748783 71475200 16168 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18778/statm: 17450 16168 139 317 0 17129 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 69800

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18977
/proc/meminfo: memFree=1754280/2055920 swapFree=4149980/4192956
[pid=18778] ppid=18776 vsize=71896 CPUtime=1241.84
/proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 18290 0 0 0 124161 23 0 0 25 0 1 0 160748783 73621504 16727 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18778/statm: 17974 16727 139 317 0 17653 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 71896

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18977
/proc/meminfo: memFree=1751912/2055920 swapFree=4149980/4192956
[pid=18778] ppid=18776 vsize=73852 CPUtime=1301.83
/proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 18861 0 0 0 130159 24 0 0 25 0 1 0 160748783 75624448 17298 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18778/statm: 18463 17298 139 317 0 18142 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 73852

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18977
/proc/meminfo: memFree=1749800/2055920 swapFree=4149980/4192956
[pid=18778] ppid=18776 vsize=76512 CPUtime=1361.81
/proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 19576 0 0 0 136156 25 0 0 25 0 1 0 160748783 78348288 17850 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18778/statm: 19128 17850 139 317 0 18807 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 76512

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18977
/proc/meminfo: memFree=1748392/2055920 swapFree=4149980/4192956
[pid=18778] ppid=18776 vsize=77940 CPUtime=1421.79
/proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 19972 0 0 0 142153 26 0 0 25 0 1 0 160748783 79810560 18181 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18778/statm: 19485 18181 139 317 0 19164 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 77940

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18977
/proc/meminfo: memFree=1747304/2055920 swapFree=4149980/4192956
[pid=18778] ppid=18776 vsize=78976 CPUtime=1481.77
/proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 20279 0 0 0 148151 26 0 0 25 0 1 0 160748783 80871424 18488 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18778/statm: 19744 18488 139 317 0 19423 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 78976

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18977
/proc/meminfo: memFree=1745320/2055920 swapFree=4149980/4192956
[pid=18778] ppid=18776 vsize=81344 CPUtime=1541.76
/proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 20923 0 0 0 154148 28 0 0 25 0 1 0 160748783 83296256 18969 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18778/statm: 20336 18969 139 317 0 20015 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 81344

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18977
/proc/meminfo: memFree=1743720/2055920 swapFree=4149980/4192956
[pid=18778] ppid=18776 vsize=82912 CPUtime=1601.74
/proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 21389 0 0 0 160145 29 0 0 25 0 1 0 160748783 84901888 19370 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18778/statm: 20728 19370 139 317 0 20407 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 82912

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18977
/proc/meminfo: memFree=1742056/2055920 swapFree=4149980/4192956
[pid=18778] ppid=18776 vsize=84464 CPUtime=1661.72
/proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 21819 0 0 0 166142 30 0 0 25 0 1 0 160748783 86491136 19800 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18778/statm: 21116 19800 139 317 0 20795 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 84464

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18977
/proc/meminfo: memFree=1739752/2055920 swapFree=4149980/4192956
[pid=18778] ppid=18776 vsize=88104 CPUtime=1721.71
/proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 22656 0 0 0 172140 31 0 0 25 0 1 0 160748783 90218496 20340 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18778/statm: 22026 20340 139 317 0 21705 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 88104

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18977
/proc/meminfo: memFree=1738728/2055920 swapFree=4149980/4192956
[pid=18778] ppid=18776 vsize=89180 CPUtime=1781.69
/proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 22967 0 0 0 178137 32 0 0 25 0 1 0 160748783 91320320 20618 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18778/statm: 22295 20618 139 317 0 21974 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 89180



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18977
/proc/meminfo: memFree=1738408/2055920 swapFree=4149980/4192956
[pid=18778] ppid=18776 vsize=89440 CPUtime=1800.09
/proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 23029 0 0 0 179977 32 0 0 25 0 1 0 160748783 91586560 20680 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18778/statm: 22360 20680 139 317 0 22039 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 89440

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

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

[startup+1800.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18977
/proc/meminfo: memFree=1738408/2055920 swapFree=4149980/4192956
[pid=18778] ppid=18776 vsize=89440 CPUtime=1800.18
/proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 23030 0 0 0 179986 32 0 0 25 0 1 0 160748783 91586560 20681 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18778/statm: 22360 20681 139 317 0 22039 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 89440

Child status: 0
Real time (s): 1800.87
CPU time (s): 1800.26
CPU user time (s): 1799.92
CPU system time (s): 0.339948
CPU usage (%): 99.9659
Max. virtual memory (cumulated for all children) (KiB): 89440

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

runsolver used 2.10768 second user time and 4.42733 second system time

The end

Launcher Data (download as text)

Begin job on node7 on Tue Apr 17 21:58:32 UTC 2007

IDJOB= 356887
IDBENCH= 1596
IDSOLVER= 172
FILE ID= node7/356887-1176847111

PBS_JOBID= 4590182

Free space on /tmp= 66364 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-mkc1.opb
COMMAND LINE= oree /tmp/evaluation/356887-1176847111/instance-356887-1176847111.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node7/watcher-356887-1176847111 -o ROOT/results/node7/solver-356887-1176847111 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/356887-1176847111/instance-356887-1176847111.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  fcdcb6b6d92f8975c7c03a825b19d25c

RANDOM SEED= 4095531

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node7.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.231
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.231
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:       1821768 kB
Buffers:         37780 kB
Cached:         120464 kB
SwapCached:      23656 kB
Active:          76720 kB
Inactive:       115172 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1821768 kB
SwapTotal:     4192956 kB
SwapFree:      4149976 kB
Dirty:            3028 kB
Writeback:           0 kB
Mapped:          30220 kB
Slab:            27756 kB
Committed_AS:  7066668 kB
PageTables:       1860 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= 66364 MiB

End job on node7 on Tue Apr 17 22:28:34 UTC 2007