Trace number 3704056

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
pwbo 2.0? (TO) 1800.45 900.442

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_unif_10null10mast_rapportOE1.0_TMAX60_K67_cod2.opb
MD5SUMaa70ac3194742d51f6e4056a79ed9e8c
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-23167
Best CPU time to get the best result obtained on this benchmark1796.9
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables40937
Total number of constraints41436
Number of constraints which are clauses40882
Number of constraints which are cardinality constraints (but not clauses)67
Number of constraints which are nor clauses,nor cardinality constraints487
Minimum length of a constraint1
Maximum length of a constraint8416
Number of terms in the objective function 438
Biggest coefficient in the objective function 1000
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 243591
Number of bits of the sum of numbers in the objective function 18
Biggest number in a constraint 1000
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 243591
Number of bits of the biggest sum of numbers18
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 ==============================[ Solver Version ]===============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  pwbo:                    2.0 beta - March, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing opb file format. File HOME/instance-3704056-1338098309.opb.
0.00/0.00	c Instance file HOME/instance-3704056-1338098309.opb
0.00/0.00	c File size is 2494466 bytes.
0.18/0.22	c Cost Offset: -243591
0.18/0.22	c Highest Coefficient sum: 12773
0.18/0.22	c ============================[ Problem Statistics ]=============================
0.18/0.22	c |                                                                             |
0.18/0.22	c |  Parsing time:          0.23         s                                      |
0.18/0.22	c |  Number Variables:      40937                                               |
0.18/0.22	c |  Number Clauses:        40882                                               |
0.18/0.22	c |  Number Cardinality:    553                                                 |
0.18/0.22	c |  Number PB Constraints: 1                                                   |
0.18/0.22	c |                                                                             |
0.18/0.26	c |  Problem Type:          Optimization                                        |
0.18/0.26	c |  Objective Function:    PB Constraint                                       |
0.18/0.26	c |                                                                             |
0.18/0.26	c ===============================================================================
1800.10/900.41	c ===============================================================================
1800.10/900.41	c Wall Clock Time: 900.41 s
1800.10/900.41	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3704056-1338098309/watcher-3704056-1338098309 -o /tmp/evaluation-result-3704056-1338098309/solver-3704056-1338098309 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3704056-1338098309.opb 

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.81 3.97 3.95 4/178 9950
/proc/meminfo: memFree=28475220/32873648 swapFree=7372/7372
[pid=9950] ppid=9948 vsize=7916 CPUtime=0 cores=1,3,5,7
/proc/9950/stat : 9950 (pwbo2.0) R 9948 9950 7065 0 -1 4202496 659 0 0 0 0 0 0 0 20 0 1 0 275956906 8105984 612 33554432000 4194304 5965102 140736565562064 140735869637512 5180271 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/9950/statm: 1979 612 172 433 0 933 0

[startup+0.0120101 s]
/proc/loadavg: 3.81 3.97 3.95 4/178 9950
/proc/meminfo: memFree=28475220/32873648 swapFree=7372/7372
[pid=9950] ppid=9948 vsize=8344 CPUtime=0 cores=1,3,5,7
/proc/9950/stat : 9950 (pwbo2.0) R 9948 9950 7065 0 -1 4202496 821 0 0 0 0 0 0 0 20 0 1 0 275956906 8544256 774 33554432000 4194304 5965102 140736565562064 140735869637512 5137146 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/9950/statm: 2086 776 190 433 0 1040 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8344

[startup+0.100209 s]
/proc/loadavg: 3.81 3.97 3.95 4/178 9950
/proc/meminfo: memFree=28475220/32873648 swapFree=7372/7372
[pid=9950] ppid=9948 vsize=22548 CPUtime=0.09 cores=1,3,5,7
/proc/9950/stat : 9950 (pwbo2.0) R 9948 9950 7065 0 -1 4202496 4342 0 0 0 9 0 0 0 20 0 1 0 275956906 23089152 4262 33554432000 4194304 5965102 140736565562064 140735869637512 4355432 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/9950/statm: 5637 4262 439 433 0 4591 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22548

[startup+0.300166 s]
/proc/loadavg: 3.81 3.97 3.95 4/178 9950
/proc/meminfo: memFree=28475220/32873648 swapFree=7372/7372
[pid=9950] ppid=9948 vsize=206656 CPUtime=0.35 cores=1,3,5,7
/proc/9950/stat : 9950 (pwbo2.0) S 9948 9950 7065 0 -1 4202496 17139 0 0 0 32 3 0 0 20 0 3 0 275956906 211615744 16148 33554432000 4194304 5965102 140736565562064 140736565561584 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9950/statm: 51664 16148 192 433 0 51228 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 206656

