Trace number 357268

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? (MO) 1377.85 1378.25

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos2.opb
MD5SUM44facea850693084b6f9bb62059a35af
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 variables32294
Total number of constraints1133
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)13
Number of constraints which are nor clauses,nor cardinality constraints1120
Minimum length of a constraint10
Maximum length of a constraint4780
Number of terms in the objective function 124
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 8589934588
Number of bits of the sum of numbers in the objective function 33
Biggest number in a constraint 2454208150643933184000
Number of bits of the biggest number in a constraint 72
Biggest sum of numbers in a constraint 289272765430218968121839
Number of bits of the biggest sum of numbers78
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.51	c ...done
0.49/0.51	c #vars=32294 #constraints=1177 hasObjective=yes
0.49/0.58	c res. mode=mod
0.49/0.58	c VSIDS like heuristics
0.49/0.58	c complete search running
12.49/12.57	c restart after 401 decisions
15.39/15.49	c nbDecision=500 #constraints=1210
22.18/22.29	c restart after 801 decisions
25.19/25.27	c nbDecision=1000 #constraints=1255
33.88/33.91	c nbDecision=1500 #constraints=1294
35.38/35.47	c restart after 1601 decisions
39.58/39.65	c nbDecision=2000 #constraints=1338
44.58/44.60	c nbDecision=2500 #constraints=1393
70.38/70.42	c nbDecision=3000 #constraints=1478
90.67/90.72	c restart after 3201 decisions
113.56/113.67	c nbDecision=3500 #constraints=1558
134.25/134.33	c nbDecision=4000 #constraints=1647
142.95/143.02	c nbDecision=4500 #constraints=1716
155.35/155.40	c nbDecision=5000 #constraints=1784
159.15/159.29	c nbDecision=5500 #constraints=1838
163.44/163.59	c nbDecision=6000 #constraints=1893
167.05/167.12	c restart after 6401 decisions
180.74/180.86	c nbDecision=6500 #constraints=1958
205.93/206.09	c nbDecision=7000 #constraints=2088
228.53/228.65	c nbDecision=7500 #constraints=2240
236.22/236.30	c nbDecision=8000 #constraints=2343
239.42/239.57	c nbDecision=8500 #constraints=2397
244.72/244.88	c nbDecision=9000 #constraints=2461
250.62/250.79	c nbDecision=9500 #constraints=2530
256.02/256.20	c nbDecision=10000 #constraints=2592
260.11/260.25	c nbDecision=10500 #constraints=2647
267.62/267.71	c nbDecision=11000 #constraints=2723
272.02/272.10	c nbDecision=11500 #constraints=2766
278.61/278.77	c nbDecision=12000 #constraints=2831
284.72/284.81	c nbDecision=12500 #constraints=2891
298.60/298.73	c restart after 12801 decisions
304.00/304.16	c nbDecision=13000 #constraints=2956
321.80/322.00	c nbDecision=13500 #constraints=3002
332.20/332.37	c nbDecision=14000 #constraints=3061
338.39/338.52	c nbDecision=14500 #constraints=3128
347.59/347.72	c nbDecision=15000 #constraints=3193
351.69/351.85	c nbDecision=15500 #constraints=3232
359.19/359.37	c nbDecision=16000 #constraints=3288
368.29/368.49	c nbDecision=16500 #constraints=3349
374.39/374.54	c nbDecision=17000 #constraints=3390
381.98/382.12	c nbDecision=17500 #constraints=3447
389.38/389.55	c nbDecision=18000 #constraints=3502
396.77/396.94	c nbDecision=18500 #constraints=3553
406.98/407.15	c nbDecision=19000 #constraints=3618
419.18/419.36	c nbDecision=19500 #constraints=3681
433.37/433.59	c nbDecision=20000 #constraints=3766
442.87/443.04	c nbDecision=20500 #constraints=3828
455.96/456.17	c nbDecision=21000 #constraints=3906
461.96/462.15	c nbDecision=21500 #constraints=3955
472.16/472.38	c nbDecision=22000 #constraints=4022
485.35/485.58	c nbDecision=22500 #constraints=4113
497.44/497.61	c nbDecision=23000 #constraints=4188
508.95/509.16	c nbDecision=23500 #constraints=4262
527.34/527.53	c nbDecision=24000 #constraints=4338
537.44/537.60	c nbDecision=24500 #constraints=4402
545.54/545.77	c nbDecision=25000 #constraints=4459
556.63/556.86	c nbDecision=25500 #constraints=4510
557.13/557.38	c restart after 25601 decisions
570.73/570.92	c nbDecision=26000 #constraints=4572
576.83/577.01	c nbDecision=26500 #constraints=4648
581.92/582.17	c nbDecision=27000 #constraints=4698
591.32/591.58	c nbDecision=27500 #constraints=4762
596.12/596.35	c nbDecision=28000 #constraints=4815
603.82/604.05	c nbDecision=28500 #constraints=4878
618.22/618.42	c nbDecision=29000 #constraints=4958
630.02/630.25	c nbDecision=29500 #constraints=5034
636.51/636.77	c nbDecision=30000 #constraints=5096
642.40/642.69	c nbDecision=30500 #constraints=5139
648.81/649.04	c nbDecision=31000 #constraints=5187
655.91/656.16	c nbDecision=31500 #constraints=5232
661.70/661.97	c nbDecision=32000 #constraints=5277
669.20/669.40	c nbDecision=32500 #constraints=5323
679.39/679.61	c nbDecision=33000 #constraints=5386
692.80/693.02	c nbDecision=33500 #constraints=5453
703.89/704.15	c nbDecision=34000 #constraints=5509
710.79/711.09	c nbDecision=34500 #constraints=5549
719.48/719.74	c nbDecision=35000 #constraints=5595
729.68/729.97	c nbDecision=35500 #constraints=5651
737.68/737.98	c nbDecision=36000 #constraints=5705
759.57/759.82	c nbDecision=36500 #constraints=5793
774.77/775.04	c nbDecision=37000 #constraints=5862
783.47/783.76	c nbDecision=37500 #constraints=5908
800.06/800.38	c nbDecision=38000 #constraints=5975
812.26/812.56	c nbDecision=38500 #constraints=6029
820.15/820.49	c nbDecision=39000 #constraints=6076
828.46/828.76	c nbDecision=39500 #constraints=6115
837.95/838.22	c nbDecision=40000 #constraints=6170
853.85/854.18	c nbDecision=40500 #constraints=6219
860.75/861.02	c nbDecision=41000 #constraints=6286
868.74/869.02	c nbDecision=41500 #constraints=6352
881.24/881.55	c nbDecision=42000 #constraints=6413
890.54/890.88	c nbDecision=42500 #constraints=6468
895.74/896.00	c nbDecision=43000 #constraints=6504
903.63/903.97	c nbDecision=43500 #constraints=6561
917.33/917.68	c nbDecision=44000 #constraints=6628
927.53/927.80	c nbDecision=44500 #constraints=6683
935.32/935.63	c nbDecision=45000 #constraints=6735
945.63/945.94	c nbDecision=45500 #constraints=6799
952.51/952.84	c nbDecision=46000 #constraints=6842
961.21/961.53	c nbDecision=46500 #constraints=6895
967.41/967.77	c nbDecision=47000 #constraints=6951
984.11/984.43	c nbDecision=47500 #constraints=7025
1001.90/1002.26	c nbDecision=48000 #constraints=7105
1009.40/1009.77	c nbDecision=48500 #constraints=7153
1015.60/1015.90	c nbDecision=49000 #constraints=7189
1024.59/1024.98	c nbDecision=49500 #constraints=7236
1031.69/1032.01	c nbDecision=50000 #constraints=7280
1042.79/1043.16	c nbDecision=50500 #constraints=7346
1060.79/1061.11	c nbDecision=51000 #constraints=7425
1067.18/1067.59	c restart after 51201 decisions
1093.48/1093.84	c nbDecision=51500 #constraints=7472
1120.47/1120.88	c nbDecision=52000 #constraints=7534
1130.57/1130.91	c nbDecision=52500 #constraints=7583
1142.16/1142.58	c nbDecision=53000 #constraints=7647
1155.16/1155.52	c nbDecision=53500 #constraints=7712
1163.25/1163.62	c nbDecision=54000 #constraints=7755
1175.05/1175.47	c nbDecision=54500 #constraints=7827
1193.44/1193.88	c nbDecision=55000 #constraints=7915
1203.14/1203.53	c nbDecision=55500 #constraints=7963
1216.04/1216.49	c nbDecision=56000 #constraints=8030
1230.73/1231.15	c nbDecision=56500 #constraints=8087
1243.13/1243.60	c nbDecision=57000 #constraints=8142
1258.72/1259.10	c nbDecision=57500 #constraints=8202
1274.02/1274.42	c nbDecision=58000 #constraints=8259
1316.61/1317.01	c nbDecision=58500 #constraints=8347
1326.51/1326.90	c nbDecision=59000 #constraints=8389
1336.01/1336.46	c nbDecision=59500 #constraints=8435
1350.60/1351.07	c nbDecision=60000 #constraints=8493
1369.70/1370.17	c nbDecision=60500 #constraints=8570
1377.10/1377.50	Received signal 15
1377.50/1377.99	
1377.50/1377.99	s UNKNOWN
1377.50/1377.99	
1377.50/1377.99	c user time= 1375.37 s
1377.50/1377.99	c system time= 2.23166 s
1377.50/1377.99	c wall clock time=1378

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/node7/watcher-357268-1176992944 -o ROOT/results/node7/solver-357268-1176992944 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357268-1176992944/instance-357268-1176992944.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.85 0.99 0.99 3/77 504
/proc/meminfo: memFree=1529968/2055920 swapFree=4159716/4192956
[pid=504] ppid=502 vsize=1468 CPUtime=0
/proc/504/stat : 504 (oree) R 502 504 32629 0 -1 4194304 180 0 0 0 0 0 0 0 18 0 1 0 175332041 1503232 162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/504/statm: 367 162 131 317 0 46 0

