Trace number 356946

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.11 1800.75

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-perold.opb
MD5SUM1cb0147510c9838b4e6052b678a2a523
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 variables36286
Total number of constraints891
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 constraints891
Minimum length of a constraint10
Maximum length of a constraint991
Number of terms in the objective function 210
Biggest coefficient in the objective function 37450
Number of bits for the biggest coefficient in the objective function 16
Sum of the numbers in the objective function 524454
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262399
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 525072
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.49/0.54	c ...done
0.49/0.54	c #vars=36286 #constraints=1387 hasObjective=yes
0.59/0.63	c res. mode=mod
0.59/0.63	c VSIDS like heuristics
0.59/0.63	c complete search running
1.29/1.31	c restart after 401 decisions
1.39/1.44	c nbDecision=500 #constraints=1525
1.89/1.97	c restart after 801 decisions
2.19/2.24	c nbDecision=1000 #constraints=1661
3.19/3.20	c nbDecision=1500 #constraints=1900
3.39/3.44	c restart after 1601 decisions
4.19/4.22	c nbDecision=2000 #constraints=2148
5.49/5.60	c nbDecision=2500 #constraints=2608
7.28/7.32	c nbDecision=3000 #constraints=3042
8.08/8.11	c restart after 3201 decisions
8.48/8.57	c nbDecision=3500 #constraints=3228
9.79/9.88	c nbDecision=4000 #constraints=3574
11.39/11.48	c nbDecision=4500 #constraints=3956
13.28/13.33	c nbDecision=5000 #constraints=4340
15.18/15.28	c nbDecision=5500 #constraints=4737
17.39/17.50	c nbDecision=6000 #constraints=5151
19.38/19.43	c restart after 6401 decisions
19.58/19.61	c nbDecision=6500 #constraints=5459
21.48/21.51	c nbDecision=7000 #constraints=5714
24.18/24.26	c nbDecision=7500 #constraints=6118
27.08/27.17	c nbDecision=8000 #constraints=6539
30.18/30.29	c nbDecision=8500 #constraints=7014
33.67/33.75	c nbDecision=9000 #constraints=7428
37.17/37.23	c nbDecision=9500 #constraints=7832
41.08/41.18	c nbDecision=10000 #constraints=8268
45.37/45.47	c nbDecision=10500 #constraints=8713
49.87/49.98	c nbDecision=11000 #constraints=9179
55.07/55.13	c nbDecision=11500 #constraints=9616
60.27/60.34	c nbDecision=12000 #constraints=10030
65.47/65.55	c nbDecision=12500 #constraints=10421
68.86/68.96	c restart after 12801 decisions
69.27/69.31	c nbDecision=13000 #constraints=10648
74.86/74.93	c nbDecision=13500 #constraints=11056
80.86/80.99	c nbDecision=14000 #constraints=11450
87.86/87.98	c nbDecision=14500 #constraints=11847
96.05/96.10	c nbDecision=15000 #constraints=12297
104.35/104.42	c nbDecision=15500 #constraints=12748
112.05/112.18	c nbDecision=16000 #constraints=13177
119.55/119.63	c nbDecision=16500 #constraints=13598
128.04/128.18	c nbDecision=17000 #constraints=14061
136.35/136.42	c nbDecision=17500 #constraints=14517
144.94/145.06	c nbDecision=18000 #constraints=14972
154.33/154.48	c nbDecision=18500 #constraints=15424
164.13/164.28	c nbDecision=19000 #constraints=15855
174.73/174.87	c nbDecision=19500 #constraints=16289
185.13/185.21	c nbDecision=20000 #constraints=16699
196.42/196.53	c nbDecision=20500 #constraints=17145
206.21/206.39	c nbDecision=21000 #constraints=17521
218.01/218.16	c nbDecision=21500 #constraints=17940
229.01/229.16	c nbDecision=22000 #constraints=18319
240.60/240.80	c nbDecision=22500 #constraints=18737
253.29/253.49	c nbDecision=23000 #constraints=19185
265.20/265.37	c nbDecision=23500 #constraints=19593
278.69/278.85	c nbDecision=24000 #constraints=20035
293.39/293.54	c nbDecision=24500 #constraints=20508
307.88/308.06	c nbDecision=25000 #constraints=20893
321.57/321.73	c nbDecision=25500 #constraints=21250
324.07/324.28	c restart after 25601 decisions
331.47/331.66	c nbDecision=26000 #constraints=21502
349.57/349.78	c nbDecision=26500 #constraints=21949
366.95/367.12	c nbDecision=27000 #constraints=22351
382.25/382.43	c nbDecision=27500 #constraints=22750
397.65/397.86	c nbDecision=28000 #constraints=23189
413.44/413.62	c nbDecision=28500 #constraints=23602
433.23/433.44	c nbDecision=29000 #constraints=24027
450.53/450.74	c nbDecision=29500 #constraints=24429
468.02/468.21	c nbDecision=30000 #constraints=24826
487.31/487.57	c nbDecision=30500 #constraints=25239
506.40/506.65	c nbDecision=31000 #constraints=25673
525.11/525.38	c nbDecision=31500 #constraints=26109
546.79/547.03	c nbDecision=32000 #constraints=26562
568.39/568.66	c nbDecision=32500 #constraints=27008
589.78/590.08	c nbDecision=33000 #constraints=27421
609.77/610.08	c nbDecision=33500 #constraints=27848
628.76/629.09	c nbDecision=34000 #constraints=28288
647.96/648.29	c nbDecision=34500 #constraints=28698
668.65/668.91	c nbDecision=35000 #constraints=29102
690.14/690.40	c nbDecision=35500 #constraints=29511
714.23/714.54	c nbDecision=36000 #constraints=29929
738.12/738.47	c nbDecision=36500 #constraints=30338
757.63/757.95	c nbDecision=37000 #constraints=30717
780.21/780.55	c nbDecision=37500 #constraints=31147
802.40/802.72	c nbDecision=38000 #constraints=31569
826.80/827.18	c nbDecision=38500 #constraints=32000
851.68/852.07	c nbDecision=39000 #constraints=32415
876.38/876.80	c nbDecision=39500 #constraints=32835
903.46/903.83	c nbDecision=40000 #constraints=33284
929.76/930.11	c nbDecision=40500 #constraints=33728
956.05/956.44	c nbDecision=41000 #constraints=34173
981.53/981.90	c nbDecision=41500 #constraints=34621
1005.33/1005.74	c nbDecision=42000 #constraints=35044
1029.23/1029.67	c nbDecision=42500 #constraints=35475
1054.81/1055.29	c nbDecision=43000 #constraints=35895
1083.11/1083.54	c nbDecision=43500 #constraints=36255
1113.19/1113.68	c nbDecision=44000 #constraints=36678
1143.88/1144.34	c nbDecision=44500 #constraints=37100
1172.77/1173.24	c nbDecision=45000 #constraints=37534
1197.46/1197.95	c nbDecision=45500 #constraints=37879
1218.75/1219.28	c nbDecision=46000 #constraints=38205
1240.95/1241.40	c nbDecision=46500 #constraints=38519
1266.64/1267.20	c nbDecision=47000 #constraints=38870
1296.02/1296.56	c nbDecision=47500 #constraints=39265
1328.11/1328.69	c nbDecision=48000 #constraints=39688
1358.81/1359.31	c nbDecision=48500 #constraints=40094
1390.90/1391.49	c nbDecision=49000 #constraints=40495
1422.28/1422.83	c nbDecision=49500 #constraints=40916
1455.97/1456.54	c nbDecision=50000 #constraints=41322
1488.25/1488.87	c nbDecision=50500 #constraints=41734
1519.75/1520.34	c nbDecision=51000 #constraints=42149
1533.54/1534.12	c restart after 51201 decisions
1541.44/1542.06	c nbDecision=51500 #constraints=42353
1583.23/1583.84	c nbDecision=52000 #constraints=42720
1621.01/1621.70	c nbDecision=52500 #constraints=43077
1656.00/1656.69	c nbDecision=53000 #constraints=43435
1690.78/1691.48	c nbDecision=53500 #constraints=43802
1730.17/1730.82	c nbDecision=54000 #constraints=44181
1768.76/1769.45	c nbDecision=54500 #constraints=44538
1800.05/1800.71	Received signal 15
1800.05/1800.72	
1800.05/1800.72	s UNKNOWN
1800.05/1800.72	
1800.05/1800.72	c user time= 1799.7 s
1800.05/1800.72	c system time= 0.376942 s
1800.05/1800.72	c wall clock time=1800.72

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/node20/watcher-356946-1176849046 -o ROOT/results/node20/solver-356946-1176849046 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356946-1176849046/instance-356946-1176849046.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.91 0.95 0.93 3/77 15089
/proc/meminfo: memFree=1722528/2055920 swapFree=4148048/4192956
[pid=15089] ppid=15087 vsize=1468 CPUtime=0
/proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 180 0 0 0 0 0 0 0 18 0 1 0 132821949 1503232 162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15089/statm: 367 162 131 317 0 46 0

