Trace number 356894

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.24 1800.84

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-CMS750_4.opb
MD5SUM55e4261919fe5e3e5c6520778d47a3ef
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables142226
Total number of constraints20881
Number of constraints which are clauses2438
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints18443
Minimum length of a constraint4
Maximum length of a constraint61
Number of terms in the objective function 780
Biggest coefficient in the objective function 261957
Number of bits for the biggest coefficient in the objective function 18
Sum of the numbers in the objective function 524680
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 261957
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 524680
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...
2.48/2.56	c ...done
2.48/2.56	c #vars=142226 #constraints=20883 hasObjective=yes
2.88/2.91	c res. mode=mod
2.88/2.91	c VSIDS like heuristics
2.88/2.91	c complete search running
7.27/7.35	c restart after 401 decisions
7.97/8.00	c nbDecision=500 #constraints=21225
10.76/10.86	c restart after 801 decisions
12.66/12.75	c nbDecision=1000 #constraints=21503
18.74/18.80	c nbDecision=1500 #constraints=22001
19.93/20.08	c restart after 1601 decisions
22.84/22.99	c nbDecision=2000 #constraints=22160
27.44/27.58	c nbDecision=2500 #constraints=22418
33.02/33.18	c nbDecision=3000 #constraints=22827
35.42/35.51	c restart after 3201 decisions
38.82/38.91	c nbDecision=3500 #constraints=23223
45.41/45.52	c nbDecision=4000 #constraints=23699
52.71/52.88	c nbDecision=4500 #constraints=24189
57.90/58.00	c nbDecision=5000 #constraints=24464
63.80/63.99	c nbDecision=5500 #constraints=24907
70.20/70.33	c nbDecision=6000 #constraints=25333
75.59/75.79	c restart after 6401 decisions
76.99/77.18	c nbDecision=6500 #constraints=25730
84.39/84.54	c nbDecision=7000 #constraints=26164
92.59/92.74	c nbDecision=7500 #constraints=26627
101.59/101.76	c nbDecision=8000 #constraints=27091
111.88/112.04	c nbDecision=8500 #constraints=27576
119.88/120.05	c nbDecision=9000 #constraints=28063
127.08/127.20	c nbDecision=9500 #constraints=28562
134.37/134.59	c nbDecision=10000 #constraints=29061
142.18/142.30	c nbDecision=10500 #constraints=29563
150.17/150.30	c nbDecision=11000 #constraints=30061
158.57/158.79	c nbDecision=11500 #constraints=30563
167.67/167.80	c nbDecision=12000 #constraints=31061
176.77/176.99	c nbDecision=12500 #constraints=31561
182.26/182.47	c restart after 12801 decisions
187.06/187.23	c nbDecision=13000 #constraints=32015
201.16/201.33	c nbDecision=13500 #constraints=32509
215.86/216.02	c nbDecision=14000 #constraints=33009
231.05/231.21	c nbDecision=14500 #constraints=33499
246.65/246.87	c nbDecision=15000 #constraints=33990
263.14/263.37	c nbDecision=15500 #constraints=34481
280.13/280.37	c nbDecision=16000 #constraints=34976
298.12/298.34	c nbDecision=16500 #constraints=35468
316.02/316.22	c nbDecision=17000 #constraints=35957
334.82/335.03	c nbDecision=17500 #constraints=36442
355.12/355.37	c nbDecision=18000 #constraints=36939
375.40/375.65	c nbDecision=18500 #constraints=37433
396.60/396.89	c nbDecision=19000 #constraints=37921
418.20/418.40	c nbDecision=19500 #constraints=38410
440.69/440.97	c nbDecision=20000 #constraints=38905
463.18/463.45	c nbDecision=20500 #constraints=39396
486.47/486.79	c nbDecision=21000 #constraints=39885
511.56/511.80	c nbDecision=21500 #constraints=40382
536.66/536.93	c nbDecision=22000 #constraints=40870
562.15/562.41	c nbDecision=22500 #constraints=41363
587.25/587.58	c nbDecision=23000 #constraints=41842
611.24/611.52	c nbDecision=23500 #constraints=42312
637.93/638.22	c nbDecision=24000 #constraints=42794
668.82/669.17	c nbDecision=24500 #constraints=43291
699.31/699.69	c nbDecision=25000 #constraints=43788
731.21/731.51	c nbDecision=25500 #constraints=44282
737.40/737.71	c restart after 25601 decisions
744.50/744.81	c nbDecision=26000 #constraints=44695
754.10/754.47	c nbDecision=26500 #constraints=45196
763.99/764.34	c nbDecision=27000 #constraints=45695
774.19/774.50	c nbDecision=27500 #constraints=46196
784.89/785.22	c nbDecision=28000 #constraints=46562
798.08/798.43	c nbDecision=28500 #constraints=47062
810.88/811.27	c nbDecision=29000 #constraints=47562
823.37/823.75	c nbDecision=29500 #constraints=48059
838.47/838.84	c nbDecision=30000 #constraints=48561
854.07/854.48	c nbDecision=30500 #constraints=49059
869.26/869.60	c nbDecision=31000 #constraints=49558
884.25/884.61	c nbDecision=31500 #constraints=50061
900.55/900.97	c nbDecision=32000 #constraints=50558
916.85/917.25	c nbDecision=32500 #constraints=51040
936.24/936.69	c nbDecision=33000 #constraints=51504
955.13/955.54	c nbDecision=33500 #constraints=52003
974.33/974.73	c nbDecision=34000 #constraints=52504
993.53/993.95	c nbDecision=34500 #constraints=53003
1010.72/1011.19	c nbDecision=35000 #constraints=53501
1028.81/1029.22	c nbDecision=35500 #constraints=54000
1048.41/1048.82	c nbDecision=36000 #constraints=54502
1069.10/1069.54	c nbDecision=36500 #constraints=55003
1088.40/1088.80	c nbDecision=37000 #constraints=55503
1108.89/1109.38	c nbDecision=37500 #constraints=56004
1128.28/1128.74	c nbDecision=38000 #constraints=56485
1154.38/1154.86	c nbDecision=38500 #constraints=56946
1181.16/1181.62	c nbDecision=39000 #constraints=57444
1205.86/1206.36	c nbDecision=39500 #constraints=57946
1228.35/1228.83	c nbDecision=40000 #constraints=58445
1251.95/1252.48	c nbDecision=40500 #constraints=58946
1272.64/1273.12	c nbDecision=41000 #constraints=59350
1298.74/1299.23	c nbDecision=41500 #constraints=59811
1325.82/1326.30	c nbDecision=42000 #constraints=60311
1351.81/1352.31	c nbDecision=42500 #constraints=60812
1380.81/1381.36	c nbDecision=43000 #constraints=61311
1409.90/1410.43	c nbDecision=43500 #constraints=61812
1439.79/1440.38	c nbDecision=44000 #constraints=62311
1469.38/1469.99	c nbDecision=44500 #constraints=62812
1497.08/1497.66	c nbDecision=45000 #constraints=63313
1529.57/1530.19	c nbDecision=45500 #constraints=63811
1562.05/1562.61	c nbDecision=46000 #constraints=64301
1591.75/1592.31	c nbDecision=46500 #constraints=64801
1619.64/1620.28	c nbDecision=47000 #constraints=65297
1649.73/1650.35	c nbDecision=47500 #constraints=65799
1678.42/1679.09	c nbDecision=48000 #constraints=66298
1709.71/1710.34	c nbDecision=48500 #constraints=66798
1740.51/1741.16	c nbDecision=49000 #constraints=67296
1768.00/1768.64	c nbDecision=49500 #constraints=67800
1792.99/1793.64	c nbDecision=50000 #constraints=68297
1800.09/1800.70	Received signal 15
1800.09/1800.76	
1800.09/1800.76	s UNKNOWN
1800.09/1800.76	
1800.09/1800.76	c user time= 1799.72 s
1800.09/1800.76	c system time= 0.438933 s
1800.09/1800.76	c wall clock time=1800.76

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/node5/watcher-356894-1176847270 -o ROOT/results/node5/solver-356894-1176847270 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356894-1176847270/instance-356894-1176847270.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.66 0.92 0.97 3/83 16446
/proc/meminfo: memFree=1820296/2055920 swapFree=4127688/4192956
[pid=16446] ppid=16444 vsize=1468 CPUtime=0
/proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 160764855 1503232 163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16446/statm: 367 163 131 317 0 46 0

