Trace number 357010

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.14 1800.77

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-glass4.opb
MD5SUMd0857e859d7ae9b7cd0d343674d5c1ad
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1174
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1138
Optimality of the best value was proved NO
Number of variables780
Total number of constraints405
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)36
Number of constraints which are nor clauses,nor cardinality constraints369
Minimum length of a constraint6
Maximum length of a constraint101
Number of terms in the objective function 478
Biggest coefficient in the objective function 262140
Number of bits for the biggest coefficient in the objective function 18
Sum of the numbers in the objective function 524739
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262140
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 524739
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.06/0.08	c ...done
0.06/0.08	c #vars=780 #constraints=442 hasObjective=yes
0.10/0.15	c res. mode=mod
0.10/0.15	c VSIDS like heuristics
0.10/0.15	c complete search running
0.40/0.45	c restart after 401 decisions
0.40/0.46	c nbDecision=500 #constraints=593
1.00/1.09	c restart after 801 decisions
1.10/1.16	c nbDecision=1000 #constraints=844
2.39/2.45	c nbDecision=1500 #constraints=1347
2.69/2.74	c restart after 1601 decisions
3.20/3.26	c nbDecision=2000 #constraints=1621
5.39/5.48	c nbDecision=2500 #constraints=2120
8.09/8.15	c nbDecision=3000 #constraints=2612
9.29/9.39	c restart after 3201 decisions
9.89/9.93	c nbDecision=3500 #constraints=2909
12.38/12.44	c nbDecision=4000 #constraints=3411
15.49/15.57	c nbDecision=4500 #constraints=3911
19.28/19.38	c nbDecision=5000 #constraints=4407
23.78/23.83	c nbDecision=5500 #constraints=4912
28.68/28.70	c nbDecision=6000 #constraints=5412
33.18/33.21	c restart after 6401 decisions
33.58/33.69	c nbDecision=6500 #constraints=5821
37.18/37.20	c nbDecision=7000 #constraints=6000
48.57/48.65	c nbDecision=7500 #constraints=6500
60.48/60.59	c nbDecision=8000 #constraints=6999
72.27/72.34	c nbDecision=8500 #constraints=7501
85.46/85.55	c nbDecision=9000 #constraints=7999
99.06/99.12	c nbDecision=9500 #constraints=8500
113.15/113.20	c nbDecision=10000 #constraints=9001
128.05/128.17	c nbDecision=10500 #constraints=9501
143.95/144.04	c nbDecision=11000 #constraints=9958
160.14/160.21	c nbDecision=11500 #constraints=10459
176.83/176.99	c nbDecision=12000 #constraints=10959
193.72/193.80	c nbDecision=12500 #constraints=11433
204.53/204.69	c restart after 12801 decisions
205.92/206.00	c nbDecision=13000 #constraints=11736
212.82/213.00	c nbDecision=13500 #constraints=11938
230.91/231.08	c nbDecision=14000 #constraints=12438
248.51/248.62	c nbDecision=14500 #constraints=12885
268.21/268.31	c nbDecision=15000 #constraints=13386
283.09/283.30	c nbDecision=15500 #constraints=13805
299.18/299.33	c nbDecision=16000 #constraints=14198
310.78/310.96	c nbDecision=16500 #constraints=14495
324.07/324.21	c nbDecision=17000 #constraints=14819
346.47/346.61	c nbDecision=17500 #constraints=15318
367.27/367.50	c nbDecision=18000 #constraints=15764
390.96/391.12	c nbDecision=18500 #constraints=16264
412.95/413.19	c nbDecision=19000 #constraints=16714
436.94/437.18	c nbDecision=19500 #constraints=17198
457.83/458.04	c nbDecision=20000 #constraints=17606
480.83/481.09	c nbDecision=20500 #constraints=18055
501.12/501.34	c nbDecision=21000 #constraints=18485
528.01/528.24	c nbDecision=21500 #constraints=18985
554.20/554.49	c nbDecision=22000 #constraints=19481
578.20/578.49	c nbDecision=22500 #constraints=19928
606.78/607.08	c nbDecision=23000 #constraints=20426
629.87/630.17	c nbDecision=23500 #constraints=20876
656.16/656.47	c nbDecision=24000 #constraints=21377
681.25/681.54	c nbDecision=24500 #constraints=21868
703.35/703.64	c nbDecision=25000 #constraints=22239
726.34/726.65	c nbDecision=25500 #constraints=22653
733.23/733.52	c restart after 25601 decisions
739.63/739.95	c nbDecision=26000 #constraints=22884
750.23/750.60	c nbDecision=26500 #constraints=23220
761.83/762.17	c nbDecision=27000 #constraints=23603
774.22/774.56	c nbDecision=27500 #constraints=23986
785.03/785.33	c nbDecision=28000 #constraints=24329
795.21/795.50	c nbDecision=28500 #constraints=24638
806.92/807.22	c nbDecision=29000 #constraints=25003
818.61/818.98	c nbDecision=29500 #constraints=25327
830.51/830.89	c nbDecision=30000 #constraints=25666
842.80/843.19	c nbDecision=30500 #constraints=26008
857.89/858.24	c nbDecision=31000 #constraints=26455
872.00/872.36	c nbDecision=31500 #constraints=26852
884.49/884.87	c nbDecision=32000 #constraints=27147
894.78/895.13	c nbDecision=32500 #constraints=27370
909.88/910.29	c nbDecision=33000 #constraints=27810
921.07/921.47	c nbDecision=33500 #constraints=28052
935.67/936.06	c nbDecision=34000 #constraints=28392
946.97/947.38	c nbDecision=34500 #constraints=28609
958.06/958.46	c nbDecision=35000 #constraints=28844
972.46/972.87	c nbDecision=35500 #constraints=29194
987.75/988.17	c nbDecision=36000 #constraints=29539
1002.75/1003.13	c nbDecision=36500 #constraints=29860
1014.64/1015.00	c nbDecision=37000 #constraints=30090
1030.53/1030.93	c nbDecision=37500 #constraints=30465
1046.63/1047.06	c nbDecision=38000 #constraints=30840
1061.23/1061.60	c nbDecision=38500 #constraints=31145
1076.02/1076.40	c nbDecision=39000 #constraints=31463
1091.21/1091.60	c nbDecision=39500 #constraints=31789
1107.41/1107.89	c nbDecision=40000 #constraints=32134
1120.00/1120.48	c nbDecision=40500 #constraints=32319
1136.90/1137.39	c nbDecision=41000 #constraints=32681
1154.39/1154.82	c nbDecision=41500 #constraints=33058
1166.70/1167.14	c nbDecision=42000 #constraints=33275
1183.78/1184.25	c nbDecision=42500 #constraints=33588
1202.47/1202.95	c nbDecision=43000 #constraints=33974
1219.77/1220.29	c nbDecision=43500 #constraints=34270
1237.86/1238.33	c nbDecision=44000 #constraints=34601
1255.76/1256.25	c nbDecision=44500 #constraints=34934
1273.95/1274.41	c nbDecision=45000 #constraints=35264
1291.04/1291.50	c nbDecision=45500 #constraints=35532
1309.54/1310.06	c nbDecision=46000 #constraints=35868
1329.54/1330.03	c nbDecision=46500 #constraints=36197
1348.32/1348.84	c nbDecision=47000 #constraints=36517
1367.52/1368.01	c nbDecision=47500 #constraints=36853
1384.81/1385.39	c nbDecision=48000 #constraints=37116
1401.61/1402.19	c nbDecision=48500 #constraints=37397
1420.90/1421.43	c nbDecision=49000 #constraints=37728
1441.49/1442.10	c nbDecision=49500 #constraints=38072
1460.88/1461.49	c nbDecision=50000 #constraints=38400
1480.28/1480.85	c nbDecision=50500 #constraints=38728
1502.07/1502.68	c nbDecision=51000 #constraints=39122
1511.97/1512.57	c restart after 51201 decisions
1524.96/1525.58	c nbDecision=51500 #constraints=39414
1556.75/1557.36	c nbDecision=52000 #constraints=39911
1590.74/1591.31	c nbDecision=52500 #constraints=40410
1624.63/1625.27	c nbDecision=53000 #constraints=40911
1659.22/1659.88	c nbDecision=53500 #constraints=41408
1694.21/1694.84	c nbDecision=54000 #constraints=41908
1731.00/1731.62	c nbDecision=54500 #constraints=42408
1767.98/1768.61	c nbDecision=55000 #constraints=42907
1800.08/1800.70	Received signal 15
1800.08/1800.72	
1800.08/1800.72	s UNKNOWN
1800.08/1800.72	
1800.08/1800.72	c user time= 1799.56 s
1800.08/1800.72	c system time= 0.543917 s
1800.08/1800.72	c wall clock time=1800.73

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/node39/watcher-357010-1176851357 -o ROOT/results/node39/solver-357010-1176851357 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357010-1176851357/instance-357010-1176851357.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: 1.00 1.00 1.00 3/77 20331
/proc/meminfo: memFree=1881664/2055920 swapFree=4117120/4192956
[pid=20331] ppid=20329 vsize=1468 CPUtime=0
/proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 180 0 0 0 0 0 0 0 18 0 1 0 133047717 1503232 162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20331/statm: 367 162 131 317 0 46 0

