Trace number 362958

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

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-brandy.opb
MD5SUM7959aed3004450db7e4c9db414503999
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark6.579
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables7470
Total number of constraints182
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 constraints182
Minimum length of a constraint30
Maximum length of a constraint3540
Number of terms in the objective function 60
Biggest coefficient in the objective function 131073
Number of bits for the biggest coefficient in the objective function 18
Sum of the numbers in the objective function 524346
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 527202
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.09/0.18	c ...done
0.09/0.18	c #vars=7470 #constraints=322 hasObjective=yes
0.19/0.21	c res. mode=mod
0.19/0.21	c VSIDS like heuristics
0.19/0.21	c complete search running
0.39/0.42	c restart after 401 decisions
0.39/0.43	c nbDecision=500 #constraints=396
0.59/0.67	c restart after 801 decisions
0.69/0.72	c nbDecision=1000 #constraints=497
0.99/1.06	c nbDecision=1500 #constraints=592
1.09/1.11	c restart after 1601 decisions
1.29/1.33	c nbDecision=2000 #constraints=692
1.69/1.74	c nbDecision=2500 #constraints=818
2.39/2.49	c nbDecision=3000 #constraints=1102
2.89/2.92	c restart after 3201 decisions
2.99/3.08	c nbDecision=3500 #constraints=1306
4.40/4.43	c nbDecision=4000 #constraints=1675
5.59/5.62	c nbDecision=4500 #constraints=1913
7.09/7.11	c nbDecision=5000 #constraints=2152
8.38/8.43	c nbDecision=5500 #constraints=2388
9.80/9.87	c nbDecision=6000 #constraints=2605
10.99/11.08	c restart after 6401 decisions
11.09/11.16	c nbDecision=6500 #constraints=2786
11.59/11.63	c nbDecision=7000 #constraints=2845
11.99/12.08	c nbDecision=7500 #constraints=2884
12.59/12.69	c nbDecision=8000 #constraints=2966
13.29/13.33	c nbDecision=8500 #constraints=3042
13.79/13.81	c nbDecision=9000 #constraints=3099
14.09/14.18	c nbDecision=9500 #constraints=3153
14.59/14.67	c nbDecision=10000 #constraints=3206
15.48/15.56	c nbDecision=10500 #constraints=3344
16.28/16.33	c nbDecision=11000 #constraints=3464
17.08/17.10	c nbDecision=11500 #constraints=3562
17.68/17.79	c nbDecision=12000 #constraints=3642
18.39/18.48	c nbDecision=12500 #constraints=3717
18.89/19.00	c restart after 12801 decisions
19.19/19.27	c nbDecision=13000 #constraints=3792
21.08/21.11	c nbDecision=13500 #constraints=4175
23.18/23.26	c nbDecision=14000 #constraints=4562
25.58/25.70	c nbDecision=14500 #constraints=4953
28.49/28.60	c nbDecision=15000 #constraints=5375
31.79/31.83	c nbDecision=15500 #constraints=5784
35.09/35.16	c nbDecision=16000 #constraints=6146
39.18/39.22	c nbDecision=16500 #constraints=6531
43.88/43.93	c nbDecision=17000 #constraints=6945
48.88/48.98	c nbDecision=17500 #constraints=7356
54.07/54.14	c nbDecision=18000 #constraints=7753
59.57/59.67	c nbDecision=18500 #constraints=8157
65.77/65.88	c nbDecision=19000 #constraints=8571
72.17/72.29	c nbDecision=19500 #constraints=8989
78.97/79.07	c nbDecision=20000 #constraints=9406
86.26/86.39	c nbDecision=20500 #constraints=9820
94.77/94.84	c nbDecision=21000 #constraints=10225
104.17/104.21	c nbDecision=21500 #constraints=10657
114.16/114.24	c nbDecision=22000 #constraints=11076
125.26/125.36	c nbDecision=22500 #constraints=11511
137.56/137.63	c nbDecision=23000 #constraints=11955
145.65/145.70	c nbDecision=23500 #constraints=12299
154.15/154.21	c nbDecision=24000 #constraints=12647
163.65/163.76	c nbDecision=24500 #constraints=12979
173.75/173.87	c nbDecision=25000 #constraints=13344
184.54/184.69	c nbDecision=25500 #constraints=13735
186.84/186.93	c restart after 25601 decisions
193.04/193.10	c nbDecision=26000 #constraints=13918
203.74/203.87	c nbDecision=26500 #constraints=14136
214.03/214.19	c nbDecision=27000 #constraints=14325
227.83/227.97	c nbDecision=27500 #constraints=14587
240.63/240.71	c nbDecision=28000 #constraints=14824
251.03/251.19	c nbDecision=28500 #constraints=15033
263.12/263.23	c nbDecision=29000 #constraints=15272
275.42/275.57	c nbDecision=29500 #constraints=15499
287.02/287.12	c nbDecision=30000 #constraints=15689
299.11/299.25	c nbDecision=30500 #constraints=15903
312.01/312.16	c nbDecision=31000 #constraints=16142
320.61/320.78	c nbDecision=31500 #constraints=16271
334.11/334.24	c nbDecision=32000 #constraints=16513
346.90/347.03	c nbDecision=32500 #constraints=16730
360.99/361.15	c nbDecision=33000 #constraints=16963
372.60/372.75	c nbDecision=33500 #constraints=17157
386.40/386.53	c nbDecision=34000 #constraints=17406
399.79/399.96	c nbDecision=34500 #constraints=17641
411.09/411.23	c nbDecision=35000 #constraints=17834
419.38/419.60	c nbDecision=35500 #constraints=17965
426.38/426.54	c nbDecision=36000 #constraints=18090
432.08/432.28	c nbDecision=36500 #constraints=18183
441.18/441.36	c nbDecision=37000 #constraints=18378
458.67/458.86	c nbDecision=37500 #constraints=18668
474.47/474.61	c nbDecision=38000 #constraints=18891
493.67/493.86	c nbDecision=38500 #constraints=19152
508.96/509.20	c nbDecision=39000 #constraints=19387
524.65/524.85	c nbDecision=39500 #constraints=19610
536.45/536.65	c nbDecision=40000 #constraints=19807
551.85/552.00	c nbDecision=40500 #constraints=20053
567.84/568.04	c nbDecision=41000 #constraints=20305
581.34/581.59	c nbDecision=41500 #constraints=20517
597.54/597.72	c nbDecision=42000 #constraints=20767
613.13/613.37	c nbDecision=42500 #constraints=21010
629.73/629.90	c nbDecision=43000 #constraints=21265
644.23/644.48	c nbDecision=43500 #constraints=21471
661.02/661.29	c nbDecision=44000 #constraints=21700
676.02/676.28	c nbDecision=44500 #constraints=21921
690.31/690.53	c nbDecision=45000 #constraints=22110
705.81/706.08	c nbDecision=45500 #constraints=22331
720.21/720.47	c nbDecision=46000 #constraints=22537
733.41/733.67	c nbDecision=46500 #constraints=22712
747.29/747.50	c nbDecision=47000 #constraints=22897
760.70/760.98	c nbDecision=47500 #constraints=23068
777.39/777.68	c nbDecision=48000 #constraints=23297
793.08/793.31	c nbDecision=48500 #constraints=23517
811.08/811.38	c nbDecision=49000 #constraints=23747
828.48/828.70	c nbDecision=49500 #constraints=23972
844.98/845.29	c nbDecision=50000 #constraints=24182
859.97/860.24	c nbDecision=50500 #constraints=24382
877.17/877.47	c nbDecision=51000 #constraints=24609
882.66/882.99	c restart after 51201 decisions
888.46/888.74	c nbDecision=51500 #constraints=24762
909.66/909.95	c nbDecision=52000 #constraints=25025
931.66/931.96	c nbDecision=52500 #constraints=25276
943.75/944.04	c nbDecision=53000 #constraints=25430
962.04/962.33	c nbDecision=53500 #constraints=25710
981.34/981.69	c nbDecision=54000 #constraints=25980
1002.93/1003.25	c nbDecision=54500 #constraints=26242
1022.93/1023.22	c nbDecision=55000 #constraints=26473
1040.33/1040.69	c nbDecision=55500 #constraints=26690
1058.49/1058.89	c nbDecision=56000 #constraints=26881
1079.64/1080.01	c nbDecision=56500 #constraints=27132
1097.62/1098.05	c nbDecision=57000 #constraints=27344
1115.30/1115.72	c nbDecision=57500 #constraints=27577
1129.20/1129.62	c nbDecision=58000 #constraints=27743
1151.49/1151.94	c nbDecision=58500 #constraints=28004
1170.18/1170.63	c nbDecision=59000 #constraints=28202
1191.58/1192.05	c nbDecision=59500 #constraints=28453
1210.28/1210.79	c nbDecision=60000 #constraints=28668
1223.37/1223.83	c nbDecision=60500 #constraints=28819
1240.97/1241.47	c nbDecision=61000 #constraints=29028
1254.36/1254.80	c nbDecision=61500 #constraints=29180
1267.76/1268.24	c nbDecision=62000 #constraints=29385
1290.25/1290.76	c nbDecision=62500 #constraints=29688
1314.55/1315.01	c nbDecision=63000 #constraints=29952
1338.14/1338.62	c nbDecision=63500 #constraints=30188
1363.73/1364.28	c nbDecision=64000 #constraints=30448
1389.73/1390.20	c nbDecision=64500 #constraints=30711
1411.22/1411.79	c nbDecision=65000 #constraints=30943
1426.22/1426.80	c nbDecision=65500 #constraints=31094
1446.21/1446.76	c nbDecision=66000 #constraints=31318
1462.91/1463.40	c nbDecision=66500 #constraints=31493
1478.10/1478.69	c nbDecision=67000 #constraints=31661
1493.70/1494.26	c nbDecision=67500 #constraints=31828
1504.90/1505.44	c nbDecision=68000 #constraints=31948
1513.39/1513.99	c nbDecision=68500 #constraints=32016
1520.00/1520.53	c nbDecision=69000 #constraints=32078
1535.79/1536.39	c nbDecision=69500 #constraints=32221
1558.29/1558.83	c nbDecision=70000 #constraints=32432
1576.78/1577.39	c nbDecision=70500 #constraints=32605
1598.38/1598.96	c nbDecision=71000 #constraints=32809
1616.47/1617.02	c nbDecision=71500 #constraints=32989
1633.97/1634.60	c nbDecision=72000 #constraints=33151
1658.36/1658.90	c nbDecision=72500 #constraints=33382
1672.15/1672.76	c nbDecision=73000 #constraints=33498
1683.05/1683.62	c nbDecision=73500 #constraints=33590
1691.65/1692.25	c nbDecision=74000 #constraints=33651
1713.35/1713.93	c nbDecision=74500 #constraints=33869
1736.34/1736.99	c nbDecision=75000 #constraints=34103
1752.54/1753.19	c nbDecision=75500 #constraints=34265
1772.33/1772.94	c nbDecision=76000 #constraints=34430
1790.93/1791.58	c nbDecision=76500 #constraints=34627
1800.03/1800.60	Received signal 15
1800.13/1800.74	
1800.13/1800.74	s UNKNOWN
1800.13/1800.74	
1800.13/1800.74	c user time= 1799.34 s
1800.13/1800.74	c system time= 0.834873 s
1800.13/1800.74	c wall clock time=1800.74

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/node63/watcher-362958-1176849807 -o ROOT/results/node63/solver-362958-1176849807 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362958-1176849807/instance-362958-1176849807.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.77 0.92 0.94 2/64 21980
/proc/meminfo: memFree=1664908/2055920 swapFree=4168472/4192956
[pid=21980] ppid=21978 vsize=1468 CPUtime=0
/proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 160970626 1503232 163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715266 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21980/statm: 367 163 131 317 0 46 0