[startup+0.056272 s]
/proc/loadavg: 0.85 0.99 0.99 3/77 504
/proc/meminfo: memFree=1529968/2055920 swapFree=4159716/4192956
[pid=504] ppid=502 vsize=2044 CPUtime=0.05
/proc/504/stat : 504 (oree) R 502 504 32629 0 -1 4194304 302 0 0 0 5 0 0 0 18 0 1 0 175332041 2093056 284 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/504/statm: 511 284 131 317 0 190 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2044

[startup+0.101276 s]
/proc/loadavg: 0.85 0.99 0.99 3/77 504
/proc/meminfo: memFree=1529968/2055920 swapFree=4159716/4192956
[pid=504] ppid=502 vsize=2812 CPUtime=0.09
/proc/504/stat : 504 (oree) R 502 504 32629 0 -1 4194304 447 0 0 0 9 0 0 0 18 0 1 0 175332041 2879488 429 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134714642 0 0 4096 17474 0 0 0 17 1 0 0
/proc/504/statm: 703 429 131 317 0 382 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2812

[startup+0.301298 s]
/proc/loadavg: 0.85 0.99 0.99 3/77 504
/proc/meminfo: memFree=1529968/2055920 swapFree=4159716/4192956
[pid=504] ppid=502 vsize=6620 CPUtime=0.29
/proc/504/stat : 504 (oree) R 502 504 32629 0 -1 4194304 1214 0 0 0 29 0 0 0 19 0 1 0 175332041 6778880 1196 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0
/proc/504/statm: 1655 1196 131 317 0 1334 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6620

