Trace number 2695722

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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
pb_cplex 2010-06-29? (TO) 1800.07 1053.12

General information on the benchmark

Name/OPT-SMALLINT-LIN/flexray/
normalized-fx97.opb
MD5SUM22116bd56344f7c7bb7157cc5841f631
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
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 variables8424
Total number of constraints9089
Number of constraints which are clauses8415
Number of constraints which are cardinality constraints (but not clauses)98
Number of constraints which are nor clauses,nor cardinality constraints576
Minimum length of a constraint2
Maximum length of a constraint576
Number of terms in the objective function 9
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 9
Number of bits of the sum of numbers in the objective function 4
Biggest number in a constraint 42
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1199
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c pb_cplex 1.0 - 20100701
0.00/0.00	c Parsing opb file format. File HOME/instance-2695722-1278022358.opb.
0.00/0.00	c Instance file HOME/instance-2695722-1278022358.opb
0.00/0.00	c File size is 792041 bytes.
2.29/2.31	c Highest Coefficient sum: 1199
2.29/2.31	c  IBM ILOG License Manager: "IBM ILOG Optimization Suite for Academic Initiative" is accessing CPLEX 12 with option(s): "e m b q ".
2.29/2.34	c ============================[ Problem Statistics ]=============================
2.29/2.34	c |                                                                             |
2.29/2.34	c |  Parsing time:          2.33         s                                      |
2.29/2.34	c |  Number Variables:      8424                                                |
2.29/2.35	c |  Number Constraints:    9089                                                |
2.29/2.35	c ===============================================================================
1800.07/1053.11	c Remaining time 1797.67 sec.
1800.07/1053.11	c 
1800.07/1053.11	c *** INTERRUPTED ***
1800.07/1053.11	s UNKNOWN
1800.07/1053.11	c Total CPU time              : 1782.78 s
1800.07/1053.11	c Memory used           : 207.29 MB
1800.07/1053.11	c CPU time              : 1782.78 s
1800.07/1053.11	c 
1800.07/1053.11	c *** INTERRUPTED ***

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2695722-1278022358/watcher-2695722-1278022358 -o /tmp/evaluation-result-2695722-1278022358/solver-2695722-1278022358 -C 1800 -W 2000 -M 1800 run HOME/instance-2695722-1278022358.opb 

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): 2000 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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.50 1.65 1.45 3/106 25780
/proc/meminfo: memFree=1357744/2059040 swapFree=4138796/4192956
[pid=25780] ppid=25778 vsize=8700 CPUtime=0
/proc/25780/stat : 25780 (run) S 25778 25780 25227 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 177839457 8908800 249 1992294400 4194304 4922060 140735103402640 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25780/statm: 2175 249 208 178 0 68 0

[startup+0.052769 s]
/proc/loadavg: 1.50 1.65 1.45 3/106 25780
/proc/meminfo: memFree=1357744/2059040 swapFree=4138796/4192956
[pid=25780] ppid=25778 vsize=8700 CPUtime=0
/proc/25780/stat : 25780 (run) S 25778 25780 25227 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 177839457 8908800 249 1992294400 4194304 4922060 140735103402640 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25780/statm: 2175 249 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100774 s]
/proc/loadavg: 1.50 1.65 1.45 3/106 25780
/proc/meminfo: memFree=1357744/2059040 swapFree=4138796/4192956
[pid=25780] ppid=25778 vsize=8700 CPUtime=0
/proc/25780/stat : 25780 (run) S 25778 25780 25227 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 177839457 8908800 249 1992294400 4194304 4922060 140735103402640 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25780/statm: 2175 249 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300797 s]
/proc/loadavg: 1.50 1.65 1.45 3/106 25780
/proc/meminfo: memFree=1357744/2059040 swapFree=4138796/4192956
[pid=25780] ppid=25778 vsize=8700 CPUtime=0
/proc/25780/stat : 25780 (run) S 25778 25780 25227 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 177839457 8908800 249 1992294400 4194304 4922060 140735103402640 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25780/statm: 2175 249 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700843 s]
/proc/loadavg: 1.50 1.65 1.45 3/106 25780
/proc/meminfo: memFree=1357744/2059040 swapFree=4138796/4192956
[pid=25780] ppid=25778 vsize=8700 CPUtime=0
/proc/25780/stat : 25780 (run) S 25778 25780 25227 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 177839457 8908800 249 1992294400 4194304 4922060 140735103402640 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25780/statm: 2175 249 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50094 s]
/proc/loadavg: 1.50 1.65 1.45 2/108 25782
/proc/meminfo: memFree=1353760/2059040 swapFree=4138796/4192956
[pid=25780] ppid=25778 vsize=8700 CPUtime=0
/proc/25780/stat : 25780 (run) S 25778 25780 25227 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 177839457 8908800 249 1992294400 4194304 4922060 140735103402640 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25780/statm: 2175 249 208 178 0 68 0
[pid=25781] ppid=25780 vsize=17220 CPUtime=1.49
/proc/25781/stat : 25781 (pb_cplex) R 25780 25780 25227 0 -1 4202496 1426 0 0 0 149 0 0 0 25 0 1 0 177839458 17633280 1380 1992294400 134512640 146736320 4288263104 18446744073709551615 140750185 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25781/statm: 4305 1380 413 2985 0 1045 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25920

