Trace number 365616

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.14 1800.76

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-sc205.opb
MD5SUMcfa0de6a5c077caf94404f012a430180
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark16.9554
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved YES
Number of variables6090
Total number of constraints204
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 constraints204
Minimum length of a constraint30
Maximum length of a constraint120
Number of terms in the objective function 30
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 1073741823
Number of bits of the sum of numbers in the objective function 30
Biggest number in a constraint 8589934592
Number of bits of the biggest number in a constraint 34
Biggest sum of numbers in a constraint 22548578283
Number of bits of the biggest sum of numbers35
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.03/0.05	c ...done
0.03/0.05	c #vars=6090 #constraints=296 hasObjective=yes
0.03/0.06	c res. mode=mod
0.03/0.06	c VSIDS like heuristics
0.03/0.06	c complete search running
0.79/0.82	c restart after 401 decisions
0.89/0.99	c nbDecision=500 #constraints=683
1.49/1.55	c restart after 801 decisions
2.09/2.11	c nbDecision=1000 #constraints=1096
3.89/3.92	c nbDecision=1500 #constraints=1523
4.19/4.28	c restart after 1601 decisions
5.89/5.97	c nbDecision=2000 #constraints=1918
9.29/9.37	c nbDecision=2500 #constraints=2356
12.79/12.83	c nbDecision=3000 #constraints=2793
13.59/13.66	c restart after 3201 decisions
15.39/15.46	c nbDecision=3500 #constraints=3161
22.89/22.91	c nbDecision=4000 #constraints=3594
31.68/31.73	c nbDecision=4500 #constraints=4030
37.97/38.07	c nbDecision=5000 #constraints=4430
50.38/50.49	c nbDecision=5500 #constraints=4850
66.07/66.16	c nbDecision=6000 #constraints=5288
88.25/88.32	c restart after 6401 decisions
92.96/93.05	c nbDecision=6500 #constraints=5710
101.16/101.25	c nbDecision=7000 #constraints=6115
108.55/108.70	c nbDecision=7500 #constraints=6525
117.66/117.75	c nbDecision=8000 #constraints=6933
125.95/126.08	c nbDecision=8500 #constraints=7335
135.84/135.99	c nbDecision=9000 #constraints=7739
144.74/144.81	c nbDecision=9500 #constraints=8121
153.84/153.92	c nbDecision=10000 #constraints=8501
162.53/162.65	c nbDecision=10500 #constraints=8868
171.83/171.90	c nbDecision=11000 #constraints=9247
187.02/187.13	c nbDecision=11500 #constraints=9644
207.52/207.66	c nbDecision=12000 #constraints=10055
236.80/236.98	c nbDecision=12500 #constraints=10469
249.80/249.96	c restart after 12801 decisions
255.90/256.05	c nbDecision=13000 #constraints=10842
282.70/282.84	c nbDecision=13500 #constraints=11255
315.28/315.42	c nbDecision=14000 #constraints=11666
342.47/342.67	c nbDecision=14500 #constraints=12067
371.07/371.25	c nbDecision=15000 #constraints=12476
393.95/394.14	c nbDecision=15500 #constraints=12865
419.95/420.16	c nbDecision=16000 #constraints=13256
445.03/445.24	c nbDecision=16500 #constraints=13666
473.23/473.41	c nbDecision=17000 #constraints=14079
518.81/519.02	c nbDecision=17500 #constraints=14483
573.30/573.52	c nbDecision=18000 #constraints=14904
658.66/658.93	c nbDecision=18500 #constraints=15319
714.34/714.64	c nbDecision=19000 #constraints=15726
778.42/778.79	c nbDecision=19500 #constraints=16153
860.49/860.86	c nbDecision=20000 #constraints=16574
917.68/918.08	c nbDecision=20500 #constraints=16989
985.85/986.29	c nbDecision=21000 #constraints=17397
1017.84/1018.27	c nbDecision=21500 #constraints=17792
1070.63/1071.01	c nbDecision=22000 #constraints=18191
1144.60/1145.00	c nbDecision=22500 #constraints=18604
1224.67/1225.19	c nbDecision=23000 #constraints=19025
1307.04/1307.50	c nbDecision=23500 #constraints=19459
1394.51/1395.03	c nbDecision=24000 #constraints=19873
1522.87/1523.40	c nbDecision=24500 #constraints=20319
1609.84/1610.46	c nbDecision=25000 #constraints=20751
1669.72/1670.39	c nbDecision=25500 #constraints=21172
1698.30/1698.94	c restart after 25601 decisions
1786.88/1787.59	c nbDecision=26000 #constraints=21600
1800.07/1800.70	Received signal 15
1800.07/1800.73	
1800.07/1800.73	s UNKNOWN
1800.07/1800.73	
1800.07/1800.73	c user time= 1799.8 s
1800.07/1800.73	c system time= 0.319951 s
1800.07/1800.73	c wall clock time=1800.74

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/node38/watcher-365616-1176995305 -o ROOT/results/node38/solver-365616-1176995305 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/365616-1176995305/instance-365616-1176995305.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.93 0.98 0.98 3/77 31314
/proc/meminfo: memFree=1443136/2055920 swapFree=4159716/4192956
[pid=31314] ppid=31312 vsize=1468 CPUtime=0
/proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 180 0 0 0 0 0 0 0 18 0 1 0 131697136 1503232 162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31314/statm: 367 162 131 317 0 46 0