[startup+0.051464 s]
/proc/loadavg: 0.91 0.95 0.93 3/77 15089
/proc/meminfo: memFree=1722528/2055920 swapFree=4148048/4192956
[pid=15089] ppid=15087 vsize=2404 CPUtime=0.04
/proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 398 0 0 0 4 0 0 0 18 0 1 0 132821949 2461696 380 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15089/statm: 601 380 131 317 0 280 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2404

[startup+0.101474 s]
/proc/loadavg: 0.91 0.95 0.93 3/77 15089
/proc/meminfo: memFree=1722528/2055920 swapFree=4148048/4192956
[pid=15089] ppid=15087 vsize=3476 CPUtime=0.09
/proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 657 0 0 0 9 0 0 0 18 0 1 0 132821949 3559424 639 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15089/statm: 869 639 131 317 0 548 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3476

[startup+0.301514 s]
/proc/loadavg: 0.91 0.95 0.93 3/77 15089
/proc/meminfo: memFree=1722528/2055920 swapFree=4148048/4192956
[pid=15089] ppid=15087 vsize=7384 CPUtime=0.29
/proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 1618 0 0 0 29 0 0 0 19 0 1 0 132821949 7561216 1600 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15089/statm: 1846 1600 131 317 0 1525 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7384