[startup+3.10113 s]
/proc/loadavg: 1.50 1.65 1.45 2/108 25782
/proc/meminfo: memFree=1352520/2059040 swapFree=4138796/4192956
[pid=25780] ppid=25778 vsize=8700 CPUtime=0
/proc/25780/stat : 25780 (run) S 25778 25780 25227 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 177839457 8908800 249 1992294400 4194304 4922060 140735103402640 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25780/statm: 2175 249 208 178 0 68 0
[pid=25781] ppid=25780 vsize=35312 CPUtime=3.09
/proc/25781/stat : 25781 (pb_cplex) R 25780 25780 25227 0 -1 4202496 8310 0 0 0 307 2 0 0 18 0 1 0 177839458 36159488 5393 1992294400 134512640 146736320 4288263104 18446744073709551615 137299268 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/25781/statm: 8828 5393 949 2985 0 5370 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 44012

[startup+6.30149 s]
/proc/loadavg: 1.46 1.64 1.45 2/108 25782
/proc/meminfo: memFree=1334912/2059040 swapFree=4138796/4192956
[pid=25780] ppid=25778 vsize=8700 CPUtime=0
/proc/25780/stat : 25780 (run) S 25778 25780 25227 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 177839457 8908800 249 1992294400 4194304 4922060 140735103402640 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25780/statm: 2175 249 208 178 0 68 0
[pid=25781] ppid=25780 vsize=44352 CPUtime=6.28
/proc/25781/stat : 25781 (pb_cplex) R 25780 25780 25227 0 -1 4202496 20506 0 0 0 621 7 0 0 25 0 1 0 177839458 45416448 7167 1992294400 134512640 146736320 4288263104 18446744073709551615 138666301 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25781/statm: 11088 7167 992 2985 0 7630 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 53052

[startup+12.7012 s]
/proc/loadavg: 1.43 1.63 1.45 2/109 25785
/proc/meminfo: memFree=1317048/2059040 swapFree=4138796/4192956
[pid=25780] ppid=25778 vsize=8700 CPUtime=0
/proc/25780/stat : 25780 (run) S 25778 25780 25227 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 177839457 8908800 249 1992294400 4194304 4922060 140735103402640 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25780/statm: 2175 249 208 178 0 68 0
[pid=25781] ppid=25780 vsize=71836 CPUtime=13.71
/proc/25781/stat : 25781 (pb_cplex) S 25780 25780 25227 0 -1 4202496 28922 0 0 0 1359 12 0 0 18 0 2 0 177839458 73560064 11126 1992294400 134512640 146736320 4288263104 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25781/statm: 17959 11126 1049 2985 0 14501 0
[pid=25781/tid=25785] ppid=25780 vsize=71836 CPUtime=2.29
/proc/25781/task/25785/stat : 25785 (pb_cplex) R 25780 25780 25227 0 -1 4202560 1847 0 0 0 228 1 0 0 18 0 2 0 177840472 73560064 11126 1992294400 134512640 146736320 4288263104 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 13.71
Current children cumulated vsize (KiB) 80536

