Trace number 356981

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.2 1800.95

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-fit2p.opb
MD5SUMea34bf390bf77663918ceca8ccc177b4
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1059
Best CPU time to get the best result obtained on this benchmark1800.25
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1059
Optimality of the best value was proved NO
Number of variables293602
Total number of constraints10500
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints10500
Minimum length of a constraint13
Maximum length of a constraint612
Number of terms in the objective function 246163
Biggest coefficient in the objective function 130
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 748663
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 261428
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 748663
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
6.39/6.45	c ...done
6.39/6.45	c #vars=293602 #constraints=13501 hasObjective=yes
8.38/8.45	c res. mode=mod
8.38/8.45	c VSIDS like heuristics
8.38/8.45	c complete search running
29.47/29.50	c restart after 401 decisions
40.36/40.43	c nbDecision=500 #constraints=13796
52.56/52.63	c restart after 801 decisions
70.85/70.95	c nbDecision=1000 #constraints=14175
93.25/93.35	c nbDecision=1500 #constraints=14675
98.15/98.25	c restart after 1601 decisions
120.33/120.43	c nbDecision=2000 #constraints=15061
144.33/144.46	c nbDecision=2500 #constraints=15515
169.42/169.59	c nbDecision=3000 #constraints=15971
183.01/183.19	c restart after 3201 decisions
211.30/211.46	c nbDecision=3500 #constraints=16364
246.79/246.98	c nbDecision=4000 #constraints=16853
276.48/276.67	c nbDecision=4500 #constraints=17329
311.37/311.54	c nbDecision=5000 #constraints=17795
345.23/345.45	c nbDecision=5500 #constraints=18274
391.74/392.04	c nbDecision=6000 #constraints=18769
419.03/419.30	c restart after 6401 decisions
434.13/434.43	c nbDecision=6500 #constraints=19183
472.31/472.67	c nbDecision=7000 #constraints=19670
501.80/502.11	c nbDecision=7500 #constraints=20152
528.29/528.66	c nbDecision=8000 #constraints=20621
563.88/564.30	c nbDecision=8500 #constraints=21113
593.68/594.00	c nbDecision=9000 #constraints=21607
623.15/623.53	c nbDecision=9500 #constraints=22096
661.75/662.10	c nbDecision=10000 #constraints=22584
692.13/692.55	c nbDecision=10500 #constraints=23075
729.32/729.71	c nbDecision=11000 #constraints=23558
758.62/759.00	c nbDecision=11500 #constraints=24035
785.70/786.11	c nbDecision=12000 #constraints=24515
820.89/821.39	c nbDecision=12500 #constraints=25009
839.28/839.74	c restart after 12801 decisions
859.47/859.99	c nbDecision=13000 #constraints=25398
885.86/886.33	c nbDecision=13500 #constraints=25851
916.45/916.97	c nbDecision=14000 #constraints=26312
942.74/943.20	c nbDecision=14500 #constraints=26762
973.43/973.91	c nbDecision=15000 #constraints=27220
1004.22/1004.70	c nbDecision=15500 #constraints=27664
1036.31/1036.89	c nbDecision=16000 #constraints=28130
1067.70/1068.26	c nbDecision=16500 #constraints=28569
1098.89/1099.49	c nbDecision=17000 #constraints=29005
1131.18/1131.76	c nbDecision=17500 #constraints=29454
1165.76/1166.36	c nbDecision=18000 #constraints=29898
1199.26/1199.89	c nbDecision=18500 #constraints=30326
1233.84/1234.48	c nbDecision=19000 #constraints=30758
1270.43/1271.02	c nbDecision=19500 #constraints=31219
1313.61/1314.28	c nbDecision=20000 #constraints=31694
1376.70/1377.33	c nbDecision=20500 #constraints=32179
1409.78/1410.46	c nbDecision=21000 #constraints=32622
1444.57/1445.29	c nbDecision=21500 #constraints=33066
1478.25/1478.90	c nbDecision=22000 #constraints=33507
1517.04/1517.79	c nbDecision=22500 #constraints=33967
1555.83/1556.53	c nbDecision=23000 #constraints=34402
1594.71/1595.43	c nbDecision=23500 #constraints=34854
1633.50/1634.25	c nbDecision=24000 #constraints=35308
1671.19/1671.91	c nbDecision=24500 #constraints=35764
1712.77/1713.52	c nbDecision=25000 #constraints=36226
1753.15/1753.92	c nbDecision=25500 #constraints=36689
1760.55/1761.37	c restart after 25601 decisions
1800.05/1800.80	Received signal 15
1800.05/1800.82	
1800.05/1800.82	s UNKNOWN
1800.05/1800.82	
1800.05/1800.82	c user time= 1799.45 s
1800.05/1800.82	c system time= 0.620905 s
1800.05/1800.82	c wall clock time=1800.82

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/node66/watcher-356981-1176850526 -o ROOT/results/node66/solver-356981-1176850526 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356981-1176850526/instance-356981-1176850526.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.92 0.97 0.92 3/64 10614
/proc/meminfo: memFree=1823416/2055920 swapFree=4176832/4192956
[pid=10614] ppid=10612 vsize=1620 CPUtime=0
/proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 161042360 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10614/statm: 405 175 126 317 0 84 0

