Trace number 357334

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.31 1800.82

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-agg3.opb
MD5SUMbbee2849ae83900e79494d0f7a7c3755
Bench CategoryOPT-BIGINT (optimisation, big 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 variables9060
Total number of constraints429
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 constraints429
Minimum length of a constraint30
Maximum length of a constraint1440
Number of terms in the objective function 6930
Biggest coefficient in the objective function 53730040872960
Number of bits for the biggest coefficient in the objective function 46
Sum of the numbers in the objective function 8516865379203027
Number of bits of the sum of numbers in the objective function 53
Biggest number in a constraint 22763326668800000
Number of bits of the biggest number in a constraint 55
Biggest sum of numbers in a constraint 46271983665442689
Number of bits of the biggest sum of numbers56
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.29/0.34	c ...done
0.29/0.34	c #vars=9060 #constraints=490 hasObjective=yes
0.39/0.45	c res. mode=mod
0.39/0.45	c VSIDS like heuristics
0.39/0.45	c complete search running
0.39/0.49	c restart after 401 decisions
0.49/0.50	c nbDecision=500 #constraints=490
0.49/0.53	c restart after 801 decisions
0.49/0.54	c nbDecision=1000 #constraints=490
0.49/0.59	c nbDecision=1500 #constraints=490
0.59/0.60	c restart after 1601 decisions
0.59/0.63	c nbDecision=2000 #constraints=490
0.59/0.68	c nbDecision=2500 #constraints=490
0.69/0.72	c nbDecision=3000 #constraints=490
0.69/0.78	c restart after 3201 decisions
0.79/0.81	c nbDecision=3500 #constraints=515
0.79/0.85	c nbDecision=4000 #constraints=515
0.79/0.89	c nbDecision=4500 #constraints=515
1.29/1.35	c nbDecision=5000 #constraints=738
2.39/2.46	c nbDecision=5500 #constraints=1238
3.79/3.83	c nbDecision=6000 #constraints=1738
5.09/5.17	c restart after 6401 decisions
5.09/5.19	c nbDecision=6500 #constraints=2139
5.19/5.23	c nbDecision=7000 #constraints=2139
5.19/5.28	c nbDecision=7500 #constraints=2139
5.39/5.41	c nbDecision=8000 #constraints=2162
7.48/7.52	c nbDecision=8500 #constraints=2664
9.98/10.08	c nbDecision=9000 #constraints=3162
13.19/13.21	c nbDecision=9500 #constraints=3662
16.87/16.91	c nbDecision=10000 #constraints=4163
21.28/21.33	c nbDecision=10500 #constraints=4663
26.28/26.38	c nbDecision=11000 #constraints=5163
31.96/32.05	c nbDecision=11500 #constraints=5664
38.26/38.36	c nbDecision=12000 #constraints=6167
45.25/45.30	c nbDecision=12500 #constraints=6661
49.75/49.85	c restart after 12801 decisions
49.85/49.92	c nbDecision=13000 #constraints=6966
49.85/49.97	c nbDecision=13500 #constraints=6966
49.95/50.01	c nbDecision=14000 #constraints=6966
51.95/52.03	c nbDecision=14500 #constraints=7091
60.15/60.21	c nbDecision=15000 #constraints=7593
68.84/68.97	c nbDecision=15500 #constraints=8090
78.24/78.39	c nbDecision=16000 #constraints=8591
88.34/88.42	c nbDecision=16500 #constraints=9091
98.84/98.90	c nbDecision=17000 #constraints=9589
110.03/110.11	c nbDecision=17500 #constraints=10092
121.73/121.87	c nbDecision=18000 #constraints=10595
134.03/134.18	c nbDecision=18500 #constraints=11093
147.02/147.19	c nbDecision=19000 #constraints=11595
160.42/160.57	c nbDecision=19500 #constraints=12089
174.52/174.68	c nbDecision=20000 #constraints=12589
189.31/189.43	c nbDecision=20500 #constraints=13090
204.60/204.72	c nbDecision=21000 #constraints=13590
220.51/220.67	c nbDecision=21500 #constraints=14093
236.90/237.08	c nbDecision=22000 #constraints=14593
253.90/254.06	c nbDecision=22500 #constraints=15090
271.60/271.79	c nbDecision=23000 #constraints=15594
289.89/290.02	c nbDecision=23500 #constraints=16094
308.58/308.74	c nbDecision=24000 #constraints=16590
328.17/328.39	c nbDecision=24500 #constraints=17093
348.07/348.27	c nbDecision=25000 #constraints=17591
368.57/368.76	c nbDecision=25500 #constraints=18091
372.87/373.07	c restart after 25601 decisions
373.07/373.25	c nbDecision=26000 #constraints=18195
373.07/373.30	c nbDecision=26500 #constraints=18195
373.17/373.34	c nbDecision=27000 #constraints=18195
387.16/387.34	c nbDecision=27500 #constraints=18523
408.65/408.90	c nbDecision=28000 #constraints=19021
430.85/431.08	c nbDecision=28500 #constraints=19521
453.94/454.10	c nbDecision=29000 #constraints=20026
477.14/477.36	c nbDecision=29500 #constraints=20524
501.03/501.24	c nbDecision=30000 #constraints=21021
525.53/525.71	c nbDecision=30500 #constraints=21519
550.72/550.93	c nbDecision=31000 #constraints=22022
576.41/576.63	c nbDecision=31500 #constraints=22522
602.71/602.99	c nbDecision=32000 #constraints=23022
629.70/629.97	c nbDecision=32500 #constraints=23525
656.89/657.17	c nbDecision=33000 #constraints=24016
675.58/675.82	c nbDecision=33500 #constraints=24351
676.68/676.96	c nbDecision=34000 #constraints=24658
678.08/678.30	c nbDecision=34500 #constraints=24943
680.08/680.34	c nbDecision=35000 #constraints=25276
682.18/682.41	c nbDecision=35500 #constraints=25568
684.98/685.23	c nbDecision=36000 #constraints=25877
687.98/688.29	c nbDecision=36500 #constraints=26188
691.68/691.92	c nbDecision=37000 #constraints=26511
695.38/695.69	c nbDecision=37500 #constraints=26798
699.97/700.26	c nbDecision=38000 #constraints=27120
705.18/705.43	c nbDecision=38500 #constraints=27436
711.38/711.61	c nbDecision=39000 #constraints=27768
719.17/719.41	c nbDecision=39500 #constraints=28103
727.17/727.46	c nbDecision=40000 #constraints=28429
734.57/734.85	c nbDecision=40500 #constraints=28731
743.07/743.37	c nbDecision=41000 #constraints=29048
752.17/752.41	c nbDecision=41500 #constraints=29385
762.65/762.92	c nbDecision=42000 #constraints=29722
770.26/770.58	c nbDecision=42500 #constraints=29950
781.55/781.83	c nbDecision=43000 #constraints=30274
792.85/793.12	c nbDecision=43500 #constraints=30603
803.85/804.16	c nbDecision=44000 #constraints=30919
817.05/817.34	c nbDecision=44500 #constraints=31231
831.54/831.82	c nbDecision=45000 #constraints=31558
845.23/845.53	c nbDecision=45500 #constraints=31867
861.74/862.01	c nbDecision=46000 #constraints=32217
876.03/876.31	c nbDecision=46500 #constraints=32540
893.72/894.09	c nbDecision=47000 #constraints=32861
910.62/910.91	c nbDecision=47500 #constraints=33185
926.62/926.91	c nbDecision=48000 #constraints=33494
944.61/944.95	c nbDecision=48500 #constraints=33823
962.81/963.15	c nbDecision=49000 #constraints=34162
984.30/984.65	c nbDecision=49500 #constraints=34501
1002.80/1003.17	c nbDecision=50000 #constraints=34805
1022.60/1022.94	c nbDecision=50500 #constraints=35121
1044.49/1044.82	c nbDecision=51000 #constraints=35447
1052.68/1053.01	c restart after 51201 decisions
1053.68/1054.02	c nbDecision=51500 #constraints=35578
1053.68/1054.06	c nbDecision=52000 #constraints=35578
1053.78/1054.11	c nbDecision=52500 #constraints=35578
1056.88/1057.21	c nbDecision=53000 #constraints=35607
1078.37/1078.75	c nbDecision=53500 #constraints=35930
1100.27/1100.67	c nbDecision=54000 #constraints=36250
1123.76/1124.14	c nbDecision=54500 #constraints=36548
1146.66/1147.00	c nbDecision=55000 #constraints=36871
1170.55/1170.96	c nbDecision=55500 #constraints=37189
1194.35/1194.77	c nbDecision=56000 #constraints=37514
1216.84/1217.25	c nbDecision=56500 #constraints=37828
1239.73/1240.16	c nbDecision=57000 #constraints=38139
1265.83/1266.23	c nbDecision=57500 #constraints=38457
1293.32/1293.70	c nbDecision=58000 #constraints=38777
1297.22/1297.67	c nbDecision=58500 #constraints=39215
1301.12/1301.55	c nbDecision=59000 #constraints=39679
1306.61/1307.09	c nbDecision=59500 #constraints=40138
1313.62/1314.06	c nbDecision=60000 #constraints=40597
1322.41/1322.80	c nbDecision=60500 #constraints=41064
1332.11/1332.50	c nbDecision=61000 #constraints=41509
1343.31/1343.77	c nbDecision=61500 #constraints=41953
1356.00/1356.47	c nbDecision=62000 #constraints=42420
1371.59/1372.06	c nbDecision=62500 #constraints=42881
1387.49/1387.96	c nbDecision=63000 #constraints=43335
1406.18/1406.68	c nbDecision=63500 #constraints=43781
1427.78/1428.21	c nbDecision=64000 #constraints=44246
1451.07/1451.60	c nbDecision=64500 #constraints=44708
1471.97/1472.40	c nbDecision=65000 #constraints=45165
1499.17/1499.65	c nbDecision=65500 #constraints=45624
1527.35/1527.82	c nbDecision=66000 #constraints=46088
1558.95/1559.43	c nbDecision=66500 #constraints=46544
1586.34/1586.87	c nbDecision=67000 #constraints=46993
1618.23/1618.76	c nbDecision=67500 #constraints=47450
1648.52/1649.08	c nbDecision=68000 #constraints=47907
1684.72/1685.27	c nbDecision=68500 #constraints=48370
1723.00/1723.55	c nbDecision=69000 #constraints=48823
1761.39/1761.99	c nbDecision=69500 #constraints=49291
1800.09/1800.61	Received signal 15
1800.19/1800.75	
1800.19/1800.75	s UNKNOWN
1800.19/1800.75	
1800.19/1800.75	c user time= 1799.69 s
1800.19/1800.75	c system time= 0.554915 s
1800.19/1800.75	c wall clock time=1800.76

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node74/watcher-357334-1176994888 -o ROOT/results/node74/solver-357334-1176994888 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357334-1176994888/instance-357334-1176994888.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.78 0.92 0.97 3/72 32141
/proc/meminfo: memFree=1629880/2055920 swapFree=4183056/4192956
[pid=32141] ppid=32139 vsize=1468 CPUtime=0
/proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 147403544 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32141/statm: 367 161 127 317 0 46 0

[startup+0.0932249 s]
/proc/loadavg: 0.78 0.92 0.97 3/72 32141
/proc/meminfo: memFree=1629880/2055920 swapFree=4183056/4192956
[pid=32141] ppid=32139 vsize=2544 CPUtime=0.09
/proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 440 0 0 0 9 0 0 0 18 0 1 0 147403544 2605056 422 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272561 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32141/statm: 636 422 131 317 0 315 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2544

[startup+0.101223 s]
/proc/loadavg: 0.78 0.92 0.97 3/72 32141
/proc/meminfo: memFree=1629880/2055920 swapFree=4183056/4192956
[pid=32141] ppid=32139 vsize=2676 CPUtime=0.09
/proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 462 0 0 0 9 0 0 0 18 0 1 0 147403544 2740224 444 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32141/statm: 669 444 131 317 0 348 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2676

[startup+0.301246 s]
/proc/loadavg: 0.78 0.92 0.97 3/72 32141
/proc/meminfo: memFree=1629880/2055920 swapFree=4183056/4192956
[pid=32141] ppid=32139 vsize=5232 CPUtime=0.29
/proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 1119 0 0 0 29 0 0 0 19 0 1 0 147403544 5357568 1101 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32141/statm: 1308 1101 131 317 0 987 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5232

[startup+0.701292 s]
/proc/loadavg: 0.78 0.92 0.97 3/72 32141
/proc/meminfo: memFree=1629880/2055920 swapFree=4183056/4192956
[pid=32141] ppid=32139 vsize=7984 CPUtime=0.69
/proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 1790 0 0 0 69 0 0 0 23 0 1 0 147403544 8175616 1772 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32141/statm: 1996 1772 138 317 0 1675 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7984

[startup+1.50138 s]
/proc/loadavg: 0.78 0.92 0.97 2/73 32160
/proc/meminfo: memFree=1623088/2055920 swapFree=4183056/4192956
[pid=32141] ppid=32139 vsize=8644 CPUtime=1.49
/proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 1970 0 0 0 149 0 0 0 25 0 1 0 147403544 8851456 1952 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32141/statm: 2161 1952 139 317 0 1840 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8644

[startup+3.10157 s]
/proc/loadavg: 0.78 0.92 0.97 2/73 32160
/proc/meminfo: memFree=1621744/2055920 swapFree=4183056/4192956
[pid=32141] ppid=32139 vsize=10080 CPUtime=3.08
/proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 2326 0 0 0 308 0 0 0 25 0 1 0 147403544 10321920 2308 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32141/statm: 2520 2308 139 317 0 2199 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 10080

[startup+6.30294 s]
/proc/loadavg: 0.80 0.92 0.97 2/73 32168
/proc/meminfo: memFree=1619312/2055920 swapFree=4183056/4192956
[pid=32141] ppid=32139 vsize=12048 CPUtime=6.29
/proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 2814 0 0 0 628 1 0 0 25 0 1 0 147403544 12337152 2796 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32141/statm: 3012 2796 139 317 0 2691 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12048

[startup+12.7017 s]
/proc/loadavg: 0.81 0.92 0.97 2/73 32172
/proc/meminfo: memFree=1616392/2055920 swapFree=4183056/4192956
[pid=32141] ppid=32139 vsize=14880 CPUtime=12.68
/proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 3489 0 0 0 1266 2 0 0 25 0 1 0 147403544 15237120 3471 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563383 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32141/statm: 3720 3471 139 317 0 3399 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 14880

[startup+25.5012 s]
/proc/loadavg: 0.85 0.93 0.97 2/73 32182
/proc/meminfo: memFree=1613000/2055920 swapFree=4183056/4192956
[pid=32141] ppid=32139 vsize=18700 CPUtime=25.47
/proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 4342 0 0 0 2544 3 0 0 25 0 1 0 147403544 19148800 4324 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32141/statm: 4675 4324 139 317 0 4354 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 18700

[startup+51.1011 s]
/proc/loadavg: 0.98 0.95 0.97 2/67 32202
/proc/meminfo: memFree=1610176/2055920 swapFree=4183056/4192956
[pid=32141] ppid=32139 vsize=22368 CPUtime=51.05
/proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 5334 0 0 0 5101 4 0 0 25 0 1 0 147403544 22904832 5316 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32141/statm: 5592 5316 139 317 0 5271 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 22368

[startup+102.306 s]
/proc/loadavg: 1.11 0.99 0.98 2/67 32202
/proc/meminfo: memFree=1603904/2055920 swapFree=4183056/4192956
[pid=32141] ppid=32139 vsize=29776 CPUtime=102.24
/proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 6955 0 0 0 10218 6 0 0 25 0 1 0 147403544 30490624 6879 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32141/statm: 7444 6879 139 317 0 7123 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 29776

[startup+162.302 s]
/proc/loadavg: 1.11 1.00 0.99 2/67 32202
/proc/meminfo: memFree=1599040/2055920 swapFree=4183056/4192956
[pid=32141] ppid=32139 vsize=34236 CPUtime=162.22
/proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 8172 0 0 0 16215 7 0 0 25 0 1 0 147403544 35057664 8096 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32141/statm: 8559 8096 139 317 0 8238 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 34236

[startup+222.302 s]
/proc/loadavg: 1.17 1.03 1.00 2/67 32202
/proc/meminfo: memFree=1594880/2055920 swapFree=4183056/4192956
[pid=32141] ppid=32139 vsize=37896 CPUtime=222.21
/proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 9189 0 0 0 22212 9 0 0 25 0 1 0 147403544 38805504 9113 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32141/statm: 9474 9113 139 317 0 9153 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 37896

[startup+282.302 s]
/proc/loadavg: 1.12 1.04 1.00 2/67 32202
/proc/meminfo: memFree=1591296/2055920 swapFree=4183056/4192956
[pid=32141] ppid=32139 vsize=41276 CPUtime=282.19
/proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 10083 0 0 0 28209 10 0 0 25 0 1 0 147403544 42266624 10007 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32141/statm: 10319 10007 139 317 0 9998 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 41276

[startup+342.302 s]
/proc/loadavg: 1.16 1.06 1.01 2/67 32202
/proc/meminfo: memFree=1587272/2055920 swapFree=4183056/4192956
[pid=32141] ppid=32139 vsize=48764 CPUtime=342.17
/proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 11591 0 0 0 34207 10 0 0 25 0 1 0 147403544 49934336 11004 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32141/statm: 12191 11004 139 317 0 11870 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 48764

[startup+402.302 s]
/proc/loadavg: 1.11 1.06 1.01 2/67 32202
/proc/meminfo: memFree=1584520/2055920 swapFree=4183056/4192956
[pid=32141] ppid=32139 vsize=51372 CPUtime=402.15
/proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 12293 0 0 0 40204 11 0 0 25 0 1 0 147403544 52604928 11706 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32141/statm: 12843 11706 139 317 0 12522 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 51372

[startup+462.302 s]
/proc/loadavg: 1.15 1.08 1.01 2/67 32202
/proc/meminfo: memFree=1581640/2055920 swapFree=4183056/4192956
[pid=32141] ppid=32139 vsize=53852 CPUtime=462.14
/proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 12991 0 0 0 46202 12 0 0 25 0 1 0 147403544 55144448 12404 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718453 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32141/statm: 13463 12404 139 317 0 13142 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 53852

[startup+522.301 s]
/proc/loadavg: 1.10 1.08 1.01 2/67 32202
/proc/meminfo: memFree=1579080/2055920 swapFree=4183056/4192956
[pid=32141] ppid=32139 vsize=56196 CPUtime=522.13
/proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 13636 0 0 0 52200 13 0 0 25 0 1 0 147403544 57544704 13049 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32141/statm: 14049 13049 139 317 0 13728 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 56196

[startup+582.301 s]
/proc/loadavg: 1.08 1.08 1.01 2/67 32202
/proc/meminfo: memFree=1576584/2055920 swapFree=4183056/4192956
[pid=32141] ppid=32139 vsize=58404 CPUtime=582.1
/proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 14264 0 0 0 58197 13 0 0 25 0 1 0 147403544 59805696 13677 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32141/statm: 14601 13677 139 317 0 14280 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 58404

[startup+642.301 s]
/proc/loadavg: 1.06 1.07 1.01 2/67 32202
/proc/meminfo: memFree=1574216/2055920 swapFree=4183056/4192956
[pid=32141] ppid=32139 vsize=60492 CPUtime=642.1
/proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 14842 0 0 0 64196 14 0 0 25 0 1 0 147403544 61943808 14255 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32141/statm: 15123 14255 139 317 0 14802 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 60492


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

[startup+882.302 s]
/proc/loadavg: 1.08 1.06 1.00 2/67 32202
/proc/meminfo: memFree=1505416/2055920 swapFree=4183056/4192956
[pid=32141] ppid=32139 vsize=130600 CPUtime=882.03
/proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 32046 0 0 0 88179 24 0 0 25 0 1 0 147403544 133734400 31459 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32141/statm: 32650 31459 170 317 0 32329 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 130600

[startup+942.302 s]
/proc/loadavg: 1.08 1.06 1.00 2/67 32202
/proc/meminfo: memFree=1494792/2055920 swapFree=4183056/4192956
[pid=32141] ppid=32139 vsize=144856 CPUtime=942.01
/proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 34976 0 0 0 94175 26 0 0 25 0 1 0 147403544 148332544 34129 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32141/statm: 36214 34129 170 317 0 35893 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 144856

[startup+1002.3 s]
/proc/loadavg: 1.03 1.05 1.00 2/67 32202
/proc/meminfo: memFree=1486792/2055920 swapFree=4183056/4192956
[pid=32141] ppid=32139 vsize=152268 CPUtime=1001.99
/proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 36930 0 0 0 100172 27 0 0 25 0 1 0 147403544 155922432 36083 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32141/statm: 38067 36083 170 317 0 37746 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 152268

[startup+1062.3 s]
/proc/loadavg: 1.01 1.04 1.00 2/67 32202
/proc/meminfo: memFree=1480136/2055920 swapFree=4183056/4192956
[pid=32141] ppid=32139 vsize=158500 CPUtime=1061.98
/proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 38602 0 0 0 106170 28 0 0 25 0 1 0 147403544 162304000 37755 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718344 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32141/statm: 39625 37755 170 317 0 39304 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 158500

[startup+1122.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/67 32202
/proc/meminfo: memFree=1473672/2055920 swapFree=4183056/4192956
[pid=32141] ppid=32139 vsize=164348 CPUtime=1121.96
/proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 40215 0 0 0 112167 29 0 0 25 0 1 0 147403544 168292352 39368 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32141/statm: 41087 39368 170 317 0 40766 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 164348

[startup+1182.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/67 32202
/proc/meminfo: memFree=1467528/2055920 swapFree=4183056/4192956
[pid=32141] ppid=32139 vsize=170172 CPUtime=1181.95
/proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 41762 0 0 0 118164 31 0 0 25 0 1 0 147403544 174256128 40915 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32141/statm: 42543 40915 170 317 0 42222 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 170172

[startup+1242.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/67 32202
/proc/meminfo: memFree=1461128/2055920 swapFree=4183056/4192956
[pid=32141] ppid=32139 vsize=175848 CPUtime=1241.93
/proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 43329 0 0 0 124161 32 0 0 25 0 1 0 147403544 180068352 42482 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32141/statm: 43962 42482 170 317 0 43641 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 175848

[startup+1302.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 32202
/proc/meminfo: memFree=1446856/2055920 swapFree=4183056/4192956
[pid=32141] ppid=32139 vsize=189836 CPUtime=1301.92
/proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 46877 0 0 0 130158 34 0 0 25 0 1 0 147403544 194392064 46030 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284244 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32141/statm: 47459 46030 170 317 0 47138 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 189836

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 32202
/proc/meminfo: memFree=1417864/2055920 swapFree=4183056/4192956
[pid=32141] ppid=32139 vsize=222440 CPUtime=1361.9
/proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 54905 0 0 0 136150 40 0 0 25 0 1 0 147403544 227778560 53299 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564080 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32141/statm: 55610 53299 170 317 0 55289 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 222440

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 32202
/proc/meminfo: memFree=1402248/2055920 swapFree=4183056/4192956
[pid=32141] ppid=32139 vsize=239992 CPUtime=1421.89
/proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 59179 0 0 0 142146 43 0 0 25 0 1 0 147403544 245751808 57177 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32141/statm: 59998 57177 170 317 0 59677 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 239992

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 32202
/proc/meminfo: memFree=1391112/2055920 swapFree=4183056/4192956
[pid=32141] ppid=32139 vsize=249856 CPUtime=1481.86
/proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 61951 0 0 0 148141 45 0 0 25 0 1 0 147403544 255852544 59949 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32141/statm: 62464 59949 170 317 0 62143 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 249856

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 32202
/proc/meminfo: memFree=1381768/2055920 swapFree=4183056/4192956
[pid=32141] ppid=32139 vsize=258296 CPUtime=1541.85
/proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 64320 0 0 0 154138 47 0 0 25 0 1 0 147403544 264495104 62285 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32141/statm: 64574 62285 170 317 0 64253 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 258296

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 32202
/proc/meminfo: memFree=1371656/2055920 swapFree=4183056/4192956
[pid=32141] ppid=32139 vsize=270644 CPUtime=1601.83
/proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 66899 0 0 0 160134 49 0 0 25 0 1 0 147403544 277139456 64864 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32141/statm: 67661 64864 170 317 0 67340 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 270644

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 32202
/proc/meminfo: memFree=1362952/2055920 swapFree=4183056/4192956
[pid=32141] ppid=32139 vsize=283056 CPUtime=1661.82
/proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 69682 0 0 0 166131 51 0 0 25 0 1 0 147403544 289849344 67028 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32141/statm: 70764 67028 170 317 0 70443 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 283056

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 32202
/proc/meminfo: memFree=1355592/2055920 swapFree=4183056/4192956
[pid=32141] ppid=32139 vsize=292856 CPUtime=1721.8
/proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 72229 0 0 0 172127 53 0 0 25 0 1 0 147403544 299884544 68859 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563647 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32141/statm: 73214 68859 170 317 0 72893 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 292856

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 32202
/proc/meminfo: memFree=1348872/2055920 swapFree=4183056/4192956
[pid=32141] ppid=32139 vsize=299248 CPUtime=1781.78
/proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 73953 0 0 0 178124 54 0 0 25 0 1 0 147403544 306429952 70517 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32141/statm: 74812 70517 170 317 0 74491 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 299248



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 32202
/proc/meminfo: memFree=1347016/2055920 swapFree=4183056/4192956
[pid=32141] ppid=32139 vsize=301076 CPUtime=1800.09
/proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194304 74440 0 0 0 179954 55 0 0 25 0 1 0 147403544 308301824 70971 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32141/statm: 75269 70971 170 317 0 74948 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 301076

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: 1.00 1.00 1.00 2/67 32202
/proc/meminfo: memFree=1347016/2055920 swapFree=4183056/4192956
[pid=32141] ppid=32139 vsize=0 CPUtime=1800.28
/proc/32141/stat : 32141 (oree) R 32139 32141 32084 0 -1 4194308 74463 0 0 0 179970 58 0 0 25 0 1 0 147403544 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32141/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.28
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.82
CPU time (s): 1800.31
CPU user time (s): 1799.71
CPU system time (s): 0.600908
CPU usage (%): 99.9717
Max. virtual memory (cumulated for all children) (KiB): 301076

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

runsolver used 2.14267 second user time and 4.11337 second system time

The end

Launcher Data (download as text)

Begin job on node74 on Thu Apr 19 15:01:28 UTC 2007

IDJOB= 357334
IDBENCH= 2423
IDSOLVER= 172
FILE ID= node74/357334-1176994888

PBS_JOBID= 4630474

Free space on /tmp= 103203 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  bbee2849ae83900e79494d0f7a7c3755

RANDOM SEED= 985524453

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node74.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.213
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.213
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:       1630352 kB
Buffers:         35392 kB
Cached:         316844 kB
SwapCached:       3064 kB
Active:         109092 kB
Inactive:       253436 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1630352 kB
SwapTotal:     4192956 kB
SwapFree:      4183056 kB
Dirty:            2904 kB
Writeback:           0 kB
Mapped:          16800 kB
Slab:            48496 kB
Committed_AS:  2043932 kB
PageTables:       1716 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 103203 MiB

End job on node74 on Thu Apr 19 15:31:31 UTC 2007