[startup+25.5007 s]
/proc/loadavg: 1.79 1.70 1.47 3/109 25785
/proc/meminfo: memFree=1314444/2059040 swapFree=4138796/4192956
[pid=25780] ppid=25778 vsize=8700 CPUtime=0
/proc/25780/stat : 25780 (run) S 25778 25780 25227 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 177839457 8908800 249 1992294400 4194304 4922060 140735103402640 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25780/statm: 2175 249 208 178 0 68 0
[pid=25781] ppid=25780 vsize=74348 CPUtime=35.59
/proc/25781/stat : 25781 (pb_cplex) R 25780 25780 25227 0 -1 4202496 29689 0 0 0 3542 17 0 0 19 0 2 0 177839458 76132352 11793 1992294400 134512640 146736320 4288263104 18446744073709551615 136384858 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/25781/statm: 18587 11793 1049 2985 0 15129 0
[pid=25781/tid=25785] ppid=25780 vsize=74348 CPUtime=13.43
/proc/25781/task/25785/stat : 25785 (pb_cplex) R 25780 25780 25227 0 -1 4202560 2162 0 0 0 1340 3 0 0 19 0 2 0 177840472 76132352 11793 1992294400 134512640 146736320 4288263104 18446744073709551615 136000422 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 35.59
Current children cumulated vsize (KiB) 83048

[startup+51.1007 s]
/proc/loadavg: 1.86 1.72 1.49 3/109 25785
/proc/meminfo: memFree=1296712/2059040 swapFree=4138796/4192956
[pid=25780] ppid=25778 vsize=8700 CPUtime=0
/proc/25780/stat : 25780 (run) S 25778 25780 25227 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 177839457 8908800 249 1992294400 4194304 4922060 140735103402640 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25780/statm: 2175 249 208 178 0 68 0
[pid=25781] ppid=25780 vsize=90968 CPUtime=79.57
/proc/25781/stat : 25781 (pb_cplex) R 25780 25780 25227 0 -1 4202496 38890 0 0 0 7930 27 0 0 20 0 2 0 177839458 93151232 16209 1992294400 134512640 146736320 4288263104 18446744073709551615 136008387 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25781/statm: 22742 16209 1065 2985 0 19284 0
[pid=25781/tid=25785] ppid=25780 vsize=90968 CPUtime=36.83
/proc/25781/task/25785/stat : 25785 (pb_cplex) S 25780 25780 25227 0 -1 4202560 6719 0 0 0 3674 9 0 0 25 0 2 0 177840472 93151232 16209 1992294400 134512640 146736320 4288263104 18446744073709551615 144580073 0 2 4096 16387 18446604437828390976 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 79.57
Current children cumulated vsize (KiB) 99668

[startup+102.309 s]
/proc/loadavg: 1.70 1.69 1.48 3/109 25792
/proc/meminfo: memFree=1288404/2059040 swapFree=4138796/4192956
[pid=25780] ppid=25778 vsize=8700 CPUtime=0
/proc/25780/stat : 25780 (run) S 25778 25780 25227 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 177839457 8908800 249 1992294400 4194304 4922060 140735103402640 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25780/statm: 2175 249 208 178 0 68 0
[pid=25781] ppid=25780 vsize=97564 CPUtime=158.92
/proc/25781/stat : 25781 (pb_cplex) R 25780 25780 25227 0 -1 4202496 90431 0 0 0 15827 65 0 0 25 0 2 0 177839458 99905536 17681 1992294400 134512640 146736320 4288263104 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/25781/statm: 24391 17681 1071 2985 0 20933 0
[pid=25781/tid=25790] ppid=25780 vsize=97564 CPUtime=25.53
/proc/25781/task/25790/stat : 25790 (pb_cplex) R 25780 25780 25227 0 -1 4202560 22565 0 0 0 2538 15 0 0 22 0 2 0 177846760 99905536 17681 1992294400 134512640 146736320 4288263104 18446744073709551615 135855167 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 158.92
Current children cumulated vsize (KiB) 106264