[startup+0.066461 s]
/proc/loadavg: 0.77 0.92 0.94 2/64 21980
/proc/meminfo: memFree=1664908/2055920 swapFree=4168472/4192956
[pid=21980] ppid=21978 vsize=3012 CPUtime=0.06
/proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 552 0 0 0 6 0 0 0 18 0 1 0 160970626 3084288 534 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21980/statm: 753 535 131 317 0 432 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 3012

[startup+0.101465 s]
/proc/loadavg: 0.77 0.92 0.94 2/64 21980
/proc/meminfo: memFree=1664908/2055920 swapFree=4168472/4192956
[pid=21980] ppid=21978 vsize=3976 CPUtime=0.09
/proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 763 0 0 0 9 0 0 0 18 0 1 0 160970626 4071424 745 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21980/statm: 994 745 131 317 0 673 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3976

[startup+0.301485 s]
/proc/loadavg: 0.77 0.92 0.94 2/64 21980
/proc/meminfo: memFree=1664908/2055920 swapFree=4168472/4192956
[pid=21980] ppid=21978 vsize=7928 CPUtime=0.29
/proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 1758 0 0 0 29 0 0 0 19 0 1 0 160970626 8118272 1740 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718884 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21980/statm: 1982 1740 139 317 0 1661 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7928