[startup+0.0834679 s]
/proc/loadavg: 0.66 0.92 0.97 3/83 16446
/proc/meminfo: memFree=1820296/2055920 swapFree=4127688/4192956
[pid=16446] ppid=16444 vsize=2656 CPUtime=0.07
/proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 487 0 0 0 7 0 0 0 18 0 1 0 160764855 2719744 469 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16446/statm: 664 469 131 317 0 343 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2656

[startup+0.101468 s]
/proc/loadavg: 0.66 0.92 0.97 3/83 16446
/proc/meminfo: memFree=1820296/2055920 swapFree=4127688/4192956
[pid=16446] ppid=16444 vsize=2920 CPUtime=0.09
/proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 557 0 0 0 9 0 0 0 18 0 1 0 160764855 2990080 539 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16446/statm: 730 539 131 317 0 409 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2920

[startup+0.301492 s]
/proc/loadavg: 0.66 0.92 0.97 3/83 16446
/proc/meminfo: memFree=1820296/2055920 swapFree=4127688/4192956
[pid=16446] ppid=16444 vsize=6088 CPUtime=0.29
/proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 1334 0 0 0 29 0 0 0 19 0 1 0 160764855 6234112 1316 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16446/statm: 1522 1316 131 317 0 1201 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6088