[startup+162.301 s]
/proc/loadavg: 1.94 1.76 1.52 4/109 25794
/proc/meminfo: memFree=1264224/2059040 swapFree=4138796/4192956
[pid=25780] ppid=25778 vsize=8700 CPUtime=0
/proc/25780/stat : 25780 (run) S 25778 25780 25227 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 177839457 8908800 249 1992294400 4194304 4922060 140735103402640 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25780/statm: 2175 249 208 178 0 68 0
[pid=25781] ppid=25780 vsize=125776 CPUtime=268.67
/proc/25781/stat : 25781 (pb_cplex) R 25780 25780 25227 0 -1 4202496 269759 0 0 0 26712 155 0 0 19 0 2 0 177839458 128794624 24327 1992294400 134512640 146736320 4288263104 18446744073709551615 135855174 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25781/statm: 31444 24327 1074 2985 0 27986 0
[pid=25781/tid=25790] ppid=25780 vsize=125776 CPUtime=81.15
/proc/25781/task/25790/stat : 25790 (pb_cplex) R 25780 25780 25227 0 -1 4202560 108362 0 0 0 8057 58 0 0 25 0 2 0 177846760 128794624 24327 1992294400 134512640 146736320 4288263104 18446744073709551615 135855179 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 268.67
Current children cumulated vsize (KiB) 134476

[startup+222.301 s]
/proc/loadavg: 2.05 1.81 1.55 3/109 25794
/proc/meminfo: memFree=1257652/2059040 swapFree=4138796/4192956
[pid=25780] ppid=25778 vsize=8700 CPUtime=0
/proc/25780/stat : 25780 (run) S 25778 25780 25227 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 177839457 8908800 249 1992294400 4194304 4922060 140735103402640 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25780/statm: 2175 249 208 178 0 68 0
[pid=25781] ppid=25780 vsize=130992 CPUtime=379.44
/proc/25781/stat : 25781 (pb_cplex) R 25780 25780 25227 0 -1 4202496 374833 0 0 0 37730 214 0 0 19 0 2 0 177839458 134135808 25651 1992294400 134512640 146736320 4288263104 18446744073709551615 136008450 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25781/statm: 32748 25651 1071 2985 0 29290 0
[pid=25781/tid=25790] ppid=25780 vsize=130992 CPUtime=134.43
/proc/25781/task/25790/stat : 25790 (pb_cplex) R 25780 25780 25227 0 -1 4202560 174878 0 0 0 13347 96 0 0 25 0 2 0 177846760 134135808 25651 1992294400 134512640 146736320 4288263104 18446744073709551615 139044552 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 379.44
Current children cumulated vsize (KiB) 139692

[startup+282.302 s]
/proc/loadavg: 2.21 1.89 1.59 5/109 25796
/proc/meminfo: memFree=1255048/2059040 swapFree=4138796/4192956
[pid=25780] ppid=25778 vsize=8700 CPUtime=0
/proc/25780/stat : 25780 (run) S 25778 25780 25227 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 177839457 8908800 249 1992294400 4194304 4922060 140735103402640 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25780/statm: 2175 249 208 178 0 68 0
[pid=25781] ppid=25780 vsize=134940 CPUtime=490.19
/proc/25781/stat : 25781 (pb_cplex) R 25780 25780 25227 0 -1 4202496 512914 0 0 0 48734 285 0 0 16 0 2 0 177839458 138178560 26409 1992294400 134512640 146736320 4288263104 18446744073709551615 136008050 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25781/statm: 33735 26409 1071 2985 0 30277 0
[pid=25781/tid=25790] ppid=25780 vsize=134940 CPUtime=190.24
/proc/25781/task/25790/stat : 25790 (pb_cplex) R 25780 25780 25227 0 -1 4202560 250145 0 0 0 18890 134 0 0 25 0 2 0 177846760 138178560 26409 1992294400 134512640 146736320 4288263104 18446744073709551615 136008450 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 490.19
Current children cumulated vsize (KiB) 143640