[startup+0.700182 s]
/proc/loadavg: 3.81 3.97 3.95 4/178 9950
/proc/meminfo: memFree=28475220/32873648 swapFree=7372/7372
[pid=9950] ppid=9948 vsize=197932 CPUtime=1.15 cores=1,3,5,7
/proc/9950/stat : 9950 (pwbo2.0) S 9948 9950 7065 0 -1 4202496 24868 0 0 0 110 5 0 0 20 0 3 0 275956906 202682368 20652 33554432000 4194304 5965102 140736565562064 140736565561584 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9950/statm: 49483 20652 200 433 0 49047 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 197932

[startup+1.50033 s]
/proc/loadavg: 3.81 3.97 3.95 5/181 9953
/proc/meminfo: memFree=28384924/32873648 swapFree=7372/7372
[pid=9950] ppid=9948 vsize=197932 CPUtime=2.75 cores=1,3,5,7
/proc/9950/stat : 9950 (pwbo2.0) S 9948 9950 7065 0 -1 4202496 31439 0 0 0 269 6 0 0 20 0 3 0 275956906 202682368 22675 33554432000 4194304 5965102 140736565562064 140736565561584 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9950/statm: 49483 22675 200 433 0 49047 0
[pid=9950/tid=9952] ppid=9948 vsize=197932 CPUtime=1.25 cores=1,3,5,7
/proc/9950/task/9952/stat : 9952 (pwbo2.0) R 9948 9950 7065 0 -1 4202560 19524 0 0 0 121 4 0 0 20 0 3 0 275956929 202682368 22675 33554432000 4194304 5965102 140736565562064 139771190733336 5180338 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=9950/tid=9953] ppid=9948 vsize=197932 CPUtime=1.25 cores=1,3,5,7
/proc/9950/task/9953/stat : 9953 (pwbo2.0) R 9948 9950 7065 0 -1 4202560 3049 0 0 0 125 0 0 0 20 0 3 0 275956929 202682368 22675 33554432000 4194304 5965102 140736565562064 139771180243304 4400955 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 197932

[startup+3.10033 s]
/proc/loadavg: 3.81 3.97 3.95 5/181 9953
/proc/meminfo: memFree=28377112/32873648 swapFree=7372/7372
[pid=9950] ppid=9948 vsize=197932 CPUtime=5.94 cores=1,3,5,7
/proc/9950/stat : 9950 (pwbo2.0) S 9948 9950 7065 0 -1 4202496 41595 0 0 0 586 8 0 0 20 0 3 0 275956906 202682368 25761 33554432000 4194304 5965102 140736565562064 140736565561584 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9950/statm: 49483 25761 200 433 0 49047 0
[pid=9950/tid=9952] ppid=9948 vsize=197932 CPUtime=2.85 cores=1,3,5,7
/proc/9950/task/9952/stat : 9952 (pwbo2.0) R 9948 9950 7065 0 -1 4202560 29522 0 0 0 278 7 0 0 20 0 3 0 275956929 202682368 25761 33554432000 4194304 5965102 140736565562064 139771190733336 4447856 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=9950/tid=9953] ppid=9948 vsize=197932 CPUtime=2.85 cores=1,3,5,7
/proc/9950/task/9953/stat : 9953 (pwbo2.0) R 9948 9950 7065 0 -1 4202560 3207 0 0 0 285 0 0 0 20 0 3 0 275956929 202682368 25761 33554432000 4194304 5965102 140736565562064 139771180242776 4390140 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 5.94
Current children cumulated vsize (KiB) 197932

[startup+6.30036 s]
/proc/loadavg: 3.83 3.97 3.95 5/181 9953
/proc/meminfo: memFree=28340628/32873648 swapFree=7372/7372
[pid=9950] ppid=9948 vsize=263468 CPUtime=12.34 cores=1,3,5,7
/proc/9950/stat : 9950 (pwbo2.0) S 9948 9950 7065 0 -1 4202496 61230 0 0 0 1222 12 0 0 20 0 3 0 275956906 269791232 33608 33554432000 4194304 5965102 140736565562064 140736565561584 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9950/statm: 65867 33608 200 433 0 65431 0
[pid=9950/tid=9952] ppid=9948 vsize=263468 CPUtime=6.05 cores=1,3,5,7
/proc/9950/task/9952/stat : 9952 (pwbo2.0) R 9948 9950 7065 0 -1 4202560 48885 0 0 0 595 10 0 0 20 0 3 0 275956929 269791232 33608 33554432000 4194304 5965102 140736565562064 139771190733336 5131498 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=9950/tid=9953] ppid=9948 vsize=263468 CPUtime=6.05 cores=1,3,5,7
/proc/9950/task/9953/stat : 9953 (pwbo2.0) R 9948 9950 7065 0 -1 4202560 3479 0 0 0 603 2 0 0 20 0 3 0 275956929 269791232 33608 33554432000 4194304 5965102 140736565562064 139771180242776 4383036 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 263468