[startup+0.101201 s]
/proc/loadavg: 0.92 0.97 0.92 3/64 10614
/proc/meminfo: memFree=1823416/2055920 swapFree=4176832/4192956
[pid=10614] ppid=10612 vsize=3440 CPUtime=0.09
/proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 896 0 0 0 9 0 0 0 18 0 1 0 161042360 3522560 651 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10614/statm: 860 652 126 317 0 539 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3440

[startup+0.201221 s]
/proc/loadavg: 0.92 0.97 0.92 3/64 10614
/proc/meminfo: memFree=1823416/2055920 swapFree=4176832/4192956
[pid=10614] ppid=10612 vsize=5520 CPUtime=0.19
/proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 1660 0 0 0 19 0 0 0 18 0 1 0 161042360 5652480 1158 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10614/statm: 1380 1158 126 317 0 1059 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 5520

[startup+0.301242 s]
/proc/loadavg: 0.92 0.97 0.92 3/64 10614
/proc/meminfo: memFree=1823416/2055920 swapFree=4176832/4192956
[pid=10614] ppid=10612 vsize=9548 CPUtime=0.29
/proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 2905 0 0 0 28 1 0 0 19 0 1 0 161042360 9777152 1890 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10614/statm: 2387 1890 126 317 0 2066 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9548

[startup+0.701321 s]
/proc/loadavg: 0.92 0.97 0.92 3/64 10614
/proc/meminfo: memFree=1823416/2055920 swapFree=4176832/4192956
[pid=10614] ppid=10612 vsize=10512 CPUtime=0.69
/proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 3388 0 0 0 67 2 0 0 22 0 1 0 161042360 10764288 2373 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10614/statm: 2628 2373 131 317 0 2307 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10512

[startup+1.50148 s]
/proc/loadavg: 0.92 0.97 0.92 2/65 10615
/proc/meminfo: memFree=1808432/2055920 swapFree=4176832/4192956
[pid=10614] ppid=10612 vsize=25484 CPUtime=1.49
/proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 6966 0 0 0 145 4 0 0 25 0 1 0 161042360 26095616 5951 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10614/statm: 6371 5951 131 317 0 6050 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25484

[startup+3.1018 s]
/proc/loadavg: 1.01 0.99 0.93 2/65 10615
/proc/meminfo: memFree=1785584/2055920 swapFree=4176832/4192956
[pid=10614] ppid=10612 vsize=60224 CPUtime=3.09
/proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 15209 0 0 0 301 8 0 0 25 0 1 0 161042360 61669376 14194 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10614/statm: 15056 14194 131 317 0 14735 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 60224

[startup+6.30144 s]
/proc/loadavg: 1.01 0.99 0.93 2/65 10615
/proc/meminfo: memFree=1718064/2055920 swapFree=4176832/4192956
[pid=10614] ppid=10612 vsize=129600 CPUtime=6.29
/proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 31572 0 0 0 614 15 0 0 25 0 1 0 161042360 132710400 30557 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10614/statm: 32400 30557 131 317 0 32079 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 129600

