Trace number 357260

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.13 1800.62

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-markshare1_1.opb
MD5SUM83e0e1e1c048d12c4488c7f5a723c62c
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark221
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 221
Optimality of the best value was proved NO
Number of variables280
Total number of constraints11
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 constraints11
Minimum length of a constraint11
Maximum length of a constraint130
Number of terms in the objective function 180
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 6442450938
Number of bits of the sum of numbers in the objective function 33
Biggest number in a constraint 536870912
Number of bits of the biggest number in a constraint 30
Biggest sum of numbers in a constraint 6442450938
Number of bits of the biggest sum of numbers33
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.00/0.00	c ...done
0.00/0.00	c #vars=280 #constraints=18 hasObjective=yes
0.00/0.00	c res. mode=mod
0.00/0.00	c VSIDS like heuristics
0.00/0.00	c complete search running
0.29/0.36	c restart after 401 decisions
0.29/0.36	c nbDecision=500 #constraints=253
0.79/0.84	c restart after 801 decisions
0.89/0.94	c nbDecision=1000 #constraints=537
2.29/2.39	c nbDecision=1500 #constraints=1039
2.69/2.78	c restart after 1601 decisions
3.69/3.76	c nbDecision=2000 #constraints=1381
6.39/6.46	c nbDecision=2500 #constraints=1881
10.08/10.11	c nbDecision=3000 #constraints=2381
12.00/12.01	c restart after 3201 decisions
13.49/13.50	c nbDecision=3500 #constraints=2706
19.88/19.91	c nbDecision=4000 #constraints=3205
27.19/27.28	c nbDecision=4500 #constraints=3706
35.09/35.12	c nbDecision=5000 #constraints=4204
44.57/44.67	c nbDecision=5500 #constraints=4705
55.67/55.79	c nbDecision=6000 #constraints=5207
65.27/65.39	c restart after 6401 decisions
65.67/65.75	c nbDecision=6500 #constraints=5607
79.77/79.86	c nbDecision=7000 #constraints=6048
95.76/95.82	c nbDecision=7500 #constraints=6548
113.56/113.64	c nbDecision=8000 #constraints=7048
131.06/131.11	c nbDecision=8500 #constraints=7548
149.15/149.25	c nbDecision=9000 #constraints=8049
169.25/169.40	c nbDecision=9500 #constraints=8548
189.74/189.83	c nbDecision=10000 #constraints=9046
211.74/211.81	c nbDecision=10500 #constraints=9548
232.63/232.74	c nbDecision=11000 #constraints=10048
257.52/257.66	c nbDecision=11500 #constraints=10547
278.71/278.87	c nbDecision=12000 #constraints=11048
301.61/301.73	c nbDecision=12500 #constraints=11549
323.50/323.60	c restart after 12801 decisions
327.20/327.32	c nbDecision=13000 #constraints=11881
364.29/364.45	c nbDecision=13500 #constraints=12381
398.48/398.63	c nbDecision=14000 #constraints=12883
433.98/434.14	c nbDecision=14500 #constraints=13382
472.17/472.34	c nbDecision=15000 #constraints=13882
510.26/510.48	c nbDecision=15500 #constraints=14383
544.85/545.01	c nbDecision=16000 #constraints=14882
579.33/579.58	c nbDecision=16500 #constraints=15385
624.82/625.00	c nbDecision=17000 #constraints=15882
667.71/667.97	c nbDecision=17500 #constraints=16382
713.50/713.78	c nbDecision=18000 #constraints=16882
757.79/758.02	c nbDecision=18500 #constraints=17382
801.98/802.22	c nbDecision=19000 #constraints=17881
843.16/843.49	c nbDecision=19500 #constraints=18382
889.95/890.23	c nbDecision=20000 #constraints=18884
934.64/934.91	c nbDecision=20500 #constraints=19382
978.03/978.33	c nbDecision=21000 #constraints=19884
1035.42/1035.71	c nbDecision=21500 #constraints=20383
1088.19/1088.57	c nbDecision=22000 #constraints=20883
1139.69/1140.03	c nbDecision=22500 #constraints=21383
1191.98/1192.39	c nbDecision=23000 #constraints=21884
1242.56/1242.90	c nbDecision=23500 #constraints=22383
1294.05/1294.40	c nbDecision=24000 #constraints=22883
1350.22/1350.66	c nbDecision=24500 #constraints=23382
1404.91/1405.31	c nbDecision=25000 #constraints=23882
1457.60/1458.02	c nbDecision=25500 #constraints=24382
1470.80/1471.20	c restart after 25601 decisions
1506.28/1506.77	c nbDecision=26000 #constraints=24717
1573.37/1573.86	c nbDecision=26500 #constraints=25218
1641.14/1641.64	c nbDecision=27000 #constraints=25717
1716.43/1716.98	c nbDecision=27500 #constraints=26218
1790.60/1791.15	c nbDecision=28000 #constraints=26718
1800.01/1800.50	Received signal 15
1800.01/1800.58	
1800.01/1800.58	s UNKNOWN
1800.01/1800.58	
1800.01/1800.58	c user time= 1799.64 s
1800.01/1800.58	c system time= 0.460929 s
1800.01/1800.58	c wall clock time=1800.59

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/node15/watcher-357260-1176992697 -o ROOT/results/node15/solver-357260-1176992697 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357260-1176992697/instance-357260-1176992697.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.84 0.94 0.96 3/77 17433
/proc/meminfo: memFree=1654648/2055920 swapFree=4169120/4192956
[pid=17433] ppid=17431 vsize=1468 CPUtime=0
/proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 185 0 0 0 0 0 0 0 18 0 1 0 147187435 1503232 167 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134827826 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17433/statm: 367 167 131 317 0 46 0