[startup+12.7003 s]
/proc/loadavg: 3.84 3.97 3.95 5/181 9953
/proc/meminfo: memFree=28291588/32873648 swapFree=7372/7372
[pid=9950] ppid=9948 vsize=329004 CPUtime=25.14 cores=1,3,5,7
/proc/9950/stat : 9950 (pwbo2.0) S 9948 9950 7065 0 -1 4202496 115637 0 0 0 2493 21 0 0 20 0 3 0 275956906 336900096 44725 33554432000 4194304 5965102 140736565562064 140736565561584 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9950/statm: 82251 44725 200 433 0 81815 0
[pid=9950/tid=9952] ppid=9948 vsize=329004 CPUtime=12.45 cores=1,3,5,7
/proc/9950/task/9952/stat : 9952 (pwbo2.0) R 9948 9950 7065 0 -1 4202560 102730 0 0 0 1226 19 0 0 20 0 3 0 275956929 336900096 44725 33554432000 4194304 5965102 140736565562064 139771190733336 4445838 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=9950/tid=9953] ppid=9948 vsize=329004 CPUtime=12.45 cores=1,3,5,7
/proc/9950/task/9953/stat : 9953 (pwbo2.0) R 9948 9950 7065 0 -1 4202560 4041 0 0 0 1242 3 0 0 20 0 3 0 275956929 336900096 44725 33554432000 4194304 5965102 140736565562064 139771180243256 5137076 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 329004

[startup+25.5003 s]
/proc/loadavg: 3.87 3.97 3.95 5/181 9953
/proc/meminfo: memFree=28192320/32873648 swapFree=7372/7372
[pid=9950] ppid=9948 vsize=394540 CPUtime=50.74 cores=1,3,5,7
/proc/9950/stat : 9950 (pwbo2.0) S 9948 9950 7065 0 -1 4202496 209750 0 0 0 5033 41 0 0 20 0 3 0 275956906 404008960 66698 33554432000 4194304 5965102 140736565562064 140736565561584 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9950/statm: 98635 66698 200 433 0 98199 0
[pid=9950/tid=9952] ppid=9948 vsize=394540 CPUtime=25.25 cores=1,3,5,7
/proc/9950/task/9952/stat : 9952 (pwbo2.0) R 9948 9950 7065 0 -1 4202560 195673 0 0 0 2488 37 0 0 20 0 3 0 275956929 404008960 66698 33554432000 4194304 5965102 140736565562064 139771190733336 5139774 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=9950/tid=9953] ppid=9948 vsize=394540 CPUtime=25.25 cores=1,3,5,7
/proc/9950/task/9953/stat : 9953 (pwbo2.0) R 9948 9950 7065 0 -1 4202560 5211 0 0 0 2521 4 0 0 20 0 3 0 275956929 404008960 66698 33554432000 4194304 5965102 140736565562064 139771180243256 4390210 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 394540

[startup+51.1004 s]
/proc/loadavg: 3.92 3.97 3.95 5/181 9953
/proc/meminfo: memFree=28086832/32873648 swapFree=7372/7372
[pid=9950] ppid=9948 vsize=460076 CPUtime=101.92 cores=1,3,5,7
/proc/9950/stat : 9950 (pwbo2.0) S 9948 9950 7065 0 -1 4202496 262092 0 0 0 10138 54 0 0 20 0 3 0 275956906 471117824 89018 33554432000 4194304 5965102 140736565562064 140736565561584 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9950/statm: 115019 89018 200 433 0 114583 0
[pid=9950/tid=9952] ppid=9948 vsize=460076 CPUtime=50.84 cores=1,3,5,7
/proc/9950/task/9952/stat : 9952 (pwbo2.0) R 9948 9950 7065 0 -1 4202560 245991 0 0 0 5037 47 0 0 20 0 3 0 275956929 471117824 89018 33554432000 4194304 5965102 140736565562064 139771190733336 5143165 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=9950/tid=9953] ppid=9948 vsize=460076 CPUtime=50.85 cores=1,3,5,7
/proc/9950/task/9953/stat : 9953 (pwbo2.0) R 9948 9950 7065 0 -1 4202560 7235 0 0 0 5078 7 0 0 20 0 3 0 275956929 471117824 89018 33554432000 4194304 5965102 140736565562064 139771180243304 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 101.92
Current children cumulated vsize (KiB) 460076

[startup+102.3 s]
/proc/loadavg: 3.96 3.97 3.95 5/182 9956
/proc/meminfo: memFree=27859544/32873648 swapFree=7372/7372
[pid=9950] ppid=9948 vsize=656580 CPUtime=204.32 cores=1,3,5,7
/proc/9950/stat : 9950 (pwbo2.0) S 9948 9950 7065 0 -1 4202496 375600 0 0 0 20350 82 0 0 20 0 3 0 275956906 672337920 130747 33554432000 4194304 5965102 140736565562064 140736565561584 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9950/statm: 164145 130747 200 433 0 163709 0
[pid=9950/tid=9952] ppid=9948 vsize=656580 CPUtime=102.04 cores=1,3,5,7
/proc/9950/task/9952/stat : 9952 (pwbo2.0) R 9948 9950 7065 0 -1 4202560 357557 0 0 0 10131 73 0 0 20 0 3 0 275956929 672337920 130747 33554432000 4194304 5965102 140736565562064 139771190733640 5139774 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=9950/tid=9953] ppid=9948 vsize=656580 CPUtime=102.05 cores=1,3,5,7
/proc/9950/task/9953/stat : 9953 (pwbo2.0) R 9948 9950 7065 0 -1 4202560 9177 0 0 0 10194 11 0 0 20 0 3 0 275956929 672337920 130747 33554432000 4194304 5965102 140736565562064 139771180243256 4222464 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 204.32
Current children cumulated vsize (KiB) 656580