[startup+0.701528 s]
/proc/loadavg: 0.77 0.92 0.94 2/64 21980
/proc/meminfo: memFree=1664908/2055920 swapFree=4168472/4192956
[pid=21980] ppid=21978 vsize=8844 CPUtime=0.69
/proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 2034 0 0 0 69 0 0 0 23 0 1 0 160970626 9056256 2016 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21980/statm: 2211 2016 170 317 0 1890 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8844

[startup+1.50161 s]
/proc/loadavg: 0.77 0.92 0.94 2/65 21981
/proc/meminfo: memFree=1656772/2055920 swapFree=4168472/4192956
[pid=21980] ppid=21978 vsize=11336 CPUtime=1.49
/proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 2653 0 0 0 149 0 0 0 25 0 1 0 160970626 11608064 2635 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21980/statm: 2834 2635 170 317 0 2513 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11336

[startup+3.10178 s]
/proc/loadavg: 0.79 0.92 0.94 2/65 21981
/proc/meminfo: memFree=1651460/2055920 swapFree=4168472/4192956
[pid=21980] ppid=21978 vsize=20704 CPUtime=3.09
/proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 4978 0 0 0 308 1 0 0 25 0 1 0 160970626 21200896 4960 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21980/statm: 5176 4960 170 317 0 4855 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20704

