Trace number 356997

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.27 1800.73

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib/normalized-reduced-mps-v2-20-10-fixnet4.opb
MD5SUM03b4fab8c58cfc4ea6c0d3c2d05c0d91
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables14036
Total number of constraints600
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 constraints600
Minimum length of a constraint19
Maximum length of a constraint1523
Number of terms in the objective function 13668
Biggest coefficient in the objective function 1162
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 535890
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262020
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 535890
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
0.09/0.17	c ...done
0.09/0.17	c #vars=14036 #constraints=701 hasObjective=yes
0.29/0.34	c res. mode=mod
0.29/0.34	c VSIDS like heuristics
0.29/0.34	c complete search running
0.39/0.41	c restart after 401 decisions
0.39/0.42	c nbDecision=500 #constraints=701
0.39/0.46	c restart after 801 decisions
0.39/0.49	c nbDecision=1000 #constraints=701
0.49/0.55	c nbDecision=1500 #constraints=701
0.49/0.56	c restart after 1601 decisions
0.59/0.62	c nbDecision=2000 #constraints=701
0.59/0.68	c nbDecision=2500 #constraints=701
2.79/2.80	c nbDecision=3000 #constraints=935
4.98/5.06	c restart after 3201 decisions
5.08/5.16	c nbDecision=3500 #constraints=1131
5.18/5.23	c nbDecision=4000 #constraints=1131
6.78/6.87	c nbDecision=4500 #constraints=1262
14.98/15.03	c nbDecision=5000 #constraints=1760
26.57/26.68	c nbDecision=5500 #constraints=2261
41.67/41.70	c nbDecision=6000 #constraints=2762
56.17/56.26	c restart after 6401 decisions
56.97/57.04	c nbDecision=6500 #constraints=3168
57.07/57.11	c nbDecision=7000 #constraints=3168
57.77/57.83	c nbDecision=7500 #constraints=3168
64.97/65.01	c nbDecision=8000 #constraints=3589
76.36/76.47	c nbDecision=8500 #constraints=4097
90.45/90.58	c nbDecision=9000 #constraints=4588
107.35/107.47	c nbDecision=9500 #constraints=5083
126.45/126.55	c nbDecision=10000 #constraints=5593
148.15/148.23	c nbDecision=10500 #constraints=6093
173.13/173.25	c nbDecision=11000 #constraints=6593
201.33/201.50	c nbDecision=11500 #constraints=7078
233.23/233.37	c nbDecision=12000 #constraints=7588
268.51/268.66	c nbDecision=12500 #constraints=8097
291.00/291.12	c restart after 12801 decisions
294.10/294.27	c nbDecision=13000 #constraints=8392
294.50/294.61	c nbDecision=13500 #constraints=8392
298.91/299.01	c nbDecision=14000 #constraints=8416
347.20/347.34	c nbDecision=14500 #constraints=8916
399.48/399.61	c nbDecision=15000 #constraints=9433
450.37/450.57	c nbDecision=15500 #constraints=9911
505.46/505.65	c nbDecision=16000 #constraints=10425
564.04/564.29	c nbDecision=16500 #constraints=10938
623.42/623.68	c nbDecision=17000 #constraints=11422
687.21/687.45	c nbDecision=17500 #constraints=11928
753.89/754.13	c nbDecision=18000 #constraints=12427
823.78/824.09	c nbDecision=18500 #constraints=12918
896.56/896.85	c nbDecision=19000 #constraints=13417
974.94/975.25	c nbDecision=19500 #constraints=13931
1055.62/1055.90	c nbDecision=20000 #constraints=14430
1136.90/1137.27	c nbDecision=20500 #constraints=14928
1223.28/1223.64	c nbDecision=21000 #constraints=15434
1310.66/1311.03	c nbDecision=21500 #constraints=15921
1402.94/1403.39	c nbDecision=22000 #constraints=16424
1497.71/1498.15	c nbDecision=22500 #constraints=16923
1598.29/1598.80	c nbDecision=23000 #constraints=17437
1699.07/1699.53	c nbDecision=23500 #constraints=17935
1800.05/1800.50	Received signal 15
1800.05/1800.54	
1800.05/1800.54	s UNKNOWN
1800.05/1800.54	
1800.05/1800.54	c user time= 1798.75 s
1800.05/1800.54	c system time= 1.34279 s
1800.05/1800.54	c wall clock time=1800.55

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-356997-1176850910 -o ROOT/results/node15/solver-356997-1176850910 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356997-1176850910/instance-356997-1176850910.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.91 0.97 0.99 3/83 1977
/proc/meminfo: memFree=1698952/2055920 swapFree=4169120/4192956
[pid=1977] ppid=1975 vsize=1620 CPUtime=0
/proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 194 0 0 0 0 0 0 0 18 0 1 0 133008618 1658880 176 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1977/statm: 405 176 126 317 0 84 0