[startup+342.301 s]
/proc/loadavg: 2.12 1.94 1.63 3/109 25798
/proc/meminfo: memFree=1250088/2059040 swapFree=4138796/4192956
[pid=25780] ppid=25778 vsize=8700 CPUtime=0
/proc/25780/stat : 25780 (run) S 25778 25780 25227 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 177839457 8908800 249 1992294400 4194304 4922060 140735103402640 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25780/statm: 2175 249 208 178 0 68 0
[pid=25781] ppid=25780 vsize=139564 CPUtime=596.47
/proc/25781/stat : 25781 (pb_cplex) R 25780 25780 25227 0 -1 4202496 736093 0 0 0 59261 386 0 0 25 0 2 0 177839458 142913536 27287 1992294400 134512640 146736320 4288263104 18446744073709551615 136008696 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25781/statm: 34891 27287 1071 2985 0 31433 0
[pid=25781/tid=25790] ppid=25780 vsize=139564 CPUtime=244.12
/proc/25781/task/25790/stat : 25790 (pb_cplex) R 25780 25780 25227 0 -1 4202560 362529 0 0 0 24228 184 0 0 17 0 2 0 177846760 142913536 27287 1992294400 134512640 146736320 4288263104 18446744073709551615 135855174 0 2 4096 16387 0 0 0 -1 1 0 0 0

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

[pid=25781] ppid=25780 vsize=146528 CPUtime=916.62
/proc/25781/stat : 25781 (pb_cplex) R 25780 25780 25227 0 -1 4202496 1457121 0 0 0 90932 730 0 0 19 0 2 0 177839458 150044672 29311 1992294400 134512640 146736320 4288263104 18446744073709551615 136385185 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25781/statm: 36632 29311 1071 2985 0 33174 0
[pid=25781/tid=25790] ppid=25780 vsize=146528 CPUtime=399.41
/proc/25781/task/25790/stat : 25790 (pb_cplex) R 25780 25780 25227 0 -1 4202560 719010 0 0 0 39586 355 0 0 25 0 2 0 177846760 150044672 29311 1992294400 134512640 146736320 4288263104 18446744073709551615 135526881 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 916.62
Current children cumulated vsize (KiB) 155228

[startup+582.3 s]
/proc/loadavg: 1.84 1.93 1.69 3/109 25804
/proc/meminfo: memFree=1234340/2059040 swapFree=4138796/4192956
[pid=25780] ppid=25778 vsize=8700 CPUtime=0
/proc/25780/stat : 25780 (run) S 25778 25780 25227 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 177839457 8908800 249 1992294400 4194304 4922060 140735103402640 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25780/statm: 2175 249 208 178 0 68 0
[pid=25781] ppid=25780 vsize=154972 CPUtime=1026.29
/proc/25781/stat : 25781 (pb_cplex) R 25780 25780 25227 0 -1 4202496 1723146 0 0 0 101774 855 0 0 17 0 2 0 177839458 158691328 31414 1992294400 134512640 146736320 4288263104 18446744073709551615 136475869 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25781/statm: 38743 31414 1071 2985 0 35285 0
[pid=25781/tid=25790] ppid=25780 vsize=154972 CPUtime=456.4
/proc/25781/task/25790/stat : 25790 (pb_cplex) R 25780 25780 25227 0 -1 4202560 891753 0 0 0 45206 434 0 0 25 0 2 0 177846760 158691328 31414 1992294400 134512640 146736320 4288263104 18446744073709551615 135855174 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1026.29
Current children cumulated vsize (KiB) 163672

[startup+642.3 s]
/proc/loadavg: 1.97 1.95 1.71 3/109 25806
/proc/meminfo: memFree=1221444/2059040 swapFree=4138796/4192956
[pid=25780] ppid=25778 vsize=8700 CPUtime=0
/proc/25780/stat : 25780 (run) S 25778 25780 25227 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 177839457 8908800 249 1992294400 4194304 4922060 140735103402640 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25780/statm: 2175 249 208 178 0 68 0
[pid=25781] ppid=25780 vsize=169204 CPUtime=1131.42
/proc/25781/stat : 25781 (pb_cplex) R 25780 25780 25227 0 -1 4202496 1952902 0 0 0 112175 967 0 0 20 0 2 0 177839458 173264896 34772 1992294400 134512640 146736320 4288263104 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25781/statm: 42301 34772 1071 2985 0 38843 0
[pid=25781/tid=25790] ppid=25780 vsize=169204 CPUtime=508.43
/proc/25781/task/25790/stat : 25790 (pb_cplex) R 25780 25780 25227 0 -1 4202560 982273 0 0 0 50363 480 0 0 25 0 2 0 177846760 173264896 34772 1992294400 134512640 146736320 4288263104 18446744073709551615 139023058 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1131.42
Current children cumulated vsize (KiB) 177904