[startup+0.701595 s]
/proc/loadavg: 0.91 0.95 0.93 3/77 15089
/proc/meminfo: memFree=1722528/2055920 swapFree=4148048/4192956
[pid=15089] ppid=15087 vsize=18124 CPUtime=0.69
/proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 4310 0 0 0 67 2 0 0 22 0 1 0 132821949 18558976 4292 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15089/statm: 4531 4292 138 317 0 4210 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18124

[startup+1.50176 s]
/proc/loadavg: 0.91 0.95 0.93 2/78 15090
/proc/meminfo: memFree=1705752/2055920 swapFree=4148048/4192956
[pid=15089] ppid=15087 vsize=18460 CPUtime=1.49
/proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 4393 0 0 0 147 2 0 0 25 0 1 0 132821949 18903040 4375 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606864 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15089/statm: 4615 4375 170 317 0 4294 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18460

[startup+3.10108 s]
/proc/loadavg: 0.92 0.95 0.93 2/78 15090
/proc/meminfo: memFree=1705176/2055920 swapFree=4148048/4192956
[pid=15089] ppid=15087 vsize=19248 CPUtime=3.09
/proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 4613 0 0 0 307 2 0 0 25 0 1 0 132821949 19709952 4595 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15089/statm: 4812 4595 170 317 0 4491 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19248

[startup+6.30272 s]
/proc/loadavg: 0.92 0.95 0.93 2/78 15090
/proc/meminfo: memFree=1703008/2055920 swapFree=4148048/4192956
[pid=15089] ppid=15087 vsize=21508 CPUtime=6.29
/proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 5149 0 0 0 626 3 0 0 25 0 1 0 132821949 22024192 5131 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385188 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15089/statm: 5377 5131 170 317 0 5056 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21508

[startup+12.702 s]
/proc/loadavg: 0.93 0.96 0.93 2/78 15090
/proc/meminfo: memFree=1698912/2055920 swapFree=4148048/4192956
[pid=15089] ppid=15087 vsize=25472 CPUtime=12.68
/proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 6142 0 0 0 1264 4 0 0 25 0 1 0 132821949 26083328 6124 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15089/statm: 6368 6124 170 317 0 6047 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 25472

