Trace number 357362

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) 1801.55 1802.02

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-dcmulti.opb
MD5SUM8db02a87a2ff672cda2bdb003f710a98
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 variables14265
Total number of constraints290
Number of constraints which are clauses27
Number of constraints which are cardinality constraints (but not clauses)5
Number of constraints which are nor clauses,nor cardinality constraints258
Minimum length of a constraint2
Maximum length of a constraint420
Number of terms in the objective function 14235
Biggest coefficient in the objective function 714038312960
Number of bits for the biggest coefficient in the objective function 40
Sum of the numbers in the objective function 68224730472397
Number of bits of the sum of numbers in the objective function 46
Biggest number in a constraint 714038312960
Number of bits of the biggest number in a constraint 40
Biggest sum of numbers in a constraint 68224730472397
Number of bits of the biggest sum of numbers46
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
0.09/0.17	c ...done
0.09/0.17	c #vars=14265 #constraints=369 hasObjective=yes
0.29/0.30	c res. mode=mod
0.29/0.30	c VSIDS like heuristics
0.29/0.30	c complete search running
0.29/0.39	c restart after 401 decisions
0.39/0.43	c nbDecision=500 #constraints=379
0.39/0.45	c restart after 801 decisions
0.39/0.50	c nbDecision=1000 #constraints=381
0.59/0.60	c nbDecision=1500 #constraints=408
0.59/0.61	c restart after 1601 decisions
0.59/0.67	c nbDecision=2000 #constraints=408
1.79/1.86	c nbDecision=2500 #constraints=505
2.39/2.43	c nbDecision=3000 #constraints=683
2.69/2.70	c restart after 3201 decisions
2.69/2.78	c nbDecision=3500 #constraints=890
2.99/3.05	c nbDecision=4000 #constraints=1022
3.09/3.12	c nbDecision=4500 #constraints=1046
4.79/4.80	c nbDecision=5000 #constraints=1273
5.39/5.50	c nbDecision=5500 #constraints=1331
8.19/8.20	c nbDecision=6000 #constraints=1616
9.49/9.57	c restart after 6401 decisions
9.69/9.72	c nbDecision=6500 #constraints=1712
9.69/9.77	c nbDecision=7000 #constraints=1712
10.09/10.16	c nbDecision=7500 #constraints=1752
11.69/11.80	c nbDecision=8000 #constraints=1958
16.88/16.91	c nbDecision=8500 #constraints=2299
17.69/17.71	c nbDecision=9000 #constraints=2339
24.39/24.49	c nbDecision=9500 #constraints=2797
28.08/28.10	c nbDecision=10000 #constraints=2952
29.59/29.69	c nbDecision=10500 #constraints=3193
30.29/30.36	c nbDecision=11000 #constraints=3471
30.49/30.53	c nbDecision=11500 #constraints=3512
32.38/32.49	c nbDecision=12000 #constraints=3655
35.28/35.35	c nbDecision=12500 #constraints=3781
35.58/35.66	c restart after 12801 decisions
36.28/36.33	c nbDecision=13000 #constraints=3795
36.58/36.62	c nbDecision=13500 #constraints=3822
45.18/45.24	c nbDecision=14000 #constraints=4215
47.38/47.47	c nbDecision=14500 #constraints=4288
51.88/51.91	c nbDecision=15000 #constraints=4498
56.57/56.62	c nbDecision=15500 #constraints=4637
58.48/58.51	c nbDecision=16000 #constraints=4754
70.97/71.09	c nbDecision=16500 #constraints=5176
74.78/74.85	c nbDecision=17000 #constraints=5272
77.77/77.88	c nbDecision=17500 #constraints=5432
92.27/92.31	c nbDecision=18000 #constraints=5853
99.66/99.71	c nbDecision=18500 #constraints=6017
100.46/100.57	c nbDecision=19000 #constraints=6037
134.85/134.96	c nbDecision=19500 #constraints=6374
137.65/137.75	c nbDecision=20000 #constraints=6401
140.36/140.45	c nbDecision=20500 #constraints=6459
153.95/154.05	c nbDecision=21000 #constraints=6883
161.45/161.53	c nbDecision=21500 #constraints=7024
163.85/164.00	c nbDecision=22000 #constraints=7139
183.75/183.81	c nbDecision=22500 #constraints=7561
189.74/189.86	c nbDecision=23000 #constraints=7662
196.14/196.28	c nbDecision=23500 #constraints=7901
215.64/215.79	c nbDecision=24000 #constraints=8278
222.64/222.71	c nbDecision=24500 #constraints=8390
224.93/225.04	c nbDecision=25000 #constraints=8505
245.82/245.91	c nbDecision=25500 #constraints=9009
251.83/251.95	c restart after 25601 decisions
255.53/255.67	c nbDecision=26000 #constraints=9110
264.52/264.60	c nbDecision=26500 #constraints=9230
274.72/274.86	c nbDecision=27000 #constraints=9393
278.51/278.69	c nbDecision=27500 #constraints=9527
300.51/300.68	c nbDecision=28000 #constraints=10032
325.41/325.58	c nbDecision=28500 #constraints=10370
338.20/338.38	c nbDecision=29000 #constraints=10537
361.49/361.65	c nbDecision=29500 #constraints=10657
374.39/374.56	c nbDecision=30000 #constraints=10724
380.89/381.06	c nbDecision=30500 #constraints=10831
381.60/381.76	c nbDecision=31000 #constraints=10838
387.59/387.79	c nbDecision=31500 #constraints=10912
406.99/407.10	c nbDecision=32000 #constraints=11331
438.18/438.36	c nbDecision=32500 #constraints=11723
450.37/450.59	c nbDecision=33000 #constraints=11857
452.28/452.45	c nbDecision=33500 #constraints=11879
477.27/477.48	c nbDecision=34000 #constraints=12336
511.56/511.76	c nbDecision=34500 #constraints=12669
518.86/519.07	c nbDecision=35000 #constraints=12748
526.55/526.79	c nbDecision=35500 #constraints=12919
560.04/560.27	c nbDecision=36000 #constraints=13421
588.54/588.75	c nbDecision=36500 #constraints=13672
591.14/591.37	c nbDecision=37000 #constraints=13692
670.92/671.18	c nbDecision=37500 #constraints=14009
686.21/686.48	c nbDecision=38000 #constraints=14059
706.20/706.48	c nbDecision=38500 #constraints=14270
725.80/726.05	c nbDecision=39000 #constraints=14413
741.10/741.32	c nbDecision=39500 #constraints=14622
781.49/781.77	c nbDecision=40000 #constraints=14959
788.28/788.56	c nbDecision=40500 #constraints=15017
810.38/810.63	c nbDecision=41000 #constraints=15299
848.67/848.95	c nbDecision=41500 #constraints=15599
855.57/855.84	c nbDecision=42000 #constraints=15647
876.66/876.96	c nbDecision=42500 #constraints=15981
923.25/923.57	c nbDecision=43000 #constraints=16368
939.74/940.09	c nbDecision=43500 #constraints=16499
943.75/944.07	c nbDecision=44000 #constraints=16571
992.14/992.41	c nbDecision=44500 #constraints=17077
1022.02/1022.30	c nbDecision=45000 #constraints=17291
1028.72/1029.09	c nbDecision=45500 #constraints=17337
1058.11/1058.41	c nbDecision=46000 #constraints=17753
1114.40/1114.78	c nbDecision=46500 #constraints=18167
1136.30/1136.62	c nbDecision=47000 #constraints=18318
1211.07/1211.45	c nbDecision=47500 #constraints=18530
1346.25/1346.64	c nbDecision=48000 #constraints=18879
1392.13/1392.52	c nbDecision=48500 #constraints=18998
1410.12/1410.51	c nbDecision=49000 #constraints=19116
1426.11/1426.50	c nbDecision=49500 #constraints=19198
1433.02/1433.46	c nbDecision=50000 #constraints=19301
1490.70/1491.14	c nbDecision=50500 #constraints=19691
1505.40/1505.81	c nbDecision=51000 #constraints=19768
1506.20/1506.65	c restart after 51201 decisions
1515.40/1515.87	c nbDecision=51500 #constraints=19775
1516.29/1516.72	c nbDecision=52000 #constraints=19780
1562.69/1563.19	c nbDecision=52500 #constraints=20241
1615.57/1616.01	c nbDecision=53000 #constraints=20558
1626.27/1626.73	c nbDecision=53500 #constraints=20623
1646.76/1647.21	c nbDecision=54000 #constraints=20910
1710.74/1711.26	c nbDecision=54500 #constraints=21412
1755.74/1756.27	c nbDecision=55000 #constraints=21681
1769.33/1769.87	c nbDecision=55500 #constraints=21762
1800.02/1800.50	Received signal 15
1801.32/1801.89	
1801.32/1801.89	s UNKNOWN
1801.32/1801.89	
1801.32/1801.89	c user time= 1800.58 s
1801.32/1801.89	c system time= 0.847871 s
1801.32/1801.89	c wall clock time=1801.9

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/node65/watcher-357362-1176995714 -o ROOT/results/node65/solver-357362-1176995714 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357362-1176995714/instance-357362-1176995714.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 9994
/proc/meminfo: memFree=1582080/2055920 swapFree=4184012/4192956
[pid=9994] ppid=9992 vsize=1468 CPUtime=0
/proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 175561018 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134990031 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9994/statm: 367 161 127 317 0 46 0