[startup+0.103313 s]
/proc/loadavg: 0.91 0.97 0.99 3/83 1977
/proc/meminfo: memFree=1698952/2055920 swapFree=4169120/4192956
[pid=1977] ppid=1975 vsize=3460 CPUtime=0.09
/proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 668 0 0 0 9 0 0 0 18 0 1 0 133008618 3543040 617 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1977/statm: 865 617 131 317 0 544 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3460

[startup+0.201322 s]
/proc/loadavg: 0.91 0.97 0.99 3/83 1977
/proc/meminfo: memFree=1698952/2055920 swapFree=4169120/4192956
[pid=1977] ppid=1975 vsize=6324 CPUtime=0.19
/proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 1378 0 0 0 19 0 0 0 19 0 1 0 133008618 6475776 1327 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602744 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1977/statm: 1581 1327 137 317 0 1260 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 6324

[startup+0.301331 s]
/proc/loadavg: 0.91 0.97 0.99 3/83 1977
/proc/meminfo: memFree=1698952/2055920 swapFree=4169120/4192956
[pid=1977] ppid=1975 vsize=6588 CPUtime=0.29
/proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 1471 0 0 0 29 0 0 0 20 0 1 0 133008618 6746112 1420 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1977/statm: 1647 1420 137 317 0 1326 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6588

[startup+0.701367 s]
/proc/loadavg: 0.91 0.97 0.99 3/83 1977
/proc/meminfo: memFree=1698952/2055920 swapFree=4169120/4192956
[pid=1977] ppid=1975 vsize=6720 CPUtime=0.69
/proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 1481 0 0 0 69 0 0 0 24 0 1 0 133008618 6881280 1430 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1977/statm: 1680 1430 138 317 0 1359 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6720

[startup+1.50144 s]
/proc/loadavg: 0.92 0.97 0.99 2/84 1978
/proc/meminfo: memFree=1690560/2055920 swapFree=4169120/4192956
[pid=1977] ppid=1975 vsize=13292 CPUtime=1.49
/proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 2959 0 0 0 148 1 0 0 25 0 1 0 133008618 13611008 2908 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1977/statm: 3323 2908 139 317 0 3002 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13292

[startup+3.10159 s]
/proc/loadavg: 0.92 0.97 0.99 2/84 1980
/proc/meminfo: memFree=1682880/2055920 swapFree=4169120/4192956
[pid=1977] ppid=1975 vsize=25548 CPUtime=3.09
/proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 5751 0 0 0 307 2 0 0 25 0 1 0 133008618 26161152 5700 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1977/statm: 6387 5700 139 317 0 6066 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25548

[startup+6.30188 s]
/proc/loadavg: 0.93 0.97 0.99 2/78 2002
/proc/meminfo: memFree=1668272/2055920 swapFree=4169120/4192956
[pid=1977] ppid=1975 vsize=43904 CPUtime=6.28
/proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 9925 0 0 0 624 4 0 0 25 0 1 0 133008618 44957696 9874 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712495 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1977/statm: 10976 9874 139 317 0 10655 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 43904

[startup+12.7015 s]
/proc/loadavg: 0.93 0.97 0.99 2/78 2002
/proc/meminfo: memFree=1641784/2055920 swapFree=4169120/4192956
[pid=1977] ppid=1975 vsize=66896 CPUtime=12.67
/proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 15032 0 0 0 1261 6 0 0 25 0 1 0 133008618 68501504 14981 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1977/statm: 16724 14981 139 317 0 16403 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 66896