[startup+702.3 s]
/proc/loadavg: 2.19 2.01 1.74 2/109 25808
/proc/meminfo: memFree=1215120/2059040 swapFree=4138796/4192956
[pid=25780] ppid=25778 vsize=8700 CPUtime=0
/proc/25780/stat : 25780 (run) S 25778 25780 25227 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 177839457 8908800 249 1992294400 4194304 4922060 140735103402640 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25780/statm: 2175 249 208 178 0 68 0
[pid=25781] ppid=25780 vsize=175124 CPUtime=1244.12
/proc/25781/stat : 25781 (pb_cplex) S 25780 25780 25227 0 -1 4202496 2236147 0 0 0 123313 1099 0 0 18 0 2 0 177839458 179326976 36151 1992294400 134512640 146736320 4288263104 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25781/statm: 43781 36151 1071 2985 0 40323 0
[pid=25781/tid=25790] ppid=25780 vsize=175124 CPUtime=564.66
/proc/25781/task/25790/stat : 25790 (pb_cplex) R 25780 25780 25227 0 -1 4202560 1144907 0 0 0 55911 555 0 0 17 0 2 0 177846760 179326976 36151 1992294400 134512640 146736320 4288263104 18446744073709551615 136385183 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1244.12
Current children cumulated vsize (KiB) 183824

[startup+762.31 s]
/proc/loadavg: 2.10 1.98 1.75 3/109 25810
/proc/meminfo: memFree=1201976/2059040 swapFree=4138796/4192956
[pid=25780] ppid=25778 vsize=8700 CPUtime=0
/proc/25780/stat : 25780 (run) S 25778 25780 25227 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 177839457 8908800 249 1992294400 4194304 4922060 140735103402640 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25780/statm: 2175 249 208 178 0 68 0
[pid=25781] ppid=25780 vsize=187520 CPUtime=1343.33
/proc/25781/stat : 25781 (pb_cplex) R 25780 25780 25227 0 -1 4202496 2480982 0 0 0 133122 1211 0 0 23 0 2 0 177839458 192020480 39100 1992294400 134512640 146736320 4288263104 18446744073709551615 139022897 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/25781/statm: 46880 39100 1076 2985 0 43422 0
[pid=25781/tid=25790] ppid=25780 vsize=187520 CPUtime=612.05
/proc/25781/task/25790/stat : 25790 (pb_cplex) R 25780 25780 25227 0 -1 4202560 1297481 0 0 0 60580 625 0 0 18 0 2 0 177846760 192020480 39100 1992294400 134512640 146736320 4288263104 18446744073709551615 136000173 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1343.33
Current children cumulated vsize (KiB) 196220

[startup+822.301 s]
/proc/loadavg: 1.98 1.98 1.76 4/109 25810
/proc/meminfo: memFree=1198504/2059040 swapFree=4138796/4192956
[pid=25780] ppid=25778 vsize=8700 CPUtime=0
/proc/25780/stat : 25780 (run) S 25778 25780 25227 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 177839457 8908800 249 1992294400 4194304 4922060 140735103402640 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25780/statm: 2175 249 208 178 0 68 0
[pid=25781] ppid=25780 vsize=192388 CPUtime=1451.77
/proc/25781/stat : 25781 (pb_cplex) R 25780 25780 25227 0 -1 4202496 2750720 0 0 0 143839 1338 0 0 25 0 2 0 177839458 197005312 40387 1992294400 134512640 146736320 4288263104 18446744073709551615 136474442 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/25781/statm: 48097 40387 1076 2985 0 44639 0
[pid=25781/tid=25790] ppid=25780 vsize=192388 CPUtime=664.95
/proc/25781/task/25790/stat : 25790 (pb_cplex) R 25780 25780 25227 0 -1 4202560 1439125 0 0 0 65804 691 0 0 17 0 2 0 177846760 197005312 40387 1992294400 134512640 146736320 4288263104 18446744073709551615 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1451.77
Current children cumulated vsize (KiB) 201088