[startup+162.3 s]
/proc/loadavg: 3.98 3.97 3.95 5/182 9979
/proc/meminfo: memFree=27618824/32873648 swapFree=7372/7372
[pid=9950] ppid=9948 vsize=853188 CPUtime=324.27 cores=1,3,5,7
/proc/9950/stat : 9950 (pwbo2.0) S 9948 9950 7065 0 -1 4202496 492641 0 0 0 32315 112 0 0 20 0 3 0 275956906 873664512 180396 33554432000 4194304 5965102 140736565562064 140736565561584 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9950/statm: 213297 180396 200 433 0 212861 0
[pid=9950/tid=9952] ppid=9948 vsize=853188 CPUtime=162.03 cores=1,3,5,7
/proc/9950/task/9952/stat : 9952 (pwbo2.0) R 9948 9950 7065 0 -1 4202560 472833 0 0 0 16100 103 0 0 20 0 3 0 275956929 873664512 180396 33554432000 4194304 5965102 140736565562064 139771190733336 5131557 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=9950/tid=9953] ppid=9948 vsize=853188 CPUtime=162.05 cores=1,3,5,7
/proc/9950/task/9953/stat : 9953 (pwbo2.0) R 9948 9950 7065 0 -1 4202560 10942 0 0 0 16192 13 0 0 20 0 3 0 275956929 873664512 180396 33554432000 4194304 5965102 140736565562064 139771180243256 4400894 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 324.27
Current children cumulated vsize (KiB) 853188

[startup+222.307 s]
/proc/loadavg: 4.05 3.99 3.95 5/181 9980
/proc/meminfo: memFree=27223144/32873648 swapFree=7372/7372
[pid=9950] ppid=9948 vsize=1060732 CPUtime=444.27 cores=1,3,5,7
/proc/9950/stat : 9950 (pwbo2.0) S 9948 9950 7065 0 -1 4202496 568125 0 0 0 44292 135 0 0 20 0 3 0 275956906 1086189568 225958 33554432000 4194304 5965102 140736565562064 140736565561584 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9950/statm: 265183 225958 200 433 0 264747 0
[pid=9950/tid=9952] ppid=9948 vsize=1060732 CPUtime=222.03 cores=1,3,5,7
/proc/9950/task/9952/stat : 9952 (pwbo2.0) R 9948 9950 7065 0 -1 4202560 545619 0 0 0 22080 123 0 0 20 0 3 0 275956929 1086189568 225958 33554432000 4194304 5965102 140736565562064 139771190733336 4400955 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=9950/tid=9953] ppid=9948 vsize=1060732 CPUtime=222.06 cores=1,3,5,7
/proc/9950/task/9953/stat : 9953 (pwbo2.0) R 9948 9950 7065 0 -1 4202560 13640 0 0 0 22188 18 0 0 20 0 3 0 275956929 1086189568 225958 33554432000 4194304 5965102 140736565562064 139771180243064 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 444.27
Current children cumulated vsize (KiB) 1060732

[startup+282.3 s]
/proc/loadavg: 4.02 3.99 3.95 5/181 9980
/proc/meminfo: memFree=26941000/32873648 swapFree=7372/7372
[pid=9950] ppid=9948 vsize=1191804 CPUtime=564.22 cores=1,3,5,7
/proc/9950/stat : 9950 (pwbo2.0) S 9948 9950 7065 0 -1 4202496 609450 0 0 0 56274 148 0 0 20 0 3 0 275956906 1220407296 259704 33554432000 4194304 5965102 140736565562064 140736565561584 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9950/statm: 297951 259704 200 433 0 297515 0
[pid=9950/tid=9952] ppid=9948 vsize=1191804 CPUtime=282.02 cores=1,3,5,7
/proc/9950/task/9952/stat : 9952 (pwbo2.0) R 9948 9950 7065 0 -1 4202560 586944 0 0 0 28065 137 0 0 20 0 3 0 275956929 1220407296 259704 33554432000 4194304 5965102 140736565562064 139771190733640 5143165 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=9950/tid=9953] ppid=9948 vsize=1191804 CPUtime=282.05 cores=1,3,5,7
/proc/9950/task/9953/stat : 9953 (pwbo2.0) R 9948 9950 7065 0 -1 4202560 13640 0 0 0 28186 19 0 0 20 0 3 0 275956929 1220407296 259704 33554432000 4194304 5965102 140736565562064 139771180243064 4390169 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 564.22
Current children cumulated vsize (KiB) 1191804

