Trace number 363462

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.42 1801.18

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-mod010.opb
MD5SUM0155c0c96434984f6ded6bb7ada20c0c
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark6548
Best CPU time to get the best result obtained on this benchmark2.23666
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 6548
Optimality of the best value was proved YES
Number of variables2655
Total number of constraints146
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)145
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint4
Maximum length of a constraint2655
Number of terms in the objective function 2655
Biggest coefficient in the objective function 266
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 489211
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 266
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 489211
Number of bits of the biggest sum of numbers19
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.04	c ...done
0.00/0.04	c #vars=2655 #constraints=292 hasObjective=yes
0.09/0.10	c res. mode=mod
0.09/0.10	c VSIDS like heuristics
0.09/0.10	c complete search running
0.09/0.11	c restart after 401 decisions
0.09/0.11	c nbDecision=500 #constraints=292
0.09/0.12	c restart after 801 decisions
0.09/0.13	c nbDecision=1000 #constraints=292
0.09/0.14	c nbDecision=1500 #constraints=293
0.09/0.15	c restart after 1601 decisions
0.09/0.16	c nbDecision=2000 #constraints=293
0.09/0.17	c nbDecision=2500 #constraints=293
0.19/0.26	c nbDecision=3000 #constraints=338
0.29/0.38	c restart after 3201 decisions
0.29/0.40	c nbDecision=3500 #constraints=387
0.39/0.41	c nbDecision=4000 #constraints=387
0.49/0.51	c nbDecision=4500 #constraints=420
2.19/2.20	c nbDecision=5000 #constraints=745
6.39/6.41	c nbDecision=5500 #constraints=1210
12.69/12.77	c nbDecision=6000 #constraints=1683
16.49/16.56	c restart after 6401 decisions
16.68/16.77	c nbDecision=6500 #constraints=1966
16.78/16.86	c nbDecision=7000 #constraints=1966
16.88/17.00	c nbDecision=7500 #constraints=1966
24.48/24.53	c nbDecision=8000 #constraints=2393
34.38/34.48	c nbDecision=8500 #constraints=2848
47.18/47.26	c nbDecision=9000 #constraints=3294
62.67/62.79	c nbDecision=9500 #constraints=3766
85.26/85.32	c nbDecision=10000 #constraints=4240
100.15/100.22	c nbDecision=10500 #constraints=4626
113.85/113.93	c nbDecision=11000 #constraints=4971
131.44/131.52	c nbDecision=11500 #constraints=5342
160.43/160.50	c nbDecision=12000 #constraints=5818
186.03/186.10	c nbDecision=12500 #constraints=6248
203.71/203.82	c restart after 12801 decisions
205.41/205.57	c nbDecision=13000 #constraints=6513
205.91/206.09	c nbDecision=13500 #constraints=6513
210.62/210.71	c nbDecision=14000 #constraints=6571
242.70/242.84	c nbDecision=14500 #constraints=7028
271.89/272.02	c nbDecision=15000 #constraints=7449
307.18/307.38	c nbDecision=15500 #constraints=7909
345.96/346.17	c nbDecision=16000 #constraints=8370
388.15/388.30	c nbDecision=16500 #constraints=8833
433.83/434.09	c nbDecision=17000 #constraints=9298
482.21/482.46	c nbDecision=17500 #constraints=9781
537.79/538.01	c nbDecision=18000 #constraints=10267
584.28/584.57	c nbDecision=18500 #constraints=10649
635.96/636.21	c nbDecision=19000 #constraints=11093
683.64/683.90	c nbDecision=19500 #constraints=11519
713.72/714.05	c nbDecision=20000 #constraints=11796
762.61/762.96	c nbDecision=20500 #constraints=12172
823.38/823.74	c nbDecision=21000 #constraints=12627
877.57/877.91	c nbDecision=21500 #constraints=13008
929.35/929.72	c nbDecision=22000 #constraints=13377
998.32/998.74	c nbDecision=22500 #constraints=13850
1076.20/1076.67	c nbDecision=23000 #constraints=14347
1137.68/1138.10	c nbDecision=23500 #constraints=14725
1191.25/1191.79	c nbDecision=24000 #constraints=15052
1264.93/1265.41	c nbDecision=24500 #constraints=15532
1340.60/1341.15	c nbDecision=25000 #constraints=15994
1422.77/1423.35	c nbDecision=25500 #constraints=16472
1439.47/1440.00	c restart after 25601 decisions
1444.77/1445.36	c nbDecision=26000 #constraints=16568
1447.26/1447.86	c nbDecision=26500 #constraints=16568
1494.04/1494.63	c nbDecision=27000 #constraints=16849
1557.62/1558.25	c nbDecision=27500 #constraints=17189
1651.98/1652.67	c nbDecision=28000 #constraints=17667
1756.96/1757.75	c nbDecision=28500 #constraints=18151
1800.04/1800.80	Received signal 15
1800.23/1801.10	
1800.23/1801.10	s UNKNOWN
1800.23/1801.10	
1800.23/1801.10	c user time= 1799.65 s
1800.23/1801.10	c system time= 0.698893 s
1800.23/1801.10	c wall clock time=1801.1

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/node42/watcher-363462-1176852781 -o ROOT/results/node42/solver-363462-1176852781 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/363462-1176852781/instance-363462-1176852781.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.95 0.96 0.98 3/77 26049
/proc/meminfo: memFree=1588884/2055920 swapFree=4059792/4192956
[pid=26049] ppid=26047 vsize=1468 CPUtime=0
/proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 133189955 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135096813 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26049/statm: 367 161 126 317 0 46 0

