Trace number 2697240

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 1059.62

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_10_4.opb
MD5SUMedb32574ecafd14c2d1410b208d85a45
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-28
Best CPU time to get the best result obtained on this benchmark1789.59
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -30
Optimality of the best value was proved NO
Number of variables200
Total number of constraints301
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
Number of terms in the objective function 100
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 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2516
Sum of products size (including duplicates)5032
Number of different products1258
Sum of products size2516

Solver Data 

0.00/0.00	c pb_cplex 1.0 - 20100701
0.00/0.00	c Parsing opb file format. File HOME/instance-2697240-1278052273.opb.
0.00/0.00	c Instance file HOME/instance-2697240-1278052273.opb
0.00/0.00	c File size is 107458 bytes.
0.00/0.05	c Highest Coefficient sum: 200
0.00/0.05	c  IBM ILOG License Manager: "IBM ILOG Optimization Suite for Academic Initiative" is accessing CPLEX 12 with option(s): "e m b q ".
0.00/0.06	c ============================[ Problem Statistics ]=============================
0.00/0.06	c |                                                                             |
0.00/0.06	c |  Parsing time:          0.06         s                                      |
0.00/0.06	c |  Number Variables:      1458                                                |
0.00/0.06	c |  Number Constraints:    2817                                                |
0.00/0.06	c ===============================================================================
1800.04/1059.61	c Remaining time 1799.94 sec.
1800.04/1059.61	c 
1800.04/1059.61	c *** INTERRUPTED ***
1800.04/1059.61	s UNKNOWN
1800.04/1059.61	c Total CPU time              : 1795.9 s
1800.04/1059.61	c Memory used           : 64.23 MB
1800.04/1059.61	c CPU time              : 1795.9 s
1800.04/1059.61	c 
1800.04/1059.61	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-2697240-1278052273/watcher-2697240-1278052273 -o /tmp/evaluation-result-2697240-1278052273/solver-2697240-1278052273 -C 1800 -W 2000 -M 1800 run HOME/instance-2697240-1278052273.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.88 1.91 1.81 3/105 860
/proc/meminfo: memFree=1461984/2059040 swapFree=4139708/4192956
[pid=860] ppid=858 vsize=8700 CPUtime=0
/proc/860/stat : 860 (run) R 858 860 415 0 -1 4202496 348 0 0 0 0 0 0 0 20 0 1 0 146518699 8908800 248 1992294400 4194304 4922060 140734408597136 18446744073709551615 266013876629 0 65538 4100 65536 0 0 0 17 1 0 0 0
/proc/860/statm: 2175 248 208 178 0 68 0

[startup+0.0641801 s]
/proc/loadavg: 1.88 1.91 1.81 3/105 860
/proc/meminfo: memFree=1461984/2059040 swapFree=4139708/4192956
[pid=860] ppid=858 vsize=8700 CPUtime=0
/proc/860/stat : 860 (run) S 858 860 415 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146518699 8908800 248 1992294400 4194304 4922060 140734408597136 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/860/statm: 2175 248 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.10018 s]
/proc/loadavg: 1.88 1.91 1.81 3/105 860
/proc/meminfo: memFree=1461984/2059040 swapFree=4139708/4192956
[pid=860] ppid=858 vsize=8700 CPUtime=0
/proc/860/stat : 860 (run) S 858 860 415 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146518699 8908800 248 1992294400 4194304 4922060 140734408597136 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/860/statm: 2175 248 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300182 s]
/proc/loadavg: 1.88 1.91 1.81 3/105 860
/proc/meminfo: memFree=1461984/2059040 swapFree=4139708/4192956
[pid=860] ppid=858 vsize=8700 CPUtime=0
/proc/860/stat : 860 (run) S 858 860 415 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146518699 8908800 248 1992294400 4194304 4922060 140734408597136 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/860/statm: 2175 248 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700185 s]
/proc/loadavg: 1.88 1.91 1.81 3/105 860
/proc/meminfo: memFree=1461984/2059040 swapFree=4139708/4192956
[pid=860] ppid=858 vsize=8700 CPUtime=0
/proc/860/stat : 860 (run) S 858 860 415 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146518699 8908800 248 1992294400 4194304 4922060 140734408597136 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/860/statm: 2175 248 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50019 s]
/proc/loadavg: 1.81 1.90 1.81 2/107 862
/proc/meminfo: memFree=1455396/2059040 swapFree=4139708/4192956
[pid=860] ppid=858 vsize=8700 CPUtime=0
/proc/860/stat : 860 (run) S 858 860 415 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146518699 8908800 248 1992294400 4194304 4922060 140734408597136 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/860/statm: 2175 248 208 178 0 68 0
[pid=861] ppid=860 vsize=25120 CPUtime=1.49
/proc/861/stat : 861 (pb_cplex) R 860 860 415 0 -1 4202496 3484 0 0 0 148 1 0 0 20 0 1 0 146518699 25722880 2822 1992294400 134512640 146736320 4291146080 18446744073709551615 136000532 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/861/statm: 6280 2822 987 2985 0 2822 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33820

