Trace number 356954

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.25 1800.78

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-scfxm1.opb
MD5SUM26050490bdc7147f2ccbcc29a5d8feeb
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 variables13710
Total number of constraints327
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints327
Minimum length of a constraint30
Maximum length of a constraint1710
Number of terms in the objective function 690
Biggest coefficient in the objective function 20011
Number of bits for the biggest coefficient in the objective function 15
Sum of the numbers in the objective function 524791
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 525557
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.19/0.21	c ...done
0.19/0.21	c #vars=13710 #constraints=515 hasObjective=yes
0.19/0.26	c res. mode=mod
0.19/0.26	c VSIDS like heuristics
0.19/0.26	c complete search running
0.69/0.79	c restart after 401 decisions
0.79/0.86	c nbDecision=500 #constraints=718
1.39/1.46	c restart after 801 decisions
1.79/1.87	c nbDecision=1000 #constraints=982
3.09/3.15	c nbDecision=1500 #constraints=1273
3.29/3.37	c restart after 1601 decisions
3.69/3.70	c nbDecision=2000 #constraints=1449
4.09/4.18	c nbDecision=2500 #constraints=1578
4.79/4.89	c nbDecision=3000 #constraints=1717
5.09/5.12	c restart after 3201 decisions
5.49/5.55	c nbDecision=3500 #constraints=1864
6.08/6.13	c nbDecision=4000 #constraints=1975
7.89/7.97	c nbDecision=4500 #constraints=2220
12.99/13.08	c nbDecision=5000 #constraints=2544
13.88/13.91	c nbDecision=5500 #constraints=2684
14.68/14.75	c nbDecision=6000 #constraints=2782
15.39/15.43	c restart after 6401 decisions
15.58/15.60	c nbDecision=6500 #constraints=2913
16.19/16.27	c nbDecision=7000 #constraints=3011
17.28/17.33	c nbDecision=7500 #constraints=3102
19.48/19.55	c nbDecision=8000 #constraints=3259
20.78/20.85	c nbDecision=8500 #constraints=3384
21.48/21.59	c nbDecision=9000 #constraints=3455
23.79/23.86	c nbDecision=9500 #constraints=3619
26.88/27.00	c nbDecision=10000 #constraints=3850
35.08/35.10	c nbDecision=10500 #constraints=4225
37.38/37.41	c nbDecision=11000 #constraints=4343
42.78/42.87	c nbDecision=11500 #constraints=4650
45.68/45.77	c nbDecision=12000 #constraints=4817
49.17/49.24	c nbDecision=12500 #constraints=5027
51.17/51.28	c restart after 12801 decisions
51.87/51.95	c nbDecision=13000 #constraints=5175
53.88/53.92	c nbDecision=13500 #constraints=5286
56.47/56.53	c nbDecision=14000 #constraints=5427
58.97/59.01	c nbDecision=14500 #constraints=5565
61.17/61.21	c nbDecision=15000 #constraints=5678
63.47/63.52	c nbDecision=15500 #constraints=5776
66.27/66.34	c nbDecision=16000 #constraints=5947
69.07/69.14	c nbDecision=16500 #constraints=6087
72.97/73.02	c nbDecision=17000 #constraints=6295
82.96/83.01	c nbDecision=17500 #constraints=6675
86.76/86.86	c nbDecision=18000 #constraints=6807
93.56/93.69	c nbDecision=18500 #constraints=7071
101.27/101.37	c nbDecision=19000 #constraints=7337
105.06/105.13	c nbDecision=19500 #constraints=7476
108.06/108.18	c nbDecision=20000 #constraints=7574
114.65/114.70	c nbDecision=20500 #constraints=7810
118.96/119.04	c nbDecision=21000 #constraints=7966
124.55/124.61	c nbDecision=21500 #constraints=8156
132.15/132.20	c nbDecision=22000 #constraints=8492
141.26/141.30	c nbDecision=22500 #constraints=8876
153.15/153.21	c nbDecision=23000 #constraints=9250
165.45/165.56	c nbDecision=23500 #constraints=9656
178.05/178.15	c nbDecision=24000 #constraints=10078
190.63/190.73	c nbDecision=24500 #constraints=10484
204.84/204.90	c nbDecision=25000 #constraints=10843
212.13/212.28	c nbDecision=25500 #constraints=11014
213.23/213.34	c restart after 25601 decisions
217.33/217.43	c nbDecision=26000 #constraints=11122
222.43/222.50	c nbDecision=26500 #constraints=11234
234.83/234.95	c nbDecision=27000 #constraints=11555
240.42/240.55	c nbDecision=27500 #constraints=11688
247.83/247.99	c nbDecision=28000 #constraints=11861
254.03/254.13	c nbDecision=28500 #constraints=12018
262.42/262.57	c nbDecision=29000 #constraints=12186
270.42/270.59	c nbDecision=29500 #constraints=12359
283.52/283.60	c nbDecision=30000 #constraints=12664
292.91/293.02	c nbDecision=30500 #constraints=12861
301.61/301.75	c nbDecision=31000 #constraints=13079
313.41/313.58	c nbDecision=31500 #constraints=13308
325.01/325.13	c nbDecision=32000 #constraints=13547
333.80/333.96	c nbDecision=32500 #constraints=13720
345.31/345.46	c nbDecision=33000 #constraints=13973
356.39/356.51	c nbDecision=33500 #constraints=14172
368.99/369.14	c nbDecision=34000 #constraints=14467
387.19/387.39	c nbDecision=34500 #constraints=14820
403.89/404.04	c nbDecision=35000 #constraints=15149
412.18/412.31	c nbDecision=35500 #constraints=15282
420.68/420.85	c nbDecision=36000 #constraints=15419
429.18/429.36	c nbDecision=36500 #constraints=15547
439.98/440.13	c nbDecision=37000 #constraints=15758
453.77/453.96	c nbDecision=37500 #constraints=16022
470.47/470.65	c nbDecision=38000 #constraints=16328
483.47/483.65	c nbDecision=38500 #constraints=16524
493.76/493.98	c nbDecision=39000 #constraints=16710
505.36/505.56	c nbDecision=39500 #constraints=16898
519.06/519.25	c nbDecision=40000 #constraints=17116
533.66/533.87	c nbDecision=40500 #constraints=17356
548.66/548.80	c nbDecision=41000 #constraints=17591
564.15/564.36	c nbDecision=41500 #constraints=17855
579.04/579.28	c nbDecision=42000 #constraints=18096
599.44/599.68	c nbDecision=42500 #constraints=18430
620.43/620.60	c nbDecision=43000 #constraints=18754
635.23/635.49	c nbDecision=43500 #constraints=18953
651.93/652.11	c nbDecision=44000 #constraints=19184
678.31/678.59	c nbDecision=44500 #constraints=19513
690.12/690.32	c nbDecision=45000 #constraints=19701
701.71/701.90	c nbDecision=45500 #constraints=19870
723.40/723.66	c nbDecision=46000 #constraints=20182
742.10/742.34	c nbDecision=46500 #constraints=20449
753.89/754.11	c nbDecision=47000 #constraints=20605
773.29/773.56	c nbDecision=47500 #constraints=20891
790.60/790.85	c nbDecision=48000 #constraints=21093
805.99/806.20	c nbDecision=48500 #constraints=21280
821.68/821.99	c nbDecision=49000 #constraints=21509
840.28/840.55	c nbDecision=49500 #constraints=21781
855.17/855.44	c nbDecision=50000 #constraints=21987
875.67/875.91	c nbDecision=50500 #constraints=22251
896.97/897.28	c nbDecision=51000 #constraints=22517
904.77/905.06	c restart after 51201 decisions
913.16/913.45	c nbDecision=51500 #constraints=22676
930.15/930.40	c nbDecision=52000 #constraints=22888
947.55/947.86	c nbDecision=52500 #constraints=23116
971.15/971.42	c nbDecision=53000 #constraints=23415
989.84/990.19	c nbDecision=53500 #constraints=23660
1013.24/1013.50	c nbDecision=54000 #constraints=23924
1037.13/1037.49	c nbDecision=54500 #constraints=24203
1066.42/1066.77	c nbDecision=55000 #constraints=24545
1089.62/1089.92	c nbDecision=55500 #constraints=24815
1113.01/1113.34	c nbDecision=56000 #constraints=25070
1140.81/1141.16	c nbDecision=56500 #constraints=25419
1163.19/1163.52	c nbDecision=57000 #constraints=25659
1189.09/1189.49	c nbDecision=57500 #constraints=25927
1209.49/1209.82	c nbDecision=58000 #constraints=26147
1235.18/1235.51	c nbDecision=58500 #constraints=26435
1256.88/1257.27	c nbDecision=59000 #constraints=26681
1284.56/1284.98	c nbDecision=59500 #constraints=26969
1318.86/1319.26	c nbDecision=60000 #constraints=27321
1354.25/1354.65	c nbDecision=60500 #constraints=27666
1394.15/1394.53	c nbDecision=61000 #constraints=28071
1437.43/1437.87	c nbDecision=61500 #constraints=28461
1486.52/1487.00	c nbDecision=62000 #constraints=28869
1521.91/1522.35	c nbDecision=62500 #constraints=29165
1546.21/1546.66	c nbDecision=63000 #constraints=29379
1574.17/1574.66	c nbDecision=63500 #constraints=29658
1602.03/1602.55	c nbDecision=64000 #constraints=29924
1637.50/1638.09	c nbDecision=64500 #constraints=30263
1666.09/1666.65	c nbDecision=65000 #constraints=30539
1708.38/1708.95	c nbDecision=65500 #constraints=30936
1746.27/1746.89	c nbDecision=66000 #constraints=31318
1784.26/1784.86	c nbDecision=66500 #constraints=31696
1800.06/1800.60	Received signal 15
1800.06/1800.68	
1800.06/1800.68	s UNKNOWN
1800.06/1800.68	
1800.06/1800.68	c user time= 1799.3 s
1800.06/1800.68	c system time= 0.84887 s
1800.06/1800.68	c wall clock time=1800.68

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/node14/watcher-356954-1176849301 -o ROOT/results/node14/solver-356954-1176849301 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356954-1176849301/instance-356954-1176849301.opb mod 

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