[startup+0.06233 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 20331
/proc/meminfo: memFree=1881664/2055920 swapFree=4117120/4192956
[pid=20331] ppid=20329 vsize=2392 CPUtime=0.06
/proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 404 0 0 0 6 0 0 0 18 0 1 0 133047717 2449408 386 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20331/statm: 598 387 131 317 0 277 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2392

[startup+0.101336 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 20331
/proc/meminfo: memFree=1881664/2055920 swapFree=4117120/4192956
[pid=20331] ppid=20329 vsize=2920 CPUtime=0.1
/proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 543 0 0 0 10 0 0 0 18 0 1 0 133047717 2990080 525 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20331/statm: 730 525 137 317 0 409 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2920

[startup+0.301369 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 20331
/proc/meminfo: memFree=1881664/2055920 swapFree=4117120/4192956
[pid=20331] ppid=20329 vsize=3448 CPUtime=0.3
/proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 671 0 0 0 30 0 0 0 19 0 1 0 133047717 3530752 653 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20331/statm: 862 653 139 317 0 541 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 3448

[startup+0.701436 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 20331
/proc/meminfo: memFree=1881664/2055920 swapFree=4117120/4192956
[pid=20331] ppid=20329 vsize=4108 CPUtime=0.7
/proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 844 0 0 0 70 0 0 0 23 0 1 0 133047717 4206592 826 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20331/statm: 1027 826 139 317 0 706 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 4108

[startup+1.50157 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20332
/proc/meminfo: memFree=1878392/2055920 swapFree=4117120/4192956
[pid=20331] ppid=20329 vsize=5292 CPUtime=1.49
/proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 1132 0 0 0 149 0 0 0 25 0 1 0 133047717 5419008 1114 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20331/statm: 1323 1114 139 317 0 1002 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5292

[startup+3.10184 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20332
/proc/meminfo: memFree=1876920/2055920 swapFree=4117120/4192956
[pid=20331] ppid=20329 vsize=7160 CPUtime=3.1
/proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 1639 0 0 0 309 1 0 0 25 0 1 0 133047717 7331840 1621 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20331/statm: 1790 1621 170 317 0 1469 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 7160

[startup+6.30138 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20332
/proc/meminfo: memFree=1873080/2055920 swapFree=4117120/4192956
[pid=20331] ppid=20329 vsize=10472 CPUtime=6.29
/proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 2447 0 0 0 628 1 0 0 25 0 1 0 133047717 10723328 2429 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135266198 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20331/statm: 2618 2429 170 317 0 2297 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10472

[startup+12.7025 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20332
/proc/meminfo: memFree=1867064/2055920 swapFree=4117120/4192956
[pid=20331] ppid=20329 vsize=16288 CPUtime=12.69
/proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 3871 0 0 0 1266 3 0 0 25 0 1 0 133047717 16678912 3853 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20331/statm: 4072 3853 170 317 0 3751 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16288

[startup+25.5016 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20332
/proc/meminfo: memFree=1859256/2055920 swapFree=4117184/4192956
[pid=20331] ppid=20329 vsize=24424 CPUtime=25.48
/proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 5734 0 0 0 2544 4 0 0 25 0 1 0 133047717 25010176 5716 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20331/statm: 6106 5716 170 317 0 5785 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 24424

[startup+51.1019 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20332
/proc/meminfo: memFree=1852920/2055920 swapFree=4117184/4192956
[pid=20331] ppid=20329 vsize=30640 CPUtime=51.07
/proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 7296 0 0 0 5102 5 0 0 25 0 1 0 133047717 31375360 7278 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20331/statm: 7660 7278 170 317 0 7339 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 30640

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20332
/proc/meminfo: memFree=1843960/2055920 swapFree=4117184/4192956
[pid=20331] ppid=20329 vsize=40572 CPUtime=102.26
/proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 9575 0 0 0 10219 7 0 0 25 0 1 0 133047717 41545728 9499 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20331/statm: 10143 9499 170 317 0 9822 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 40572

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20332
/proc/meminfo: memFree=1836408/2055920 swapFree=4117184/4192956
[pid=20331] ppid=20329 vsize=48732 CPUtime=162.23
/proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 11461 0 0 0 16214 9 0 0 25 0 1 0 133047717 49901568 11385 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563668 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20331/statm: 12183 11385 170 317 0 11862 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 48732

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20332
/proc/meminfo: memFree=1830328/2055920 swapFree=4117248/4192956
[pid=20331] ppid=20329 vsize=54216 CPUtime=222.22
/proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 12959 0 0 0 22211 11 0 0 25 0 1 0 133047717 55517184 12883 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20331/statm: 13554 12883 170 317 0 13233 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 54216

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20332
/proc/meminfo: memFree=1825144/2055920 swapFree=4117248/4192956
[pid=20331] ppid=20329 vsize=59092 CPUtime=282.19
/proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 14233 0 0 0 28207 12 0 0 25 0 1 0 133047717 60510208 14157 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20331/statm: 14773 14157 170 317 0 14452 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 59092

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20332
/proc/meminfo: memFree=1821240/2055920 swapFree=4117312/4192956
[pid=20331] ppid=20329 vsize=62932 CPUtime=342.18
/proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 15236 0 0 0 34204 14 0 0 25 0 1 0 133047717 64442368 15160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20331/statm: 15733 15160 170 317 0 15412 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 62932

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20332
/proc/meminfo: memFree=1817400/2055920 swapFree=4117312/4192956
[pid=20331] ppid=20329 vsize=66832 CPUtime=402.15
/proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 16210 0 0 0 40200 15 0 0 25 0 1 0 133047717 68435968 16134 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20331/statm: 16708 16134 170 317 0 16387 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 66832

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20332
/proc/meminfo: memFree=1813112/2055920 swapFree=4117380/4192956
[pid=20331] ppid=20329 vsize=72984 CPUtime=462.13
/proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 17539 0 0 0 46197 16 0 0 25 0 1 0 133047717 74735616 17184 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20331/statm: 18246 17184 170 317 0 17925 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 72984

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20332
/proc/meminfo: memFree=1808696/2055920 swapFree=4117380/4192956
[pid=20331] ppid=20329 vsize=77052 CPUtime=522.11
/proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 18666 0 0 0 52194 17 0 0 25 0 1 0 133047717 78901248 18311 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20331/statm: 19263 18311 170 317 0 18942 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 77052

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20332
/proc/meminfo: memFree=1803896/2055920 swapFree=4117380/4192956
[pid=20331] ppid=20329 vsize=81696 CPUtime=582.09
/proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 19840 0 0 0 58190 19 0 0 25 0 1 0 133047717 83656704 19485 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20331/statm: 20424 19485 170 317 0 20103 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 81696

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20332
/proc/meminfo: memFree=1798264/2055920 swapFree=4117444/4192956
[pid=20331] ppid=20329 vsize=90304 CPUtime=642.07
/proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 21798 0 0 0 64187 20 0 0 25 0 1 0 133047717 92471296 20915 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20331/statm: 22576 20915 170 317 0 22255 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 90304


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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20332
/proc/meminfo: memFree=1772088/2055920 swapFree=4117508/4192956
[pid=20331] ppid=20329 vsize=117276 CPUtime=881.99
/proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 28544 0 0 0 88169 30 0 0 25 0 1 0 133047717 120090624 27430 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20331/statm: 29319 27430 170 317 0 28998 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 117276

[startup+942.302 s]
/proc/loadavg: 1.03 1.01 1.00 2/78 20332
/proc/meminfo: memFree=1766072/2055920 swapFree=4117572/4192956
[pid=20331] ppid=20329 vsize=123112 CPUtime=941.97
/proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 30050 0 0 0 94165 32 0 0 25 0 1 0 133047717 126066688 28936 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271349 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20331/statm: 30778 28937 171 317 0 30457 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 123112

[startup+1002.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 20332
/proc/meminfo: memFree=1760440/2055920 swapFree=4117700/4192956
[pid=20331] ppid=20329 vsize=128220 CPUtime=1001.94
/proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 31490 0 0 0 100161 33 0 0 25 0 1 0 133047717 131297280 30376 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20331/statm: 32055 30376 170 317 0 31734 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 128220

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20332
/proc/meminfo: memFree=1754872/2055920 swapFree=4117700/4192956
[pid=20331] ppid=20329 vsize=133568 CPUtime=1061.93
/proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 32901 0 0 0 106158 35 0 0 25 0 1 0 133047717 136773632 31787 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718344 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20331/statm: 33392 31787 170 317 0 33071 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 133568

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20332
/proc/meminfo: memFree=1749688/2055920 swapFree=4117700/4192956
[pid=20331] ppid=20329 vsize=138300 CPUtime=1121.9
/proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 34168 0 0 0 112154 36 0 0 25 0 1 0 133047717 141619200 33054 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20331/statm: 34575 33054 170 317 0 34254 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 138300

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20332
/proc/meminfo: memFree=1744120/2055920 swapFree=4117764/4192956
[pid=20331] ppid=20329 vsize=146748 CPUtime=1181.88
/proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 36268 0 0 0 118150 38 0 0 25 0 1 0 133047717 150269952 34465 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20331/statm: 36687 34465 170 317 0 36366 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 146748

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20332
/proc/meminfo: memFree=1739128/2055920 swapFree=4117828/4192956
[pid=20331] ppid=20329 vsize=151092 CPUtime=1241.86
/proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 37484 0 0 0 124147 39 0 0 25 0 1 0 133047717 154718208 35648 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20331/statm: 37773 35648 170 317 0 37452 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 151092

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20332
/proc/meminfo: memFree=1734456/2055920 swapFree=4117956/4192956
[pid=20331] ppid=20329 vsize=155268 CPUtime=1301.84
/proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 38644 0 0 0 130143 41 0 0 25 0 1 0 133047717 158994432 36808 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20331/statm: 38817 36808 170 317 0 38496 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 155268

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20332
/proc/meminfo: memFree=1729528/2055920 swapFree=4117956/4192956
[pid=20331] ppid=20329 vsize=167052 CPUtime=1361.82
/proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 41479 0 0 0 136138 44 0 0 25 0 1 0 133047717 171061248 38050 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20331/statm: 41763 38050 170 317 0 41442 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 167052

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 20332
/proc/meminfo: memFree=1725112/2055920 swapFree=4118084/4192956
[pid=20331] ppid=20329 vsize=170856 CPUtime=1421.8
/proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 42537 0 0 0 142135 45 0 0 25 0 1 0 133047717 174956544 39108 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20331/statm: 42714 39108 170 317 0 42393 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 170856

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20332
/proc/meminfo: memFree=1720824/2055920 swapFree=4118084/4192956
[pid=20331] ppid=20329 vsize=174800 CPUtime=1481.78
/proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 43634 0 0 0 148131 47 0 0 25 0 1 0 133047717 178995200 40205 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20331/statm: 43700 40205 170 317 0 43379 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 174800

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20332
/proc/meminfo: memFree=1716600/2055920 swapFree=4118084/4192956
[pid=20331] ppid=20329 vsize=179128 CPUtime=1541.76
/proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 44843 0 0 0 154127 49 0 0 25 0 1 0 133047717 183427072 41249 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20331/statm: 44782 41249 170 317 0 44461 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 179128

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20332
/proc/meminfo: memFree=1712120/2055920 swapFree=4118212/4192956
[pid=20331] ppid=20329 vsize=183088 CPUtime=1601.73
/proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 45983 0 0 0 160123 50 0 0 25 0 1 0 133047717 187482112 42389 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563639 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20331/statm: 45772 42389 170 317 0 45451 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 183088

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20332
/proc/meminfo: memFree=1707768/2055920 swapFree=4118212/4192956
[pid=20331] ppid=20329 vsize=187020 CPUtime=1661.71
/proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 47054 0 0 0 166120 51 0 0 25 0 1 0 133047717 191508480 43460 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20331/statm: 46755 43460 170 317 0 46434 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 187020

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20332
/proc/meminfo: memFree=1703480/2055920 swapFree=4118340/4192956
[pid=20331] ppid=20329 vsize=191000 CPUtime=1721.69
/proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 48170 0 0 0 172117 52 0 0 25 0 1 0 133047717 195584000 44510 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563625 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20331/statm: 47750 44510 170 317 0 47429 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 191000

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20334
/proc/meminfo: memFree=1699576/2055920 swapFree=4118340/4192956
[pid=20331] ppid=20329 vsize=195200 CPUtime=1781.67
/proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 49231 0 0 0 178114 53 0 0 25 0 1 0 133047717 199884800 45505 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20331/statm: 48800 45505 170 317 0 48479 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 195200



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20334
/proc/meminfo: memFree=1698232/2055920 swapFree=4118340/4192956
[pid=20331] ppid=20329 vsize=196228 CPUtime=1800.08
/proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 49539 0 0 0 179954 54 0 0 25 0 1 0 133047717 200937472 45813 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20331/statm: 49057 45813 170 317 0 48736 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 196228

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20334
/proc/meminfo: memFree=1698232/2055920 swapFree=4118340/4192956
[pid=20331] ppid=20329 vsize=196228 CPUtime=1800.08
/proc/20331/stat : 20331 (oree) R 20329 20331 19988 0 -1 4194304 49539 0 0 0 179954 54 0 0 25 0 1 0 133047717 200937472 45813 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20331/statm: 49057 45813 170 317 0 48736 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 196228

Child status: 0
Real time (s): 1800.77
CPU time (s): 1800.14
CPU user time (s): 1799.57
CPU system time (s): 0.575912
CPU usage (%): 99.9653
Max. virtual memory (cumulated for all children) (KiB): 196228

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

runsolver used 1.9647 second user time and 4.5893 second system time

The end

Launcher Data (download as text)

Begin job on node39 on Tue Apr 17 23:09:17 UTC 2007

IDJOB= 357010
IDBENCH= 1772
IDSOLVER= 172
FILE ID= node39/357010-1176851357

PBS_JOBID= 4590220

Free space on /tmp= 66482 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-glass4.opb
COMMAND LINE= oree /tmp/evaluation/357010-1176851357/instance-357010-1176851357.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node39/watcher-357010-1176851357 -o ROOT/results/node39/solver-357010-1176851357 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357010-1176851357/instance-357010-1176851357.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  d0857e859d7ae9b7cd0d343674d5c1ad

RANDOM SEED= 598801125

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node39.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.256
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.256
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:       1882072 kB
Buffers:         32880 kB
Cached:          74420 kB
SwapCached:      23464 kB
Active:          87324 kB
Inactive:        53972 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1882072 kB
SwapTotal:     4192956 kB
SwapFree:      4117120 kB
Dirty:            1668 kB
Writeback:           0 kB
Mapped:          30964 kB
Slab:            17880 kB
Committed_AS:  1751220 kB
PageTables:       2016 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= 66482 MiB

End job on node39 on Tue Apr 17 23:39:20 UTC 2007