[startup+3.10021 s]
/proc/loadavg: 1.81 1.90 1.81 3/107 862
/proc/meminfo: memFree=1451924/2059040 swapFree=4139708/4192956
[pid=860] ppid=858 vsize=8700 CPUtime=0
/proc/860/stat : 860 (run) S 858 860 415 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146518699 8908800 248 1992294400 4194304 4922060 140734408597136 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/860/statm: 2175 248 208 178 0 68 0
[pid=861] ppid=860 vsize=25768 CPUtime=3.08
/proc/861/stat : 861 (pb_cplex) R 860 860 415 0 -1 4202496 4993 0 0 0 306 2 0 0 25 0 1 0 146518699 26386432 3150 1992294400 134512640 146736320 4291146080 18446744073709551615 135812006 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/861/statm: 6442 3150 1008 2985 0 2984 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 34468

[startup+6.30123 s]
/proc/loadavg: 1.81 1.90 1.81 2/107 862
/proc/meminfo: memFree=1452296/2059040 swapFree=4139708/4192956
[pid=860] ppid=858 vsize=8700 CPUtime=0
/proc/860/stat : 860 (run) S 858 860 415 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146518699 8908800 248 1992294400 4194304 4922060 140734408597136 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/860/statm: 2175 248 208 178 0 68 0
[pid=861] ppid=860 vsize=25916 CPUtime=6.28
/proc/861/stat : 861 (pb_cplex) R 860 860 415 0 -1 4202496 5151 0 0 0 625 3 0 0 25 0 1 0 146518699 26537984 3159 1992294400 134512640 146736320 4291146080 18446744073709551615 144757825 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/861/statm: 6479 3159 1008 2985 0 3021 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 34616

[startup+12.7013 s]
/proc/loadavg: 1.68 1.87 1.80 2/108 864
/proc/meminfo: memFree=1448320/2059040 swapFree=4139708/4192956
[pid=860] ppid=858 vsize=8700 CPUtime=0
/proc/860/stat : 860 (run) S 858 860 415 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146518699 8908800 248 1992294400 4194304 4922060 140734408597136 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/860/statm: 2175 248 208 178 0 68 0
[pid=861] ppid=860 vsize=44504 CPUtime=13.57
/proc/861/stat : 861 (pb_cplex) R 860 860 415 0 -1 4202496 8514 0 0 0 1352 5 0 0 18 0 2 0 146518699 45572096 4870 1992294400 134512640 146736320 4291146080 18446744073709551615 136008167 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/861/statm: 11126 4870 1060 2985 0 7668 0
[pid=861/tid=864] ppid=860 vsize=44504 CPUtime=0.45
/proc/861/task/864/stat : 864 (pb_cplex) R 860 860 415 0 -1 4202560 480 0 0 0 45 0 0 0 16 0 2 0 146519814 45572096 4870 1992294400 134512640 146736320 4291146080 18446744073709551615 136008259 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 13.57
Current children cumulated vsize (KiB) 53204