[startup+0.701537 s]
/proc/loadavg: 0.66 0.92 0.97 3/83 16446
/proc/meminfo: memFree=1820296/2055920 swapFree=4127688/4192956
[pid=16446] ppid=16444 vsize=11764 CPUtime=0.69
/proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 2763 0 0 0 68 1 0 0 22 0 1 0 160764855 12046336 2745 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16446/statm: 2941 2745 131 317 0 2620 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11764

[startup+1.50163 s]
/proc/loadavg: 0.66 0.92 0.97 2/84 16447
/proc/meminfo: memFree=1805376/2055920 swapFree=4127688/4192956
[pid=16446] ppid=16444 vsize=23380 CPUtime=1.48
/proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 5660 0 0 0 146 2 0 0 25 0 1 0 160764855 23941120 5642 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16446/statm: 5845 5642 131 317 0 5524 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 23380

[startup+3.10181 s]
/proc/loadavg: 0.66 0.92 0.97 2/84 16455
/proc/meminfo: memFree=1788928/2055920 swapFree=4127688/4192956
[pid=16446] ppid=16444 vsize=61756 CPUtime=3.08
/proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 15261 0 0 0 302 6 0 0 25 0 1 0 160764855 63238144 15243 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16446/statm: 15439 15243 138 317 0 15118 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 61756

[startup+6.30117 s]
/proc/loadavg: 0.69 0.92 0.97 2/84 16481
/proc/meminfo: memFree=1759112/2055920 swapFree=4127688/4192956
[pid=16446] ppid=16444 vsize=62856 CPUtime=6.27
/proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 15510 0 0 0 619 8 0 0 25 0 1 0 160764855 64364544 15349 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712585 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16446/statm: 15714 15349 139 317 0 15393 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 62856

[startup+12.7019 s]
/proc/loadavg: 0.71 0.92 0.97 2/84 16495
/proc/meminfo: memFree=1758664/2055920 swapFree=4127688/4192956
[pid=16446] ppid=16444 vsize=63376 CPUtime=12.66
/proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 15659 0 0 0 1258 8 0 0 25 0 1 0 160764855 64897024 15498 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16446/statm: 15844 15498 139 317 0 15523 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 63376

[startup+25.5013 s]
/proc/loadavg: 0.77 0.92 0.97 2/84 16539
/proc/meminfo: memFree=1757640/2055920 swapFree=4127688/4192956
[pid=16446] ppid=16444 vsize=64556 CPUtime=25.44
/proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 15951 0 0 0 2535 9 0 0 25 0 1 0 160764855 66105344 15790 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16446/statm: 16139 15790 139 317 0 15818 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 64556