[startup+0.077524 s]
/proc/loadavg: 0.84 0.94 0.96 3/77 17433
/proc/meminfo: memFree=1654648/2055920 swapFree=4169120/4192956
[pid=17433] ppid=17431 vsize=1860 CPUtime=0.07
/proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 286 0 0 0 7 0 0 0 18 0 1 0 147187435 1904640 268 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271317 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17433/statm: 465 268 139 317 0 144 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 1860

[startup+0.101526 s]
/proc/loadavg: 0.84 0.94 0.96 3/77 17433
/proc/meminfo: memFree=1654648/2055920 swapFree=4169120/4192956
[pid=17433] ppid=17431 vsize=1992 CPUtime=0.1
/proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 320 0 0 0 10 0 0 0 18 0 1 0 147187435 2039808 302 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17433/statm: 498 302 139 317 0 177 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 1992

[startup+0.301544 s]
/proc/loadavg: 0.84 0.94 0.96 3/77 17433
/proc/meminfo: memFree=1654648/2055920 swapFree=4169120/4192956
[pid=17433] ppid=17431 vsize=2776 CPUtime=0.29
/proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 525 0 0 0 29 0 0 0 19 0 1 0 147187435 2842624 507 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271317 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17433/statm: 694 507 139 317 0 373 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2776

[startup+0.701581 s]
/proc/loadavg: 0.84 0.94 0.96 3/77 17433
/proc/meminfo: memFree=1654648/2055920 swapFree=4169120/4192956
[pid=17433] ppid=17431 vsize=4088 CPUtime=0.69
/proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 856 0 0 0 69 0 0 0 23 0 1 0 147187435 4186112 838 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712548 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17433/statm: 1022 838 139 317 0 701 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4088

[startup+1.50165 s]
/proc/loadavg: 0.84 0.94 0.96 2/78 17434
/proc/meminfo: memFree=1651056/2055920 swapFree=4169120/4192956
[pid=17433] ppid=17431 vsize=5924 CPUtime=1.49
/proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 1316 0 0 0 149 0 0 0 25 0 1 0 147187435 6066176 1298 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284244 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17433/statm: 1481 1298 139 317 0 1160 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5924

[startup+3.1018 s]
/proc/loadavg: 0.84 0.94 0.96 2/78 17434
/proc/meminfo: memFree=1648624/2055920 swapFree=4169120/4192956
[pid=17433] ppid=17431 vsize=8616 CPUtime=3.09
/proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 1963 0 0 0 309 0 0 0 25 0 1 0 147187435 8822784 1945 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17433/statm: 2154 1945 139 317 0 1833 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8616

[startup+6.30209 s]
/proc/loadavg: 0.85 0.94 0.96 2/78 17434
/proc/meminfo: memFree=1644336/2055920 swapFree=4169120/4192956
[pid=17433] ppid=17431 vsize=12100 CPUtime=6.29
/proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 2879 0 0 0 628 1 0 0 25 0 1 0 147187435 12390400 2861 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17433/statm: 3025 2861 170 317 0 2704 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12100