[startup+25.5004 s]
/proc/loadavg: 1.58 1.84 1.79 3/108 865
/proc/meminfo: memFree=1444228/2059040 swapFree=4139708/4192956
[pid=860] ppid=858 vsize=8700 CPUtime=0
/proc/860/stat : 860 (run) S 858 860 415 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146518699 8908800 248 1992294400 4194304 4922060 140734408597136 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/860/statm: 2175 248 208 178 0 68 0
[pid=861] ppid=860 vsize=47104 CPUtime=30.11
/proc/861/stat : 861 (pb_cplex) R 860 860 415 0 -1 4202496 11607 0 0 0 3002 9 0 0 18 0 2 0 146518699 48234496 5645 1992294400 134512640 146736320 4291146080 18446744073709551615 136385174 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/861/statm: 11776 5645 1089 2985 0 8318 0
[pid=861/tid=865] ppid=860 vsize=47104 CPUtime=4.03
/proc/861/task/865/stat : 865 (pb_cplex) R 860 860 415 0 -1 4202560 986 0 0 0 403 0 0 0 21 0 2 0 146520065 48234496 5645 1992294400 134512640 146736320 4291146080 18446744073709551615 136008050 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 30.11
Current children cumulated vsize (KiB) 55804

[startup+51.1006 s]
/proc/loadavg: 1.66 1.83 1.79 3/108 867
/proc/meminfo: memFree=1442864/2059040 swapFree=4139708/4192956
[pid=860] ppid=858 vsize=8700 CPUtime=0
/proc/860/stat : 860 (run) S 858 860 415 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146518699 8908800 248 1992294400 4194304 4922060 140734408597136 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/860/statm: 2175 248 208 178 0 68 0
[pid=861] ppid=860 vsize=47332 CPUtime=75.83
/proc/861/stat : 861 (pb_cplex) R 860 860 415 0 -1 4202496 12106 0 0 0 7572 11 0 0 21 0 2 0 146518699 48467968 5697 1992294400 134512640 146736320 4291146080 18446744073709551615 136008065 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/861/statm: 11833 5697 1070 2985 0 8375 0
[pid=861/tid=865] ppid=860 vsize=47332 CPUtime=25.61
/proc/861/task/865/stat : 865 (pb_cplex) R 860 860 415 0 -1 4202560 1460 0 0 0 2560 1 0 0 25 0 2 0 146520065 48467968 5697 1992294400 134512640 146736320 4291146080 18446744073709551615 136008050 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 75.83
Current children cumulated vsize (KiB) 56032

[startup+102.308 s]
/proc/loadavg: 2.04 1.92 1.82 3/108 870
/proc/meminfo: memFree=1441748/2059040 swapFree=4139708/4192956
[pid=860] ppid=858 vsize=8700 CPUtime=0
/proc/860/stat : 860 (run) S 858 860 415 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146518699 8908800 248 1992294400 4194304 4922060 140734408597136 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/860/statm: 2175 248 208 178 0 68 0
[pid=861] ppid=860 vsize=47724 CPUtime=170.58
/proc/861/stat : 861 (pb_cplex) R 860 860 415 0 -1 4202496 16394 0 0 0 17037 21 0 0 19 0 2 0 146518699 48869376 5847 1992294400 134512640 146736320 4291146080 18446744073709551615 139046483 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/861/statm: 11931 5847 1071 2985 0 8473 0
[pid=861/tid=865] ppid=860 vsize=47724 CPUtime=71.12
/proc/861/task/865/stat : 865 (pb_cplex) R 860 860 415 0 -1 4202560 5127 0 0 0 7104 8 0 0 25 0 2 0 146520065 48869376 5847 1992294400 134512640 146736320 4291146080 18446744073709551615 139046498 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 170.58
Current children cumulated vsize (KiB) 56424