[startup+51.1012 s]
/proc/loadavg: 0.85 0.93 0.97 2/78 16571
/proc/meminfo: memFree=1754296/2055920 swapFree=4127688/4192956
[pid=16446] ppid=16444 vsize=69028 CPUtime=51
/proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 17096 0 0 0 5090 10 0 0 25 0 1 0 160764855 70684672 16935 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385236 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16446/statm: 17257 16935 139 317 0 16936 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 69028

[startup+102.305 s]
/proc/loadavg: 0.93 0.94 0.97 3/78 16571
/proc/meminfo: memFree=1743608/2055920 swapFree=4127688/4192956
[pid=16446] ppid=16444 vsize=79928 CPUtime=102.19
/proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 19751 0 0 0 10207 12 0 0 25 0 1 0 160764855 81846272 19590 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602685 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16446/statm: 19982 19590 139 317 0 19661 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 79928

[startup+162.302 s]
/proc/loadavg: 0.97 0.95 0.97 2/78 16571
/proc/meminfo: memFree=1737080/2055920 swapFree=4127688/4192956
[pid=16446] ppid=16444 vsize=86612 CPUtime=162.16
/proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 21395 0 0 0 16202 14 0 0 25 0 1 0 160764855 88690688 21234 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16446/statm: 21653 21234 139 317 0 21332 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 86612

[startup+222.302 s]
/proc/loadavg: 0.99 0.95 0.97 2/78 16571
/proc/meminfo: memFree=1732600/2055920 swapFree=4127688/4192956
[pid=16446] ppid=16444 vsize=91512 CPUtime=222.15
/proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 22533 0 0 0 22199 16 0 0 25 0 1 0 160764855 93708288 22339 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16446/statm: 22878 22339 139 317 0 22557 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 91512

[startup+282.301 s]
/proc/loadavg: 0.99 0.96 0.97 2/78 16571
/proc/meminfo: memFree=1728952/2055920 swapFree=4127688/4192956
[pid=16446] ppid=16444 vsize=95096 CPUtime=282.13
/proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 23441 0 0 0 28196 17 0 0 25 0 1 0 160764855 97378304 23247 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16446/statm: 23774 23247 139 317 0 23453 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 95096