[startup+6.30112 s]
/proc/loadavg: 0.79 0.92 0.94 2/65 21981
/proc/meminfo: memFree=1635716/2055920 swapFree=4168472/4192956
[pid=21980] ppid=21978 vsize=32992 CPUtime=6.29
/proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 8023 0 0 0 626 3 0 0 25 0 1 0 160970626 33783808 8005 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602404 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21980/statm: 8248 8005 170 317 0 7927 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32992

[startup+12.7018 s]
/proc/loadavg: 0.82 0.93 0.94 2/65 21981
/proc/meminfo: memFree=1622020/2055920 swapFree=4168472/4192956
[pid=21980] ppid=21978 vsize=49228 CPUtime=12.68
/proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 11701 0 0 0 1264 4 0 0 25 0 1 0 160970626 50409472 11683 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21980/statm: 12307 11683 170 317 0 11986 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 49228

[startup+25.5011 s]
/proc/loadavg: 0.85 0.93 0.94 2/65 21981
/proc/meminfo: memFree=1588996/2055920 swapFree=4168472/4192956
[pid=21980] ppid=21978 vsize=77984 CPUtime=25.48
/proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 19250 0 0 0 2539 9 0 0 25 0 1 0 160970626 79855616 19232 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21980/statm: 19496 19232 170 317 0 19175 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 77984