[startup+162.301 s]
/proc/loadavg: 1.41 1.76 1.77 2/108 876
/proc/meminfo: memFree=1434556/2059040 swapFree=4139708/4192956
[pid=860] ppid=858 vsize=8700 CPUtime=0
/proc/860/stat : 860 (run) S 858 860 415 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146518699 8908800 248 1992294400 4194304 4922060 140734408597136 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/860/statm: 2175 248 208 178 0 68 0
[pid=861] ppid=860 vsize=56244 CPUtime=242.46
/proc/861/stat : 861 (pb_cplex) R 860 860 415 0 -1 4202496 58015 0 0 0 24201 45 0 0 25 0 2 0 146518699 57593856 8059 1992294400 134512640 146736320 4291146080 18446744073709551615 136018935 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/861/statm: 14061 8059 1081 2985 0 10603 0
[pid=861/tid=876] ppid=860 vsize=56244 CPUtime=0
/proc/861/task/876/stat : 876 (pb_cplex) S 860 860 415 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 2 0 146534264 57593856 8059 1992294400 134512640 146736320 4291146080 18446744073709551615 144580073 0 2 4096 16387 18446604437856629696 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 242.46
Current children cumulated vsize (KiB) 64944

[startup+222.3 s]
/proc/loadavg: 1.72 1.77 1.77 3/108 878
/proc/meminfo: memFree=1427612/2059040 swapFree=4139708/4192956
[pid=860] ppid=858 vsize=8700 CPUtime=0
/proc/860/stat : 860 (run) S 858 860 415 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146518699 8908800 248 1992294400 4194304 4922060 140734408597136 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/860/statm: 2175 248 208 178 0 68 0
[pid=861] ppid=860 vsize=60164 CPUtime=338.69
/proc/861/stat : 861 (pb_cplex) R 860 860 415 0 -1 4202496 70851 0 0 0 33812 57 0 0 25 0 2 0 146518699 61607936 9238 1992294400 134512640 146736320 4291146080 18446744073709551615 139044802 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/861/statm: 15041 9238 1081 2985 0 11583 0
[pid=861/tid=876] ppid=860 vsize=60164 CPUtime=51.61
/proc/861/task/876/stat : 876 (pb_cplex) R 860 860 415 0 -1 4202560 7397 0 0 0 5155 6 0 0 25 0 2 0 146534264 61607936 9238 1992294400 134512640 146736320 4291146080 18446744073709551615 136008170 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 338.69
Current children cumulated vsize (KiB) 68864

[startup+282.301 s]
/proc/loadavg: 1.80 1.78 1.77 3/108 880
/proc/meminfo: memFree=1426000/2059040 swapFree=4139708/4192956
[pid=860] ppid=858 vsize=8700 CPUtime=0
/proc/860/stat : 860 (run) S 858 860 415 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146518699 8908800 248 1992294400 4194304 4922060 140734408597136 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/860/statm: 2175 248 208 178 0 68 0
[pid=861] ppid=860 vsize=64064 CPUtime=452.9
/proc/861/stat : 861 (pb_cplex) R 860 860 415 0 -1 4202496 77104 0 0 0 45225 65 0 0 25 0 2 0 146518699 65601536 9922 1992294400 134512640 146736320 4291146080 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/861/statm: 16016 9922 1081 2985 0 12558 0
[pid=861/tid=876] ppid=860 vsize=64064 CPUtime=108.14
/proc/861/task/876/stat : 876 (pb_cplex) R 860 860 415 0 -1 4202560 9715 0 0 0 10804 10 0 0 25 0 2 0 146534264 65601536 9922 1992294400 134512640 146736320 4291146080 18446744073709551615 135999740 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 452.9
Current children cumulated vsize (KiB) 72764

[startup+342.3 s]
/proc/loadavg: 1.59 1.73 1.75 3/108 880
/proc/meminfo: memFree=1426000/2059040 swapFree=4139708/4192956
[pid=860] ppid=858 vsize=8700 CPUtime=0
/proc/860/stat : 860 (run) S 858 860 415 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146518699 8908800 248 1992294400 4194304 4922060 140734408597136 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/860/statm: 2175 248 208 178 0 68 0
[pid=861] ppid=860 vsize=61700 CPUtime=551.57
/proc/861/stat : 861 (pb_cplex) R 860 860 415 0 -1 4202496 94459 0 0 0 55076 81 0 0 25 0 2 0 146518699 63180800 9627 1992294400 134512640 146736320 4291146080 18446744073709551615 136008309 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/861/statm: 15425 9627 1084 2985 0 11967 0
[pid=861/tid=876] ppid=860 vsize=61700 CPUtime=167.8
/proc/861/task/876/stat : 876 (pb_cplex) R 860 860 415 0 -1 4202560 22843 0 0 0 16758 22 0 0 25 0 2 0 146534264 63180800 9627 1992294400 134512640 146736320 4291146080 18446744073709551615 136008050 0 2 4096 16387 0 0 0 -1 1 0 0 0

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