[startup+0.701339 s]
/proc/loadavg: 0.85 0.99 0.99 3/77 504
/proc/meminfo: memFree=1529968/2055920 swapFree=4159716/4192956
[pid=504] ppid=502 vsize=15392 CPUtime=0.69
/proc/504/stat : 504 (oree) R 502 504 32629 0 -1 4194304 3235 0 0 0 68 1 0 0 22 0 1 0 175332041 15761408 3217 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/504/statm: 3848 3217 137 317 0 3527 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15392

[startup+1.50142 s]
/proc/loadavg: 0.85 0.99 0.99 3/78 505
/proc/meminfo: memFree=1517352/2055920 swapFree=4159716/4192956
[pid=504] ppid=502 vsize=15696 CPUtime=1.49
/proc/504/stat : 504 (oree) R 502 504 32629 0 -1 4194304 3285 0 0 0 148 1 0 0 25 0 1 0 175332041 16072704 3267 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0
/proc/504/statm: 3924 3267 139 317 0 3603 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15696

[startup+3.10159 s]
/proc/loadavg: 0.85 0.99 0.99 2/78 505
/proc/meminfo: memFree=1517032/2055920 swapFree=4159716/4192956
[pid=504] ppid=502 vsize=16128 CPUtime=3.09
/proc/504/stat : 504 (oree) R 502 504 32629 0 -1 4194304 3389 0 0 0 307 2 0 0 25 0 1 0 175332041 16515072 3369 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270593 0 0 4096 17474 0 0 0 17 1 0 0
/proc/504/statm: 4032 3369 139 317 0 3711 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16128