[startup+25.5016 s]
/proc/loadavg: 0.94 0.96 0.93 2/78 15090
/proc/meminfo: memFree=1693472/2055920 swapFree=4148048/4192956
[pid=15089] ppid=15087 vsize=31044 CPUtime=25.48
/proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 7430 0 0 0 2543 5 0 0 25 0 1 0 132821949 31789056 7376 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715645 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15089/statm: 7761 7376 170 317 0 7440 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 31044

[startup+51.1017 s]
/proc/loadavg: 0.96 0.96 0.93 2/78 15090
/proc/meminfo: memFree=1688928/2055920 swapFree=4148048/4192956
[pid=15089] ppid=15087 vsize=35820 CPUtime=51.07
/proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 8595 0 0 0 5101 6 0 0 25 0 1 0 132821949 36679680 8541 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15089/statm: 8955 8541 170 317 0 8634 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 35820

[startup+102.306 s]
/proc/loadavg: 0.98 0.96 0.93 2/78 15090
/proc/meminfo: memFree=1682400/2055920 swapFree=4148112/4192956
[pid=15089] ppid=15087 vsize=42904 CPUtime=102.25
/proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 10247 0 0 0 10217 8 0 0 25 0 1 0 132821949 43933696 10122 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15089/statm: 10726 10122 170 317 0 10405 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 42904

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 15090
/proc/meminfo: memFree=1675872/2055920 swapFree=4148112/4192956
[pid=15089] ppid=15087 vsize=49276 CPUtime=162.23
/proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 11851 0 0 0 16212 11 0 0 25 0 1 0 132821949 50458624 11726 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15089/statm: 12319 11726 170 317 0 11998 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 49276

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 15090
/proc/meminfo: memFree=1671392/2055920 swapFree=4148112/4192956
[pid=15089] ppid=15087 vsize=53840 CPUtime=222.21
/proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 12974 0 0 0 22208 13 0 0 25 0 1 0 132821949 55132160 12849 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15089/statm: 13460 12849 170 317 0 13139 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 53840

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 15090
/proc/meminfo: memFree=1667936/2055920 swapFree=4148176/4192956
[pid=15089] ppid=15087 vsize=57000 CPUtime=282.19
/proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 13868 0 0 0 28205 14 0 0 25 0 1 0 132821949 58368000 13743 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15089/statm: 14250 13743 170 317 0 13929 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 57000

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 15090
/proc/meminfo: memFree=1664672/2055920 swapFree=4148176/4192956
[pid=15089] ppid=15087 vsize=62248 CPUtime=342.17
/proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 15133 0 0 0 34201 16 0 0 25 0 1 0 132821949 63741952 14536 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15089/statm: 15562 14536 170 317 0 15241 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 62248

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 15090
/proc/meminfo: memFree=1661664/2055920 swapFree=4148176/4192956
[pid=15089] ppid=15087 vsize=65128 CPUtime=402.14
/proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 15906 0 0 0 40197 17 0 0 25 0 1 0 132821949 66691072 15276 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15089/statm: 16282 15276 170 317 0 15961 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 65128

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 15092
/proc/meminfo: memFree=1659296/2055920 swapFree=4148240/4192956
[pid=15089] ppid=15087 vsize=67688 CPUtime=462.12
/proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 16554 0 0 0 46194 18 0 0 25 0 1 0 132821949 69312512 15891 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15089/statm: 16922 15891 170 317 0 16601 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 67688

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 15092
/proc/meminfo: memFree=1656800/2055920 swapFree=4148240/4192956
[pid=15089] ppid=15087 vsize=70412 CPUtime=522.11
/proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 17334 0 0 0 52192 19 0 0 25 0 1 0 132821949 72101888 16539 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15089/statm: 17603 16539 170 317 0 17282 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 70412

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 15092
/proc/meminfo: memFree=1654560/2055920 swapFree=4148240/4192956
[pid=15089] ppid=15087 vsize=72244 CPUtime=582.08
/proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 17874 0 0 0 58188 20 0 0 25 0 1 0 132821949 73977856 17079 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15089/statm: 18061 17079 170 317 0 17740 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 72244

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 15092
/proc/meminfo: memFree=1652064/2055920 swapFree=4148304/4192956
[pid=15089] ppid=15087 vsize=74720 CPUtime=642.06
/proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 18526 0 0 0 64185 21 0 0 25 0 1 0 132821949 76513280 17698 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15089/statm: 18680 17698 170 317 0 18359 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 74720


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 15092
/proc/meminfo: memFree=1643936/2055920 swapFree=4148432/4192956
[pid=15089] ppid=15087 vsize=82660 CPUtime=881.97
/proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 20762 0 0 0 88172 25 0 0 25 0 1 0 132821949 84643840 19736 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564062 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15089/statm: 20665 19736 170 317 0 20344 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 82660

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 15092
/proc/meminfo: memFree=1642208/2055920 swapFree=4148432/4192956
[pid=15089] ppid=15087 vsize=84236 CPUtime=941.95
/proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 21198 0 0 0 94169 26 0 0 25 0 1 0 132821949 86257664 20172 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15089/statm: 21059 20172 170 317 0 20738 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 84236

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 15092
/proc/meminfo: memFree=1640352/2055920 swapFree=4148432/4192956
[pid=15089] ppid=15087 vsize=85952 CPUtime=1001.93
/proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 21686 0 0 0 100166 27 0 0 25 0 1 0 132821949 88014848 20627 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15089/statm: 21488 20627 170 317 0 21167 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 85952

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 15092
/proc/meminfo: memFree=1638432/2055920 swapFree=4148496/4192956
[pid=15089] ppid=15087 vsize=87776 CPUtime=1061.91
/proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 22182 0 0 0 106164 27 0 0 25 0 1 0 132821949 89882624 21123 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15089/statm: 21944 21123 170 317 0 21623 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 87776

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 15092
/proc/meminfo: memFree=1636512/2055920 swapFree=4148496/4192956
[pid=15089] ppid=15087 vsize=92796 CPUtime=1121.88
/proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 23361 0 0 0 112160 28 0 0 25 0 1 0 132821949 95023104 21587 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15089/statm: 23199 21587 170 317 0 22878 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 92796

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 15092
/proc/meminfo: memFree=1635168/2055920 swapFree=4148560/4192956
[pid=15089] ppid=15087 vsize=94876 CPUtime=1181.86
/proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 23921 0 0 0 118157 29 0 0 25 0 1 0 132821949 97153024 21919 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15089/statm: 23719 21919 170 317 0 23398 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 94876

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 15092
/proc/meminfo: memFree=1633568/2055920 swapFree=4148560/4192956
[pid=15089] ppid=15087 vsize=96308 CPUtime=1241.85
/proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 24340 0 0 0 124155 30 0 0 25 0 1 0 132821949 98619392 22305 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15089/statm: 24077 22305 170 317 0 23756 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 96308

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 15092
/proc/meminfo: memFree=1632032/2055920 swapFree=4148560/4192956
[pid=15089] ppid=15087 vsize=97740 CPUtime=1301.83
/proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 24753 0 0 0 130152 31 0 0 25 0 1 0 132821949 100085760 22685 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15089/statm: 24435 22685 170 317 0 24114 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 97740

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 15092
/proc/meminfo: memFree=1630496/2055920 swapFree=4148624/4192956
[pid=15089] ppid=15087 vsize=99304 CPUtime=1361.81
/proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 25222 0 0 0 136149 32 0 0 25 0 1 0 132821949 101687296 23056 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15089/statm: 24826 23056 170 317 0 24505 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 99304

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 15092
/proc/meminfo: memFree=1629024/2055920 swapFree=4148624/4192956
[pid=15089] ppid=15087 vsize=100860 CPUtime=1421.79
/proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 25639 0 0 0 142146 33 0 0 25 0 1 0 132821949 103280640 23408 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15089/statm: 25215 23408 170 317 0 24894 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 100860

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 15092
/proc/meminfo: memFree=1627168/2055920 swapFree=4148624/4192956
[pid=15089] ppid=15087 vsize=103428 CPUtime=1481.75
/proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 26401 0 0 0 148142 33 0 0 25 0 1 0 132821949 105910272 23823 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564032 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15089/statm: 25857 23823 170 317 0 25536 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 103428

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 15092
/proc/meminfo: memFree=1626336/2055920 swapFree=4148688/4192956
[pid=15089] ppid=15087 vsize=104852 CPUtime=1541.74
/proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 26830 0 0 0 154140 34 0 0 25 0 1 0 132821949 107368448 24122 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15089/statm: 26213 24122 170 317 0 25892 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 104852

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 15092
/proc/meminfo: memFree=1625568/2055920 swapFree=4148688/4192956
[pid=15089] ppid=15087 vsize=105636 CPUtime=1601.71
/proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 27028 0 0 0 160136 35 0 0 25 0 1 0 132821949 108171264 24320 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15089/statm: 26409 24320 170 317 0 26088 0
Current children cumulated CPU time (s) 1601.71
Current children cumulated vsize (KiB) 105636

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 15092
/proc/meminfo: memFree=1624544/2055920 swapFree=4148688/4192956
[pid=15089] ppid=15087 vsize=106428 CPUtime=1661.7
/proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 27263 0 0 0 166134 36 0 0 25 0 1 0 132821949 108982272 24555 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15089/statm: 26607 24555 170 317 0 26286 0
Current children cumulated CPU time (s) 1661.7
Current children cumulated vsize (KiB) 106428

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 15092
/proc/meminfo: memFree=1623648/2055920 swapFree=4148752/4192956
[pid=15089] ppid=15087 vsize=107340 CPUtime=1721.67
/proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 27538 0 0 0 172131 36 0 0 25 0 1 0 132821949 109916160 24797 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15089/statm: 26835 24797 170 317 0 26514 0
Current children cumulated CPU time (s) 1721.67
Current children cumulated vsize (KiB) 107340

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 15092
/proc/meminfo: memFree=1622752/2055920 swapFree=4148752/4192956
[pid=15089] ppid=15087 vsize=107992 CPUtime=1781.65
/proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 27735 0 0 0 178128 37 0 0 25 0 1 0 132821949 110583808 24994 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15089/statm: 26998 24994 170 317 0 26677 0
Current children cumulated CPU time (s) 1781.65
Current children cumulated vsize (KiB) 107992



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 15092
/proc/meminfo: memFree=1622368/2055920 swapFree=4148752/4192956
[pid=15089] ppid=15087 vsize=108384 CPUtime=1800.05
/proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 27819 0 0 0 179968 37 0 0 25 0 1 0 132821949 110985216 25078 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15089/statm: 27096 25078 170 317 0 26775 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 108384

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

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

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 15092
/proc/meminfo: memFree=1622368/2055920 swapFree=4148752/4192956
[pid=15089] ppid=15087 vsize=108384 CPUtime=1800.05
/proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 27819 0 0 0 179968 37 0 0 25 0 1 0 132821949 110985216 25078 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15089/statm: 27096 25078 170 317 0 26775 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 108384