[pid=861] ppid=860 vsize=61712 CPUtime=660.23
/proc/861/stat : 861 (pb_cplex) R 860 860 415 0 -1 4202496 136098 0 0 0 65916 107 0 0 25 0 2 0 146518699 63193088 9666 1992294400 134512640 146736320 4291146080 18446744073709551615 136385174 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/861/statm: 15428 9666 1082 2985 0 11970 0
[pid=861/tid=876] ppid=860 vsize=61712 CPUtime=223.73
/proc/861/task/876/stat : 876 (pb_cplex) R 860 860 415 0 -1 4202560 63290 0 0 0 22329 44 0 0 25 0 2 0 146534264 63193088 9666 1992294400 134512640 146736320 4291146080 18446744073709551615 136001985 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 660.23
Current children cumulated vsize (KiB) 70412

[startup+462.3 s]
/proc/loadavg: 1.81 1.74 1.74 3/108 884
/proc/meminfo: memFree=1425628/2059040 swapFree=4139708/4192956
[pid=860] ppid=858 vsize=8700 CPUtime=0
/proc/860/stat : 860 (run) S 858 860 415 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146518699 8908800 248 1992294400 4194304 4922060 140734408597136 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/860/statm: 2175 248 208 178 0 68 0
[pid=861] ppid=860 vsize=62348 CPUtime=768.59
/proc/861/stat : 861 (pb_cplex) R 860 860 415 0 -1 4202496 176784 0 0 0 76723 136 0 0 25 0 2 0 146518699 63844352 9837 1992294400 134512640 146736320 4291146080 18446744073709551615 136008042 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/861/statm: 15587 9837 1081 2985 0 12129 0
[pid=861/tid=876] ppid=860 vsize=62348 CPUtime=276.82
/proc/861/task/876/stat : 876 (pb_cplex) R 860 860 415 0 -1 4202560 97750 0 0 0 27616 66 0 0 25 0 2 0 146534264 63844352 9837 1992294400 134512640 146736320 4291146080 18446744073709551615 136384896 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 768.59
Current children cumulated vsize (KiB) 71048

[startup+522.301 s]
/proc/loadavg: 1.71 1.72 1.73 3/108 886
/proc/meminfo: memFree=1425380/2059040 swapFree=4139708/4192956
[pid=860] ppid=858 vsize=8700 CPUtime=0
/proc/860/stat : 860 (run) S 858 860 415 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146518699 8908800 248 1992294400 4194304 4922060 140734408597136 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/860/statm: 2175 248 208 178 0 68 0
[pid=861] ppid=860 vsize=61864 CPUtime=868.62
/proc/861/stat : 861 (pb_cplex) R 860 860 415 0 -1 4202496 214411 0 0 0 86700 162 0 0 21 0 2 0 146518699 63348736 9777 1992294400 134512640 146736320 4291146080 18446744073709551615 136403112 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/861/statm: 15466 9777 1081 2985 0 12008 0
[pid=861/tid=876] ppid=860 vsize=61864 CPUtime=326.54
/proc/861/task/876/stat : 876 (pb_cplex) R 860 860 415 0 -1 4202560 126851 0 0 0 32571 83 0 0 20 0 2 0 146534264 63348736 9777 1992294400 134512640 146736320 4291146080 18446744073709551615 135999768 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 868.62
Current children cumulated vsize (KiB) 70564