[startup+342.3 s]
/proc/loadavg: 4.00 3.99 3.95 5/181 9980
/proc/meminfo: memFree=26701596/32873648 swapFree=7372/7372
[pid=9950] ppid=9948 vsize=1257340 CPUtime=684.2 cores=1,3,5,7
/proc/9950/stat : 9950 (pwbo2.0) S 9948 9950 7065 0 -1 4202496 687657 0 0 0 68249 171 0 0 20 0 3 0 275956906 1287516160 280681 33554432000 4194304 5965102 140736565562064 140736565561584 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9950/statm: 314335 280681 200 433 0 313899 0
[pid=9950/tid=9952] ppid=9948 vsize=1257340 CPUtime=342.01 cores=1,3,5,7
/proc/9950/task/9952/stat : 9952 (pwbo2.0) R 9948 9950 7065 0 -1 4202560 664731 0 0 0 34041 160 0 0 20 0 3 0 275956929 1287516160 280681 33554432000 4194304 5965102 140736565562064 139771190733640 4393995 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=9950/tid=9953] ppid=9948 vsize=1257340 CPUtime=342.05 cores=1,3,5,7
/proc/9950/task/9953/stat : 9953 (pwbo2.0) R 9948 9950 7065 0 -1 4202560 14060 0 0 0 34184 21 0 0 20 0 3 0 275956929 1287516160 280681 33554432000 4194304 5965102 140736565562064 139771180243256 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 684.2
Current children cumulated vsize (KiB) 1257340

[startup+402.3 s]
/proc/loadavg: 4.00 3.99 3.95 5/181 9980
/proc/meminfo: memFree=26405436/32873648 swapFree=7372/7372
[pid=9950] ppid=9948 vsize=1541376 CPUtime=804.16 cores=1,3,5,7
/proc/9950/stat : 9950 (pwbo2.0) S 9948 9950 7065 0 -1 4202496 752759 0 0 0 80224 192 0 0 20 0 3 0 275956906 1578369024 341118 33554432000 4194304 5965102 140736565562064 140736565561584 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9950/statm: 385344 341118 200 433 0 384908 0
[pid=9950/tid=9952] ppid=9948 vsize=1541376 CPUtime=402 cores=1,3,5,7
/proc/9950/task/9952/stat : 9952 (pwbo2.0) R 9948 9950 7065 0 -1 4202560 729832 0 0 0 40018 182 0 0 20 0 3 0 275956929 1578369024 341118 33554432000 4194304 5965102 140736565562064 139771190733336 5135360 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=9950/tid=9953] ppid=9948 vsize=1541376 CPUtime=402.05 cores=1,3,5,7
/proc/9950/task/9953/stat : 9953 (pwbo2.0) R 9948 9950 7065 0 -1 4202560 14061 0 0 0 40183 22 0 0 20 0 3 0 275956929 1578369024 341118 33554432000 4194304 5965102 140736565562064 139771180243280 4383014 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 804.16
Current children cumulated vsize (KiB) 1541376

[startup+462.3 s]
/proc/loadavg: 4.00 3.99 3.95 5/180 9980
/proc/meminfo: memFree=26264616/32873648 swapFree=7372/7372
[pid=9950] ppid=9948 vsize=1606912 CPUtime=924.12 cores=1,3,5,7
/proc/9950/stat : 9950 (pwbo2.0) S 9948 9950 7065 0 -1 4202496 786998 0 0 0 92208 204 0 0 20 0 3 0 275956906 1645477888 361110 33554432000 4194304 5965102 140736565562064 140736565561584 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9950/statm: 401728 361110 200 433 0 401292 0
[pid=9950/tid=9952] ppid=9948 vsize=1606912 CPUtime=461.98 cores=1,3,5,7
/proc/9950/task/9952/stat : 9952 (pwbo2.0) R 9948 9950 7065 0 -1 4202560 764071 0 0 0 46004 194 0 0 20 0 3 0 275956929 1645477888 361110 33554432000 4194304 5965102 140736565562064 139771190733336 5134981 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=9950/tid=9953] ppid=9948 vsize=1606912 CPUtime=462.05 cores=1,3,5,7
/proc/9950/task/9953/stat : 9953 (pwbo2.0) R 9948 9950 7065 0 -1 4202560 14061 0 0 0 46182 23 0 0 20 0 3 0 275956929 1645477888 361110 33554432000 4194304 5965102 140736565562064 139771180243280 4222464 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 924.12
Current children cumulated vsize (KiB) 1606912