[startup+51.1019 s]
/proc/loadavg: 0.90 0.93 0.94 2/65 21981
/proc/meminfo: memFree=1543492/2055920 swapFree=4168472/4192956
[pid=21980] ppid=21978 vsize=126136 CPUtime=51.07
/proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 30611 0 0 0 5092 15 0 0 25 0 1 0 160970626 129163264 30593 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21980/statm: 31534 30593 170 317 0 31213 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 126136

[startup+102.304 s]
/proc/loadavg: 0.96 0.94 0.94 2/65 21981
/proc/meminfo: memFree=1486404/2055920 swapFree=4168472/4192956
[pid=21980] ppid=21978 vsize=189860 CPUtime=102.27
/proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 44752 0 0 0 10205 22 0 0 25 0 1 0 160970626 194416640 44677 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563625 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21980/statm: 47465 44677 170 317 0 47144 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 189860

[startup+162.302 s]
/proc/loadavg: 0.98 0.95 0.94 2/65 21981
/proc/meminfo: memFree=1449732/2055920 swapFree=4168472/4192956
[pid=21980] ppid=21978 vsize=225416 CPUtime=162.25
/proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 53982 0 0 0 16198 27 0 0 25 0 1 0 160970626 230825984 53907 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712503 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21980/statm: 56354 53907 170 317 0 56033 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 225416

[startup+222.302 s]
/proc/loadavg: 0.99 0.95 0.94 2/65 21981
/proc/meminfo: memFree=1425220/2055920 swapFree=4168472/4192956
[pid=21980] ppid=21978 vsize=247392 CPUtime=222.24
/proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 60009 0 0 0 22193 31 0 0 25 0 1 0 160970626 253329408 59934 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21980/statm: 61848 59934 170 317 0 61527 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 247392