[startup+12.7017 s]
/proc/loadavg: 0.87 0.94 0.96 2/78 17434
/proc/meminfo: memFree=1639280/2055920 swapFree=4169120/4192956
[pid=17433] ppid=17431 vsize=17052 CPUtime=12.69
/proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 4009 0 0 0 1267 2 0 0 25 0 1 0 147187435 17461248 3991 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17433/statm: 4263 3991 170 317 0 3942 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17052

[startup+25.5019 s]
/proc/loadavg: 0.89 0.94 0.96 2/78 17434
/proc/meminfo: memFree=1634032/2055920 swapFree=4169120/4192956
[pid=17433] ppid=17431 vsize=22004 CPUtime=25.49
/proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 5272 0 0 0 2546 3 0 0 25 0 1 0 147187435 22532096 5254 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17433/statm: 5501 5254 170 317 0 5180 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 22004

[startup+51.1012 s]
/proc/loadavg: 0.93 0.94 0.96 2/78 17434
/proc/meminfo: memFree=1625712/2055920 swapFree=4169120/4192956
[pid=17433] ppid=17431 vsize=31296 CPUtime=51.08
/proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 7374 0 0 0 5104 4 0 0 25 0 1 0 147187435 32047104 7356 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604340 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17433/statm: 7824 7356 170 317 0 7503 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 31296

[startup+102.306 s]
/proc/loadavg: 0.97 0.95 0.96 2/78 17434
/proc/meminfo: memFree=1615728/2055920 swapFree=4169120/4192956
[pid=17433] ppid=17431 vsize=41024 CPUtime=102.26
/proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 9819 0 0 0 10220 6 0 0 25 0 1 0 147187435 42008576 9801 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17433/statm: 10256 9801 170 317 0 9935 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 41024

[startup+162.301 s]
/proc/loadavg: 0.99 0.96 0.96 2/78 17434
/proc/meminfo: memFree=1605360/2055920 swapFree=4169120/4192956
[pid=17433] ppid=17431 vsize=52348 CPUtime=162.25
/proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 12479 0 0 0 16216 9 0 0 25 0 1 0 147187435 53604352 12404 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17433/statm: 13087 12404 170 317 0 12766 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 52348