[startup+6.30193 s]
/proc/loadavg: 0.87 0.99 0.99 2/78 505
/proc/meminfo: memFree=1516520/2055920 swapFree=4159716/4192956
[pid=504] ppid=502 vsize=16876 CPUtime=6.29
/proc/504/stat : 504 (oree) R 502 504 32629 0 -1 4194304 3568 0 0 0 627 2 0 0 25 0 1 0 175332041 17281024 3548 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134530479 0 0 4096 17474 0 0 0 17 1 0 0
/proc/504/statm: 4219 3548 170 317 0 3898 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16876

[startup+12.7016 s]
/proc/loadavg: 0.88 0.99 0.99 2/78 505
/proc/meminfo: memFree=1514472/2055920 swapFree=4159716/4192956
[pid=504] ppid=502 vsize=19220 CPUtime=12.69
/proc/504/stat : 504 (oree) R 502 504 32629 0 -1 4194304 4062 0 0 0 1267 2 0 0 25 0 1 0 175332041 19681280 4042 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713835 0 0 4096 17474 0 0 0 17 1 0 0
/proc/504/statm: 4805 4042 170 317 0 4484 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19220

[startup+25.5019 s]
/proc/loadavg: 0.90 0.99 0.99 2/78 505
/proc/meminfo: memFree=1508456/2055920 swapFree=4159716/4192956
[pid=504] ppid=502 vsize=27100 CPUtime=25.49
/proc/504/stat : 504 (oree) R 502 504 32629 0 -1 4194304 5702 0 0 0 2546 3 0 0 25 0 1 0 175332041 27750400 5679 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/504/statm: 6775 5679 170 317 0 6454 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 27100

[startup+51.1016 s]
/proc/loadavg: 0.93 0.99 0.99 2/78 505
/proc/meminfo: memFree=1490472/2055920 swapFree=4159716/4192956
[pid=504] ppid=502 vsize=47600 CPUtime=51.07
/proc/504/stat : 504 (oree) R 502 504 32629 0 -1 4194304 10026 0 0 0 5103 4 0 0 25 0 1 0 175332041 48742400 9954 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134533544 0 0 4096 17474 0 0 0 17 1 0 0
/proc/504/statm: 11900 9954 170 317 0 11579 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 47600

[startup+102.306 s]
/proc/loadavg: 0.97 0.99 0.99 2/78 505
/proc/meminfo: memFree=1474088/2055920 swapFree=4159716/4192956
[pid=504] ppid=502 vsize=66704 CPUtime=102.26
/proc/504/stat : 504 (oree) R 502 504 32629 0 -1 4194304 14478 0 0 0 10220 6 0 0 25 0 1 0 175332041 68304896 14021 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284215 0 0 4096 17474 0 0 0 17 1 0 0
/proc/504/statm: 16676 14021 170 317 0 16355 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 66704

[startup+162.301 s]
/proc/loadavg: 0.99 0.99 0.99 3/78 507
/proc/meminfo: memFree=1416680/2055920 swapFree=4159716/4192956
[pid=504] ppid=502 vsize=136864 CPUtime=162.25
/proc/504/stat : 504 (oree) R 502 504 32629 0 -1 4194304 33431 0 0 0 16211 14 0 0 25 0 1 0 175332041 140148736 28657 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272554 0 0 4096 17474 0 0 0 17 1 0 0
/proc/504/statm: 34216 28657 170 317 0 33895 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 136864