[startup+0.00630694 s]
/proc/loadavg: 0.95 0.96 0.98 3/77 26049
/proc/meminfo: memFree=1588884/2055920 swapFree=4059792/4192956
[pid=26049] ppid=26047 vsize=1620 CPUtime=0
/proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 194 0 0 0 0 0 0 0 18 0 1 0 133189955 1658880 176 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26049/statm: 405 176 126 317 0 84 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1620

[startup+0.101318 s]
/proc/loadavg: 0.95 0.96 0.98 3/77 26049
/proc/meminfo: memFree=1588884/2055920 swapFree=4059792/4192956
[pid=26049] ppid=26047 vsize=2964 CPUtime=0.09
/proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 556 0 0 0 9 0 0 0 18 0 1 0 133189955 3035136 538 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26049/statm: 741 538 137 317 0 420 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2964

[startup+0.301355 s]
/proc/loadavg: 0.95 0.96 0.98 3/77 26049
/proc/meminfo: memFree=1588884/2055920 swapFree=4059792/4192956
[pid=26049] ppid=26047 vsize=3748 CPUtime=0.29
/proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 732 0 0 0 29 0 0 0 19 0 1 0 133189955 3837952 714 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26049/statm: 937 714 139 317 0 616 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3748

[startup+0.701432 s]
/proc/loadavg: 0.95 0.96 0.98 3/77 26049
/proc/meminfo: memFree=1588884/2055920 swapFree=4059792/4192956
[pid=26049] ppid=26047 vsize=5604 CPUtime=0.69
/proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 1195 0 0 0 69 0 0 0 23 0 1 0 133189955 5738496 1177 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134554561 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26049/statm: 1401 1177 139 317 0 1080 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5604

[startup+1.50158 s]
/proc/loadavg: 0.95 0.96 0.98 2/78 26050
/proc/meminfo: memFree=1583472/2055920 swapFree=4059792/4192956
[pid=26049] ppid=26047 vsize=9064 CPUtime=1.49
/proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 2056 0 0 0 148 1 0 0 25 0 1 0 133189955 9281536 2038 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26049/statm: 2266 2038 139 317 0 1945 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9064

[startup+3.10189 s]
/proc/loadavg: 0.95 0.96 0.98 2/78 26050
/proc/meminfo: memFree=1579120/2055920 swapFree=4059792/4192956
[pid=26049] ppid=26047 vsize=14652 CPUtime=3.09
/proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 3382 0 0 0 307 2 0 0 25 0 1 0 133189955 15003648 3364 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26049/statm: 3663 3364 139 317 0 3342 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14652

[startup+6.3015 s]
/proc/loadavg: 0.95 0.96 0.98 2/78 26050
/proc/meminfo: memFree=1570864/2055920 swapFree=4059792/4192956
[pid=26049] ppid=26047 vsize=21004 CPUtime=6.29
/proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 4968 0 0 0 626 3 0 0 25 0 1 0 133189955 21508096 4950 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26049/statm: 5251 4950 139 317 0 4930 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21004

