Trace number 356851

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.23 1800.71

General information on the benchmark

Namenormalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-p6000.opb
MD5SUM0c3c379676a8ddac6d8ad36181bfd2e9
Bench CategoryOPT-MEDINT (optimisation, medium integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-911092
Best CPU time to get the best result obtained on this benchmark1800.49
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -950703
Optimality of the best value was proved NO
Number of variables6000
Total number of constraints2171
Number of constraints which are clauses222
Number of constraints which are cardinality constraints (but not clauses)1914
Number of constraints which are nor clauses,nor cardinality constraints35
Minimum length of a constraint2
Maximum length of a constraint5998
Number of terms in the objective function 5995
Biggest coefficient in the objective function 91110
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 12969603
Number of bits of the sum of numbers in the objective function 24
Biggest number in a constraint 800000
Number of bits of the biggest number in a constraint 20
Biggest sum of numbers in a constraint 28761906
Number of bits of the biggest sum of numbers25
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.07/0.08	c ...done
0.07/0.08	c #vars=6000 #constraints=2295 hasObjective=yes
0.09/0.13	c res. mode=mod
0.09/0.13	c VSIDS like heuristics
0.09/0.13	c complete search running
0.09/0.15	c restart after 401 decisions
0.09/0.16	c nbDecision=500 #constraints=2295
0.09/0.18	c restart after 801 decisions
0.09/0.19	c nbDecision=1000 #constraints=2295
5.79/5.84	c nbDecision=1500 #constraints=2552
7.99/8.04	c restart after 1601 decisions
8.09/8.11	c nbDecision=2000 #constraints=2653
18.08/18.18	c nbDecision=2500 #constraints=3108
29.08/29.14	c nbDecision=3000 #constraints=3608
33.58/33.63	c restart after 3201 decisions
33.88/33.95	c nbDecision=3500 #constraints=3810
42.08/42.13	c nbDecision=4000 #constraints=4160
53.37/53.46	c nbDecision=4500 #constraints=4650
64.87/64.97	c nbDecision=5000 #constraints=5141
76.27/76.34	c nbDecision=5500 #constraints=5632
87.97/88.09	c nbDecision=6000 #constraints=6128
97.26/97.37	c restart after 6401 decisions
98.66/98.74	c nbDecision=6500 #constraints=6529
103.27/103.39	c nbDecision=7000 #constraints=6683
115.26/115.33	c nbDecision=7500 #constraints=7176
127.35/127.46	c nbDecision=8000 #constraints=7663
139.56/139.65	c nbDecision=8500 #constraints=8150
151.55/151.64	c nbDecision=9000 #constraints=8641
164.05/164.13	c nbDecision=9500 #constraints=9138
176.04/176.14	c nbDecision=10000 #constraints=9630
188.34/188.44	c nbDecision=10500 #constraints=10129
200.54/200.61	c nbDecision=11000 #constraints=10629
213.03/213.15	c nbDecision=11500 #constraints=11128
225.63/225.72	c nbDecision=12000 #constraints=11627
238.42/238.54	c nbDecision=12500 #constraints=12124
246.12/246.29	c restart after 12801 decisions
250.12/250.22	c nbDecision=13000 #constraints=12419
258.12/258.25	c nbDecision=13500 #constraints=12669
270.71/270.86	c nbDecision=14000 #constraints=13160
283.41/283.50	c nbDecision=14500 #constraints=13645
296.01/296.10	c nbDecision=15000 #constraints=14127
309.50/309.62	c nbDecision=15500 #constraints=14617
322.81/322.94	c nbDecision=16000 #constraints=15107
336.19/336.35	c nbDecision=16500 #constraints=15596
349.30/349.44	c nbDecision=17000 #constraints=16087
362.70/362.89	c nbDecision=17500 #constraints=16581
375.49/375.67	c nbDecision=18000 #constraints=17082
389.69/389.87	c nbDecision=18500 #constraints=17573
404.09/404.21	c nbDecision=19000 #constraints=18057
417.68/417.85	c nbDecision=19500 #constraints=18549
431.47/431.65	c nbDecision=20000 #constraints=19038
446.07/446.21	c nbDecision=20500 #constraints=19528
460.67/460.80	c nbDecision=21000 #constraints=20019
475.26/475.49	c nbDecision=21500 #constraints=20506
489.66/489.82	c nbDecision=22000 #constraints=20993
504.35/504.53	c nbDecision=22500 #constraints=21463
520.65/520.86	c nbDecision=23000 #constraints=21932
538.04/538.22	c nbDecision=23500 #constraints=22399
555.25/555.44	c nbDecision=24000 #constraints=22878
571.74/571.93	c nbDecision=24500 #constraints=23358
588.03/588.24	c nbDecision=25000 #constraints=23840
603.33/603.56	c nbDecision=25500 #constraints=24329
606.52/606.79	c restart after 25601 decisions
617.92/618.13	c nbDecision=26000 #constraints=24430
632.42/632.66	c nbDecision=26500 #constraints=24876
647.12/647.39	c nbDecision=27000 #constraints=25369
662.61/662.82	c nbDecision=27500 #constraints=25860
679.51/679.76	c nbDecision=28000 #constraints=26340
696.30/696.57	c nbDecision=28500 #constraints=26826
712.30/712.51	c nbDecision=29000 #constraints=27310
729.60/729.80	c nbDecision=29500 #constraints=27769
749.49/749.75	c nbDecision=30000 #constraints=28247
765.58/765.82	c nbDecision=30500 #constraints=28736
782.99/783.23	c nbDecision=31000 #constraints=29220
799.48/799.73	c nbDecision=31500 #constraints=29714
815.88/816.12	c nbDecision=32000 #constraints=30200
832.87/833.16	c nbDecision=32500 #constraints=30689
850.07/850.36	c nbDecision=33000 #constraints=31175
867.16/867.49	c nbDecision=33500 #constraints=31658
885.26/885.56	c nbDecision=34000 #constraints=32130
902.75/903.08	c nbDecision=34500 #constraints=32607
920.45/920.75	c nbDecision=35000 #constraints=33098
937.14/937.48	c nbDecision=35500 #constraints=33579
955.64/955.92	c nbDecision=36000 #constraints=34055
975.23/975.52	c nbDecision=36500 #constraints=34526
997.12/997.44	c nbDecision=37000 #constraints=35002
1014.92/1015.28	c nbDecision=37500 #constraints=35497
1031.91/1032.25	c nbDecision=38000 #constraints=35989
1050.91/1051.26	c nbDecision=38500 #constraints=36483
1072.21/1072.51	c nbDecision=39000 #constraints=36981
1093.89/1094.21	c nbDecision=39500 #constraints=37479
1110.89/1111.22	c nbDecision=40000 #constraints=37976
1144.59/1144.98	c nbDecision=40500 #constraints=38470
1163.48/1163.85	c nbDecision=41000 #constraints=38960
1182.87/1183.26	c nbDecision=41500 #constraints=39450
1204.77/1205.15	c nbDecision=42000 #constraints=39925
1223.36/1223.76	c nbDecision=42500 #constraints=40418
1244.05/1244.49	c nbDecision=43000 #constraints=40905
1264.45/1264.82	c nbDecision=43500 #constraints=41393
1284.95/1285.38	c nbDecision=44000 #constraints=41880
1307.24/1307.66	c nbDecision=44500 #constraints=42359
1325.33/1325.75	c nbDecision=45000 #constraints=42853
1343.93/1344.39	c nbDecision=45500 #constraints=43345
1364.63/1365.03	c nbDecision=46000 #constraints=43832
1385.72/1386.15	c nbDecision=46500 #constraints=44316
1407.32/1407.70	c nbDecision=47000 #constraints=44806
1429.41/1429.85	c nbDecision=47500 #constraints=45302
1447.71/1448.18	c nbDecision=48000 #constraints=45800
1467.20/1467.68	c nbDecision=48500 #constraints=46295
1488.00/1488.44	c nbDecision=49000 #constraints=46778
1509.19/1509.69	c nbDecision=49500 #constraints=47264
1533.08/1533.58	c nbDecision=50000 #constraints=47740
1555.18/1555.69	c nbDecision=50500 #constraints=48229
1577.57/1578.09	c nbDecision=51000 #constraints=48720
1586.06/1586.53	c restart after 51201 decisions
1607.06/1607.58	c nbDecision=51500 #constraints=48919
1627.25/1627.70	c nbDecision=52000 #constraints=49264
1650.05/1650.53	c nbDecision=52500 #constraints=49759
1670.94/1671.46	c nbDecision=53000 #constraints=50254
1693.94/1694.42	c nbDecision=53500 #constraints=50738
1717.03/1717.57	c nbDecision=54000 #constraints=51224
1739.32/1739.85	c nbDecision=54500 #constraints=51714
1762.92/1763.42	c nbDecision=55000 #constraints=52211
1783.21/1783.78	c nbDecision=55500 #constraints=52708
1800.02/1800.50	Received signal 15
1800.02/1800.53	
1800.02/1800.53	s UNKNOWN
1800.02/1800.53	
1800.02/1800.53	c user time= 1798.62 s
1800.02/1800.53	c system time= 1.43378 s
1800.02/1800.53	c wall clock time=1800.53

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/node50/watcher-356851-1176845406 -o ROOT/results/node50/solver-356851-1176845406 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356851-1176845406/instance-356851-1176845406.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: 1.00 1.00 1.00 3/64 3889
/proc/meminfo: memFree=1492408/2055920 swapFree=4183816/4192956
[pid=3889] ppid=3887 vsize=1468 CPUtime=0
/proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 178 0 0 0 0 0 0 0 18 0 1 0 39385757 1503232 160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3889/statm: 367 161 126 317 0 46 0

[startup+0.0807369 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3889
/proc/meminfo: memFree=1492408/2055920 swapFree=4183816/4192956
[pid=3889] ppid=3887 vsize=2548 CPUtime=0.07
/proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 413 0 0 0 7 0 0 0 18 0 1 0 39385757 2609152 395 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270583 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3889/statm: 637 395 131 317 0 316 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2548

[startup+0.101738 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3889
/proc/meminfo: memFree=1492408/2055920 swapFree=4183816/4192956
[pid=3889] ppid=3887 vsize=3344 CPUtime=0.09
/proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 616 0 0 0 9 0 0 0 18 0 1 0 39385757 3424256 598 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3889/statm: 836 598 137 317 0 515 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3344

[startup+0.301755 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3889
/proc/meminfo: memFree=1492408/2055920 swapFree=4183816/4192956
[pid=3889] ppid=3887 vsize=3760 CPUtime=0.29
/proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 702 0 0 0 29 0 0 0 19 0 1 0 39385757 3850240 684 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3889/statm: 940 684 139 317 0 619 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3760

[startup+0.70179 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3889
/proc/meminfo: memFree=1492408/2055920 swapFree=4183816/4192956
[pid=3889] ppid=3887 vsize=4024 CPUtime=0.69
/proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 793 0 0 0 69 0 0 0 23 0 1 0 39385757 4120576 775 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3889/statm: 1006 775 139 317 0 685 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4024

[startup+1.50186 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3890
/proc/meminfo: memFree=1489520/2055920 swapFree=4183816/4192956
[pid=3889] ppid=3887 vsize=4824 CPUtime=1.49
/proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 975 0 0 0 149 0 0 0 25 0 1 0 39385757 4939776 957 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3889/statm: 1206 957 139 317 0 885 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4824

[startup+3.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3890
/proc/meminfo: memFree=1488176/2055920 swapFree=4183816/4192956
[pid=3889] ppid=3887 vsize=6692 CPUtime=3.09
/proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 1456 0 0 0 308 1 0 0 25 0 1 0 39385757 6852608 1438 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3889/statm: 1673 1438 139 317 0 1352 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6692

[startup+6.30128 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3890
/proc/meminfo: memFree=1485176/2055920 swapFree=4183816/4192956
[pid=3889] ppid=3887 vsize=10140 CPUtime=6.29
/proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 2305 0 0 0 628 1 0 0 25 0 1 0 39385757 10383360 2287 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3889/statm: 2535 2287 139 317 0 2214 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10140

[startup+12.7018 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3890
/proc/meminfo: memFree=1477368/2055920 swapFree=4183816/4192956
[pid=3889] ppid=3887 vsize=16856 CPUtime=12.69
/proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 3988 0 0 0 1267 2 0 0 25 0 1 0 39385757 17260544 3970 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3889/statm: 4214 3970 139 317 0 3893 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16856

[startup+25.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3890
/proc/meminfo: memFree=1463992/2055920 swapFree=4183816/4192956
[pid=3889] ppid=3887 vsize=30340 CPUtime=25.49
/proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 7258 0 0 0 2545 4 0 0 25 0 1 0 39385757 31068160 7240 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3889/statm: 7585 7240 139 317 0 7264 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 30340

[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3890
/proc/meminfo: memFree=1439480/2055920 swapFree=4183816/4192956
[pid=3889] ppid=3887 vsize=56628 CPUtime=51.08
/proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 13460 0 0 0 5101 7 0 0 25 0 1 0 39385757 57987072 13442 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3889/statm: 14157 13442 170 317 0 13836 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 56628

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3890
/proc/meminfo: memFree=1393016/2055920 swapFree=4183816/4192956
[pid=3889] ppid=3887 vsize=106712 CPUtime=102.26
/proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 24945 0 0 0 10213 13 0 0 25 0 1 0 39385757 109273088 24927 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3889/statm: 26678 24927 170 317 0 26357 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 106712

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3890
/proc/meminfo: memFree=1347064/2055920 swapFree=4183816/4192956
[pid=3889] ppid=3887 vsize=148580 CPUtime=162.25
/proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 36555 0 0 0 16205 20 0 0 25 0 1 0 39385757 152145920 36479 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3889/statm: 37145 36479 170 317 0 36824 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 148580

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3890
/proc/meminfo: memFree=1287416/2055920 swapFree=4183816/4192956
[pid=3889] ppid=3887 vsize=219804 CPUtime=222.23
/proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 51355 0 0 0 22196 27 0 0 25 0 1 0 39385757 225079296 51279 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3889/statm: 54951 51279 170 317 0 54630 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 219804

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3890
/proc/meminfo: memFree=1246840/2055920 swapFree=4183816/4192956
[pid=3889] ppid=3887 vsize=256200 CPUtime=282.21
/proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 61576 0 0 0 28190 31 0 0 25 0 1 0 39385757 262348800 61500 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3889/statm: 64050 61500 170 317 0 63729 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 256200

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3890
/proc/meminfo: memFree=1204472/2055920 swapFree=4183816/4192956
[pid=3889] ppid=3887 vsize=294544 CPUtime=342.2
/proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 72051 0 0 0 34183 37 0 0 25 0 1 0 39385757 301613056 71975 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3889/statm: 73636 71975 170 317 0 73315 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 294544

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3890
/proc/meminfo: memFree=1163512/2055920 swapFree=4183816/4192956
[pid=3889] ppid=3887 vsize=332692 CPUtime=402.18
/proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 82489 0 0 0 40177 41 0 0 25 0 1 0 39385757 340676608 82298 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270569 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3889/statm: 83173 82298 170 317 0 82852 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 332692

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3890
/proc/meminfo: memFree=1108152/2055920 swapFree=4183816/4192956
[pid=3889] ppid=3887 vsize=426576 CPUtime=462.17
/proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 103752 0 0 0 46167 50 0 0 25 0 1 0 39385757 436813824 96004 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3889/statm: 106644 96004 170 317 0 106323 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 426576

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3890
/proc/meminfo: memFree=1069944/2055920 swapFree=4183816/4192956
[pid=3889] ppid=3887 vsize=459156 CPUtime=522.15
/proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 113292 0 0 0 52160 55 0 0 25 0 1 0 39385757 470175744 105544 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3889/statm: 114789 105544 170 317 0 114468 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 459156

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3890
/proc/meminfo: memFree=1035896/2055920 swapFree=4183816/4192956
[pid=3889] ppid=3887 vsize=489352 CPUtime=582.14
/proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 121892 0 0 0 58154 60 0 0 25 0 1 0 39385757 501096448 114045 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3889/statm: 122338 114045 170 317 0 122017 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 489352

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3890
/proc/meminfo: memFree=1005304/2055920 swapFree=4183816/4192956
[pid=3889] ppid=3887 vsize=515616 CPUtime=642.13
/proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 129482 0 0 0 64150 63 0 0 25 0 1 0 39385757 527990784 121602 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3889/statm: 128904 121602 170 317 0 128583 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 515616


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

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3890
/proc/meminfo: memFree=834872/2055920 swapFree=4183816/4192956
[pid=3889] ppid=3887 vsize=663580 CPUtime=942.04
/proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 172484 0 0 0 94122 82 0 0 25 0 1 0 39385757 679505920 164212 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3889/statm: 165895 164212 170 317 0 165574 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 663580

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3890
/proc/meminfo: memFree=791800/2055920 swapFree=4183816/4192956
[pid=3889] ppid=3887 vsize=803340 CPUtime=1002.02
/proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 205240 0 0 0 100108 94 0 0 25 0 1 0 39385757 822620160 174803 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3889/statm: 200835 174803 170 317 0 200514 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 803340

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3890
/proc/meminfo: memFree=759800/2055920 swapFree=4183816/4192956
[pid=3889] ppid=3887 vsize=831172 CPUtime=1062.01
/proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 213429 0 0 0 106102 99 0 0 25 0 1 0 39385757 851120128 182927 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602749 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3889/statm: 207793 182927 170 317 0 207472 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 831172

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3890
/proc/meminfo: memFree=730680/2055920 swapFree=4183816/4192956
[pid=3889] ppid=3887 vsize=855100 CPUtime=1121.99
/proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 220617 0 0 0 112097 102 0 0 25 0 1 0 39385757 875622400 190115 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3889/statm: 213775 190115 170 317 0 213454 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 855100

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3890
/proc/meminfo: memFree=705656/2055920 swapFree=4183816/4192956
[pid=3889] ppid=3887 vsize=877860 CPUtime=1181.97
/proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 227125 0 0 0 118091 106 0 0 25 0 1 0 39385757 898928640 196428 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3889/statm: 219465 196428 170 317 0 219144 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 877860

[startup+1242.3 s]
/proc/loadavg: 1.05 1.01 1.00 2/65 3890
/proc/meminfo: memFree=676088/2055920 swapFree=4183816/4192956
[pid=3889] ppid=3887 vsize=902624 CPUtime=1241.96
/proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 234519 0 0 0 124087 109 0 0 25 0 1 0 39385757 924286976 203756 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3889/statm: 225656 203756 170 317 0 225335 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 902624

[startup+1302.3 s]
/proc/loadavg: 1.13 1.04 1.01 2/65 3890
/proc/meminfo: memFree=649400/2055920 swapFree=4183816/4192956
[pid=3889] ppid=3887 vsize=926052 CPUtime=1301.95
/proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 241187 0 0 0 130081 114 0 0 25 0 1 0 39385757 948277248 210359 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3889/statm: 231513 210359 170 317 0 231192 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 926052

[startup+1362.3 s]
/proc/loadavg: 1.05 1.03 1.00 2/65 3890
/proc/meminfo: memFree=617784/2055920 swapFree=4183816/4192956
[pid=3889] ppid=3887 vsize=953072 CPUtime=1361.93
/proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 249551 0 0 0 136075 118 0 0 25 0 1 0 39385757 975945728 218723 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3889/statm: 238268 218723 170 317 0 237947 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 953072

[startup+1422.31 s]
/proc/loadavg: 1.02 1.02 1.00 2/65 3890
/proc/meminfo: memFree=590072/2055920 swapFree=4183816/4192956
[pid=3889] ppid=3887 vsize=975720 CPUtime=1421.91
/proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 256015 0 0 0 142070 121 0 0 25 0 1 0 39385757 999137280 225187 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3889/statm: 243930 225187 170 317 0 243609 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 975720

[startup+1482.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 3890
/proc/meminfo: memFree=558520/2055920 swapFree=4183816/4192956
[pid=3889] ppid=3887 vsize=1002484 CPUtime=1481.89
/proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 263912 0 0 0 148064 125 0 0 25 0 1 0 39385757 1026543616 233084 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563665 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3889/statm: 250621 233084 170 317 0 250300 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 1002484

[startup+1542.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 3890
/proc/meminfo: memFree=531192/2055920 swapFree=4183816/4192956
[pid=3889] ppid=3887 vsize=1024912 CPUtime=1541.87
/proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 270724 0 0 0 154058 129 0 0 25 0 1 0 39385757 1049509888 239896 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3889/statm: 256228 239896 170 317 0 255907 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1024912

[startup+1602.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 3890
/proc/meminfo: memFree=510904/2055920 swapFree=4183816/4192956
[pid=3889] ppid=3887 vsize=1041780 CPUtime=1601.86
/proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 275758 0 0 0 160055 131 0 0 25 0 1 0 39385757 1066782720 244930 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3889/statm: 260445 244930 170 317 0 260124 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1041780

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3890
/proc/meminfo: memFree=488312/2055920 swapFree=4183816/4192956
[pid=3889] ppid=3887 vsize=1061044 CPUtime=1661.84
/proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 281398 0 0 0 166050 134 0 0 25 0 1 0 39385757 1086509056 250570 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3889/statm: 265261 250570 170 317 0 264940 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1061044

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3890
/proc/meminfo: memFree=463032/2055920 swapFree=4183816/4192956
[pid=3889] ppid=3887 vsize=1083328 CPUtime=1721.83
/proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 287784 0 0 0 172045 138 0 0 25 0 1 0 39385757 1109327872 256923 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3889/statm: 270832 256923 170 317 0 270511 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1083328

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3890
/proc/meminfo: memFree=435000/2055920 swapFree=4183816/4192956
[pid=3889] ppid=3887 vsize=1106472 CPUtime=1781.82
/proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 294805 0 0 0 178040 142 0 0 25 0 1 0 39385757 1133027328 263911 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3889/statm: 276618 263911 170 317 0 276297 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1106472



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3890
/proc/meminfo: memFree=426104/2055920 swapFree=4183816/4192956
[pid=3889] ppid=3887 vsize=1113704 CPUtime=1800.02
/proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194304 297006 0 0 0 179859 143 0 0 25 0 1 0 39385757 1140432896 266079 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3889/statm: 278426 266079 170 317 0 278105 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1113704

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

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

[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3891
/proc/meminfo: memFree=816688/2055920 swapFree=4183816/4192956
[pid=3889] ppid=3887 vsize=0 CPUtime=1800.12
/proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194308 297026 0 0 0 179862 150 0 0 25 0 1 0 39385757 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3889/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 0

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3891
/proc/meminfo: memFree=816688/2055920 swapFree=4183816/4192956
[pid=3889] ppid=3887 vsize=0 CPUtime=1800.21
/proc/3889/stat : 3889 (oree) R 3887 3889 2975 0 -1 4194308 297026 0 0 0 179862 159 0 0 25 0 1 0 39385757 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3889/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.71
CPU time (s): 1800.23
CPU user time (s): 1798.63
CPU system time (s): 1.60276
CPU usage (%): 99.9733
Max. virtual memory (cumulated for all children) (KiB): 1113704

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

runsolver used 1.2938 second user time and 3.64445 second system time

The end

Launcher Data (download as text)

Begin job on node50 on Tue Apr 17 21:30:06 UTC 2007

IDJOB= 356851
IDBENCH= 1517
IDSOLVER= 172
FILE ID= node50/356851-1176845406

PBS_JOBID= 4590164

Free space on /tmp= 66542 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p6000.opb
COMMAND LINE= oree /tmp/evaluation/356851-1176845406/instance-356851-1176845406.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node50/watcher-356851-1176845406 -o ROOT/results/node50/solver-356851-1176845406 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/356851-1176845406/instance-356851-1176845406.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  0c3c379676a8ddac6d8ad36181bfd2e9

RANDOM SEED= 209467175

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node50.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:       1492816 kB
Buffers:         39724 kB
Cached:         448236 kB
SwapCached:       3272 kB
Active:         161464 kB
Inactive:       336320 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1492816 kB
SwapTotal:     4192956 kB
SwapFree:      4183816 kB
Dirty:            1568 kB
Writeback:           0 kB
Mapped:          15568 kB
Slab:            51264 kB
Committed_AS:   998908 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= 66542 MiB

End job on node50 on Tue Apr 17 22:00:08 UTC 2007