[startup+522.3 s]
/proc/loadavg: 4.00 3.99 3.95 5/181 9982
/proc/meminfo: memFree=26027208/32873648 swapFree=7372/7372
[pid=9950] ppid=9948 vsize=1737984 CPUtime=1044.09 cores=1,3,5,7
/proc/9950/stat : 9950 (pwbo2.0) S 9948 9950 7065 0 -1 4202496 819207 0 0 0 104190 219 0 0 20 0 3 0 275956906 1779695616 391318 33554432000 4194304 5965102 140736565562064 140736565561584 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9950/statm: 434496 391318 200 433 0 434060 0
[pid=9950/tid=9952] ppid=9948 vsize=1737984 CPUtime=521.97 cores=1,3,5,7
/proc/9950/task/9952/stat : 9952 (pwbo2.0) R 9948 9950 7065 0 -1 4202560 793639 0 0 0 51991 206 0 0 20 0 3 0 275956929 1779695616 391318 33554432000 4194304 5965102 140736565562064 139771190733336 4390200 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=9950/tid=9953] ppid=9948 vsize=1737984 CPUtime=522.05 cores=1,3,5,7
/proc/9950/task/9953/stat : 9953 (pwbo2.0) R 9948 9950 7065 0 -1 4202560 16702 0 0 0 52178 27 0 0 20 0 3 0 275956929 1779695616 391318 33554432000 4194304 5965102 140736565562064 139771180243304 4383000 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1044.09
Current children cumulated vsize (KiB) 1737984

[startup+582.3 s]
/proc/loadavg: 4.03 4.00 3.96 5/181 9982
/proc/meminfo: memFree=25742856/32873648 swapFree=7372/7372
[pid=9950] ppid=9948 vsize=1869056 CPUtime=1164.06 cores=1,3,5,7
/proc/9950/stat : 9950 (pwbo2.0) S 9948 9950 7065 0 -1 4202496 834413 0 0 0 116177 229 0 0 20 0 3 0 275956906 1913913344 414779 33554432000 4194304 5965102 140736565562064 140736565561584 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9950/statm: 467264 414779 200 433 0 466828 0
[pid=9950/tid=9952] ppid=9948 vsize=1869056 CPUtime=581.96 cores=1,3,5,7
/proc/9950/task/9952/stat : 9952 (pwbo2.0) R 9948 9950 7065 0 -1 4202560 807529 0 0 0 57980 216 0 0 20 0 3 0 275956929 1913913344 414779 33554432000 4194304 5965102 140736565562064 139771190733144 5136313 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=9950/tid=9953] ppid=9948 vsize=1869056 CPUtime=582.06 cores=1,3,5,7
/proc/9950/task/9953/stat : 9953 (pwbo2.0) R 9948 9950 7065 0 -1 4202560 18018 0 0 0 58176 30 0 0 20 0 3 0 275956929 1913913344 414779 33554432000 4194304 5965102 140736565562064 139771180243256 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1164.06
Current children cumulated vsize (KiB) 1869056

[startup+642.3 s]
/proc/loadavg: 4.01 4.00 3.96 5/181 9982
/proc/meminfo: memFree=25680528/32873648 swapFree=7372/7372
[pid=9950] ppid=9948 vsize=1934592 CPUtime=1284.04 cores=1,3,5,7
/proc/9950/stat : 9950 (pwbo2.0) S 9948 9950 7065 0 -1 4202496 840790 0 0 0 128172 232 0 0 20 0 3 0 275956906 1981022208 418364 33554432000 4194304 5965102 140736565562064 140736565561584 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9950/statm: 483648 418364 200 433 0 483212 0
[pid=9950/tid=9952] ppid=9948 vsize=1934592 CPUtime=641.94 cores=1,3,5,7
/proc/9950/task/9952/stat : 9952 (pwbo2.0) R 9948 9950 7065 0 -1 4202560 813906 0 0 0 63975 219 0 0 20 0 3 0 275956929 1981022208 418364 33554432000 4194304 5965102 140736565562064 139771190733096 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=9950/tid=9953] ppid=9948 vsize=1934592 CPUtime=642.06 cores=1,3,5,7
/proc/9950/task/9953/stat : 9953 (pwbo2.0) R 9948 9950 7065 0 -1 4202560 18018 0 0 0 64175 31 0 0 20 0 3 0 275956929 1981022208 418364 33554432000 4194304 5965102 140736565562064 139771180243256 4383014 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1284.04
Current children cumulated vsize (KiB) 1934592

[startup+702.3 s]
/proc/loadavg: 4.10 4.03 3.97 5/182 9985
/proc/meminfo: memFree=25512748/32873648 swapFree=7372/7372
[pid=9950] ppid=9948 vsize=2065664 CPUtime=1404.01 cores=1,3,5,7
/proc/9950/stat : 9950 (pwbo2.0) S 9948 9950 7065 0 -1 4202496 855690 0 0 0 140164 237 0 0 20 0 3 0 275956906 2115239936 448559 33554432000 4194304 5965102 140736565562064 140736565561584 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9950/statm: 516416 448559 200 433 0 515980 0
[pid=9950/tid=9952] ppid=9948 vsize=2065664 CPUtime=701.94 cores=1,3,5,7
/proc/9950/task/9952/stat : 9952 (pwbo2.0) R 9948 9950 7065 0 -1 4202560 828806 0 0 0 69968 226 0 0 20 0 3 0 275956929 2115239936 448559 33554432000 4194304 5965102 140736565562064 139771190733640 4404643 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=9950/tid=9953] ppid=9948 vsize=2065664 CPUtime=702.06 cores=1,3,5,7
/proc/9950/task/9953/stat : 9953 (pwbo2.0) R 9948 9950 7065 0 -1 4202560 18018 0 0 0 70174 32 0 0 20 0 3 0 275956929 2115239936 448559 33554432000 4194304 5965102 140736565562064 139771180243256 4389268 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1404.01
Current children cumulated vsize (KiB) 2065664