[startup+882.301 s]
/proc/loadavg: 2.06 2.01 1.78 2/109 25812
/proc/meminfo: memFree=1167380/2059040 swapFree=4138796/4192956
[pid=25780] ppid=25778 vsize=8700 CPUtime=0
/proc/25780/stat : 25780 (run) S 25778 25780 25227 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 177839457 8908800 249 1992294400 4194304 4922060 140735103402640 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25780/statm: 2175 249 208 178 0 68 0
[pid=25781] ppid=25780 vsize=228904 CPUtime=1545.28
/proc/25781/stat : 25781 (pb_cplex) R 25780 25780 25227 0 -1 4202496 2994438 0 0 0 153077 1451 0 0 25 0 2 0 177839458 234397696 48242 1992294400 134512640 146736320 4288263104 18446744073709551615 139023093 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/25781/statm: 57226 48242 1086 2985 0 53768 0
[pid=25781/tid=25790] ppid=25780 vsize=228904 CPUtime=702.37
/proc/25781/task/25790/stat : 25790 (pb_cplex) S 25780 25780 25227 0 -1 4202560 1525652 0 0 0 69504 733 0 0 18 0 2 0 177846760 234397696 48242 1992294400 134512640 146736320 4288263104 18446744073709551615 144580073 0 2 4096 16387 18446604437828390976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1545.28
Current children cumulated vsize (KiB) 237604

[startup+942.301 s]
/proc/loadavg: 1.39 1.82 1.73 3/109 25814
/proc/meminfo: memFree=1187716/2059040 swapFree=4138796/4192956
[pid=25780] ppid=25778 vsize=8700 CPUtime=0
/proc/25780/stat : 25780 (run) S 25778 25780 25227 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 177839457 8908800 249 1992294400 4194304 4922060 140735103402640 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25780/statm: 2175 249 208 178 0 68 0
[pid=25781] ppid=25780 vsize=202932 CPUtime=1606.74
/proc/25781/stat : 25781 (pb_cplex) R 25780 25780 25227 0 -1 4202496 3068187 0 0 0 159186 1488 0 0 25 0 2 0 177839458 207802368 43059 1992294400 134512640 146736320 4288263104 18446744073709551615 135850319 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/25781/statm: 50733 43059 1087 2985 0 47275 0
[pid=25781/tid=25790] ppid=25780 vsize=202932 CPUtime=703.86
/proc/25781/task/25790/stat : 25790 (pb_cplex) R 25780 25780 25227 0 -1 4202560 1531197 0 0 0 69651 735 0 0 20 0 2 0 177846760 207802368 43059 1992294400 134512640 146736320 4288263104 18446744073709551615 139043287 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1606.74
Current children cumulated vsize (KiB) 211632

[startup+1002.3 s]
/proc/loadavg: 2.00 1.93 1.77 3/109 25816
/proc/meminfo: memFree=1182260/2059040 swapFree=4138796/4192956
[pid=25780] ppid=25778 vsize=8700 CPUtime=0
/proc/25780/stat : 25780 (run) S 25778 25780 25227 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 177839457 8908800 249 1992294400 4194304 4922060 140735103402640 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25780/statm: 2175 249 208 178 0 68 0
[pid=25781] ppid=25780 vsize=208676 CPUtime=1712.74
/proc/25781/stat : 25781 (pb_cplex) R 25780 25780 25227 0 -1 4202496 3342296 0 0 0 169657 1617 0 0 25 0 2 0 177839458 213684224 44355 1992294400 134512640 146736320 4288263104 18446744073709551615 136382629 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/25781/statm: 52169 44355 1087 2985 0 48711 0
[pid=25781/tid=25790] ppid=25780 vsize=208676 CPUtime=754.57
/proc/25781/task/25790/stat : 25790 (pb_cplex) S 25780 25780 25227 0 -1 4202560 1687765 0 0 0 74648 809 0 0 19 0 2 0 177846760 213684224 44355 1992294400 134512640 146736320 4288263104 18446744073709551615 144580073 0 2 4096 16387 18446604437828390976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1712.74
Current children cumulated vsize (KiB) 217376



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1053.1 s]
/proc/loadavg: 1.83 1.89 1.76 3/109 25816
/proc/meminfo: memFree=1178540/2059040 swapFree=4138796/4192956
[pid=25780] ppid=25778 vsize=8700 CPUtime=0
/proc/25780/stat : 25780 (run) S 25778 25780 25227 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 177839457 8908800 249 1992294400 4194304 4922060 140735103402640 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25780/statm: 2175 249 208 178 0 68 0
[pid=25781] ppid=25780 vsize=212256 CPUtime=1800.07
/proc/25781/stat : 25781 (pb_cplex) R 25780 25780 25227 0 -1 4202496 3576105 0 0 0 178276 1731 0 0 25 0 2 0 177839458 217350144 45292 1992294400 134512640 146736320 4288263104 18446744073709551615 136475859 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/25781/statm: 53064 45292 1087 2985 0 49606 0
[pid=25781/tid=25790] ppid=25780 vsize=212256 CPUtime=796.44
/proc/25781/task/25790/stat : 25790 (pb_cplex) R 25780 25780 25227 0 -1 4202560 1809068 0 0 0 78774 870 0 0 19 0 2 0 177846760 217350144 45292 1992294400 134512640 146736320 4288263104 18446744073709551615 136385268 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 220956

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

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