[startup+0 s]
/proc/loadavg: 0.99 0.97 0.98 3/77 1725
/proc/meminfo: memFree=1835464/2055920 swapFree=4145412/4192956
[pid=1725] ppid=1723 vsize=1468 CPUtime=0
/proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 162 0 0 0 0 0 0 0 19 0 1 0 132847877 1503232 144 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1725/statm: 367 144 126 317 0 46 0

[startup+0.07539 s]
/proc/loadavg: 0.99 0.97 0.98 3/77 1725
/proc/meminfo: memFree=1835464/2055920 swapFree=4145412/4192956
[pid=1725] ppid=1723 vsize=3068 CPUtime=0.06
/proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 590 0 0 0 6 0 0 0 19 0 1 0 132847877 3141632 572 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1725/statm: 767 572 131 317 0 446 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 3068

[startup+0.101392 s]
/proc/loadavg: 0.99 0.97 0.98 3/77 1725
/proc/meminfo: memFree=1835464/2055920 swapFree=4145412/4192956
[pid=1725] ppid=1723 vsize=3728 CPUtime=0.09
/proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 737 0 0 0 9 0 0 0 19 0 1 0 132847877 3817472 719 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1725/statm: 932 719 131 317 0 611 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3728

[startup+0.30141 s]
/proc/loadavg: 0.99 0.97 0.98 3/77 1725
/proc/meminfo: memFree=1835464/2055920 swapFree=4145412/4192956
[pid=1725] ppid=1723 vsize=8440 CPUtime=0.29
/proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 1915 0 0 0 29 0 0 0 21 0 1 0 132847877 8642560 1897 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1725/statm: 2110 1897 139 317 0 1789 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8440