[startup+25.5016 s]
/proc/loadavg: 0.95 0.97 0.99 2/78 2002
/proc/meminfo: memFree=1603640/2055920 swapFree=4169120/4192956
[pid=1977] ppid=1975 vsize=107424 CPUtime=25.47
/proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 24279 0 0 0 2536 11 0 0 25 0 1 0 133008618 110002176 24228 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1977/statm: 26856 24228 139 317 0 26535 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 107424

[startup+51.102 s]
/proc/loadavg: 0.96 0.97 0.99 2/78 2002
/proc/meminfo: memFree=1552120/2055920 swapFree=4169120/4192956
[pid=1977] ppid=1975 vsize=169584 CPUtime=51.07
/proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 37231 0 0 0 5090 17 0 0 25 0 1 0 133008618 173654016 37180 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1977/statm: 42396 37180 139 317 0 42075 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 169584

[startup+102.302 s]
/proc/loadavg: 0.98 0.97 0.99 2/78 2002
/proc/meminfo: memFree=1433592/2055920 swapFree=4169120/4192956
[pid=1977] ppid=1975 vsize=308348 CPUtime=102.26
/proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 66633 0 0 0 10196 30 0 0 25 0 1 0 133008618 315748352 66582 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1977/statm: 77087 66582 139 317 0 76766 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 308348

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 2002
/proc/meminfo: memFree=1358008/2055920 swapFree=4169120/4192956
[pid=1977] ppid=1975 vsize=387928 CPUtime=162.24
/proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 85629 0 0 0 16185 39 0 0 25 0 1 0 133008618 397238272 85578 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1977/statm: 96982 85579 139 317 0 96661 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 387928

[startup+222.306 s]
/proc/loadavg: 1.03 0.99 0.99 2/78 2002
/proc/meminfo: memFree=1302456/2055920 swapFree=4169120/4192956
[pid=1977] ppid=1975 vsize=444820 CPUtime=222.23
/proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 99375 0 0 0 22178 45 0 0 25 0 1 0 133008618 455495680 99324 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1977/statm: 111205 99324 139 317 0 110884 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 444820

[startup+282.301 s]
/proc/loadavg: 1.01 0.99 0.99 2/78 2002
/proc/meminfo: memFree=1257144/2055920 swapFree=4169120/4192956
[pid=1977] ppid=1975 vsize=491572 CPUtime=282.21
/proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 110795 0 0 0 28171 50 0 0 25 0 1 0 133008618 503369728 110744 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1977/statm: 122893 110744 139 317 0 122572 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 491572