[startup+0.0366989 s]
/proc/loadavg: 0.93 0.98 0.98 3/77 31314
/proc/meminfo: memFree=1443136/2055920 swapFree=4159716/4192956
[pid=31314] ppid=31312 vsize=1996 CPUtime=0.03
/proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 321 0 0 0 3 0 0 0 18 0 1 0 131697136 2043904 303 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31314/statm: 499 303 131 317 0 178 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 1996

[startup+0.101712 s]
/proc/loadavg: 0.93 0.98 0.98 3/77 31314
/proc/meminfo: memFree=1443136/2055920 swapFree=4159716/4192956
[pid=31314] ppid=31312 vsize=3164 CPUtime=0.09
/proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 647 0 0 0 9 0 0 0 18 0 1 0 131697136 3239936 629 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134549876 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31314/statm: 791 629 170 317 0 470 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3164

[startup+0.301749 s]
/proc/loadavg: 0.93 0.98 0.98 3/77 31314
/proc/meminfo: memFree=1443136/2055920 swapFree=4159716/4192956
[pid=31314] ppid=31312 vsize=3428 CPUtime=0.29
/proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 721 0 0 0 29 0 0 0 20 0 1 0 131697136 3510272 703 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602641 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31314/statm: 857 703 170 317 0 536 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3428

[startup+0.701827 s]
/proc/loadavg: 0.93 0.98 0.98 3/77 31314
/proc/meminfo: memFree=1443136/2055920 swapFree=4159716/4192956
[pid=31314] ppid=31312 vsize=3956 CPUtime=0.69
/proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 852 0 0 0 69 0 0 0 24 0 1 0 131697136 4050944 834 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710848 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31314/statm: 989 834 170 317 0 668 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3956

[startup+1.50198 s]
/proc/loadavg: 0.93 0.98 0.98 2/78 31315
/proc/meminfo: memFree=1440056/2055920 swapFree=4159716/4192956
[pid=31314] ppid=31312 vsize=5268 CPUtime=1.49
/proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 1162 0 0 0 149 0 0 0 25 0 1 0 131697136 5394432 1144 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278915 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31314/statm: 1317 1144 170 317 0 996 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5268

[startup+3.10129 s]
/proc/loadavg: 0.93 0.98 0.98 2/78 31315
/proc/meminfo: memFree=1438456/2055920 swapFree=4159716/4192956
[pid=31314] ppid=31312 vsize=6448 CPUtime=3.09
/proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 1465 0 0 0 309 0 0 0 25 0 1 0 131697136 6602752 1447 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563665 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31314/statm: 1612 1447 170 317 0 1291 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6448

[startup+6.3019 s]
/proc/loadavg: 0.93 0.98 0.98 2/78 31315
/proc/meminfo: memFree=1436088/2055920 swapFree=4159716/4192956
[pid=31314] ppid=31312 vsize=8744 CPUtime=6.29
/proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 2014 0 0 0 628 1 0 0 25 0 1 0 131697136 8953856 1996 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31314/statm: 2186 1996 170 317 0 1865 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8744