[startup+222.302 s]
/proc/loadavg: 0.99 0.96 0.96 2/78 17434
/proc/meminfo: memFree=1596656/2055920 swapFree=4169120/4192956
[pid=17433] ppid=17431 vsize=60940 CPUtime=222.23
/proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 14621 0 0 0 22212 11 0 0 25 0 1 0 147187435 62402560 14546 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604154 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17433/statm: 15235 14546 170 317 0 14914 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 60940

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 17434
/proc/meminfo: memFree=1588208/2055920 swapFree=4169120/4192956
[pid=17433] ppid=17431 vsize=70300 CPUtime=282.21
/proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 16746 0 0 0 28208 13 0 0 25 0 1 0 147187435 71987200 16671 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17433/statm: 17575 16671 170 317 0 17254 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 70300

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 17434
/proc/meminfo: memFree=1582448/2055920 swapFree=4169120/4192956
[pid=17433] ppid=17431 vsize=76240 CPUtime=342.2
/proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 18158 0 0 0 34205 15 0 0 25 0 1 0 147187435 78069760 18083 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17433/statm: 19060 18083 170 317 0 18739 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 76240

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 17434
/proc/meminfo: memFree=1577904/2055920 swapFree=4169120/4192956
[pid=17433] ppid=17431 vsize=81252 CPUtime=402.18
/proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 19376 0 0 0 40202 16 0 0 25 0 1 0 147187435 83202048 19301 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17433/statm: 20313 19301 170 317 0 19992 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 81252

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 17434
/proc/meminfo: memFree=1573232/2055920 swapFree=4169120/4192956
[pid=17433] ppid=17431 vsize=85984 CPUtime=462.16
/proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 20469 0 0 0 46199 17 0 0 25 0 1 0 147187435 88047616 20394 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17433/statm: 21496 20394 170 317 0 21175 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 85984

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 17434
/proc/meminfo: memFree=1569264/2055920 swapFree=4169120/4192956
[pid=17433] ppid=17431 vsize=89524 CPUtime=522.15
/proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 21467 0 0 0 52196 19 0 0 25 0 1 0 147187435 91672576 21392 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17433/statm: 22381 21392 170 317 0 22060 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 89524

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 17434
/proc/meminfo: memFree=1564592/2055920 swapFree=4169120/4192956
[pid=17433] ppid=17431 vsize=93788 CPUtime=582.13
/proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 22633 0 0 0 58192 21 0 0 25 0 1 0 147187435 96038912 22558 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563449 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17433/statm: 23447 22558 170 317 0 23126 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 93788

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 17434
/proc/meminfo: memFree=1561072/2055920 swapFree=4169120/4192956
[pid=17433] ppid=17431 vsize=96944 CPUtime=642.12
/proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 23489 0 0 0 64190 22 0 0 25 0 1 0 147187435 99270656 23414 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716161 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17433/statm: 24236 23414 170 317 0 23915 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 96944


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 17436
/proc/meminfo: memFree=1546096/2055920 swapFree=4169120/4192956
[pid=17433] ppid=17431 vsize=117460 CPUtime=882.05
/proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 28423 0 0 0 88177 28 0 0 25 0 1 0 147187435 120279040 27410 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17433/statm: 29365 27410 170 317 0 29044 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 117460

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 17436
/proc/meminfo: memFree=1541616/2055920 swapFree=4169120/4192956
[pid=17433] ppid=17431 vsize=122020 CPUtime=942.03
/proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 29551 0 0 0 94174 29 0 0 25 0 1 0 147187435 124948480 28241 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17433/statm: 30505 28241 170 317 0 30184 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 122020

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 17436
/proc/meminfo: memFree=1538480/2055920 swapFree=4169120/4192956
[pid=17433] ppid=17431 vsize=124912 CPUtime=1002.02
/proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 30381 0 0 0 100171 31 0 0 25 0 1 0 147187435 127909888 29038 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17433/statm: 31228 29038 170 317 0 30907 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 124912

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 17436
/proc/meminfo: memFree=1535536/2055920 swapFree=4169120/4192956
[pid=17433] ppid=17431 vsize=127900 CPUtime=1062
/proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 31201 0 0 0 106168 32 0 0 25 0 1 0 147187435 130969600 29759 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17433/statm: 31975 29759 170 317 0 31654 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 127900

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 17436
/proc/meminfo: memFree=1532080/2055920 swapFree=4169120/4192956
[pid=17433] ppid=17431 vsize=132252 CPUtime=1121.99
/proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 32296 0 0 0 112166 33 0 0 25 0 1 0 147187435 135426048 30623 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17433/statm: 33063 30623 170 317 0 32742 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 132252

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 17436
/proc/meminfo: memFree=1528432/2055920 swapFree=4169120/4192956
[pid=17433] ppid=17431 vsize=136796 CPUtime=1181.97
/proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 33414 0 0 0 118163 34 0 0 25 0 1 0 147187435 140079104 31510 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17433/statm: 34199 31510 170 317 0 33878 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 136796

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 17436
/proc/meminfo: memFree=1525360/2055920 swapFree=4169120/4192956
[pid=17433] ppid=17431 vsize=139796 CPUtime=1241.96
/proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 34261 0 0 0 124160 36 0 0 25 0 1 0 147187435 143151104 32291 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563622 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17433/statm: 34949 32291 170 317 0 34628 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 139796

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 17436
/proc/meminfo: memFree=1522096/2055920 swapFree=4169120/4192956
[pid=17433] ppid=17431 vsize=142536 CPUtime=1301.95
/proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 35073 0 0 0 130158 37 0 0 25 0 1 0 147187435 145956864 33103 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17433/statm: 35634 33103 170 317 0 35313 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 142536

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 17436
/proc/meminfo: memFree=1519152/2055920 swapFree=4169120/4192956
[pid=17433] ppid=17431 vsize=145416 CPUtime=1361.93
/proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 35854 0 0 0 136155 38 0 0 25 0 1 0 147187435 148905984 33851 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17433/statm: 36354 33851 170 317 0 36033 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 145416

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 17436
/proc/meminfo: memFree=1516016/2055920 swapFree=4169120/4192956
[pid=17433] ppid=17431 vsize=148308 CPUtime=1421.91
/proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 36624 0 0 0 142152 39 0 0 25 0 1 0 147187435 151867392 34621 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17433/statm: 37077 34621 170 317 0 36756 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 148308

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 17436
/proc/meminfo: memFree=1513136/2055920 swapFree=4169120/4192956
[pid=17433] ppid=17431 vsize=152348 CPUtime=1481.89
/proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 37583 0 0 0 148149 40 0 0 25 0 1 0 147187435 156004352 35382 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715703 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17433/statm: 38087 35382 170 317 0 37766 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 152348

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 17436
/proc/meminfo: memFree=1510512/2055920 swapFree=4169120/4192956
[pid=17433] ppid=17431 vsize=154444 CPUtime=1541.87
/proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 38226 0 0 0 154146 41 0 0 25 0 1 0 147187435 158150656 36025 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17433/statm: 38611 36025 170 317 0 38290 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 154444

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 17436
/proc/meminfo: memFree=1508464/2055920 swapFree=4169120/4192956
[pid=17433] ppid=17431 vsize=156400 CPUtime=1601.86
/proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 38783 0 0 0 160144 42 0 0 25 0 1 0 147187435 160153600 36549 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17433/statm: 39100 36549 170 317 0 38779 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 156400

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 17436
/proc/meminfo: memFree=1506096/2055920 swapFree=4169120/4192956
[pid=17433] ppid=17431 vsize=158784 CPUtime=1661.85
/proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 39396 0 0 0 166141 44 0 0 25 0 1 0 147187435 162594816 37129 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17433/statm: 39696 37129 170 317 0 39375 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 158784

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 17436
/proc/meminfo: memFree=1503920/2055920 swapFree=4169120/4192956
[pid=17433] ppid=17431 vsize=161004 CPUtime=1721.83
/proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 40039 0 0 0 172138 45 0 0 25 0 1 0 147187435 164868096 37673 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17433/statm: 40251 37673 170 317 0 39930 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 161004