[startup+582.3 s]
/proc/loadavg: 1.91 1.77 1.75 3/108 888
/proc/meminfo: memFree=1425752/2059040 swapFree=4139708/4192956
[pid=860] ppid=858 vsize=8700 CPUtime=0
/proc/860/stat : 860 (run) S 858 860 415 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146518699 8908800 248 1992294400 4194304 4922060 140734408597136 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/860/statm: 2175 248 208 178 0 68 0
[pid=861] ppid=860 vsize=64040 CPUtime=969.97
/proc/861/stat : 861 (pb_cplex) S 860 860 415 0 -1 4202496 256167 0 0 0 96806 191 0 0 25 0 2 0 146518699 65576960 10312 1992294400 134512640 146736320 4291146080 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/861/statm: 16010 10312 1081 2985 0 12552 0
[pid=861/tid=876] ppid=860 vsize=64040 CPUtime=378.75
/proc/861/task/876/stat : 876 (pb_cplex) R 860 860 415 0 -1 4202560 158269 0 0 0 37772 103 0 0 25 0 2 0 146534264 65576960 10312 1992294400 134512640 146736320 4291146080 18446744073709551615 136403116 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 969.97
Current children cumulated vsize (KiB) 72740

[startup+642.301 s]
/proc/loadavg: 1.90 1.80 1.76 3/108 888
/proc/meminfo: memFree=1425380/2059040 swapFree=4139708/4192956
[pid=860] ppid=858 vsize=8700 CPUtime=0
/proc/860/stat : 860 (run) S 858 860 415 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146518699 8908800 248 1992294400 4194304 4922060 140734408597136 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/860/statm: 2175 248 208 178 0 68 0
[pid=861] ppid=860 vsize=61860 CPUtime=1080.26
/proc/861/stat : 861 (pb_cplex) R 860 860 415 0 -1 4202496 306223 0 0 0 107800 226 0 0 25 0 2 0 146518699 63344640 9746 1992294400 134512640 146736320 4291146080 18446744073709551615 136008053 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/861/statm: 15465 9746 1081 2985 0 12007 0
[pid=861/tid=876] ppid=860 vsize=61860 CPUtime=436.61
/proc/861/task/876/stat : 876 (pb_cplex) R 860 860 415 0 -1 4202560 189459 0 0 0 43539 122 0 0 25 0 2 0 146534264 63344640 9746 1992294400 134512640 146736320 4291146080 18446744073709551615 136008416 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1080.26
Current children cumulated vsize (KiB) 70560

[startup+702.3 s]
/proc/loadavg: 1.86 1.82 1.76 3/108 890
/proc/meminfo: memFree=1423768/2059040 swapFree=4139708/4192956
[pid=860] ppid=858 vsize=8700 CPUtime=0
/proc/860/stat : 860 (run) S 858 860 415 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146518699 8908800 248 1992294400 4194304 4922060 140734408597136 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/860/statm: 2175 248 208 178 0 68 0
[pid=861] ppid=860 vsize=64928 CPUtime=1180.52
/proc/861/stat : 861 (pb_cplex) R 860 860 415 0 -1 4202496 339765 0 0 0 117800 252 0 0 19 0 2 0 146518699 66486272 10503 1992294400 134512640 146736320 4291146080 18446744073709551615 136403129 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/861/statm: 16232 10503 1081 2985 0 12774 0
[pid=861/tid=876] ppid=860 vsize=64928 CPUtime=491.59
/proc/861/task/876/stat : 876 (pb_cplex) R 860 860 415 0 -1 4202560 211904 0 0 0 49022 137 0 0 25 0 2 0 146534264 66486272 10503 1992294400 134512640 146736320 4291146080 18446744073709551615 136008177 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1180.52
Current children cumulated vsize (KiB) 73628

[startup+762.309 s]
/proc/loadavg: 1.86 1.82 1.76 2/108 892
/proc/meminfo: memFree=1423892/2059040 swapFree=4139708/4192956
[pid=860] ppid=858 vsize=8700 CPUtime=0
/proc/860/stat : 860 (run) S 858 860 415 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146518699 8908800 248 1992294400 4194304 4922060 140734408597136 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/860/statm: 2175 248 208 178 0 68 0
[pid=861] ppid=860 vsize=63292 CPUtime=1290.68
/proc/861/stat : 861 (pb_cplex) R 860 860 415 0 -1 4202496 387049 0 0 0 128782 286 0 0 25 0 2 0 146518699 64811008 10090 1992294400 134512640 146736320 4291146080 18446744073709551615 139046463 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/861/statm: 15823 10090 1081 2985 0 12365 0
[pid=861/tid=876] ppid=860 vsize=63292 CPUtime=549.11
/proc/861/task/876/stat : 876 (pb_cplex) S 860 860 415 0 -1 4202560 246600 0 0 0 54752 159 0 0 25 0 2 0 146534264 64811008 10090 1992294400 134512640 146736320 4291146080 18446744073709551615 144580073 0 2 4096 16387 18446604437856629696 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1290.68
Current children cumulated vsize (KiB) 71992