[startup+342.301 s]
/proc/loadavg: 0.99 0.96 0.97 2/78 16571
/proc/meminfo: memFree=1725496/2055920 swapFree=4127688/4192956
[pid=16446] ppid=16444 vsize=99080 CPUtime=342.12
/proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 24312 0 0 0 34194 18 0 0 25 0 1 0 160764855 101457920 24118 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16446/statm: 24770 24118 139 317 0 24449 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 99080

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 16571
/proc/meminfo: memFree=1722552/2055920 swapFree=4127688/4192956
[pid=16446] ppid=16444 vsize=101692 CPUtime=402.1
/proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 25041 0 0 0 40191 19 0 0 25 0 1 0 160764855 104132608 24847 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16446/statm: 25423 24847 139 317 0 25102 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 101692

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 16571
/proc/meminfo: memFree=1719800/2055920 swapFree=4127688/4192956
[pid=16446] ppid=16444 vsize=104768 CPUtime=462.08
/proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 25728 0 0 0 46188 20 0 0 25 0 1 0 160764855 107282432 25534 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134593402 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16446/statm: 26192 25534 139 317 0 25871 0
Current children cumulated CPU time (s) 462.08
Current children cumulated vsize (KiB) 104768

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 16571
/proc/meminfo: memFree=1717368/2055920 swapFree=4127688/4192956
[pid=16446] ppid=16444 vsize=107376 CPUtime=522.06
/proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 26349 0 0 0 52185 21 0 0 25 0 1 0 160764855 109953024 26155 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16446/statm: 26844 26155 139 317 0 26523 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 107376

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 16571
/proc/meminfo: memFree=1713528/2055920 swapFree=4127688/4192956
[pid=16446] ppid=16444 vsize=111944 CPUtime=582.05
/proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 27530 0 0 0 58182 23 0 0 25 0 1 0 160764855 114630656 27050 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384524 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16446/statm: 27986 27050 139 317 0 27665 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 111944

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 16571
/proc/meminfo: memFree=1712632/2055920 swapFree=4127688/4192956
[pid=16446] ppid=16444 vsize=112860 CPUtime=642.04
/proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 27819 0 0 0 64180 24 0 0 25 0 1 0 160764855 115568640 27339 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16446/statm: 28215 27339 139 317 0 27894 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 112860


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 16571
/proc/meminfo: memFree=1698808/2055920 swapFree=4127688/4192956
[pid=16446] ppid=16444 vsize=128380 CPUtime=881.95
/proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 31604 0 0 0 88167 28 0 0 25 0 1 0 160764855 131461120 30794 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16446/statm: 32095 30794 139 317 0 31774 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 128380

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 16571
/proc/meminfo: memFree=1695992/2055920 swapFree=4127688/4192956
[pid=16446] ppid=16444 vsize=130900 CPUtime=941.94
/proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 32306 0 0 0 94165 29 0 0 25 0 1 0 160764855 134041600 31496 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712565 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16446/statm: 32725 31496 139 317 0 32404 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 130900

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 16571
/proc/meminfo: memFree=1693496/2055920 swapFree=4127688/4192956
[pid=16446] ppid=16444 vsize=133428 CPUtime=1001.92
/proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 32934 0 0 0 100162 30 0 0 25 0 1 0 160764855 136630272 32124 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16446/statm: 33357 32124 139 317 0 33036 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 133428

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 16571
/proc/meminfo: memFree=1690616/2055920 swapFree=4127688/4192956
[pid=16446] ppid=16444 vsize=136272 CPUtime=1061.9
/proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 33686 0 0 0 106159 31 0 0 25 0 1 0 160764855 139542528 32876 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16446/statm: 34068 32876 139 317 0 33747 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 136272

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 16571
/proc/meminfo: memFree=1687480/2055920 swapFree=4127688/4192956
[pid=16446] ppid=16444 vsize=141332 CPUtime=1121.88
/proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 34930 0 0 0 112156 32 0 0 25 0 1 0 160764855 144723968 33625 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16446/statm: 35333 33625 139 317 0 35012 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 141332

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 16571
/proc/meminfo: memFree=1685496/2055920 swapFree=4127688/4192956
[pid=16446] ppid=16444 vsize=143176 CPUtime=1181.86
/proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 35426 0 0 0 118153 33 0 0 25 0 1 0 160764855 146612224 34121 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16446/statm: 35794 34121 139 317 0 35473 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 143176

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 16571
/proc/meminfo: memFree=1683064/2055920 swapFree=4127688/4192956
[pid=16446] ppid=16444 vsize=145396 CPUtime=1241.85
/proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 36049 0 0 0 124151 34 0 0 25 0 1 0 160764855 148885504 34711 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16446/statm: 36349 34711 139 317 0 36028 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 145396

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 16571
/proc/meminfo: memFree=1680952/2055920 swapFree=4127688/4192956
[pid=16446] ppid=16444 vsize=147228 CPUtime=1301.84
/proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 36557 0 0 0 130148 36 0 0 25 0 1 0 160764855 150761472 35219 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16446/statm: 36807 35219 139 317 0 36486 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 147228

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 16571
/proc/meminfo: memFree=1679096/2055920 swapFree=4127688/4192956
[pid=16446] ppid=16444 vsize=148924 CPUtime=1361.82
/proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 37057 0 0 0 136145 37 0 0 25 0 1 0 160764855 152498176 35686 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16446/statm: 37231 35686 139 317 0 36910 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 148924

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 16571
/proc/meminfo: memFree=1677368/2055920 swapFree=4127688/4192956
[pid=16446] ppid=16444 vsize=150504 CPUtime=1421.8
/proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 37460 0 0 0 142143 37 0 0 25 0 1 0 160764855 154116096 36089 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16446/statm: 37626 36089 139 317 0 37305 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 150504

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 16571
/proc/meminfo: memFree=1675768/2055920 swapFree=4127688/4192956
[pid=16446] ppid=16444 vsize=151940 CPUtime=1481.78
/proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 37866 0 0 0 148140 38 0 0 25 0 1 0 160764855 155586560 36495 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16446/statm: 37985 36495 139 317 0 37664 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 151940

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 16571
/proc/meminfo: memFree=1674168/2055920 swapFree=4127688/4192956
[pid=16446] ppid=16444 vsize=153384 CPUtime=1541.76
/proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 38257 0 0 0 154137 39 0 0 25 0 1 0 160764855 157065216 36886 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16446/statm: 38346 36886 139 317 0 38025 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 153384

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 16571
/proc/meminfo: memFree=1672568/2055920 swapFree=4127688/4192956
[pid=16446] ppid=16444 vsize=154952 CPUtime=1601.75
/proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 38692 0 0 0 160135 40 0 0 25 0 1 0 160764855 158670848 37288 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16446/statm: 38738 37288 139 317 0 38417 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 154952

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 16571
/proc/meminfo: memFree=1671096/2055920 swapFree=4127688/4192956
[pid=16446] ppid=16444 vsize=156768 CPUtime=1661.73
/proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 39178 0 0 0 166132 41 0 0 25 0 1 0 160764855 160530432 37709 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16446/statm: 39192 37709 139 317 0 38871 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 156768

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 16571
/proc/meminfo: memFree=1669432/2055920 swapFree=4127688/4192956
[pid=16446] ppid=16444 vsize=158068 CPUtime=1721.7
/proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 39575 0 0 0 172128 42 0 0 25 0 1 0 160764855 161861632 38106 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16446/statm: 39517 38106 139 317 0 39196 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 158068

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 16571
/proc/meminfo: memFree=1667640/2055920 swapFree=4127688/4192956
[pid=16446] ppid=16444 vsize=159900 CPUtime=1781.69
/proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 40026 0 0 0 178126 43 0 0 25 0 1 0 160764855 163737600 38557 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16446/statm: 39975 38557 139 317 0 39654 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 159900



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 16571
/proc/meminfo: memFree=1667000/2055920 swapFree=4127688/4192956
[pid=16446] ppid=16444 vsize=160552 CPUtime=1800.09
/proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 40176 0 0 0 179966 43 0 0 25 0 1 0 160764855 164405248 38707 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16446/statm: 40138 38707 139 317 0 39817 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 160552

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: 0.99 0.97 0.97 2/78 16571
/proc/meminfo: memFree=1667000/2055920 swapFree=4127688/4192956
[pid=16446] ppid=16444 vsize=155488 CPUtime=1800.19
/proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 40192 0 0 0 179976 43 0 0 25 0 1 0 160764855 159219712 37560 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135266299 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16446/statm: 38872 37560 155 317 0 38551 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 155488