[startup+1053.1 s]
/proc/loadavg: 1.83 1.89 1.76 3/109 25816
/proc/meminfo: memFree=1178540/2059040 swapFree=4138796/4192956
[pid=25780] ppid=25778 vsize=8700 CPUtime=0
/proc/25780/stat : 25780 (run) S 25778 25780 25227 0 -1 4202496 365 0 0 0 0 0 0 0 18 0 1 0 177839457 8908800 249 1992294400 4194304 4922060 140735103402640 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25780/statm: 2175 249 208 178 0 68 0
[pid=25781] ppid=25780 vsize=212256 CPUtime=1800.07
/proc/25781/stat : 25781 (pb_cplex) R 25780 25780 25227 0 -1 4202496 3576105 0 0 0 178276 1731 0 0 25 0 2 0 177839458 217350144 45292 1992294400 134512640 146736320 4288263104 18446744073709551615 136475859 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/25781/statm: 53064 45292 1087 2985 0 49606 0
[pid=25781/tid=25790] ppid=25780 vsize=212256 CPUtime=796.44
/proc/25781/task/25790/stat : 25790 (pb_cplex) R 25780 25780 25227 0 -1 4202560 1809068 0 0 0 78774 870 0 0 19 0 2 0 177846760 217350144 45292 1992294400 134512640 146736320 4288263104 18446744073709551615 136385268 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 220956

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25780 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=1999
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.001999
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1053.12
CPU time (s): 1800.07
CPU user time (s): 1782.76
CPU system time (s): 17.31
CPU usage (%): 170.927
Max. virtual memory (cumulated for all children) (KiB): 244340

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001999
system time used= 0
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 365
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= 2
involuntary context switches= 2

runsolver used 1.9707 second user time and 5.68314 second system time

The end

Launcher Data 

Begin job on node006 at 2010-07-02 00:12:38
IDJOB=2695722
IDBENCH=71849
IDSOLVER=1209
FILE ID=node006/2695722-1278022358
PBS_JOBID= 11198748
Free space on /tmp= 62532 MiB

SOLVER NAME= pb_cplex 2010-06-29
BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/flexray/normalized-fx97.opb
COMMAND LINE= run BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2695722-1278022358/watcher-2695722-1278022358 -o /tmp/evaluation-result-2695722-1278022358/solver-2695722-1278022358 -C 1800 -W 2000 -M 1800  run HOME/instance-2695722-1278022358.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 22116bd56344f7c7bb7157cc5841f631
RANDOM SEED=493567677

node006.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.204
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.40
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.204
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1358272 kB
Buffers:        174384 kB
Cached:         418612 kB
SwapCached:       8168 kB
Active:         152456 kB
Inactive:       455720 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1358272 kB
SwapTotal:     4192956 kB
SwapFree:      4138796 kB
Dirty:           17632 kB
Writeback:           0 kB
AnonPages:       13380 kB
Mapped:          11396 kB
Slab:            70768 kB
PageTables:       4256 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182360 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62516 MiB
End job on node006 at 2010-07-02 00:30:13