[startup+0.100461 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 9994
/proc/meminfo: memFree=1582080/2055920 swapFree=4184012/4192956
[pid=9994] ppid=9992 vsize=2840 CPUtime=0.09
/proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 543 0 0 0 9 0 0 0 18 0 1 0 175561018 2908160 492 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9994/statm: 710 492 131 317 0 389 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2840

[startup+0.201462 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 9994
/proc/meminfo: memFree=1582080/2055920 swapFree=4184012/4192956
[pid=9994] ppid=9992 vsize=5608 CPUtime=0.19
/proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 1252 0 0 0 19 0 0 0 18 0 1 0 175561018 5742592 1201 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9994/statm: 1402 1201 137 317 0 1081 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 5608

[startup+0.301469 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 9994
/proc/meminfo: memFree=1582080/2055920 swapFree=4184012/4192956
[pid=9994] ppid=9992 vsize=5872 CPUtime=0.29
/proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 1325 0 0 0 29 0 0 0 19 0 1 0 175561018 6012928 1274 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9994/statm: 1468 1274 137 317 0 1147 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5872

[startup+0.701503 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 9994
/proc/meminfo: memFree=1582080/2055920 swapFree=4184012/4192956
[pid=9994] ppid=9992 vsize=6636 CPUtime=0.69
/proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 1517 0 0 0 69 0 0 0 22 0 1 0 175561018 6795264 1466 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9994/statm: 1659 1466 170 317 0 1338 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6636

[startup+1.50157 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9995
/proc/meminfo: memFree=1575352/2055920 swapFree=4184012/4192956
[pid=9994] ppid=9992 vsize=8780 CPUtime=1.49
/proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 2057 0 0 0 149 0 0 0 25 0 1 0 175561018 8990720 2006 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284196 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9994/statm: 2195 2006 170 317 0 1874 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8780

[startup+3.1017 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9995
/proc/meminfo: memFree=1573688/2055920 swapFree=4184012/4192956
[pid=9994] ppid=9992 vsize=12560 CPUtime=3.09
/proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 2971 0 0 0 309 0 0 0 25 0 1 0 175561018 12861440 2920 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9994/statm: 3140 2920 170 317 0 2819 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12560

[startup+6.30197 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9995
/proc/meminfo: memFree=1564600/2055920 swapFree=4184012/4192956
[pid=9994] ppid=9992 vsize=22800 CPUtime=6.29
/proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 5510 0 0 0 628 1 0 0 25 0 1 0 175561018 23347200 5459 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272633 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9994/statm: 5700 5459 170 317 0 5379 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22800

[startup+12.7015 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9995
/proc/meminfo: memFree=1547384/2055920 swapFree=4184012/4192956
[pid=9994] ppid=9992 vsize=39120 CPUtime=12.69
/proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 9451 0 0 0 1266 3 0 0 25 0 1 0 175561018 40058880 9400 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134742702 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9994/statm: 9780 9400 170 317 0 9459 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 39120

[startup+25.5016 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9995
/proc/meminfo: memFree=1516216/2055920 swapFree=4184012/4192956
[pid=9994] ppid=9992 vsize=70356 CPUtime=25.49
/proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 16649 0 0 0 2542 7 0 0 25 0 1 0 175561018 72044544 16598 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271317 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9994/statm: 17589 16598 170 317 0 17268 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 70356

[startup+51.1017 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9995
/proc/meminfo: memFree=1475704/2055920 swapFree=4184012/4192956
[pid=9994] ppid=9992 vsize=115696 CPUtime=51.07
/proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 26840 0 0 0 5096 11 0 0 25 0 1 0 175561018 118472704 26789 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272641 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9994/statm: 28924 26789 170 317 0 28603 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 115696

[startup+102.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9995
/proc/meminfo: memFree=1426872/2055920 swapFree=4184012/4192956
[pid=9994] ppid=9992 vsize=161596 CPUtime=102.26
/proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 38879 0 0 0 10209 17 0 0 25 0 1 0 175561018 165474304 38828 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563967 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9994/statm: 40399 38828 170 317 0 40078 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 161596

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9995
/proc/meminfo: memFree=1385016/2055920 swapFree=4184012/4192956
[pid=9994] ppid=9992 vsize=212644 CPUtime=162.25
/proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 49490 0 0 0 16202 23 0 0 25 0 1 0 175561018 217747456 49439 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9994/statm: 53161 49439 170 317 0 52840 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 212644

[startup+222.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9995
/proc/meminfo: memFree=1343480/2055920 swapFree=4184012/4192956
[pid=9994] ppid=9992 vsize=251536 CPUtime=222.24
/proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 59750 0 0 0 22196 28 0 0 25 0 1 0 175561018 257572864 59642 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9994/statm: 62884 59642 170 317 0 62563 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 251536

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9995
/proc/meminfo: memFree=1306040/2055920 swapFree=4184012/4192956
[pid=9994] ppid=9992 vsize=288184 CPUtime=282.22
/proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 69228 0 0 0 28190 32 0 0 25 0 1 0 175561018 295100416 69120 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9994/statm: 72046 69120 170 317 0 71725 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 288184

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9995
/proc/meminfo: memFree=1258168/2055920 swapFree=4184012/4192956
[pid=9994] ppid=9992 vsize=357400 CPUtime=342.2
/proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 81026 0 0 0 34183 37 0 0 25 0 1 0 175561018 365977600 80918 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9994/statm: 89350 80918 170 317 0 89029 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 357400

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9995
/proc/meminfo: memFree=1236664/2055920 swapFree=4184012/4192956
[pid=9994] ppid=9992 vsize=378748 CPUtime=402.19
/proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 86511 0 0 0 40179 40 0 0 25 0 1 0 175561018 387837952 86403 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9994/statm: 94687 86403 170 317 0 94366 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 378748

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9995
/proc/meminfo: memFree=1209336/2055920 swapFree=4184012/4192956
[pid=9994] ppid=9992 vsize=404108 CPUtime=462.17
/proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 93267 0 0 0 46174 43 0 0 25 0 1 0 175561018 413806592 93159 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9994/statm: 101027 93159 170 317 0 100706 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 404108

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9995
/proc/meminfo: memFree=1189048/2055920 swapFree=4184012/4192956
[pid=9994] ppid=9992 vsize=424256 CPUtime=522.15
/proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 98451 0 0 0 52169 46 0 0 25 0 1 0 175561018 434438144 98343 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9994/statm: 106064 98343 170 317 0 105743 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 424256

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9995
/proc/meminfo: memFree=1163896/2055920 swapFree=4184012/4192956
[pid=9994] ppid=9992 vsize=447208 CPUtime=582.14
/proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 104554 0 0 0 58165 49 0 0 25 0 1 0 175561018 457940992 104446 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9994/statm: 111802 104446 170 317 0 111481 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 447208

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9995
/proc/meminfo: memFree=1155000/2055920 swapFree=4184012/4192956
[pid=9994] ppid=9992 vsize=456336 CPUtime=642.12
/proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 106790 0 0 0 64163 49 0 0 25 0 1 0 175561018 467288064 106682 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284640 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9994/statm: 114084 106682 170 317 0 113763 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 456336


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

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9995
/proc/meminfo: memFree=1035512/2055920 swapFree=4184012/4192956
[pid=9994] ppid=9992 vsize=570728 CPUtime=1062.01
/proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 136722 0 0 0 106138 63 0 0 25 0 1 0 175561018 584425472 136500 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563622 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9994/statm: 142682 136500 170 317 0 142361 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 570728

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9995
/proc/meminfo: memFree=1022136/2055920 swapFree=4184012/4192956
[pid=9994] ppid=9992 vsize=583184 CPUtime=1122
/proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 140040 0 0 0 112134 66 0 0 25 0 1 0 175561018 597180416 139818 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9994/statm: 145796 139818 170 317 0 145475 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 583184

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9995
/proc/meminfo: memFree=1014776/2055920 swapFree=4184012/4192956
[pid=9994] ppid=9992 vsize=590440 CPUtime=1181.98
/proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 141875 0 0 0 118131 67 0 0 25 0 1 0 175561018 604610560 141653 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278991 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9994/statm: 147610 141653 170 317 0 147289 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 590440

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9995
/proc/meminfo: memFree=1006776/2055920 swapFree=4184012/4192956
[pid=9994] ppid=9992 vsize=604828 CPUtime=1241.97
/proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 145064 0 0 0 124129 68 0 0 25 0 1 0 175561018 619343872 143588 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604138 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9994/statm: 151207 143588 170 317 0 150886 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 604828

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9995
/proc/meminfo: memFree=984248/2055920 swapFree=4184012/4192956
[pid=9994] ppid=9992 vsize=683152 CPUtime=1301.95
/proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 160568 0 0 0 130122 73 0 0 25 0 1 0 175561018 699547648 149192 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9994/statm: 170788 149192 170 317 0 170467 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 683152

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9995
/proc/meminfo: memFree=979384/2055920 swapFree=4184012/4192956
[pid=9994] ppid=9992 vsize=688088 CPUtime=1361.94
/proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 161780 0 0 0 136120 74 0 0 25 0 1 0 175561018 704602112 150404 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284242 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9994/statm: 172022 150404 170 317 0 171701 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 688088

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9995
/proc/meminfo: memFree=970616/2055920 swapFree=4184012/4192956
[pid=9994] ppid=9992 vsize=695880 CPUtime=1421.92
/proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 163957 0 0 0 142118 74 0 0 25 0 1 0 175561018 712581120 152581 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9994/statm: 173970 152581 170 317 0 173649 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 695880

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9997
/proc/meminfo: memFree=955896/2055920 swapFree=4184012/4192956
[pid=9994] ppid=9992 vsize=709432 CPUtime=1481.9
/proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 167754 0 0 0 148114 76 0 0 25 0 1 0 175561018 726458368 156378 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9994/statm: 177358 156378 170 317 0 177037 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 709432

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9997
/proc/meminfo: memFree=942392/2055920 swapFree=4184012/4192956
[pid=9994] ppid=9992 vsize=722352 CPUtime=1541.89
/proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 171009 0 0 0 154112 77 0 0 25 0 1 0 175561018 739688448 159633 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9994/statm: 180588 159633 170 317 0 180267 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 722352

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9997
/proc/meminfo: memFree=929656/2055920 swapFree=4184012/4192956
[pid=9994] ppid=9992 vsize=733688 CPUtime=1601.88
/proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 174199 0 0 0 160109 79 0 0 25 0 1 0 175561018 751296512 162823 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9994/statm: 183422 162823 170 317 0 183101 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 733688

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9997
/proc/meminfo: memFree=912056/2055920 swapFree=4184012/4192956
[pid=9994] ppid=9992 vsize=750196 CPUtime=1661.86
/proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 178589 0 0 0 166105 81 0 0 25 0 1 0 175561018 768200704 167213 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9994/statm: 187549 167213 170 317 0 187228 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 750196

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9997
/proc/meminfo: memFree=897208/2055920 swapFree=4184012/4192956
[pid=9994] ppid=9992 vsize=763484 CPUtime=1721.84
/proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 182283 0 0 0 172101 83 0 0 25 0 1 0 175561018 781807616 170907 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9994/statm: 190871 170907 170 317 0 190550 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 763484

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9997
/proc/meminfo: memFree=887032/2055920 swapFree=4184012/4192956
[pid=9994] ppid=9992 vsize=772508 CPUtime=1781.82
/proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 184837 0 0 0 178098 84 0 0 25 0 1 0 175561018 791048192 173428 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9994/statm: 193127 173428 170 317 0 192806 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 772508



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9997
/proc/meminfo: memFree=885176/2055920 swapFree=4184012/4192956
[pid=9994] ppid=9992 vsize=773948 CPUtime=1800.02
/proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 185293 0 0 0 179918 84 0 0 25 0 1 0 175561018 792522752 173884 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9994/statm: 193487 173884 170 317 0 193166 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 773948

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

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

[startup+1800.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9998
/proc/meminfo: memFree=885104/2055920 swapFree=4184012/4192956
[pid=9994] ppid=9992 vsize=774092 CPUtime=1800.22
/proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 185308 0 0 0 179938 84 0 0 25 0 1 0 175561018 792670208 173899 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9994/statm: 193523 173899 170 317 0 193202 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 774092

[startup+1801.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9998
/proc/meminfo: memFree=885104/2055920 swapFree=4184012/4192956
[pid=9994] ppid=9992 vsize=774092 CPUtime=1801.02
/proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 185325 0 0 0 180018 84 0 0 25 0 1 0 175561018 792670208 173916 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9994/statm: 193523 173916 170 317 0 193202 0
Current children cumulated CPU time (s) 1801.02
Current children cumulated vsize (KiB) 774092

[startup+1801.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9998
/proc/meminfo: memFree=884976/2055920 swapFree=4184012/4192956
[pid=9994] ppid=9992 vsize=739640 CPUtime=1801.42
/proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 185345 0 0 0 180058 84 0 0 25 0 1 0 175561018 757391360 168722 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135339169 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9994/statm: 184845 168683 186 317 0 184524 0
Current children cumulated CPU time (s) 1801.42
Current children cumulated vsize (KiB) 739640

[startup+1802 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9998
/proc/meminfo: memFree=884976/2055920 swapFree=4184012/4192956
[pid=9994] ppid=9992 vsize=0 CPUtime=1801.52
/proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194308 185345 0 0 0 180058 94 0 0 25 0 1 0 175561018 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9994/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1801.52
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1802.02
CPU time (s): 1801.55
CPU user time (s): 1800.59
CPU system time (s): 0.957854
CPU usage (%): 99.9738
Max. virtual memory (cumulated for all children) (KiB): 774092

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

runsolver used 1.3328 second user time and 3.61245 second system time

The end

Launcher Data (download as text)

Begin job on node65 on Thu Apr 19 15:15:14 UTC 2007

IDJOB= 357362
IDBENCH= 2472
IDSOLVER= 172
FILE ID= node65/357362-1176995714

PBS_JOBID= 4630420

Free space on /tmp= 66400 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  8db02a87a2ff672cda2bdb003f710a98

RANDOM SEED= 380462040

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node65.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.245
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.245
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:       1582552 kB
Buffers:         28340 kB
Cached:         390276 kB
SwapCached:       2712 kB
Active:         206912 kB
Inactive:       226056 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1582552 kB
SwapTotal:     4192956 kB
SwapFree:      4184012 kB
Dirty:            1956 kB
Writeback:           0 kB
Mapped:          20344 kB
Slab:            26360 kB
Committed_AS:  2290176 kB
PageTables:       1468 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= 66400 MiB

End job on node65 on Thu Apr 19 15:45:17 UTC 2007