[startup+12.7017 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 10615
/proc/meminfo: memFree=1638512/2055920 swapFree=4176832/4192956
[pid=10614] ppid=10612 vsize=194704 CPUtime=12.69
/proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 47348 0 0 0 1247 22 0 0 25 0 1 0 161042360 199376896 46240 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718428 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10614/statm: 48676 46240 139 317 0 48355 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 194704

[startup+25.5013 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 10615
/proc/meminfo: memFree=1638256/2055920 swapFree=4176832/4192956
[pid=10614] ppid=10612 vsize=195092 CPUtime=25.49
/proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 47476 0 0 0 2527 22 0 0 25 0 1 0 161042360 199774208 46368 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10614/statm: 48773 46368 139 317 0 48452 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 195092

[startup+51.1014 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 10615
/proc/meminfo: memFree=1636400/2055920 swapFree=4176832/4192956
[pid=10614] ppid=10612 vsize=197272 CPUtime=51.06
/proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 47975 0 0 0 5084 22 0 0 25 0 1 0 161042360 202006528 46867 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10614/statm: 49318 46867 139 317 0 48997 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 197272

[startup+102.302 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 10615
/proc/meminfo: memFree=1631216/2055920 swapFree=4176832/4192956
[pid=10614] ppid=10612 vsize=203156 CPUtime=102.25
/proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 49295 0 0 0 10202 23 0 0 25 0 1 0 161042360 208031744 48187 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10614/statm: 50789 48187 170 317 0 50468 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 203156

[startup+162.302 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 10615
/proc/meminfo: memFree=1622576/2055920 swapFree=4176832/4192956
[pid=10614] ppid=10612 vsize=211916 CPUtime=162.22
/proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 51471 0 0 0 16197 25 0 0 25 0 1 0 161042360 217001984 50363 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10614/statm: 52979 50363 170 317 0 52658 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 211916

[startup+222.305 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 10615
/proc/meminfo: memFree=1616624/2055920 swapFree=4176832/4192956
[pid=10614] ppid=10612 vsize=218336 CPUtime=222.2
/proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 52921 0 0 0 22195 25 0 0 25 0 1 0 161042360 223576064 51813 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10614/statm: 54584 51813 170 317 0 54263 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 218336

[startup+282.302 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 10615
/proc/meminfo: memFree=1609584/2055920 swapFree=4176832/4192956
[pid=10614] ppid=10612 vsize=224656 CPUtime=282.18
/proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 54679 0 0 0 28191 27 0 0 25 0 1 0 161042360 230047744 53571 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10614/statm: 56164 53571 170 317 0 55843 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 224656

[startup+342.301 s]
/proc/loadavg: 1.00 0.99 0.93 2/71 10687
/proc/meminfo: memFree=1601792/2055920 swapFree=4176832/4192956
[pid=10614] ppid=10612 vsize=230952 CPUtime=342.13
/proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 56313 0 0 0 34184 29 0 0 25 0 1 0 161042360 236494848 55205 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10614/statm: 57738 55205 170 317 0 57417 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 230952

[startup+402.301 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 10813
/proc/meminfo: memFree=1595824/2055920 swapFree=4176832/4192956
[pid=10614] ppid=10612 vsize=239404 CPUtime=402.03
/proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 58044 0 0 0 40173 30 0 0 25 0 1 0 161042360 245149696 56936 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10614/statm: 59851 56936 170 317 0 59530 0
Current children cumulated CPU time (s) 402.03
Current children cumulated vsize (KiB) 239404

[startup+462.301 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 10813
/proc/meminfo: memFree=1590320/2055920 swapFree=4176832/4192956
[pid=10614] ppid=10612 vsize=245936 CPUtime=462.02
/proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 59423 0 0 0 46170 32 0 0 25 0 1 0 161042360 251838464 58315 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711055 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10614/statm: 61484 58315 170 317 0 61163 0
Current children cumulated CPU time (s) 462.02
Current children cumulated vsize (KiB) 245936

[startup+522.301 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 10813
/proc/meminfo: memFree=1582640/2055920 swapFree=4176832/4192956
[pid=10614] ppid=10612 vsize=256292 CPUtime=521.99
/proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 61651 0 0 0 52166 33 0 0 25 0 1 0 161042360 262443008 60543 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10614/statm: 64073 60543 170 317 0 63752 0
Current children cumulated CPU time (s) 521.99
Current children cumulated vsize (KiB) 256292

[startup+582.302 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 10813
/proc/meminfo: memFree=1575088/2055920 swapFree=4176832/4192956
[pid=10614] ppid=10612 vsize=262052 CPUtime=581.98
/proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 63206 0 0 0 58163 35 0 0 25 0 1 0 161042360 268341248 62098 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10614/statm: 65513 62098 170 317 0 65192 0
Current children cumulated CPU time (s) 581.98
Current children cumulated vsize (KiB) 262052

[startup+642.301 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 10813
/proc/meminfo: memFree=1568048/2055920 swapFree=4176832/4192956
[pid=10614] ppid=10612 vsize=268620 CPUtime=641.95
/proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 64974 0 0 0 64158 37 0 0 25 0 1 0 161042360 275066880 63866 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10614/statm: 67155 63866 170 317 0 66834 0
Current children cumulated CPU time (s) 641.95
Current children cumulated vsize (KiB) 268620


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

[startup+882.304 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 10813
/proc/meminfo: memFree=1541424/2055920 swapFree=4176832/4192956
[pid=10614] ppid=10612 vsize=293656 CPUtime=881.87
/proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 71625 0 0 0 88145 42 0 0 25 0 1 0 161042360 300703744 70517 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10614/statm: 73414 70517 170 317 0 73093 0
Current children cumulated CPU time (s) 881.87
Current children cumulated vsize (KiB) 293656

[startup+942.301 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 10813
/proc/meminfo: memFree=1533616/2055920 swapFree=4176832/4192956
[pid=10614] ppid=10612 vsize=301024 CPUtime=941.84
/proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 73587 0 0 0 94140 44 0 0 25 0 1 0 161042360 308248576 72479 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10614/statm: 75256 72479 170 317 0 74935 0
Current children cumulated CPU time (s) 941.84
Current children cumulated vsize (KiB) 301024

[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 10813
/proc/meminfo: memFree=1524528/2055920 swapFree=4176832/4192956
[pid=10614] ppid=10612 vsize=318144 CPUtime=1001.82
/proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 77500 0 0 0 100136 46 0 0 25 0 1 0 161042360 325779456 74723 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10614/statm: 79536 74723 170 317 0 79215 0
Current children cumulated CPU time (s) 1001.82
Current children cumulated vsize (KiB) 318144

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 10813
/proc/meminfo: memFree=1517168/2055920 swapFree=4176832/4192956
[pid=10614] ppid=10612 vsize=325828 CPUtime=1061.8
/proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 79573 0 0 0 106132 48 0 0 25 0 1 0 161042360 333647872 76565 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711484 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10614/statm: 81457 76565 170 317 0 81136 0
Current children cumulated CPU time (s) 1061.8
Current children cumulated vsize (KiB) 325828

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 10813
/proc/meminfo: memFree=1508912/2055920 swapFree=4176832/4192956
[pid=10614] ppid=10612 vsize=337812 CPUtime=1121.78
/proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 82307 0 0 0 112128 50 0 0 25 0 1 0 161042360 345919488 78606 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10614/statm: 84453 78606 170 317 0 84132 0
Current children cumulated CPU time (s) 1121.78
Current children cumulated vsize (KiB) 337812

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 10813
/proc/meminfo: memFree=1502256/2055920 swapFree=4176832/4192956
[pid=10614] ppid=10612 vsize=343796 CPUtime=1181.76
/proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 84006 0 0 0 118125 51 0 0 25 0 1 0 161042360 352047104 80272 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10614/statm: 85949 80272 170 317 0 85628 0
Current children cumulated CPU time (s) 1181.76
Current children cumulated vsize (KiB) 343796

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 10813
/proc/meminfo: memFree=1495792/2055920 swapFree=4176832/4192956
[pid=10614] ppid=10612 vsize=349432 CPUtime=1241.73
/proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 85603 0 0 0 124121 52 0 0 25 0 1 0 161042360 357818368 81869 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10614/statm: 87358 81869 170 317 0 87037 0
Current children cumulated CPU time (s) 1241.73
Current children cumulated vsize (KiB) 349432

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 10813
/proc/meminfo: memFree=1489648/2055920 swapFree=4176832/4192956
[pid=10614] ppid=10612 vsize=355156 CPUtime=1301.72
/proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 87165 0 0 0 130119 53 0 0 25 0 1 0 161042360 363679744 83431 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10614/statm: 88789 83431 170 317 0 88468 0
Current children cumulated CPU time (s) 1301.72
Current children cumulated vsize (KiB) 355156

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 10813
/proc/meminfo: memFree=1485872/2055920 swapFree=4176832/4192956
[pid=10614] ppid=10612 vsize=358624 CPUtime=1361.7
/proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 88078 0 0 0 136116 54 0 0 25 0 1 0 161042360 367230976 84344 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10614/statm: 89656 84344 170 317 0 89335 0
Current children cumulated CPU time (s) 1361.7
Current children cumulated vsize (KiB) 358624

[startup+1422.3 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 10813
/proc/meminfo: memFree=1479344/2055920 swapFree=4176832/4192956
[pid=10614] ppid=10612 vsize=364608 CPUtime=1421.68
/proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 89738 0 0 0 142113 55 0 0 25 0 1 0 161042360 373358592 85938 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10614/statm: 91152 85938 170 317 0 90831 0
Current children cumulated CPU time (s) 1421.68
Current children cumulated vsize (KiB) 364608

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 10813
/proc/meminfo: memFree=1473008/2055920 swapFree=4176832/4192956
[pid=10614] ppid=10612 vsize=370596 CPUtime=1481.65
/proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 91369 0 0 0 148109 56 0 0 25 0 1 0 161042360 379490304 87569 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10614/statm: 92649 87569 170 317 0 92328 0
Current children cumulated CPU time (s) 1481.65
Current children cumulated vsize (KiB) 370596

[startup+1542.31 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 10813
/proc/meminfo: memFree=1466672/2055920 swapFree=4176832/4192956
[pid=10614] ppid=10612 vsize=376844 CPUtime=1541.64
/proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 93087 0 0 0 154106 58 0 0 25 0 1 0 161042360 385888256 89122 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10614/statm: 94211 89122 170 317 0 93890 0
Current children cumulated CPU time (s) 1541.64
Current children cumulated vsize (KiB) 376844

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 10813
/proc/meminfo: memFree=1460848/2055920 swapFree=4176832/4192956
[pid=10614] ppid=10612 vsize=382496 CPUtime=1601.62
/proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 94690 0 0 0 160103 59 0 0 25 0 1 0 161042360 391675904 90593 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10614/statm: 95624 90593 170 317 0 95303 0
Current children cumulated CPU time (s) 1601.62
Current children cumulated vsize (KiB) 382496

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 10813
/proc/meminfo: memFree=1454768/2055920 swapFree=4176832/4192956
[pid=10614] ppid=10612 vsize=387820 CPUtime=1661.59
/proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 96188 0 0 0 166100 59 0 0 25 0 1 0 161042360 397127680 92091 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10614/statm: 96955 92091 170 317 0 96634 0
Current children cumulated CPU time (s) 1661.59
Current children cumulated vsize (KiB) 387820

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 10813
/proc/meminfo: memFree=1449072/2055920 swapFree=4176832/4192956
[pid=10614] ppid=10612 vsize=392876 CPUtime=1721.57
/proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 97656 0 0 0 172096 61 0 0 25 0 1 0 161042360 402305024 93526 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10614/statm: 98219 93526 170 317 0 97898 0
Current children cumulated CPU time (s) 1721.57
Current children cumulated vsize (KiB) 392876

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 10813
/proc/meminfo: memFree=1444720/2055920 swapFree=4176832/4192956
[pid=10614] ppid=10612 vsize=396592 CPUtime=1781.54
/proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 98708 0 0 0 178093 61 0 0 25 0 1 0 161042360 406110208 94578 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10614/statm: 99148 94578 170 317 0 98827 0
Current children cumulated CPU time (s) 1781.54
Current children cumulated vsize (KiB) 396592



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.81 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 10813
/proc/meminfo: memFree=1442928/2055920 swapFree=4176832/4192956
[pid=10614] ppid=10612 vsize=398160 CPUtime=1800.05
/proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194304 99157 0 0 0 179943 62 0 0 25 0 1 0 161042360 407715840 95027 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10614/statm: 99540 95027 170 317 0 99219 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 398160

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

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

[startup+1800.91 s]
/proc/loadavg: 1.00 0.99 0.93 2/65 10813
/proc/meminfo: memFree=1442928/2055920 swapFree=4176832/4192956
[pid=10614] ppid=10612 vsize=0 CPUtime=1800.14
/proc/10614/stat : 10614 (oree) R 10612 10614 10142 0 -1 4194308 99173 0 0 0 179951 63 0 0 25 0 1 0 161042360 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10614/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.95
CPU time (s): 1800.2
CPU user time (s): 1799.52
CPU system time (s): 0.682896
CPU usage (%): 99.9583
Max. virtual memory (cumulated for all children) (KiB): 398160

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

runsolver used 1.17082 second user time and 3.81742 second system time

The end

Launcher Data (download as text)

Begin job on node66 on Tue Apr 17 22:55:28 UTC 2007

IDJOB= 356981
IDBENCH= 1720
IDSOLVER= 172
FILE ID= node66/356981-1176850526

PBS_JOBID= 4590183

Free space on /tmp= 66426 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  ea34bf390bf77663918ceca8ccc177b4

RANDOM SEED= 799737434

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node66.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.281
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.281
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:       1823952 kB
Buffers:         14796 kB
Cached:         159180 kB
SwapCached:       9828 kB
Active:          41792 kB
Inactive:       148052 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1823952 kB
SwapTotal:     4192956 kB
SwapFree:      4176832 kB
Dirty:           20600 kB
Writeback:           0 kB
Mapped:          15668 kB
Slab:            28212 kB
Committed_AS:   753140 kB
PageTables:       1376 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= 66426 MiB

End job on node66 on Tue Apr 17 23:25:31 UTC 2007