[startup+0.701448 s]
/proc/loadavg: 0.99 0.97 0.98 3/77 1725
/proc/meminfo: memFree=1835464/2055920 swapFree=4145412/4192956
[pid=1725] ppid=1723 vsize=10276 CPUtime=0.69
/proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 2422 0 0 0 68 1 0 0 25 0 1 0 132847877 10522624 2404 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1725/statm: 2569 2404 170 317 0 2248 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10276

[startup+1.50152 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1726
/proc/meminfo: memFree=1825344/2055920 swapFree=4145412/4192956
[pid=1725] ppid=1723 vsize=13452 CPUtime=1.49
/proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 3211 0 0 0 148 1 0 0 25 0 1 0 132847877 13774848 3193 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606869 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1725/statm: 3363 3193 170 317 0 3042 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13452

[startup+3.10167 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1726
/proc/meminfo: memFree=1820800/2055920 swapFree=4145412/4192956
[pid=1725] ppid=1723 vsize=20504 CPUtime=3.09
/proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 4976 0 0 0 307 2 0 0 25 0 1 0 132847877 20996096 4958 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270569 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1725/statm: 5126 4958 170 317 0 4805 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20504

[startup+6.30198 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1726
/proc/meminfo: memFree=1810880/2055920 swapFree=4145412/4192956
[pid=1725] ppid=1723 vsize=27564 CPUtime=6.28
/proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 6740 0 0 0 626 2 0 0 25 0 1 0 132847877 28225536 6722 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284176 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1725/statm: 6891 6722 170 317 0 6570 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 27564

[startup+12.7016 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1726
/proc/meminfo: memFree=1798976/2055920 swapFree=4145412/4192956
[pid=1725] ppid=1723 vsize=38344 CPUtime=12.69
/proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 9364 0 0 0 1265 4 0 0 25 0 1 0 132847877 39264256 9346 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718704 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1725/statm: 9586 9346 170 317 0 9265 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 38344

[startup+25.5028 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1726
/proc/meminfo: memFree=1783232/2055920 swapFree=4145412/4192956
[pid=1725] ppid=1723 vsize=54792 CPUtime=25.48
/proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 13273 0 0 0 2542 6 0 0 25 0 1 0 132847877 56107008 13255 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1725/statm: 13698 13255 170 317 0 13377 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 54792

[startup+51.1022 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1726
/proc/meminfo: memFree=1756736/2055920 swapFree=4145412/4192956
[pid=1725] ppid=1723 vsize=80912 CPUtime=51.07
/proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 19827 0 0 0 5098 9 0 0 25 0 1 0 132847877 82853888 19809 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1725/statm: 20228 19809 170 317 0 19907 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 80912

[startup+102.306 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1726
/proc/meminfo: memFree=1718464/2055920 swapFree=4145412/4192956
[pid=1725] ppid=1723 vsize=122576 CPUtime=102.27
/proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 29313 0 0 0 10213 14 0 0 25 0 1 0 132847877 125517824 29295 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1725/statm: 30644 29295 170 317 0 30323 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 122576

[startup+162.303 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1728
/proc/meminfo: memFree=1683392/2055920 swapFree=4145412/4192956
[pid=1725] ppid=1723 vsize=155628 CPUtime=162.24
/proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 38145 0 0 0 16205 19 0 0 25 0 1 0 132847877 159363072 38070 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272676 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1725/statm: 38907 38070 170 317 0 38586 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 155628

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1728
/proc/meminfo: memFree=1648640/2055920 swapFree=4145412/4192956
[pid=1725] ppid=1723 vsize=197048 CPUtime=222.23
/proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 46736 0 0 0 22199 24 0 0 25 0 1 0 132847877 201777152 46661 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1725/statm: 49262 46661 170 317 0 48941 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 197048

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1728
/proc/meminfo: memFree=1624896/2055920 swapFree=4145412/4192956
[pid=1725] ppid=1723 vsize=222748 CPUtime=282.22
/proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 52767 0 0 0 28194 28 0 0 25 0 1 0 132847877 228093952 52692 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541583 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1725/statm: 55687 52692 170 317 0 55366 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 222748

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1728
/proc/meminfo: memFree=1603648/2055920 swapFree=4145412/4192956
[pid=1725] ppid=1723 vsize=242528 CPUtime=342.2
/proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 57986 0 0 0 34189 31 0 0 25 0 1 0 132847877 248348672 57911 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1725/statm: 60632 57911 170 317 0 60311 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 242528

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1728
/proc/meminfo: memFree=1583744/2055920 swapFree=4145412/4192956
[pid=1725] ppid=1723 vsize=261060 CPUtime=402.19
/proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 62959 0 0 0 40185 34 0 0 25 0 1 0 132847877 267325440 62884 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1725/statm: 65265 62884 170 317 0 64944 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 261060

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1728
/proc/meminfo: memFree=1566912/2055920 swapFree=4145412/4192956
[pid=1725] ppid=1723 vsize=277688 CPUtime=462.17
/proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 67166 0 0 0 46180 37 0 0 25 0 1 0 132847877 284352512 67091 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715615 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1725/statm: 69422 67091 170 317 0 69101 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 277688

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1728
/proc/meminfo: memFree=1551680/2055920 swapFree=4145412/4192956
[pid=1725] ppid=1723 vsize=292160 CPUtime=522.15
/proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 71076 0 0 0 52176 39 0 0 25 0 1 0 132847877 299171840 70888 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1725/statm: 73040 70888 170 317 0 72719 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 292160

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1728
/proc/meminfo: memFree=1535808/2055920 swapFree=4145412/4192956
[pid=1725] ppid=1723 vsize=308068 CPUtime=582.14
/proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 75242 0 0 0 58172 42 0 0 25 0 1 0 132847877 315461632 74823 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1725/statm: 77017 74823 170 317 0 76696 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 308068

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1728
/proc/meminfo: memFree=1521344/2055920 swapFree=4145412/4192956
[pid=1725] ppid=1723 vsize=325360 CPUtime=642.13
/proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 79579 0 0 0 64168 45 0 0 25 0 1 0 132847877 333168640 78401 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1725/statm: 81340 78401 170 317 0 81019 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 325360


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1728
/proc/meminfo: memFree=1460992/2055920 swapFree=4145412/4192956
[pid=1725] ppid=1723 vsize=401748 CPUtime=882.07
/proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 98581 0 0 0 88152 55 0 0 25 0 1 0 132847877 411389952 93443 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1725/statm: 100437 93443 170 317 0 100116 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 401748

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1728
/proc/meminfo: memFree=1449600/2055920 swapFree=4145412/4192956
[pid=1725] ppid=1723 vsize=412192 CPUtime=942.05
/proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 101440 0 0 0 94148 57 0 0 25 0 1 0 132847877 422084608 96302 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1725/statm: 103048 96302 170 317 0 102727 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 412192

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1728
/proc/meminfo: memFree=1437312/2055920 swapFree=4145412/4192956
[pid=1725] ppid=1723 vsize=423120 CPUtime=1002.03
/proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 104532 0 0 0 100145 58 0 0 25 0 1 0 132847877 433274880 99361 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1725/statm: 105780 99361 170 317 0 105459 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 423120

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1728
/proc/meminfo: memFree=1425920/2055920 swapFree=4145412/4192956
[pid=1725] ppid=1723 vsize=433072 CPUtime=1062.02
/proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 107381 0 0 0 106142 60 0 0 25 0 1 0 132847877 443465728 102210 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1725/statm: 108268 102210 170 317 0 107947 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 433072

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1728
/proc/meminfo: memFree=1412672/2055920 swapFree=4145412/4192956
[pid=1725] ppid=1723 vsize=453608 CPUtime=1122.01
/proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 112192 0 0 0 112138 63 0 0 25 0 1 0 132847877 464494592 105503 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563622 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1725/statm: 113402 105503 170 317 0 113081 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 453608

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1728
/proc/meminfo: memFree=1400704/2055920 swapFree=4145412/4192956
[pid=1725] ppid=1723 vsize=464052 CPUtime=1181.99
/proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 115250 0 0 0 118134 65 0 0 25 0 1 0 132847877 475189248 108495 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1725/statm: 116013 108495 170 317 0 115692 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 464052

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1728
/proc/meminfo: memFree=1389248/2055920 swapFree=4145412/4192956
[pid=1725] ppid=1723 vsize=473848 CPUtime=1241.98
/proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 118101 0 0 0 124131 67 0 0 25 0 1 0 132847877 485220352 111346 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1725/statm: 118462 111346 170 317 0 118141 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 473848

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1728
/proc/meminfo: memFree=1378048/2055920 swapFree=4145412/4192956
[pid=1725] ppid=1723 vsize=483656 CPUtime=1301.97
/proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 120881 0 0 0 130128 69 0 0 25 0 1 0 132847877 495263744 114093 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711091 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1725/statm: 120914 114093 170 317 0 120593 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 483656

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1728
/proc/meminfo: memFree=1366528/2055920 swapFree=4145412/4192956
[pid=1725] ppid=1723 vsize=494012 CPUtime=1361.95
/proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 123815 0 0 0 136124 71 0 0 25 0 1 0 132847877 505868288 116994 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1725/statm: 123503 116994 170 317 0 123182 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 494012

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1728
/proc/meminfo: memFree=1355328/2055920 swapFree=4145412/4192956
[pid=1725] ppid=1723 vsize=503860 CPUtime=1421.94
/proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 126623 0 0 0 142121 73 0 0 25 0 1 0 132847877 515952640 119769 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1725/statm: 125965 119769 170 317 0 125644 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 503860

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1728
/proc/meminfo: memFree=1345088/2055920 swapFree=4145412/4192956
[pid=1725] ppid=1723 vsize=512944 CPUtime=1481.92
/proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 129240 0 0 0 148117 75 0 0 25 0 1 0 132847877 525254656 122353 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1725/statm: 128236 122353 170 317 0 127915 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 512944

[startup+1542.3 s]
/proc/loadavg: 1.06 0.99 0.99 2/78 1728
/proc/meminfo: memFree=1335424/2055920 swapFree=4145412/4192956
[pid=1725] ppid=1723 vsize=521620 CPUtime=1541.91
/proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 131708 0 0 0 154114 77 0 0 25 0 1 0 132847877 534138880 124755 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1725/statm: 130405 124755 170 317 0 130084 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 521620

[startup+1602.3 s]
/proc/loadavg: 1.02 0.99 0.99 2/84 1907
/proc/meminfo: memFree=1324168/2055920 swapFree=4145412/4192956
[pid=1725] ppid=1723 vsize=530780 CPUtime=1601.83
/proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 134343 0 0 0 160104 79 0 0 25 0 1 0 132847877 543518720 127291 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1725/statm: 132695 127291 170 317 0 132374 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 530780

[startup+1662.3 s]
/proc/loadavg: 1.01 0.99 0.99 2/78 1936
/proc/meminfo: memFree=1314624/2055920 swapFree=4145412/4192956
[pid=1725] ppid=1723 vsize=541904 CPUtime=1661.79
/proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 137005 0 0 0 166098 81 0 0 25 0 1 0 132847877 554909696 129920 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1725/statm: 135476 129920 170 317 0 135155 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 541904

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 1936
/proc/meminfo: memFree=1303680/2055920 swapFree=4145412/4192956
[pid=1725] ppid=1723 vsize=553440 CPUtime=1721.77
/proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 139757 0 0 0 172095 82 0 0 25 0 1 0 132847877 566722560 132672 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604450 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1725/statm: 138360 132672 170 317 0 138039 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 553440

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 1936
/proc/meminfo: memFree=1291776/2055920 swapFree=4145412/4192956
[pid=1725] ppid=1723 vsize=563784 CPUtime=1781.76
/proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 142724 0 0 0 178092 84 0 0 25 0 1 0 132847877 577314816 135606 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1725/statm: 140946 135606 170 317 0 140625 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 563784



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 1936
/proc/meminfo: memFree=1288384/2055920 swapFree=4145412/4192956
[pid=1725] ppid=1723 vsize=566460 CPUtime=1800.06
/proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194304 143548 0 0 0 179922 84 0 0 25 0 1 0 132847877 580055040 136430 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1725/statm: 141615 136430 170 317 0 141294 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 566460

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 0.99 0.99 2/78 1936
/proc/meminfo: memFree=1288384/2055920 swapFree=4145412/4192956
[pid=1725] ppid=1723 vsize=0 CPUtime=1800.17
/proc/1725/stat : 1725 (oree) R 1723 1725 1621 0 -1 4194308 143564 0 0 0 179930 87 0 0 25 0 1 0 132847877 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1725/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.78
CPU time (s): 1800.25
CPU user time (s): 1799.3
CPU system time (s): 0.943856
CPU usage (%): 99.9702
Max. virtual memory (cumulated for all children) (KiB): 566460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.3
system time used= 0.943856
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 143564
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= 7
involuntary context switches= 37274

runsolver used 2.07868 second user time and 4.48132 second system time

The end

Launcher Data (download as text)

Begin job on node14 on Tue Apr 17 22:35:01 UTC 2007

IDJOB= 356954
IDBENCH= 1684
IDSOLVER= 172
FILE ID= node14/356954-1176849301

PBS_JOBID= 4590212

Free space on /tmp= 66297 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-scfxm1.opb
COMMAND LINE= oree /tmp/evaluation/356954-1176849301/instance-356954-1176849301.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node14/watcher-356954-1176849301 -o ROOT/results/node14/solver-356954-1176849301 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/356954-1176849301/instance-356954-1176849301.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  26050490bdc7147f2ccbcc29a5d8feeb

RANDOM SEED= 168041034

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node14.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.227
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.227
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:       1835872 kB
Buffers:         32728 kB
Cached:         119968 kB
SwapCached:      14788 kB
Active:          67552 kB
Inactive:       111464 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1835872 kB
SwapTotal:     4192956 kB
SwapFree:      4145412 kB
Dirty:            2036 kB
Writeback:           0 kB
Mapped:          29836 kB
Slab:            26516 kB
Committed_AS:  6574216 kB
PageTables:       1784 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= 66297 MiB

End job on node14 on Tue Apr 17 23:05:04 UTC 2007