[startup+822.3 s]
/proc/loadavg: 1.95 1.85 1.78 3/108 894
/proc/meminfo: memFree=1424512/2059040 swapFree=4139708/4192956
[pid=860] ppid=858 vsize=8700 CPUtime=0
/proc/860/stat : 860 (run) S 858 860 415 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146518699 8908800 248 1992294400 4194304 4922060 140734408597136 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/860/statm: 2175 248 208 178 0 68 0
[pid=861] ppid=860 vsize=62524 CPUtime=1394.75
/proc/861/stat : 861 (pb_cplex) S 860 860 415 0 -1 4202496 438724 0 0 0 139154 321 0 0 20 0 2 0 146518699 64024576 9951 1992294400 134512640 146736320 4291146080 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/861/statm: 15631 9951 1081 2985 0 12173 0
[pid=861/tid=876] ppid=860 vsize=62524 CPUtime=601.74
/proc/861/task/876/stat : 876 (pb_cplex) R 860 860 415 0 -1 4202560 276394 0 0 0 59997 177 0 0 20 0 2 0 146534264 64024576 9951 1992294400 134512640 146736320 4291146080 18446744073709551615 136008065 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1394.75
Current children cumulated vsize (KiB) 71224

[startup+882.301 s]
/proc/loadavg: 2.06 1.89 1.79 2/108 896
/proc/meminfo: memFree=1422900/2059040 swapFree=4139708/4192956
[pid=860] ppid=858 vsize=8700 CPUtime=0
/proc/860/stat : 860 (run) S 858 860 415 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146518699 8908800 248 1992294400 4194304 4922060 140734408597136 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/860/statm: 2175 248 208 178 0 68 0
[pid=861] ppid=860 vsize=64836 CPUtime=1495.38
/proc/861/stat : 861 (pb_cplex) S 860 860 415 0 -1 4202496 453939 0 0 0 149199 339 0 0 22 0 2 0 146518699 66392064 10505 1992294400 134512640 146736320 4291146080 18446744073709551615 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/861/statm: 16209 10505 1081 2985 0 12751 0
[pid=861/tid=876] ppid=860 vsize=64836 CPUtime=650.51
/proc/861/task/876/stat : 876 (pb_cplex) R 860 860 415 0 -1 4202560 287558 0 0 0 64864 187 0 0 23 0 2 0 146534264 66392064 10505 1992294400 134512640 146736320 4291146080 18446744073709551615 136019042 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1495.38
Current children cumulated vsize (KiB) 73536

[startup+942.3 s]
/proc/loadavg: 1.94 1.89 1.80 3/108 896
/proc/meminfo: memFree=1423024/2059040 swapFree=4139708/4192956
[pid=860] ppid=858 vsize=8700 CPUtime=0
/proc/860/stat : 860 (run) S 858 860 415 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146518699 8908800 248 1992294400 4194304 4922060 140734408597136 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/860/statm: 2175 248 208 178 0 68 0
[pid=861] ppid=860 vsize=63984 CPUtime=1601.65
/proc/861/stat : 861 (pb_cplex) R 860 860 415 0 -1 4202496 482327 0 0 0 159803 362 0 0 20 0 2 0 146518699 65519616 10322 1992294400 134512640 146736320 4291146080 18446744073709551615 136403116 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/861/statm: 15996 10322 1081 2985 0 12538 0
[pid=861/tid=876] ppid=860 vsize=63984 CPUtime=704.36
/proc/861/task/876/stat : 876 (pb_cplex) R 860 860 415 0 -1 4202560 308010 0 0 0 70236 200 0 0 25 0 2 0 146534264 65519616 10322 1992294400 134512640 146736320 4291146080 18446744073709551615 136475864 0 2 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1601.65
Current children cumulated vsize (KiB) 72684