[startup+282.301 s]
/proc/loadavg: 0.99 0.96 0.94 2/65 21981
/proc/meminfo: memFree=1408580/2055920 swapFree=4168472/4192956
[pid=21980] ppid=21978 vsize=262712 CPUtime=282.22
/proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 64183 0 0 0 28189 33 0 0 25 0 1 0 160970626 269017088 64108 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21980/statm: 65678 64108 170 317 0 65357 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 262712

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 21981
/proc/meminfo: memFree=1392388/2055920 swapFree=4168472/4192956
[pid=21980] ppid=21978 vsize=277956 CPUtime=342.2
/proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 68318 0 0 0 34185 35 0 0 25 0 1 0 160970626 284626944 68130 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21980/statm: 69489 68130 170 317 0 69168 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 277956

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 21981
/proc/meminfo: memFree=1376516/2055920 swapFree=4168472/4192956
[pid=21980] ppid=21978 vsize=292568 CPUtime=402.19
/proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 72316 0 0 0 40181 38 0 0 25 0 1 0 160970626 299589632 72128 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21980/statm: 73142 72128 170 317 0 72821 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 292568

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 21981
/proc/meminfo: memFree=1352324/2055920 swapFree=4168472/4192956
[pid=21980] ppid=21978 vsize=345564 CPUtime=462.17
/proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 83561 0 0 0 46174 43 0 0 25 0 1 0 160970626 353857536 78093 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563625 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21980/statm: 86391 78093 170 317 0 86070 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 345564

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 21981
/proc/meminfo: memFree=1338372/2055920 swapFree=4168472/4192956
[pid=21980] ppid=21978 vsize=358236 CPUtime=522.15
/proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 87230 0 0 0 52170 45 0 0 25 0 1 0 160970626 366833664 81630 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21980/statm: 89559 81630 170 317 0 89238 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 358236

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 21981
/proc/meminfo: memFree=1323332/2055920 swapFree=4168472/4192956
[pid=21980] ppid=21978 vsize=371920 CPUtime=582.14
/proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 90963 0 0 0 58166 48 0 0 25 0 1 0 160970626 380846080 85363 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21980/statm: 92980 85363 170 317 0 92659 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 371920

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 21981
/proc/meminfo: memFree=1308292/2055920 swapFree=4168472/4192956
[pid=21980] ppid=21978 vsize=385024 CPUtime=642.13
/proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 94670 0 0 0 64163 50 0 0 25 0 1 0 160970626 394264576 89070 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21980/statm: 96256 89070 170 317 0 95935 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 385024


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 21981
/proc/meminfo: memFree=1255108/2055920 swapFree=4168472/4192956
[pid=21980] ppid=21978 vsize=431372 CPUtime=882.06
/proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 107999 0 0 0 88147 59 0 0 25 0 1 0 160970626 441724928 102333 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21980/statm: 107843 102333 170 317 0 107522 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 431372

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 21981
/proc/meminfo: memFree=1243652/2055920 swapFree=4168472/4192956
[pid=21980] ppid=21978 vsize=442196 CPUtime=942.05
/proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 110972 0 0 0 94144 61 0 0 25 0 1 0 160970626 452808704 105240 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21980/statm: 110549 105240 170 317 0 110228 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 442196

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 21981
/proc/meminfo: memFree=1230980/2055920 swapFree=4168472/4192956
[pid=21980] ppid=21978 vsize=453700 CPUtime=1002.03
/proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 114121 0 0 0 100141 62 0 0 25 0 1 0 160970626 464588800 108356 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21980/statm: 113425 108356 170 317 0 113104 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 453700

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.94 2/71 22053
/proc/meminfo: memFree=1218060/2055920 swapFree=4168472/4192956
[pid=21980] ppid=21978 vsize=463360 CPUtime=1061.99
/proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 117046 0 0 0 106135 64 0 0 25 0 1 0 160970626 474480640 111281 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21980/statm: 115840 111281 170 317 0 115519 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 463360

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 22179
/proc/meminfo: memFree=1206596/2055920 swapFree=4168472/4192956
[pid=21980] ppid=21978 vsize=475200 CPUtime=1121.89
/proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 120135 0 0 0 112122 67 0 0 25 0 1 0 160970626 486604800 114370 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712505 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21980/statm: 118800 114370 170 317 0 118479 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 475200

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 22179
/proc/meminfo: memFree=1195972/2055920 swapFree=4168472/4192956
[pid=21980] ppid=21978 vsize=485040 CPUtime=1181.89
/proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 122887 0 0 0 118120 69 0 0 25 0 1 0 160970626 496680960 117122 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21980/statm: 121260 117122 170 317 0 120939 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 485040

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 22179
/proc/meminfo: memFree=1183748/2055920 swapFree=4168472/4192956
[pid=21980] ppid=21978 vsize=495448 CPUtime=1241.87
/proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 125920 0 0 0 124116 71 0 0 25 0 1 0 160970626 507338752 120089 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21980/statm: 123862 120089 170 317 0 123541 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 495448

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 22179
/proc/meminfo: memFree=1171524/2055920 swapFree=4168472/4192956
[pid=21980] ppid=21978 vsize=506456 CPUtime=1301.85
/proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 128942 0 0 0 130113 72 0 0 25 0 1 0 160970626 518610944 123111 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21980/statm: 126614 123111 170 317 0 126293 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 506456

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 22179
/proc/meminfo: memFree=1161860/2055920 swapFree=4168472/4192956
[pid=21980] ppid=21978 vsize=515244 CPUtime=1361.83
/proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 131382 0 0 0 136110 73 0 0 25 0 1 0 160970626 527609856 125551 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21980/statm: 128811 125551 170 317 0 128490 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 515244

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 22179
/proc/meminfo: memFree=1150532/2055920 swapFree=4168472/4192956
[pid=21980] ppid=21978 vsize=524484 CPUtime=1421.82
/proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 134193 0 0 0 142108 74 0 0 25 0 1 0 160970626 537071616 128362 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604452 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21980/statm: 131121 128362 170 317 0 130800 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 524484

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 22179
/proc/meminfo: memFree=1140100/2055920 swapFree=4168472/4192956
[pid=21980] ppid=21978 vsize=534080 CPUtime=1481.8
/proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 136888 0 0 0 148105 75 0 0 25 0 1 0 160970626 546897920 130991 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21980/statm: 133520 130991 170 317 0 133199 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 534080

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 22179
/proc/meminfo: memFree=1130564/2055920 swapFree=4168472/4192956
[pid=21980] ppid=21978 vsize=542576 CPUtime=1541.79
/proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 139264 0 0 0 154102 77 0 0 25 0 1 0 160970626 555597824 133367 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21980/statm: 135644 133367 170 317 0 135323 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 542576

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 22179
/proc/meminfo: memFree=1121348/2055920 swapFree=4168472/4192956
[pid=21980] ppid=21978 vsize=551292 CPUtime=1601.77
/proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 141658 0 0 0 160099 78 0 0 25 0 1 0 160970626 564523008 135695 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384531 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21980/statm: 137823 135695 170 317 0 137502 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 551292

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 22179
/proc/meminfo: memFree=1112004/2055920 swapFree=4168472/4192956
[pid=21980] ppid=21978 vsize=560656 CPUtime=1661.75
/proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 144267 0 0 0 166096 79 0 0 25 0 1 0 160970626 574111744 138012 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21980/statm: 140164 138012 170 317 0 139843 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 560656

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 22179
/proc/meminfo: memFree=1102980/2055920 swapFree=4168472/4192956
[pid=21980] ppid=21978 vsize=568636 CPUtime=1721.75
/proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 146543 0 0 0 172094 81 0 0 25 0 1 0 160970626 582283264 140288 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21980/statm: 142159 140288 170 317 0 141838 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 568636

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 22179
/proc/meminfo: memFree=1093316/2055920 swapFree=4168472/4192956
[pid=21980] ppid=21978 vsize=577088 CPUtime=1781.72
/proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 148941 0 0 0 178090 82 0 0 25 0 1 0 160970626 590938112 142686 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21980/statm: 144272 142686 170 317 0 143951 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 577088



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 22179
/proc/meminfo: memFree=1089796/2055920 swapFree=4168472/4192956
[pid=21980] ppid=21978 vsize=579604 CPUtime=1800.03
/proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194304 149801 0 0 0 179920 83 0 0 25 0 1 0 160970626 593514496 143546 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564037 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21980/statm: 144901 143546 170 317 0 144580 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 579604

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

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