[startup+762.3 s]
/proc/loadavg: 4.03 4.02 3.97 5/181 9985
/proc/meminfo: memFree=25445632/32873648 swapFree=7372/7372
[pid=9950] ppid=9948 vsize=2065664 CPUtime=1523.99 cores=1,3,5,7
/proc/9950/stat : 9950 (pwbo2.0) S 9948 9950 7065 0 -1 4202496 857844 0 0 0 152158 241 0 0 20 0 3 0 275956906 2115239936 451478 33554432000 4194304 5965102 140736565562064 140736565561584 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9950/statm: 516416 451478 200 433 0 515980 0
[pid=9950/tid=9952] ppid=9948 vsize=2065664 CPUtime=761.92 cores=1,3,5,7
/proc/9950/task/9952/stat : 9952 (pwbo2.0) R 9948 9950 7065 0 -1 4202560 828996 0 0 0 75965 227 0 0 20 0 3 0 275956929 2115239936 451478 33554432000 4194304 5965102 140736565562064 139771190733336 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=9950/tid=9953] ppid=9948 vsize=2065664 CPUtime=762.07 cores=1,3,5,7
/proc/9950/task/9953/stat : 9953 (pwbo2.0) R 9948 9950 7065 0 -1 4202560 19982 0 0 0 76171 36 0 0 20 0 3 0 275956929 2115239936 451478 33554432000 4194304 5965102 140736565562064 139771180243256 4401462 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1523.99
Current children cumulated vsize (KiB) 2065664

[startup+822.3 s]
/proc/loadavg: 4.05 4.03 3.97 5/181 9986
/proc/meminfo: memFree=25250380/32873648 swapFree=7372/7372
[pid=9950] ppid=9948 vsize=2065664 CPUtime=1643.93 cores=1,3,5,7
/proc/9950/stat : 9950 (pwbo2.0) S 9948 9950 7065 0 -1 4202496 862229 0 0 0 164147 246 0 0 20 0 3 0 275956906 2115239936 456107 33554432000 4194304 5965102 140736565562064 140736565561584 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9950/statm: 516416 456107 200 433 0 515980 0
[pid=9950/tid=9952] ppid=9948 vsize=2065664 CPUtime=821.9 cores=1,3,5,7
/proc/9950/task/9952/stat : 9952 (pwbo2.0) R 9948 9950 7065 0 -1 4202560 829261 0 0 0 81962 228 0 0 20 0 3 0 275956929 2115239936 456107 33554432000 4194304 5965102 140736565562064 139771190733336 4393736 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=9950/tid=9953] ppid=9948 vsize=2065664 CPUtime=822.06 cores=1,3,5,7
/proc/9950/task/9953/stat : 9953 (pwbo2.0) R 9948 9950 7065 0 -1 4202560 24102 0 0 0 82164 42 0 0 20 0 3 0 275956929 2115239936 456107 33554432000 4194304 5965102 140736565562064 139771180243256 4390169 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1643.93
Current children cumulated vsize (KiB) 2065664