Child status: 0
Real time (s): 1800.75
CPU time (s): 1800.11
CPU user time (s): 1799.71
CPU system time (s): 0.39294
CPU usage (%): 99.9641
Max. virtual memory (cumulated for all children) (KiB): 108384

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

runsolver used 2.06768 second user time and 4.49232 second system time

The end

Launcher Data (download as text)

Begin job on node20 on Tue Apr 17 22:30:46 UTC 2007

IDJOB= 356946
IDBENCH= 1672
IDSOLVER= 172
FILE ID= node20/356946-1176849046

PBS_JOBID= 4590206

Free space on /tmp= 66494 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-perold.opb
COMMAND LINE= oree /tmp/evaluation/356946-1176849046/instance-356946-1176849046.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node20/watcher-356946-1176849046 -o ROOT/results/node20/solver-356946-1176849046 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/356946-1176849046/instance-356946-1176849046.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  1cb0147510c9838b4e6052b678a2a523

RANDOM SEED= 507814274

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node20.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.265
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.265
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:       1722936 kB
Buffers:         34444 kB
Cached:         239416 kB
SwapCached:      22892 kB
Active:         140316 kB
Inactive:       163228 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1722936 kB
SwapTotal:     4192956 kB
SwapFree:      4148048 kB
Dirty:            2996 kB
Writeback:           0 kB
Mapped:          32216 kB
Slab:            14924 kB
Committed_AS:  1820056 kB
PageTables:       1744 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= 66494 MiB

End job on node20 on Tue Apr 17 23:00:49 UTC 2007