[startup+1800.8 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 22179
/proc/meminfo: memFree=1089796/2055920 swapFree=4168472/4192956
[pid=21980] ppid=21978 vsize=0 CPUtime=1800.22
/proc/21980/stat : 21980 (oree) R 21978 21980 21923 0 -1 4194308 149824 0 0 0 179934 88 0 0 25 0 1 0 160970626 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21980/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.84
CPU time (s): 1800.27
CPU user time (s): 1799.35
CPU system time (s): 0.924859
CPU usage (%): 99.9683
Max. virtual memory (cumulated for all children) (KiB): 579604

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

runsolver used 1.22381 second user time and 3.76843 second system time

The end

Launcher Data (download as text)

Begin job on node63 on Tue Apr 17 22:43:27 UTC 2007

IDJOB= 362958
IDBENCH= 1699
IDSOLVER= 172
FILE ID= node63/362958-1176849807

PBS_JOBID= 4590235

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  7959aed3004450db7e4c9db414503999

RANDOM SEED= 809784473

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1665380 kB
Buffers:         27876 kB
Cached:         300076 kB
SwapCached:      18916 kB
Active:         234880 kB
Inactive:       117380 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1665380 kB
SwapTotal:     4192956 kB
SwapFree:      4168472 kB
Dirty:            2088 kB
Writeback:           0 kB
Mapped:          15136 kB
Slab:            24336 kB
Committed_AS:  1947760 kB
PageTables:       1460 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= 66506 MiB

End job on node63 on Tue Apr 17 23:13:30 UTC 2007