[startup+12.7011 s]
/proc/loadavg: 0.94 0.98 0.98 2/78 31315
/proc/meminfo: memFree=1433208/2055920 swapFree=4159716/4192956
[pid=31314] ppid=31312 vsize=11884 CPUtime=12.69
/proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 2753 0 0 0 1267 2 0 0 25 0 1 0 131697136 12169216 2735 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31314/statm: 2971 2735 170 317 0 2650 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 11884

[startup+25.5016 s]
/proc/loadavg: 0.95 0.98 0.98 2/78 31315
/proc/meminfo: memFree=1429048/2055920 swapFree=4159716/4192956
[pid=31314] ppid=31312 vsize=15588 CPUtime=25.48
/proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 3687 0 0 0 2545 3 0 0 25 0 1 0 131697136 15962112 3669 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31314/statm: 3897 3669 170 317 0 3576 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 15588

[startup+51.1015 s]
/proc/loadavg: 0.97 0.98 0.98 2/78 31315
/proc/meminfo: memFree=1424760/2055920 swapFree=4159716/4192956
[pid=31314] ppid=31312 vsize=20452 CPUtime=51.07
/proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 4794 0 0 0 5103 4 0 0 25 0 1 0 131697136 20942848 4776 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31314/statm: 5113 4776 170 317 0 4792 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 20452

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.98 2/78 31315
/proc/meminfo: memFree=1419896/2055920 swapFree=4159716/4192956
[pid=31314] ppid=31312 vsize=25460 CPUtime=102.26
/proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 5997 0 0 0 10221 5 0 0 25 0 1 0 131697136 26071040 5979 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31314/statm: 6365 5979 170 317 0 6044 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 25460

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 31315
/proc/meminfo: memFree=1408504/2055920 swapFree=4159716/4192956
[pid=31314] ppid=31312 vsize=37652 CPUtime=162.23
/proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 8898 0 0 0 16215 8 0 0 25 0 1 0 131697136 38555648 8823 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31314/statm: 9413 8823 170 317 0 9092 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 37652

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 31315
/proc/meminfo: memFree=1402744/2055920 swapFree=4159716/4192956
[pid=31314] ppid=31312 vsize=43500 CPUtime=222.21
/proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 10296 0 0 0 22211 10 0 0 25 0 1 0 131697136 44544000 10221 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31314/statm: 10875 10221 170 317 0 10554 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 43500

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 31315
/proc/meminfo: memFree=1398648/2055920 swapFree=4159716/4192956
[pid=31314] ppid=31312 vsize=47724 CPUtime=282.2
/proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 11345 0 0 0 28208 12 0 0 25 0 1 0 131697136 48869376 11270 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31314/statm: 11931 11270 170 317 0 11610 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 47724

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 31315
/proc/meminfo: memFree=1395000/2055920 swapFree=4159716/4192956
[pid=31314] ppid=31312 vsize=52196 CPUtime=342.17
/proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 12251 0 0 0 34204 13 0 0 25 0 1 0 131697136 53448704 12176 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31314/statm: 13049 12176 170 317 0 12728 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 52196