[startup+1782.3 s]
/proc/loadavg: 1.04 0.99 0.97 3/78 17436
/proc/meminfo: memFree=1501744/2055920 swapFree=4169120/4192956
[pid=17433] ppid=17431 vsize=163104 CPUtime=1781.81
/proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 40612 0 0 0 178136 45 0 0 25 0 1 0 147187435 167018496 38213 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17433/statm: 40776 38213 170 317 0 40455 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 163104



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.03 0.99 0.97 2/78 17436
/proc/meminfo: memFree=1501168/2055920 swapFree=4169120/4192956
[pid=17433] ppid=17431 vsize=163496 CPUtime=1800.01
/proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 40760 0 0 0 179955 46 0 0 25 0 1 0 147187435 167419904 38361 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17433/statm: 40874 38361 170 317 0 40553 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 163496

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

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

[startup+1800.61 s]
/proc/loadavg: 1.03 0.99 0.97 2/79 17437
/proc/meminfo: memFree=1574504/2055920 swapFree=4169120/4192956
[pid=17433] ppid=17431 vsize=0 CPUtime=1800.11
/proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194308 40776 0 0 0 179964 47 0 0 25 0 1 0 147187435 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17433/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.62
CPU time (s): 1800.13
CPU user time (s): 1799.65
CPU system time (s): 0.485926
CPU usage (%): 99.973
Max. virtual memory (cumulated for all children) (KiB): 163496

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

runsolver used 2.14267 second user time and 4.40733 second system time

The end

Launcher Data (download as text)

Begin job on node15 on Thu Apr 19 14:24:58 UTC 2007

IDJOB= 357260
IDBENCH= 2323
IDSOLVER= 172
FILE ID= node15/357260-1176992697

PBS_JOBID= 4630463

Free space on /tmp= 66483 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  83e0e1e1c048d12c4488c7f5a723c62c

RANDOM SEED= 678269807

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node15.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.227
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.227
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:       1655120 kB
Buffers:         36828 kB
Cached:         292060 kB
SwapCached:       2544 kB
Active:         217732 kB
Inactive:       134024 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1655120 kB
SwapTotal:     4192956 kB
SwapFree:      4169120 kB
Dirty:            1412 kB
Writeback:           0 kB
Mapped:          30164 kB
Slab:            34564 kB
Committed_AS:  6275676 kB
PageTables:       1868 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= 66483 MiB

End job on node15 on Thu Apr 19 14:55:01 UTC 2007