[startup+882.307 s]
/proc/loadavg: 3.90 3.99 3.96 5/181 10027
/proc/meminfo: memFree=26932060/32873648 swapFree=7372/7372
[pid=9950] ppid=9948 vsize=2065664 CPUtime=1763.91 cores=1,3,5,7
/proc/9950/stat : 9950 (pwbo2.0) S 9948 9950 7065 0 -1 4202496 865485 0 0 0 176142 249 0 0 20 0 3 0 275956906 2115239936 462596 33554432000 4194304 5965102 140736565562064 140736565561584 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9950/statm: 516416 462596 200 433 0 515980 0
[pid=9950/tid=9952] ppid=9948 vsize=2065664 CPUtime=881.89 cores=1,3,5,7
/proc/9950/task/9952/stat : 9952 (pwbo2.0) R 9948 9950 7065 0 -1 4202560 831763 0 0 0 87958 231 0 0 20 0 3 0 275956929 2115239936 462596 33554432000 4194304 5965102 140736565562064 139771190733640 4404769 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=9950/tid=9953] ppid=9948 vsize=2065664 CPUtime=882.07 cores=1,3,5,7
/proc/9950/task/9953/stat : 9953 (pwbo2.0) R 9948 9950 7065 0 -1 4202560 24856 0 0 0 88162 45 0 0 20 0 3 0 275956929 2115239936 462596 33554432000 4194304 5965102 140736565562064 139771180243256 4390210 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1763.91
Current children cumulated vsize (KiB) 2065664



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.4 s]
/proc/loadavg: 4.00 4.01 3.97 5/181 10027
/proc/meminfo: memFree=26873232/32873648 swapFree=7372/7372
[pid=9950] ppid=9948 vsize=2065664 CPUtime=1800.1 cores=1,3,5,7
/proc/9950/stat : 9950 (pwbo2.0) S 9948 9950 7065 0 -1 4202496 867406 0 0 0 179759 251 0 0 20 0 3 0 275956906 2115239936 462596 33554432000 4194304 5965102 140736565562064 140736565561584 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9950/statm: 516416 462596 200 433 0 515980 0
[pid=9950/tid=9952] ppid=9948 vsize=2065664 CPUtime=899.98 cores=1,3,5,7
/proc/9950/task/9952/stat : 9952 (pwbo2.0) R 9948 9950 7065 0 -1 4202560 833684 0 0 0 89766 232 0 0 20 0 3 0 275956929 2115239936 462596 33554432000 4194304 5965102 140736565562064 139771190733640 4404769 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=9950/tid=9953] ppid=9948 vsize=2065664 CPUtime=900.17 cores=1,3,5,7
/proc/9950/task/9953/stat : 9953 (pwbo2.0) R 9948 9950 7065 0 -1 4202560 24856 0 0 0 89972 45 0 0 20 0 3 0 275956929 2115239936 462596 33554432000 4194304 5965102 140736565562064 139771180243256 4393958 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 2065664

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

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

[startup+900.4 s]
/proc/loadavg: 4.00 4.01 3.97 5/181 10027
/proc/meminfo: memFree=26873232/32873648 swapFree=7372/7372
[pid=9950] ppid=9948 vsize=2065664 CPUtime=1800.1 cores=1,3,5,7
/proc/9950/stat : 9950 (pwbo2.0) S 9948 9950 7065 0 -1 4202496 867406 0 0 0 179759 251 0 0 20 0 3 0 275956906 2115239936 462596 33554432000 4194304 5965102 140736565562064 140736565561584 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9950/statm: 516416 462596 200 433 0 515980 0
[pid=9950/tid=9952] ppid=9948 vsize=2065664 CPUtime=899.98 cores=1,3,5,7
/proc/9950/task/9952/stat : 9952 (pwbo2.0) R 9948 9950 7065 0 -1 4202560 833684 0 0 0 89766 232 0 0 20 0 3 0 275956929 2115239936 462596 33554432000 4194304 5965102 140736565562064 139771190733640 4404769 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=9950/tid=9953] ppid=9948 vsize=2065664 CPUtime=900.17 cores=1,3,5,7
/proc/9950/task/9953/stat : 9953 (pwbo2.0) R 9948 9950 7065 0 -1 4202560 24856 0 0 0 89972 45 0 0 20 0 3 0 275956929 2115239936 462596 33554432000 4194304 5965102 140736565562064 139771180243256 4393958 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 2065664

Child status: 0
Real time (s): 900.442
CPU time (s): 1800.45
CPU user time (s): 1797.62
CPU system time (s): 2.83157
CPU usage (%): 199.952
Max. virtual memory (cumulated for all children) (KiB): 2065664

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

runsolver used 1.79273 second user time and 5.30219 second system time

The end

Launcher Data 

Begin job on node122 at 2012-05-27 07:58:29
IDJOB=3704056
IDBENCH=90392
IDSOLVER=2279
FILE ID=node122/3704056-1338098309
RUNJOBID= node122-1338086209-7082
PBS_JOBID= 14624430
Free space on /tmp= 71660 MiB

SOLVER NAME= pwbo 2.0
BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_unif_10null10mast_rapportOE1.0_TMAX60_K67_cod2.opb
COMMAND LINE= pwbo2.0 -file-format=opb -verbosity=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3704056-1338098309/watcher-3704056-1338098309 -o /tmp/evaluation-result-3704056-1338098309/solver-3704056-1338098309 -C 1800 -W 1900 -M 15500  pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3704056-1338098309.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= aa70ac3194742d51f6e4056a79ed9e8c
RANDOM SEED=460153507

node122.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.533
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.533
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.533
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.533
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.533
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.533
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.533
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.533
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28476128 kB
Buffers:          280364 kB
Cached:          2874072 kB
SwapCached:            0 kB
Active:          1587104 kB
Inactive:        2026852 kB
Active(anon):     450888 kB
Inactive(anon):    11052 kB
Active(file):    1136216 kB
Inactive(file):  2015800 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              7792 kB
Writeback:             0 kB
AnonPages:        466612 kB
Mapped:            14636 kB
Shmem:               200 kB
Slab:             644344 kB
SReclaimable:      88484 kB
SUnreclaim:       555860 kB
KernelStack:        1480 kB
PageTables:         5004 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     291312 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71680 MiB
End job on node122 at 2012-05-27 08:13:32