[startup+222.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 507
/proc/meminfo: memFree=1383400/2055920 swapFree=4159716/4192956
[pid=504] ppid=502 vsize=178836 CPUtime=222.23
/proc/504/stat : 504 (oree) R 502 504 32629 0 -1 4194304 45032 0 0 0 22204 19 0 0 25 0 1 0 175332041 183128064 37004 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/504/statm: 44709 37004 170 317 0 44388 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 178836

[startup+282.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 507
/proc/meminfo: memFree=1235752/2055920 swapFree=4159716/4192956
[pid=504] ppid=502 vsize=360512 CPUtime=282.21
/proc/504/stat : 504 (oree) R 502 504 32629 0 -1 4194304 99328 0 0 0 28179 42 0 0 25 0 1 0 175332041 369164288 73874 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712584 0 0 4096 17474 0 0 0 17 1 0 0
/proc/504/statm: 90128 73874 170 317 0 89807 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 360512

[startup+342.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 507
/proc/meminfo: memFree=1194792/2055920 swapFree=4159716/4192956
[pid=504] ppid=502 vsize=410268 CPUtime=342.2
/proc/504/stat : 504 (oree) R 502 504 32629 0 -1 4194304 113586 0 0 0 34173 47 0 0 25 0 1 0 175332041 420114432 83648 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563639 0 0 4096 17474 0 0 0 17 1 0 0
/proc/504/statm: 102567 83648 170 317 0 102246 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 410268

[startup+402.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 507
/proc/meminfo: memFree=1078248/2055920 swapFree=4159716/4192956
[pid=504] ppid=502 vsize=561336 CPUtime=402.18
/proc/504/stat : 504 (oree) R 502 504 32629 0 -1 4194304 154892 0 0 0 40155 63 0 0 25 0 1 0 175332041 574808064 112993 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718926 0 0 4096 17474 0 0 0 17 1 0 0
/proc/504/statm: 140334 112993 170 317 0 140013 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 561336

[startup+462.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 507
/proc/meminfo: memFree=1011048/2055920 swapFree=4159716/4192956
[pid=504] ppid=502 vsize=641528 CPUtime=462.16
/proc/504/stat : 504 (oree) R 502 504 32629 0 -1 4194304 181850 0 0 0 46142 74 0 0 25 0 1 0 175332041 656924672 129544 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0
/proc/504/statm: 160382 129544 170 317 0 160061 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 641528

[startup+522.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 507
/proc/meminfo: memFree=947624/2055920 swapFree=4159716/4192956
[pid=504] ppid=502 vsize=720700 CPUtime=522.14
/proc/504/stat : 504 (oree) R 502 504 32629 0 -1 4194304 208282 0 0 0 52128 86 0 0 25 0 1 0 175332041 737996800 145444 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710875 0 0 4096 17474 0 0 0 17 1 0 0
/proc/504/statm: 180175 145444 170 317 0 179854 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 720700

[startup+582.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 507
/proc/meminfo: memFree=855720/2055920 swapFree=4159716/4192956
[pid=504] ppid=502 vsize=840428 CPUtime=582.12
/proc/504/stat : 504 (oree) R 502 504 32629 0 -1 4194304 240715 0 0 0 58113 99 0 0 25 0 1 0 175332041 860598272 168528 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/504/statm: 210107 168528 170 317 0 209786 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 840428

[startup+642.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 507
/proc/meminfo: memFree=776488/2055920 swapFree=4159716/4192956
[pid=504] ppid=502 vsize=934664 CPUtime=642.11
/proc/504/stat : 504 (oree) R 502 504 32629 0 -1 4194304 272196 0 0 0 64100 111 0 0 25 0 1 0 175332041 957095936 187910 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/504/statm: 233666 187910 170 317 0 233345 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 934664

[startup+702.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 507
/proc/meminfo: memFree=671016/2055920 swapFree=4159716/4192956
[pid=504] ppid=502 vsize=1086196 CPUtime=702.09
/proc/504/stat : 504 (oree) R 502 504 32629 0 -1 4194304 308675 0 0 0 70082 127 0 0 25 0 1 0 175332041 1112264704 214274 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718451 0 0 4096 17474 0 0 0 17 1 0 0
/proc/504/statm: 271549 214274 170 317 0 271228 0
Current children cumulated CPU time (s) 702.09
Current children cumulated vsize (KiB) 1086196

[startup+762.305 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 507
/proc/meminfo: memFree=610792/2055920 swapFree=4159716/4192956
[pid=504] ppid=502 vsize=1156664 CPUtime=762.08
/proc/504/stat : 504 (oree) R 502 504 32629 0 -1 4194304 332898 0 0 0 76072 136 0 0 25 0 1 0 175332041 1184423936 229241 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/504/statm: 289166 229241 170 317 0 288845 0
Current children cumulated CPU time (s) 762.08
Current children cumulated vsize (KiB) 1156664

[startup+822.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 507
/proc/meminfo: memFree=558632/2055920 swapFree=4159716/4192956
[pid=504] ppid=502 vsize=1219636 CPUtime=822.06
/proc/504/stat : 504 (oree) R 502 504 32629 0 -1 4194304 353965 0 0 0 82062 144 0 0 25 0 1 0 175332041 1248907264 242352 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/504/statm: 304909 242352 170 317 0 304588 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 1219636

[startup+882.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 507
/proc/meminfo: memFree=499688/2055920 swapFree=4159716/4192956
[pid=504] ppid=502 vsize=1291336 CPUtime=882.04
/proc/504/stat : 504 (oree) R 502 504 32629 0 -1 4194304 376810 0 0 0 88052 152 0 0 25 0 1 0 175332041 1322328064 256980 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/504/statm: 322834 256980 170 317 0 322513 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 1291336

[startup+942.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 507
/proc/meminfo: memFree=391912/2055920 swapFree=4159716/4192956
[pid=504] ppid=502 vsize=1445420 CPUtime=942.02
/proc/504/stat : 504 (oree) R 502 504 32629 0 -1 4194304 413830 0 0 0 94036 166 0 0 25 0 1 0 175332041 1480110080 284137 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134597096 0 0 4096 17474 0 0 0 17 1 0 0
/proc/504/statm: 361355 284137 170 317 0 361034 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 1445420

[startup+1002.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 507
/proc/meminfo: memFree=331368/2055920 swapFree=4159716/4192956
[pid=504] ppid=502 vsize=1516000 CPUtime=1002
/proc/504/stat : 504 (oree) R 502 504 32629 0 -1 4194304 437336 0 0 0 100024 176 0 0 25 0 1 0 175332041 1552384000 298940 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/504/statm: 379000 298940 170 317 0 378679 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 1516000

[startup+1062.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 507
/proc/meminfo: memFree=270824/2055920 swapFree=4159716/4192956
[pid=504] ppid=502 vsize=1587500 CPUtime=1061.98
/proc/504/stat : 504 (oree) R 502 504 32629 0 -1 4194304 461869 0 0 0 106011 187 0 0 25 0 1 0 175332041 1625600000 314126 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/504/statm: 396875 314126 170 317 0 396554 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 1587500

[startup+1122.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 507
/proc/meminfo: memFree=251624/2055920 swapFree=4159716/4192956
[pid=504] ppid=502 vsize=1610288 CPUtime=1121.97
/proc/504/stat : 504 (oree) R 502 504 32629 0 -1 4194304 469100 0 0 0 112007 190 0 0 25 0 1 0 175332041 1648934912 318924 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710874 0 0 4096 17474 0 0 0 17 1 0 0
/proc/504/statm: 402572 318924 170 317 0 402251 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 1610288

[startup+1182.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 507
/proc/meminfo: memFree=192168/2055920 swapFree=4159716/4192956
[pid=504] ppid=502 vsize=1680460 CPUtime=1181.95
/proc/504/stat : 504 (oree) R 502 504 32629 0 -1 4194304 493519 0 0 0 117995 200 0 0 25 0 1 0 175332041 1720791040 333899 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713847 0 0 4096 17474 0 0 0 17 1 0 0
/proc/504/statm: 420115 333899 170 317 0 419794 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 1680460

[startup+1242.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 507
/proc/meminfo: memFree=140200/2055920 swapFree=4159716/4192956
[pid=504] ppid=502 vsize=1741544 CPUtime=1241.93
/proc/504/stat : 504 (oree) R 502 504 32629 0 -1 4194304 514663 0 0 0 123984 209 0 0 25 0 1 0 175332041 1783341056 346599 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563625 0 0 4096 17474 0 0 0 17 1 0 0
/proc/504/statm: 435386 346599 170 317 0 435065 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 1741544

[startup+1302.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 507
/proc/meminfo: memFree=100648/2055920 swapFree=4159716/4192956
[pid=504] ppid=502 vsize=1787092 CPUtime=1301.92
/proc/504/stat : 504 (oree) R 502 504 32629 0 -1 4194304 530387 0 0 0 129976 216 0 0 25 0 1 0 175332041 1829982208 356389 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/504/statm: 446773 356389 170 317 0 446452 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 1787092

[startup+1362.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 507
/proc/meminfo: memFree=65384/2055920 swapFree=4159716/4192956
[pid=504] ppid=502 vsize=1828956 CPUtime=1361.89
/proc/504/stat : 504 (oree) R 502 504 32629 0 -1 4194304 544423 0 0 0 135969 220 0 0 25 0 1 0 175332041 1872850944 365327 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/504/statm: 457239 365327 170 317 0 456918 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 1828956



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1377.5 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 507
/proc/meminfo: memFree=53160/2055920 swapFree=4159716/4192956
[pid=504] ppid=502 vsize=1843192 CPUtime=1377.1
/proc/504/stat : 504 (oree) R 502 504 32629 0 -1 4194304 549189 0 0 0 137487 223 0 0 25 0 1 0 175332041 1887428608 368267 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/504/statm: 460798 368267 170 317 0 460477 0
Current children cumulated CPU time (s) 1377.1
Current children cumulated vsize (KiB) 1843192

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

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

[startup+1377.8 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 507
/proc/meminfo: memFree=53160/2055920 swapFree=4159716/4192956
[pid=504] ppid=502 vsize=1843780 CPUtime=1377.4
/proc/504/stat : 504 (oree) R 502 504 32629 0 -1 4194304 549337 0 0 0 137517 223 0 0 25 0 1 0 175332041 1888030720 368396 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/504/statm: 460945 368396 170 317 0 460624 0
Current children cumulated CPU time (s) 1377.4
Current children cumulated vsize (KiB) 1843780

[startup+1378.2 s]
/proc/loadavg: 0.99 0.99 0.99 2/79 508
/proc/meminfo: memFree=1274720/2055920 swapFree=4159716/4192956
[pid=504] ppid=502 vsize=0 CPUtime=1377.79
/proc/504/stat : 504 (oree) R 502 504 32629 0 -1 4194308 549356 0 0 0 137537 242 0 0 25 0 1 0 175332041 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/504/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1377.79
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1378.25
CPU time (s): 1377.85
CPU user time (s): 1375.38
CPU system time (s): 2.46762
CPU usage (%): 99.971
Max. virtual memory (cumulated for all children) (KiB): 1843780

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

runsolver used 1.60376 second user time and 3.41648 second system time

The end

Launcher Data (download as text)

Begin job on node7 on Thu Apr 19 14:29:04 UTC 2007

IDJOB= 357268
IDBENCH= 2332
IDSOLVER= 172
FILE ID= node7/357268-1176992944

PBS_JOBID= 4630467

Free space on /tmp= 66368 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos2.opb
COMMAND LINE= oree /tmp/evaluation/357268-1176992944/instance-357268-1176992944.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node7/watcher-357268-1176992944 -o ROOT/results/node7/solver-357268-1176992944 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357268-1176992944/instance-357268-1176992944.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  44facea850693084b6f9bb62059a35af

RANDOM SEED= 167405593

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node7.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.231
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.231
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:       1530376 kB
Buffers:         31268 kB
Cached:         429056 kB
SwapCached:      13228 kB
Active:         337156 kB
Inactive:       146404 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1530376 kB
SwapTotal:     4192956 kB
SwapFree:      4159716 kB
Dirty:            3472 kB
Writeback:           0 kB
Mapped:          30296 kB
Slab:            27428 kB
Committed_AS:  7147488 kB
PageTables:       1860 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= 66368 MiB

End job on node7 on Thu Apr 19 14:52:04 UTC 2007