[startup+342.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 2002
/proc/meminfo: memFree=1227128/2055920 swapFree=4169120/4192956
[pid=1977] ppid=1975 vsize=523760 CPUtime=342.2
/proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 118177 0 0 0 34166 54 0 0 25 0 1 0 133008618 536330240 118068 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1977/statm: 130940 118068 139 317 0 130619 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 523760

[startup+402.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 2002
/proc/meminfo: memFree=1159864/2055920 swapFree=4169120/4192956
[pid=1977] ppid=1975 vsize=628608 CPUtime=402.17
/proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 135032 0 0 0 40157 60 0 0 25 0 1 0 133008618 643694592 134923 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1977/statm: 157152 134923 139 317 0 156831 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 628608

[startup+462.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 2002
/proc/meminfo: memFree=1130104/2055920 swapFree=4169120/4192956
[pid=1977] ppid=1975 vsize=660392 CPUtime=462.17
/proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 142442 0 0 0 46153 64 0 0 25 0 1 0 133008618 676241408 142333 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711188 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1977/statm: 165098 142333 139 317 0 164777 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 660392

[startup+522.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 2002
/proc/meminfo: memFree=1101752/2055920 swapFree=4169120/4192956
[pid=1977] ppid=1975 vsize=690600 CPUtime=522.15
/proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 149576 0 0 0 52148 67 0 0 25 0 1 0 133008618 707174400 149467 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1977/statm: 172650 149467 139 317 0 172329 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 690600

[startup+582.302 s]
/proc/loadavg: 1.04 1.00 1.00 2/78 2002
/proc/meminfo: memFree=1074296/2055920 swapFree=4169120/4192956
[pid=1977] ppid=1975 vsize=718716 CPUtime=582.14
/proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 156343 0 0 0 58143 71 0 0 25 0 1 0 133008618 735965184 156234 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1977/statm: 179679 156234 139 317 0 179358 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 718716

[startup+642.301 s]
/proc/loadavg: 1.05 1.01 1.00 2/78 2002
/proc/meminfo: memFree=1048952/2055920 swapFree=4169120/4192956
[pid=1977] ppid=1975 vsize=744968 CPUtime=642.12
/proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 162762 0 0 0 64138 74 0 0 25 0 1 0 133008618 762847232 162653 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563634 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1977/statm: 186242 162653 139 317 0 185921 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 744968


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

[startup+882.305 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 2002
/proc/meminfo: memFree=957304/2055920 swapFree=4169120/4192956
[pid=1977] ppid=1975 vsize=840472 CPUtime=882.06
/proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 185512 0 0 0 88120 86 0 0 25 0 1 0 133008618 860643328 185403 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1977/statm: 210118 185403 139 317 0 209797 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 840472

[startup+942.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 2002
/proc/meminfo: memFree=935864/2055920 swapFree=4169120/4192956
[pid=1977] ppid=1975 vsize=862260 CPUtime=942.05
/proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 190915 0 0 0 94116 89 0 0 25 0 1 0 133008618 882954240 190806 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1977/statm: 215565 190806 139 317 0 215244 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 862260

[startup+1002.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 2002
/proc/meminfo: memFree=914552/2055920 swapFree=4169120/4192956
[pid=1977] ppid=1975 vsize=883304 CPUtime=1002.03
/proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 196203 0 0 0 100111 92 0 0 25 0 1 0 133008618 904503296 196094 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1977/statm: 220826 196094 139 317 0 220505 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 883304

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2002
/proc/meminfo: memFree=896504/2055920 swapFree=4169120/4192956
[pid=1977] ppid=1975 vsize=903140 CPUtime=1062.02
/proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 200716 0 0 0 106107 95 0 0 25 0 1 0 133008618 924815360 200607 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1977/statm: 225785 200607 139 317 0 225464 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 903140

[startup+1122.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/78 2002
/proc/meminfo: memFree=876152/2055920 swapFree=4169120/4192956
[pid=1977] ppid=1975 vsize=923320 CPUtime=1122.01
/proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 205775 0 0 0 112103 98 0 0 25 0 1 0 133008618 945479680 205666 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1977/statm: 230830 205666 139 317 0 230509 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 923320

[startup+1182.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 2002
/proc/meminfo: memFree=856760/2055920 swapFree=4169120/4192956
[pid=1977] ppid=1975 vsize=942736 CPUtime=1181.99
/proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 210664 0 0 0 118098 101 0 0 25 0 1 0 133008618 965361664 210555 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563647 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1977/statm: 235684 210555 139 317 0 235363 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 942736

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2002
/proc/meminfo: memFree=839672/2055920 swapFree=4169120/4192956
[pid=1977] ppid=1975 vsize=961504 CPUtime=1241.97
/proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 214893 0 0 0 124094 103 0 0 25 0 1 0 133008618 984580096 214784 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1977/statm: 240376 214784 139 317 0 240055 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 961504

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2002
/proc/meminfo: memFree=821176/2055920 swapFree=4169120/4192956
[pid=1977] ppid=1975 vsize=979784 CPUtime=1301.96
/proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 219525 0 0 0 130090 106 0 0 25 0 1 0 133008618 1003298816 219416 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1977/statm: 244946 219416 139 317 0 244625 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 979784

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2002
/proc/meminfo: memFree=803128/2055920 swapFree=4169120/4192956
[pid=1977] ppid=1975 vsize=997200 CPUtime=1361.95
/proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 224002 0 0 0 136087 108 0 0 25 0 1 0 133008618 1021132800 223893 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563665 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1977/statm: 249300 223893 139 317 0 248979 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 997200

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2002
/proc/meminfo: memFree=787128/2055920 swapFree=4169120/4192956
[pid=1977] ppid=1975 vsize=1015068 CPUtime=1421.94
/proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 227943 0 0 0 142083 111 0 0 25 0 1 0 133008618 1039429632 227834 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564062 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1977/statm: 253767 227834 139 317 0 253446 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 1015068

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2002
/proc/meminfo: memFree=769464/2055920 swapFree=4169120/4192956
[pid=1977] ppid=1975 vsize=1032904 CPUtime=1481.91
/proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 232501 0 0 0 148078 113 0 0 25 0 1 0 133008618 1057693696 232278 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1977/statm: 258226 232278 139 317 0 257905 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 1032904

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2002
/proc/meminfo: memFree=716536/2055920 swapFree=4169120/4192956
[pid=1977] ppid=1975 vsize=1189804 CPUtime=1541.91
/proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 263700 0 0 0 154066 125 0 0 25 0 1 0 133008618 1218359296 245360 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1977/statm: 297451 245360 139 317 0 297130 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 1189804

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2002
/proc/meminfo: memFree=701816/2055920 swapFree=4169120/4192956
[pid=1977] ppid=1975 vsize=1207020 CPUtime=1601.89
/proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 267576 0 0 0 160062 127 0 0 25 0 1 0 133008618 1235988480 249071 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1977/statm: 301755 249071 139 317 0 301434 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 1207020

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2002
/proc/meminfo: memFree=683960/2055920 swapFree=4169120/4192956
[pid=1977] ppid=1975 vsize=1223456 CPUtime=1661.88
/proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 272074 0 0 0 166058 130 0 0 25 0 1 0 133008618 1252818944 253503 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1977/statm: 305864 253503 139 317 0 305543 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 1223456

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2002
/proc/meminfo: memFree=669432/2055920 swapFree=4169120/4192956
[pid=1977] ppid=1975 vsize=1239500 CPUtime=1721.86
/proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 275694 0 0 0 172054 132 0 0 25 0 1 0 133008618 1269248000 257123 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1977/statm: 309875 257123 139 317 0 309554 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 1239500

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2002
/proc/meminfo: memFree=651704/2055920 swapFree=4169120/4192956
[pid=1977] ppid=1975 vsize=1256388 CPUtime=1781.84
/proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 280270 0 0 0 178051 133 0 0 25 0 1 0 133008618 1286541312 261567 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1977/statm: 314097 261567 139 317 0 313776 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 1256388



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2002
/proc/meminfo: memFree=647288/2055920 swapFree=4169120/4192956
[pid=1977] ppid=1975 vsize=1261100 CPUtime=1800.05
/proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194304 281336 0 0 0 179871 134 0 0 25 0 1 0 133008618 1291366400 262633 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1977/statm: 315275 262633 139 317 0 314954 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1261100

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

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

[startup+1800.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 2003
/proc/meminfo: memFree=1553264/2055920 swapFree=4169120/4192956
[pid=1977] ppid=1975 vsize=0 CPUtime=1800.24
/proc/1977/stat : 1977 (oree) R 1975 1977 1609 0 -1 4194308 281352 0 0 0 179875 149 0 0 25 0 1 0 133008618 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1977/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.73
CPU time (s): 1800.27
CPU user time (s): 1798.76
CPU system time (s): 1.51577
CPU usage (%): 99.9749
Max. virtual memory (cumulated for all children) (KiB): 1261100

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

runsolver used 2.14267 second user time and 4.39833 second system time

The end

Launcher Data (download as text)

Begin job on node15 on Tue Apr 17 23:01:50 UTC 2007

IDJOB= 356997
IDBENCH= 1753
IDSOLVER= 172
FILE ID= node15/356997-1176850910

PBS_JOBID= 4590209

Free space on /tmp= 66492 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  03b4fab8c58cfc4ea6c0d3c2d05c0d91

RANDOM SEED= 778741898

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:       1699360 kB
Buffers:         34696 kB
Cached:         247900 kB
SwapCached:       2528 kB
Active:         199312 kB
Inactive:       107704 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1699360 kB
SwapTotal:     4192956 kB
SwapFree:      4169120 kB
Dirty:            1944 kB
Writeback:           0 kB
Mapped:          32256 kB
Slab:            34568 kB
Committed_AS:  6166268 kB
PageTables:       2120 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= 66492 MiB

End job on node15 on Tue Apr 17 23:31:53 UTC 2007