[startup+12.7017 s]
/proc/loadavg: 0.96 0.96 0.98 2/78 26050
/proc/meminfo: memFree=1557880/2055920 swapFree=4059792/4192956
[pid=26049] ppid=26047 vsize=34860 CPUtime=12.69
/proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 8097 0 0 0 1265 4 0 0 25 0 1 0 133189955 35696640 8079 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26049/statm: 8715 8079 139 317 0 8394 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 34860

[startup+25.5012 s]
/proc/loadavg: 0.96 0.96 0.98 2/78 26050
/proc/meminfo: memFree=1539960/2055920 swapFree=4059792/4192956
[pid=26049] ppid=26047 vsize=53360 CPUtime=25.48
/proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 12384 0 0 0 2542 6 0 0 25 0 1 0 133189955 54640640 12366 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26049/statm: 13340 12366 139 317 0 13019 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 53360

[startup+51.102 s]
/proc/loadavg: 0.98 0.96 0.98 2/78 26050
/proc/meminfo: memFree=1516408/2055920 swapFree=4059792/4192956
[pid=26049] ppid=26047 vsize=77696 CPUtime=51.07
/proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 18278 0 0 0 5097 10 0 0 25 0 1 0 133189955 79560704 18260 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26049/statm: 19424 18260 139 317 0 19103 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 77696