Child status: 0
Real time (s): 1800.84
CPU time (s): 1800.24
CPU user time (s): 1799.77
CPU system time (s): 0.464929
CPU usage (%): 99.9664
Max. virtual memory (cumulated for all children) (KiB): 160552

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

runsolver used 2.15767 second user time and 4.38433 second system time

The end

Launcher Data (download as text)

Begin job on node5 on Tue Apr 17 22:01:12 UTC 2007

IDJOB= 356894
IDBENCH= 1605
IDSOLVER= 172
FILE ID= node5/356894-1176847270

PBS_JOBID= 4590208

Free space on /tmp= 66462 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/unibo/normalized-reduced-mps-v2-20-10-CMS750_4.opb
COMMAND LINE= oree /tmp/evaluation/356894-1176847270/instance-356894-1176847270.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node5/watcher-356894-1176847270 -o ROOT/results/node5/solver-356894-1176847270 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/356894-1176847270/instance-356894-1176847270.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  55e4261919fe5e3e5c6520778d47a3ef

RANDOM SEED= 450263426

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1820704 kB
Buffers:         33072 kB
Cached:         118184 kB
SwapCached:      33908 kB
Active:         120968 kB
Inactive:        78184 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1820704 kB
SwapTotal:     4192956 kB
SwapFree:      4127688 kB
Dirty:           12792 kB
Writeback:           0 kB
Mapped:          30800 kB
Slab:            21288 kB
Committed_AS:  8583120 kB
PageTables:       1952 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= 66462 MiB

End job on node5 on Tue Apr 17 22:31:15 UTC 2007