[startup+402.303 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 31315
/proc/meminfo: memFree=1391096/2055920 swapFree=4159716/4192956
[pid=31314] ppid=31312 vsize=56260 CPUtime=402.15
/proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 13228 0 0 0 40201 14 0 0 25 0 1 0 131697136 57610240 13153 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31314/statm: 14065 13153 170 317 0 13744 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 56260

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 31315
/proc/meminfo: memFree=1387192/2055920 swapFree=4159716/4192956
[pid=31314] ppid=31312 vsize=60204 CPUtime=462.13
/proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 14194 0 0 0 46197 16 0 0 25 0 1 0 131697136 61648896 14119 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31314/statm: 15051 14119 170 317 0 14730 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 60204

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 31315
/proc/meminfo: memFree=1384760/2055920 swapFree=4159716/4192956
[pid=31314] ppid=31312 vsize=62752 CPUtime=522.11
/proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 14813 0 0 0 52194 17 0 0 25 0 1 0 131697136 64258048 14738 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31314/statm: 15688 14738 170 317 0 15367 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 62752

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 31315
/proc/meminfo: memFree=1382840/2055920 swapFree=4159716/4192956
[pid=31314] ppid=31312 vsize=64812 CPUtime=582.09
/proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 15281 0 0 0 58191 18 0 0 25 0 1 0 131697136 66367488 15206 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31314/statm: 16203 15206 170 317 0 15882 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 64812

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 31315
/proc/meminfo: memFree=1381624/2055920 swapFree=4159716/4192956
[pid=31314] ppid=31312 vsize=65928 CPUtime=642.07
/proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 15568 0 0 0 64189 18 0 0 25 0 1 0 131697136 67510272 15493 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604330 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31314/statm: 16482 15493 170 317 0 16161 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 65928


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 31315
/proc/meminfo: memFree=1375928/2055920 swapFree=4159716/4192956
[pid=31314] ppid=31312 vsize=72108 CPUtime=881.99
/proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 17119 0 0 0 88177 22 0 0 25 0 1 0 131697136 73838592 16931 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31314/statm: 18027 16931 170 317 0 17706 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 72108

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 31317
/proc/meminfo: memFree=1374136/2055920 swapFree=4159716/4192956
[pid=31314] ppid=31312 vsize=74568 CPUtime=941.96
/proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 17734 0 0 0 94174 22 0 0 25 0 1 0 131697136 76357632 17381 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31314/statm: 18642 17381 170 317 0 18321 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 74568

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 31317
/proc/meminfo: memFree=1372344/2055920 swapFree=4159716/4192956
[pid=31314] ppid=31312 vsize=76568 CPUtime=1001.95
/proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 18241 0 0 0 100172 23 0 0 25 0 1 0 131697136 78405632 17822 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31314/statm: 19142 17822 170 317 0 18821 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 76568

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 31317
/proc/meminfo: memFree=1370424/2055920 swapFree=4159716/4192956
[pid=31314] ppid=31312 vsize=78664 CPUtime=1061.92
/proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 18740 0 0 0 106169 23 0 0 25 0 1 0 131697136 80551936 18321 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31314/statm: 19666 18321 170 317 0 19345 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 78664

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 31317
/proc/meminfo: memFree=1368888/2055920 swapFree=4159716/4192956
[pid=31314] ppid=31312 vsize=80384 CPUtime=1121.9
/proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 19128 0 0 0 112166 24 0 0 25 0 1 0 131697136 82313216 18676 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563983 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31314/statm: 20096 18676 170 317 0 19775 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 80384

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 31317
/proc/meminfo: memFree=1367800/2055920 swapFree=4159716/4192956
[pid=31314] ppid=31312 vsize=81552 CPUtime=1181.89
/proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 19476 0 0 0 118164 25 0 0 25 0 1 0 131697136 83509248 18958 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31314/statm: 20388 18958 170 317 0 20067 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 81552

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 31317
/proc/meminfo: memFree=1366392/2055920 swapFree=4159716/4192956
[pid=31314] ppid=31312 vsize=83004 CPUtime=1241.86
/proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 19826 0 0 0 124161 25 0 0 25 0 1 0 131697136 84996096 19308 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718543 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31314/statm: 20751 19308 170 317 0 20430 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 83004

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 31317
/proc/meminfo: memFree=1365112/2055920 swapFree=4159716/4192956
[pid=31314] ppid=31312 vsize=84312 CPUtime=1301.85
/proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 20158 0 0 0 130159 26 0 0 25 0 1 0 131697136 86335488 19607 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31314/statm: 21078 19607 170 317 0 20757 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 84312

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 31317
/proc/meminfo: memFree=1363960/2055920 swapFree=4159716/4192956
[pid=31314] ppid=31312 vsize=85684 CPUtime=1361.82
/proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 20475 0 0 0 136156 26 0 0 25 0 1 0 131697136 87740416 19924 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31314/statm: 21421 19924 170 317 0 21100 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 85684

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 31317
/proc/meminfo: memFree=1363000/2055920 swapFree=4159716/4192956
[pid=31314] ppid=31312 vsize=86604 CPUtime=1421.81
/proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 20714 0 0 0 142154 27 0 0 25 0 1 0 131697136 88682496 20163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31314/statm: 21651 20163 170 317 0 21330 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 86604

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 31317
/proc/meminfo: memFree=1362104/2055920 swapFree=4159716/4192956
[pid=31314] ppid=31312 vsize=87524 CPUtime=1481.78
/proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 20946 0 0 0 148151 27 0 0 25 0 1 0 131697136 89624576 20395 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31314/statm: 21881 20395 170 317 0 21560 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 87524

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 31317
/proc/meminfo: memFree=1361464/2055920 swapFree=4159716/4192956
[pid=31314] ppid=31312 vsize=88176 CPUtime=1541.76
/proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 21112 0 0 0 154148 28 0 0 25 0 1 0 131697136 90292224 20561 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31314/statm: 22044 20561 170 317 0 21723 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 88176

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 31317
/proc/meminfo: memFree=1360376/2055920 swapFree=4159716/4192956
[pid=31314] ppid=31312 vsize=89224 CPUtime=1601.74
/proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 21415 0 0 0 160145 29 0 0 25 0 1 0 131697136 91365376 20831 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31314/statm: 22306 20831 170 317 0 21985 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 89224

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 31317
/proc/meminfo: memFree=1358392/2055920 swapFree=4159716/4192956
[pid=31314] ppid=31312 vsize=91276 CPUtime=1661.71
/proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 21918 0 0 0 166142 29 0 0 25 0 1 0 131697136 93466624 21334 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31314/statm: 22819 21334 170 317 0 22498 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 91276

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 31317
/proc/meminfo: memFree=1357496/2055920 swapFree=4159716/4192956
[pid=31314] ppid=31312 vsize=92312 CPUtime=1721.69
/proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 22171 0 0 0 172139 30 0 0 25 0 1 0 131697136 94527488 21554 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31314/statm: 23078 21554 170 317 0 22757 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 92312

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 31317
/proc/meminfo: memFree=1356600/2055920 swapFree=4159716/4192956
[pid=31314] ppid=31312 vsize=93228 CPUtime=1781.67
/proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 22426 0 0 0 178136 31 0 0 25 0 1 0 131697136 95465472 21776 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31314/statm: 23307 21776 170 317 0 22986 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 93228



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 31317
/proc/meminfo: memFree=1356088/2055920 swapFree=4159716/4192956
[pid=31314] ppid=31312 vsize=93780 CPUtime=1800.07
/proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 22533 0 0 0 179976 31 0 0 25 0 1 0 131697136 96030720 21883 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31314/statm: 23445 21883 170 317 0 23124 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 93780

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

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

[startup+1800.71 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 31317
/proc/meminfo: memFree=1356088/2055920 swapFree=4159716/4192956
[pid=31314] ppid=31312 vsize=93780 CPUtime=1800.07
/proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 22533 0 0 0 179976 31 0 0 25 0 1 0 131697136 96030720 21883 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31314/statm: 23445 21883 170 317 0 23124 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 93780

Child status: 0
Real time (s): 1800.76
CPU time (s): 1800.14
CPU user time (s): 1799.8
CPU system time (s): 0.334949
CPU usage (%): 99.9654
Max. virtual memory (cumulated for all children) (KiB): 93780

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

runsolver used 1.9897 second user time and 4.5663 second system time

The end

Launcher Data (download as text)

Begin job on node38 on Thu Apr 19 15:08:25 UTC 2007

IDJOB= 365616
IDBENCH= 2450
IDSOLVER= 172
FILE ID= node38/365616-1176995305

PBS_JOBID= 4630435

Free space on /tmp= 66242 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  cfa0de6a5c077caf94404f012a430180

RANDOM SEED= 168802460

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node38.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.263
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.263
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:       1443544 kB
Buffers:         47128 kB
Cached:         471536 kB
SwapCached:       3100 kB
Active:          94472 kB
Inactive:       450980 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1443544 kB
SwapTotal:     4192956 kB
SwapFree:      4159716 kB
Dirty:            1676 kB
Writeback:           0 kB
Mapped:          35056 kB
Slab:            52136 kB
Committed_AS:  1537476 kB
PageTables:       2060 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= 66242 MiB

End job on node38 on Thu Apr 19 15:38:28 UTC 2007