[startup+102.306 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 26050
/proc/meminfo: memFree=1478008/2055920 swapFree=4059792/4192956
[pid=26049] ppid=26047 vsize=121012 CPUtime=102.26
/proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 27777 0 0 0 10211 15 0 0 25 0 1 0 133189955 123916288 27759 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715798 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26049/statm: 30253 27759 139 317 0 29932 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 121012

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 26050
/proc/meminfo: memFree=1454456/2055920 swapFree=4059856/4192956
[pid=26049] ppid=26047 vsize=144732 CPUtime=162.23
/proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 33695 0 0 0 16205 18 0 0 25 0 1 0 133189955 148205568 33677 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26049/statm: 36183 33677 139 317 0 35862 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 144732

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 26050
/proc/meminfo: memFree=1436216/2055920 swapFree=4059856/4192956
[pid=26049] ppid=26047 vsize=162616 CPUtime=222.21
/proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 38184 0 0 0 22200 21 0 0 25 0 1 0 133189955 166518784 38166 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26049/statm: 40654 38166 139 317 0 40333 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 162616

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 26050
/proc/meminfo: memFree=1418040/2055920 swapFree=4059856/4192956
[pid=26049] ppid=26047 vsize=181540 CPUtime=282.19
/proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 42760 0 0 0 28195 24 0 0 25 0 1 0 133189955 185896960 42742 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26049/statm: 45385 42742 139 317 0 45064 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 181540

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 26050
/proc/meminfo: memFree=1402488/2055920 swapFree=4059920/4192956
[pid=26049] ppid=26047 vsize=196800 CPUtime=342.16
/proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 46666 0 0 0 34190 26 0 0 25 0 1 0 133189955 201523200 46591 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26049/statm: 49200 46591 139 317 0 48879 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 196800

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 26052
/proc/meminfo: memFree=1379832/2055920 swapFree=4059920/4192956
[pid=26049] ppid=26047 vsize=228088 CPUtime=402.14
/proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 52354 0 0 0 40185 29 0 0 25 0 1 0 133189955 233562112 52279 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26049/statm: 57022 52279 139 317 0 56701 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 228088

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 26052
/proc/meminfo: memFree=1363384/2055920 swapFree=4059984/4192956
[pid=26049] ppid=26047 vsize=245724 CPUtime=462.12
/proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 56438 0 0 0 46181 31 0 0 25 0 1 0 133189955 251621376 56363 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26049/statm: 61431 56363 139 317 0 61110 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 245724

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 26052
/proc/meminfo: memFree=1348216/2055920 swapFree=4059984/4192956
[pid=26049] ppid=26047 vsize=261864 CPUtime=522.1
/proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 60223 0 0 0 52177 33 0 0 25 0 1 0 133189955 268148736 60148 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563351 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26049/statm: 65466 60148 139 317 0 65145 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 261864

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 26052
/proc/meminfo: memFree=1331640/2055920 swapFree=4059984/4192956
[pid=26049] ppid=26047 vsize=279160 CPUtime=582.08
/proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 64321 0 0 0 58173 35 0 0 25 0 1 0 133189955 285859840 64246 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563625 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26049/statm: 69790 64246 139 317 0 69469 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 279160

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 26052
/proc/meminfo: memFree=1315576/2055920 swapFree=4060048/4192956
[pid=26049] ppid=26047 vsize=294828 CPUtime=642.06
/proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 68335 0 0 0 64168 38 0 0 25 0 1 0 133189955 301903872 68260 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26049/statm: 73707 68260 139 317 0 73386 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 294828


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

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 26052
/proc/meminfo: memFree=1260792/2055920 swapFree=4060176/4192956
[pid=26049] ppid=26047 vsize=352320 CPUtime=941.95
/proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 82049 0 0 0 94149 46 0 0 25 0 1 0 133189955 360775680 81974 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26049/statm: 88080 81974 139 317 0 87759 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 352320

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 26052
/proc/meminfo: memFree=1251256/2055920 swapFree=4060176/4192956
[pid=26049] ppid=26047 vsize=361640 CPUtime=1001.92
/proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 84418 0 0 0 100145 47 0 0 25 0 1 0 133189955 370319360 84343 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26049/statm: 90410 84343 139 317 0 90089 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 361640

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 26052
/proc/meminfo: memFree=1242424/2055920 swapFree=4060240/4192956
[pid=26049] ppid=26047 vsize=370224 CPUtime=1061.9
/proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 86623 0 0 0 106141 49 0 0 25 0 1 0 133189955 379109376 86548 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26049/statm: 92556 86548 139 317 0 92235 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 370224

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 26052
/proc/meminfo: memFree=1234296/2055920 swapFree=4060240/4192956
[pid=26049] ppid=26047 vsize=378340 CPUtime=1121.87
/proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 88642 0 0 0 112137 50 0 0 25 0 1 0 133189955 387420160 88567 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26049/statm: 94585 88567 139 317 0 94264 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 378340

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 26052
/proc/meminfo: memFree=1227448/2055920 swapFree=4060304/4192956
[pid=26049] ppid=26047 vsize=384740 CPUtime=1181.86
/proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 90362 0 0 0 118134 52 0 0 25 0 1 0 133189955 393973760 90287 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26049/statm: 96185 90287 139 317 0 95864 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 384740

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 26052
/proc/meminfo: memFree=1218104/2055920 swapFree=4060304/4192956
[pid=26049] ppid=26047 vsize=395560 CPUtime=1241.83
/proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 92688 0 0 0 124130 53 0 0 25 0 1 0 133189955 405053440 92613 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710874 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26049/statm: 98890 92613 139 317 0 98569 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 395560

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 26052
/proc/meminfo: memFree=1210616/2055920 swapFree=4060304/4192956
[pid=26049] ppid=26047 vsize=402532 CPUtime=1301.81
/proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 94510 0 0 0 130127 54 0 0 25 0 1 0 133189955 412192768 94435 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26049/statm: 100633 94435 139 317 0 100312 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 402532

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 26052
/proc/meminfo: memFree=1203192/2055920 swapFree=4060368/4192956
[pid=26049] ppid=26047 vsize=409972 CPUtime=1361.79
/proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 96407 0 0 0 136123 56 0 0 25 0 1 0 133189955 419811328 96332 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26049/statm: 102493 96332 139 317 0 102172 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 409972

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 26052
/proc/meminfo: memFree=1194936/2055920 swapFree=4060368/4192956
[pid=26049] ppid=26047 vsize=417800 CPUtime=1421.77
/proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 98428 0 0 0 142119 58 0 0 25 0 1 0 133189955 427827200 98353 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26049/statm: 104450 98353 139 317 0 104129 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 417800

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 26052
/proc/meminfo: memFree=1183352/2055920 swapFree=4060432/4192956
[pid=26049] ppid=26047 vsize=448224 CPUtime=1481.74
/proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 104662 0 0 0 148114 60 0 0 25 0 1 0 133189955 458981376 101240 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26049/statm: 112056 101240 139 317 0 111735 0
Current children cumulated CPU time (s) 1481.74
Current children cumulated vsize (KiB) 448224

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 26052
/proc/meminfo: memFree=1174904/2055920 swapFree=4060432/4192956
[pid=26049] ppid=26047 vsize=458316 CPUtime=1541.73
/proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 107069 0 0 0 154111 62 0 0 25 0 1 0 133189955 469315584 103350 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26049/statm: 114579 103350 139 317 0 114258 0
Current children cumulated CPU time (s) 1541.73
Current children cumulated vsize (KiB) 458316

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 26052
/proc/meminfo: memFree=1168056/2055920 swapFree=4060432/4192956
[pid=26049] ppid=26047 vsize=467068 CPUtime=1601.7
/proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 109183 0 0 0 160107 63 0 0 25 0 1 0 133189955 478277632 105068 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26049/statm: 116767 105068 139 317 0 116446 0
Current children cumulated CPU time (s) 1601.7
Current children cumulated vsize (KiB) 467068

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 26052
/proc/meminfo: memFree=1161080/2055920 swapFree=4060496/4192956
[pid=26049] ppid=26047 vsize=474800 CPUtime=1661.68
/proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 110909 0 0 0 166104 64 0 0 25 0 1 0 133189955 486195200 106794 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26049/statm: 118700 106794 139 317 0 118379 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 474800

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/84 26222
/proc/meminfo: memFree=1153256/2055920 swapFree=4060496/4192956
[pid=26049] ppid=26047 vsize=481196 CPUtime=1721.59
/proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 112600 0 0 0 172091 68 0 0 25 0 1 0 133189955 492744704 108452 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26049/statm: 120299 108452 139 317 0 119978 0
Current children cumulated CPU time (s) 1721.59
Current children cumulated vsize (KiB) 481196

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 26250
/proc/meminfo: memFree=1147056/2055920 swapFree=4060560/4192956
[pid=26049] ppid=26047 vsize=493188 CPUtime=1781.54
/proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 115299 0 0 0 178085 69 0 0 25 0 1 0 133189955 505024512 110260 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26049/statm: 123297 110260 139 317 0 122976 0
Current children cumulated CPU time (s) 1781.54
Current children cumulated vsize (KiB) 493188



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 26250
/proc/meminfo: memFree=1145584/2055920 swapFree=4060560/4192956
[pid=26049] ppid=26047 vsize=494536 CPUtime=1800.04
/proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 115661 0 0 0 179935 69 0 0 25 0 1 0 133189955 506404864 110622 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26049/statm: 123634 110622 139 317 0 123313 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 494536

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

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

[startup+1801 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 26250
/proc/meminfo: memFree=1145584/2055920 swapFree=4060560/4192956
[pid=26049] ppid=26047 vsize=494536 CPUtime=1800.23
/proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 115670 0 0 0 179954 69 0 0 25 0 1 0 133189955 506404864 110631 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26049/statm: 123634 110631 139 317 0 123313 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 494536

[startup+1801.1 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 26250
/proc/meminfo: memFree=1145584/2055920 swapFree=4060560/4192956
[pid=26049] ppid=26047 vsize=494536 CPUtime=1800.33
/proc/26049/stat : 26049 (oree) R 26047 26049 25378 0 -1 4194304 115686 0 0 0 179964 69 0 0 25 0 1 0 133189955 506404864 110647 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134752702 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26049/statm: 123634 110647 155 317 0 123313 0
Current children cumulated CPU time (s) 1800.33
Current children cumulated vsize (KiB) 494536

Child status: 0
Real time (s): 1801.18
CPU time (s): 1800.42
CPU user time (s): 1799.65
CPU system time (s): 0.773882
CPU usage (%): 99.958
Max. virtual memory (cumulated for all children) (KiB): 494536

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

runsolver used 2.11168 second user time and 4.44332 second system time

The end

Launcher Data (download as text)

Begin job on node42 on Tue Apr 17 23:33:01 UTC 2007

IDJOB= 363462
IDBENCH= 1851
IDSOLVER= 172
FILE ID= node42/363462-1176852781

PBS_JOBID= 4590185

Free space on /tmp= 66464 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  0155c0c96434984f6ded6bb7ada20c0c

RANDOM SEED= 209754585

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node42.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.277
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.277
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:       1589392 kB
Buffers:         44168 kB
Cached:         306784 kB
SwapCached:      34268 kB
Active:         213220 kB
Inactive:       187240 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1589392 kB
SwapTotal:     4192956 kB
SwapFree:      4059792 kB
Dirty:            1568 kB
Writeback:           0 kB
Mapped:          40692 kB
Slab:            51480 kB
Committed_AS:  2955060 kB
PageTables:       1916 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= 66464 MiB

End job on node42 on Wed Apr 18 00:03:04 UTC 2007