[startup+1002.3 s]
/proc/loadavg: 1.88 1.88 1.80 3/108 898
/proc/meminfo: memFree=1421908/2059040 swapFree=4139708/4192956
[pid=860] ppid=858 vsize=8700 CPUtime=0
/proc/860/stat : 860 (run) S 858 860 415 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146518699 8908800 248 1992294400 4194304 4922060 140734408597136 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/860/statm: 2175 248 208 178 0 68 0
[pid=861] ppid=860 vsize=64720 CPUtime=1708.27
/proc/861/stat : 861 (pb_cplex) R 860 860 415 0 -1 4202496 525960 0 0 0 170433 394 0 0 25 0 2 0 146518699 66273280 10566 1992294400 134512640 146736320 4291146080 18446744073709551615 135526127 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/861/statm: 16180 10566 1085 2985 0 12722 0
[pid=861/tid=876] ppid=860 vsize=64720 CPUtime=753.75
/proc/861/task/876/stat : 876 (pb_cplex) R 860 860 415 0 -1 4202560 330410 0 0 0 75158 217 0 0 20 0 2 0 146534264 66273280 10566 1992294400 134512640 146736320 4291146080 18446744073709551615 136001890 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1708.27
Current children cumulated vsize (KiB) 73420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1059.6 s]
/proc/loadavg: 1.66 1.82 1.78 3/108 900
/proc/meminfo: memFree=1421040/2059040 swapFree=4139708/4192956
[pid=860] ppid=858 vsize=8700 CPUtime=0
/proc/860/stat : 860 (run) S 858 860 415 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 146518699 8908800 248 1992294400 4194304 4922060 140734408597136 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/860/statm: 2175 248 208 178 0 68 0
[pid=861] ppid=860 vsize=65772 CPUtime=1800.04
/proc/861/stat : 861 (pb_cplex) R 860 860 415 0 -1 4202496 555289 0 0 0 179588 416 0 0 25 0 2 0 146518699 67350528 10800 1992294400 134512640 146736320 4291146080 18446744073709551615 135526124 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/861/statm: 16443 10800 1081 2985 0 12985 0
[pid=861/tid=876] ppid=860 vsize=65772 CPUtime=806.52
/proc/861/task/876/stat : 876 (pb_cplex) R 860 860 415 0 -1 4202560 343208 0 0 0 80424 228 0 0 18 0 2 0 146534264 67350528 10800 1992294400 134512640 146736320 4291146080 18446744073709551615 136403112 0 2 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 74472

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1059.62
CPU time (s): 1800.07
CPU user time (s): 1795.9
CPU system time (s): 4.17137
CPU usage (%): 169.879
Max. virtual memory (cumulated for all children) (KiB): 78576

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

runsolver used 2.07668 second user time and 5.64514 second system time

The end

Launcher Data 

Begin job on node054 at 2010-07-02 08:31:13
IDJOB=2697240
IDBENCH=48274
IDSOLVER=1209
FILE ID=node054/2697240-1278052273
PBS_JOBID= 11198840
Free space on /tmp= 62300 MiB

SOLVER NAME= pb_cplex 2010-06-29
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_10_4.opb
COMMAND LINE= run BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2697240-1278052273/watcher-2697240-1278052273 -o /tmp/evaluation-result-2697240-1278052273/solver-2697240-1278052273 -C 1800 -W 2000 -M 1800  run HOME/instance-2697240-1278052273.opb

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

MD5SUM BENCH= edb32574ecafd14c2d1410b208d85a45
RANDOM SEED=370754883

node054.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.217
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.43
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.217
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.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1462760 kB
Buffers:        136008 kB
Cached:         358020 kB
SwapCached:       6652 kB
Active:         231592 kB
Inactive:       276104 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1462760 kB
SwapTotal:     4192956 kB
SwapFree:      4139708 kB
Dirty:           16660 kB
Writeback:           0 kB
AnonPages:       11988 kB
Mapped:          12064 kB
Slab:            66688 kB
PageTables:       4036 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180600 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2697240-1278052273.opb

Free space on /tmp at the end= 62284 MiB
End job on node054 at 2010-07-02 08:48:55