Trace number 4267628

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
cosoco 1.12SAT (TO)614 2519.8501 2520.1499

General information on the benchmark

NameGolombRuler/GolombRuler-a4-s1/
GolombRuler-23-a4.xml
MD5SUM85d0173ff868c492d6a47734653fba18
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark532
Best CPU time to get the best result obtained on this benchmark2520.1201
Satisfiable
(Un)Satisfiability was proved
Number of variables23
Number of constraints30109
Number of domains1
Minimum domain size1001
Maximum domain size1001
Distribution of domain sizes[{"size":1001,"count":23}]
Minimum variable degree5083
Maximum variable degree5084
Distribution of variable degrees[{"degree":5083,"count":21},{"degree":5084,"count":2}]
Minimum constraint arity1
Maximum constraint arity23
Distribution of constraint arities[{"arity":1,"count":1},{"arity":3,"count":3542},{"arity":4,"count":26565},{"arity":23,"count":1}]
Number of extensional constraints0
Number of intensional constraints30108
Distribution of constraint types[{"type":"intension","count":30108},{"type":"ordered","count":1}]
Optimization problemYES
Type of objectivemin VAR

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

33.29/33.48	c best=?? lower=0 upper=1000 
1966.88/1967.14	c
1966.88/1967.14	c This is cosoco 1.12 --  
1966.88/1967.14	c
1966.88/1967.14	c command line: cosoco -lc -model -restarts HOME/instance-4267628-1502528617.xml 
1966.88/1967.14	c enable optimization
1966.88/1967.14	c ========================================[ Problem Statistics ]===========================================
1966.88/1967.14	c |                                                                                                       
1966.88/1967.14	c |  Parse time        :        32.78 s 
1966.88/1967.14	c |
1966.88/1967.14	c |               Variables: 23
1966.88/1967.14	c |            Domain Sizes: 1001..1001
1966.88/1967.14	c |
1966.88/1967.14	c |             Constraints: 30131
1966.88/1967.14	c |                   Arity: 1..4  -- Unary: 2  -- Binary: 22  -- Ternary: 3542
1966.88/1967.14	c | 
1966.88/1967.14	c |                   Types: 
1966.88/1967.14	c |                          (X - Y < k): 22
1966.88/1967.14	c |                          Intension: 30109
1966.88/1967.14	c |                          
1966.88/1967.14	c =========================================================================================================
1966.88/1967.14	o 668
1966.88/1967.14	c    1 calls to solver: best=668 lower=0 upper=667 
2061.46/2061.73	o 623
2219.72/2220.05	o 614
2219.72/2220.05	c    3 calls to solver: best=614 lower=0 upper=613 
2519.68/2520.00	
2519.68/2520.00	c *** INTERRUPTED ***
2519.68/2520.00	c restarts              : 20          
2519.68/2520.00	c conflicts             : 5791         (2 /sec)
2519.68/2520.00	c decisions             : 7540         (3 /sec)
2519.68/2520.00	c propagations          : 5541931     (2207 /sec)
2519.68/2520.00	c root propagations     : 1484        
2519.68/2520.00	c filter calls          : 290762680      (115786 /sec)
2519.68/2520.00	c useless filter calls  : 289445895      (99 %)
2519.68/2520.00	c Memory used           : 4747.60 MB
2519.68/2520.00	c CPU time              : 2511.21 s
2519.68/2520.00	
2519.68/2520.00	c nb Solutions = 3
2519.68/2520.00	s SATISFIABLE
2519.68/2520.00	c Best value found: 614
2519.68/2520.00	
2519.68/2520.00	
2519.68/2520.00	v <instantiation type='solution' cost='614'>
2519.68/2520.00	v <list>x[0] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[1] x[20] x[21] x[22] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] </list>
2519.68/2520.00	v <values>0 104 127 146 162 215 243 333 362 418 461 1 512 550 614 4 6 13 21 31 45 67 78 </values>
2519.68/2520.00	v </instantiation>
2519.68/2520.00

Verifier Data 

OK	614

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4267628-1502528617/watcher-4267628-1502528617 -o /tmp/evaluation-result-4267628-1502528617/solver-4267628-1502528617 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502500286-31839 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4267628-1502528617.xml 

pid=7397
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 7400
/proc/meminfo: memFree=26209960/32770624 swapFree=0/423880
[pid=7400] ppid=7397 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/7400/stat : 7400 (runsolver) D 7397 7400 31775 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 41202364 24240128 106 18446744073709551615 4194304 4338465 140724245989120 140724245986760 139803198939863 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 7561216 140724245991617 140724245992009 140724245992009 140724245995466 0
/proc/7400/statm: 5918 106 53 36 0 2156 0

[startup+0.100158 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 7400
/proc/meminfo: memFree=26209960/32770624 swapFree=0/423880
[pid=7400] ppid=7397 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/7400/stat : 7400 (runsolver) D 7397 7400 31775 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 41202364 24240128 106 18446744073709551615 4194304 4338465 140724245989120 140724245986760 139803198939863 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 7561216 140724245991617 140724245992009 140724245992009 140724245995466 0
/proc/7400/statm: 5918 106 53 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672

[startup+0.200319 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 7400
/proc/meminfo: memFree=26209960/32770624 swapFree=0/423880
[pid=7400] ppid=7397 vsize=27680 CPUtime=0.09 cores=1,3,5,7
/proc/7400/stat : 7400 (cosoco) R 7397 7400 31775 0 -1 4202496 1114 0 0 0 9 0 0 0 20 0 1 0 41202364 28344320 898 18446744073709551615 4194304 5972588 140735431100496 140735431097144 139750925722352 0 0 1 0 0 0 0 17 3 0 0 10 0 0 8070896 8075904 27713536 140735431107054 140735431107149 140735431107149 140735431110606 0
/proc/7400/statm: 6920 898 716 435 0 283 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27680

[startup+0.300261 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 7400
/proc/meminfo: memFree=26209960/32770624 swapFree=0/423880
[pid=7400] ppid=7397 vsize=28136 CPUtime=0.19 cores=1,3,5,7
/proc/7400/stat : 7400 (cosoco) R 7397 7400 31775 0 -1 4202496 1266 0 0 0 19 0 0 0 20 0 1 0 41202364 28811264 994 18446744073709551615 4194304 5972588 140735431100496 140735431097144 139750912957413 0 0 1 0 0 0 0 17 3 0 0 10 0 0 8070896 8075904 27713536 140735431107054 140735431107149 140735431107149 140735431110606 0
/proc/7400/statm: 7034 994 716 435 0 397 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 28136

[startup+0.700226 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 7400
/proc/meminfo: memFree=26209960/32770624 swapFree=0/423880
[pid=7400] ppid=7397 vsize=35172 CPUtime=0.59 cores=1,3,5,7
/proc/7400/stat : 7400 (cosoco) R 7397 7400 31775 0 -1 4202496 3190 0 0 0 59 0 0 0 20 0 1 0 41202364 36016128 2853 18446744073709551615 4194304 5972588 140735431100496 140735431097064 4967517 0 0 1 0 0 0 0 17 3 0 0 10 0 0 8070896 8075904 27713536 140735431107054 140735431107149 140735431107149 140735431110606 0
/proc/7400/statm: 8793 2853 786 435 0 2156 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 35172

[startup+1.50024 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 7401
/proc/meminfo: memFree=26178104/32770624 swapFree=0/424132
[pid=7400] ppid=7397 vsize=81316 CPUtime=1.38 cores=1,3,5,7
/proc/7400/stat : 7400 (cosoco) R 7397 7400 31775 0 -1 4202496 14740 0 0 0 136 2 0 0 20 0 1 0 41202364 83267584 14403 18446744073709551615 4194304 5972588 140735431100496 140735431092264 139750912957413 0 0 1 0 0 0 0 17 3 0 0 10 0 0 8070896 8075904 27713536 140735431107054 140735431107149 140735431107149 140735431110606 0
/proc/7400/statm: 20329 14403 786 435 0 13692 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 81316

[startup+3.10024 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 7401
/proc/meminfo: memFree=26114912/32770624 swapFree=0/424136
[pid=7400] ppid=7397 vsize=173852 CPUtime=2.98 cores=1,3,5,7
/proc/7400/stat : 7400 (cosoco) R 7397 7400 31775 0 -1 4202496 37936 0 0 0 293 5 0 0 20 0 1 0 41202364 178024448 37492 18446744073709551615 4194304 5972588 140735431100496 140735431094056 4967517 0 0 1 0 0 0 0 17 3 0 0 10 0 0 8070896 8075904 27713536 140735431107054 140735431107149 140735431107149 140735431110606 0
/proc/7400/statm: 43463 37492 786 435 0 36826 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 173852

[startup+6.30023 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 7401
/proc/meminfo: memFree=25923100/32770624 swapFree=0/424136
[pid=7400] ppid=7397 vsize=358444 CPUtime=6.18 cores=1,3,5,7
/proc/7400/stat : 7400 (cosoco) R 7397 7400 31775 0 -1 4202496 84232 0 0 0 608 10 0 0 20 0 1 0 41202364 367046656 83701 18446744073709551615 4194304 5972588 140735431100496 140735431094056 4967517 0 0 1 0 0 0 0 17 3 0 0 10 0 0 8070896 8075904 27713536 140735431107054 140735431107149 140735431107149 140735431110606 0
/proc/7400/statm: 89611 83701 786 435 0 82974 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 358444

[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 7401
/proc/meminfo: memFree=25539800/32770624 swapFree=0/424140
[pid=7400] ppid=7397 vsize=727988 CPUtime=12.58 cores=1,3,5,7
/proc/7400/stat : 7400 (cosoco) R 7397 7400 31775 0 -1 4202496 176746 0 0 0 1239 19 0 0 20 0 1 0 41202364 745459712 176080 18446744073709551615 4194304 5972588 140735431100496 140735431094056 4967517 0 0 1 0 0 0 0 17 3 0 0 10 0 0 8070896 8075904 27713536 140735431107054 140735431107149 140735431107149 140735431110606 0
/proc/7400/statm: 181997 176080 786 435 0 175360 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 727988

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 7401
/proc/meminfo: memFree=24777060/32770624 swapFree=0/424144
[pid=7400] ppid=7397 vsize=1463728 CPUtime=25.38 cores=1,3,5,7
/proc/7400/stat : 7400 (cosoco) R 7397 7400 31775 0 -1 4202496 360993 0 0 0 2494 44 0 0 20 0 1 0 41202364 1498857472 359994 18446744073709551615 4194304 5972588 140735431100496 140735431094056 4967517 0 0 1 0 0 0 0 17 3 0 0 10 0 0 8070896 8075904 27713536 140735431107054 140735431107149 140735431107149 140735431110606 0
/proc/7400/statm: 365932 359994 786 435 0 359295 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 1463728

[startup+51.1004 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 7417
/proc/meminfo: memFree=23213720/32770624 swapFree=0/424172
[pid=7400] ppid=7397 vsize=3003768 CPUtime=50.99 cores=1,3,5,7
/proc/7400/stat : 7400 (cosoco) R 7397 7400 31775 0 -1 4202496 919764 0 0 0 5000 99 0 0 20 0 1 0 41202364 3075858432 745060 18446744073709551615 4194304 5972588 140735431100496 140735431097352 5071082 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 27713536 140735431107054 140735431107149 140735431107149 140735431110606 0
/proc/7400/statm: 750942 745060 832 435 0 744305 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 3003768

[startup+102.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/185 7419
/proc/meminfo: memFree=23194672/32770624 swapFree=0/424200
[pid=7400] ppid=7397 vsize=3016176 CPUtime=102.19 cores=1,3,5,7
/proc/7400/stat : 7400 (cosoco) R 7397 7400 31775 0 -1 4202496 1090334 0 0 0 10112 107 0 0 20 0 1 0 41202364 3088564224 748190 18446744073709551615 4194304 5972588 140735431100496 140735431097352 5053056 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 27713536 140735431107054 140735431107149 140735431107149 140735431110606 0
/proc/7400/statm: 754044 748190 832 435 0 747407 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 3016176

[startup+162.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 7421
/proc/meminfo: memFree=22774392/32770624 swapFree=0/424216
[pid=7400] ppid=7397 vsize=3423924 CPUtime=162.18 cores=1,3,5,7
/proc/7400/stat : 7400 (cosoco) R 7397 7400 31775 0 -1 4202496 1563545 0 0 0 16080 138 0 0 20 0 1 0 41202364 3506098176 850094 18446744073709551615 4194304 5972588 140735431100496 140735431097352 4965744 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 27713536 140735431107054 140735431107149 140735431107149 140735431110606 0
/proc/7400/statm: 855981 850094 832 435 0 849344 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 3423924

[startup+222.306 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 7423
/proc/meminfo: memFree=22561392/32770624 swapFree=0/424224
[pid=7400] ppid=7397 vsize=3639348 CPUtime=222.19 cores=1,3,5,7
/proc/7400/stat : 7400 (cosoco) R 7397 7400 31775 0 -1 4202496 1995898 0 0 0 22056 163 0 0 20 0 1 0 41202364 3726692352 903975 18446744073709551615 4194304 5972588 140735431100496 140735431097352 4965362 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 27713536 140735431107054 140735431107149 140735431107149 140735431110606 0
/proc/7400/statm: 909837 903975 832 435 0 903200 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 3639348

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7425
/proc/meminfo: memFree=22425892/32770624 swapFree=0/424228
[pid=7400] ppid=7397 vsize=3784680 CPUtime=282.18 cores=1,3,5,7
/proc/7400/stat : 7400 (cosoco) R 7397 7400 31775 0 -1 4202496 2418657 0 0 0 28032 186 0 0 20 0 1 0 41202364 3875512320 940300 18446744073709551615 4194304 5972588 140735431100496 140735431097352 4968797 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 27713536 140735431107054 140735431107149 140735431107149 140735431110606 0
/proc/7400/statm: 946170 940300 832 435 0 939533 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 3784680

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 7428
/proc/meminfo: memFree=22260252/32770624 swapFree=0/424240
[pid=7400] ppid=7397 vsize=3933312 CPUtime=342.18 cores=1,3,5,7
/proc/7400/stat : 7400 (cosoco) R 7397 7400 31775 0 -1 4202496 2918525 0 0 0 34001 217 0 0 20 0 1 0 41202364 4027711488 977439 18446744073709551615 4194304 5972588 140735431100496 140735431097352 5328649 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 27713536 140735431107054 140735431107149 140735431107149 140735431110606 0
/proc/7400/statm: 983328 977439 832 435 0 976691 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 3933312

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 7429
/proc/meminfo: memFree=22197524/32770624 swapFree=0/424236
[pid=7400] ppid=7397 vsize=3962616 CPUtime=402.18 cores=1,3,5,7
/proc/7400/stat : 7400 (cosoco) R 7397 7400 31775 0 -1 4202496 3284546 0 0 0 39981 237 0 0 20 0 1 0 41202364 4057718784 984771 18446744073709551615 4194304 5972588 140735431100496 140735431097352 4965342 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 27713536 140735431107054 140735431107149 140735431107149 140735431110606 0
/proc/7400/statm: 990654 984771 832 435 0 984017 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 3962616

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 7432
/proc/meminfo: memFree=22120300/32770624 swapFree=0/424260
[pid=7400] ppid=7397 vsize=4038780 CPUtime=462.18 cores=1,3,5,7
/proc/7400/stat : 7400 (cosoco) R 7397 7400 31775 0 -1 4202496 3507839 0 0 0 45969 249 0 0 20 0 1 0 41202364 4135710720 1003847 18446744073709551615 4194304 5972588 140735431100496 140735431097352 5099648 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 27713536 140735431107054 140735431107149 140735431107149 140735431110606 0
/proc/7400/statm: 1009695 1003847 832 435 0 1003058 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 4038780

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 7434
/proc/meminfo: memFree=22120060/32770624 swapFree=0/424264
[pid=7400] ppid=7397 vsize=4039044 CPUtime=522.18 cores=1,3,5,7
/proc/7400/stat : 7400 (cosoco) R 7397 7400 31775 0 -1 4202496 3664308 0 0 0 51960 258 0 0 20 0 1 0 41202364 4135981056 1003903 18446744073709551615 4194304 5972588 140735431100496 140735431097352 4965520 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 27713536 140735431107054 140735431107149 140735431107149 140735431110606 0
/proc/7400/statm: 1009761 1003903 832 435 0 1003124 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 4039044

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 7436
/proc/meminfo: memFree=21967292/32770624 swapFree=0/424268
[pid=7400] ppid=7397 vsize=4191504 CPUtime=582.18 cores=1,3,5,7
/proc/7400/stat : 7400 (cosoco) R 7397 7400 31775 0 -1 4202496 4349627 0 0 0 57925 293 0 0 20 0 1 0 41202364 4292100096 1042017 18446744073709551615 4194304 5972588 140735431100496 140735431097352 5070704 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 27713536 140735431107054 140735431107149 140735431107149 140735431110606 0
/proc/7400/statm: 1047876 1042017 832 435 0 1041239 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 4191504


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

[startup+1662.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/181 7585
/proc/meminfo: memFree=26411236/32770624 swapFree=0/424840
[pid=7400] ppid=7397 vsize=4782732 CPUtime=1662.1 cores=1,3,5,7
/proc/7400/stat : 7400 (cosoco) R 7397 7400 31775 0 -1 4202496 11608054 0 0 0 165557 653 0 0 20 0 1 0 41202364 4897517568 1189815 18446744073709551615 4194304 5972588 140735431100496 140735431097352 5053056 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 27713536 140735431107054 140735431107149 140735431107149 140735431110606 0
/proc/7400/statm: 1195683 1189815 832 435 0 1189046 0
Current children cumulated CPU time (s) 1662.1
Current children cumulated vsize (KiB) 4782732

[startup+1722.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/181 7587
/proc/meminfo: memFree=26410368/32770624 swapFree=0/424852
[pid=7400] ppid=7397 vsize=4783656 CPUtime=1722.1 cores=1,3,5,7
/proc/7400/stat : 7400 (cosoco) R 7397 7400 31775 0 -1 4202496 11919298 0 0 0 171539 671 0 0 20 0 1 0 41202364 4898463744 1190045 18446744073709551615 4194304 5972588 140735431100496 140735431097352 4962352 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 27713536 140735431107054 140735431107149 140735431107149 140735431110606 0
/proc/7400/statm: 1195914 1190045 832 435 0 1189277 0
Current children cumulated CPU time (s) 1722.1
Current children cumulated vsize (KiB) 4783656

[startup+1782.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/181 7589
/proc/meminfo: memFree=26410024/32770624 swapFree=0/424888
[pid=7400] ppid=7397 vsize=4783656 CPUtime=1782.08 cores=1,3,5,7
/proc/7400/stat : 7400 (cosoco) R 7397 7400 31775 0 -1 4202496 12191124 0 0 0 177524 684 0 0 20 0 1 0 41202364 4898463744 1190054 18446744073709551615 4194304 5972588 140735431100496 140735431097352 4965331 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 27713536 140735431107054 140735431107149 140735431107149 140735431110606 0
/proc/7400/statm: 1195914 1190054 832 435 0 1189277 0
Current children cumulated CPU time (s) 1782.08
Current children cumulated vsize (KiB) 4783656

[startup+1842.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/184 7605
/proc/meminfo: memFree=26404192/32770624 swapFree=0/424936
[pid=7400] ppid=7397 vsize=4784316 CPUtime=1842.08 cores=1,3,5,7
/proc/7400/stat : 7400 (cosoco) R 7397 7400 31775 0 -1 4202496 12425403 0 0 0 183513 695 0 0 20 0 1 0 41202364 4899139584 1190219 18446744073709551615 4194304 5972588 140735431100496 140735431097352 4965339 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 27713536 140735431107054 140735431107149 140735431107149 140735431110606 0
/proc/7400/statm: 1196079 1190219 832 435 0 1189442 0
Current children cumulated CPU time (s) 1842.08
Current children cumulated vsize (KiB) 4784316

[startup+1902.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/184 7607
/proc/meminfo: memFree=26404072/32770624 swapFree=0/424992
[pid=7400] ppid=7397 vsize=4784976 CPUtime=1902.07 cores=1,3,5,7
/proc/7400/stat : 7400 (cosoco) R 7397 7400 31775 0 -1 4202496 12653205 0 0 0 189502 705 0 0 20 0 1 0 41202364 4899815424 1190378 18446744073709551615 4194304 5972588 140735431100496 140735431097352 4962352 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 27713536 140735431107054 140735431107149 140735431107149 140735431110606 0
/proc/7400/statm: 1196244 1190378 832 435 0 1189607 0
Current children cumulated CPU time (s) 1902.07
Current children cumulated vsize (KiB) 4784976

[startup+1962.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/180 7609
/proc/meminfo: memFree=26394368/32770624 swapFree=0/425016
[pid=7400] ppid=7397 vsize=4798968 CPUtime=1962.07 cores=1,3,5,7
/proc/7400/stat : 7400 (cosoco) R 7397 7400 31775 0 -1 4202496 12943581 0 0 0 195487 720 0 0 20 0 1 0 41202364 4914143232 1193882 18446744073709551615 4194304 5972588 140735431100496 140735431097352 4968720 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 27713536 140735431107054 140735431107149 140735431107149 140735431110606 0
/proc/7400/statm: 1199742 1193882 832 435 0 1193105 0
Current children cumulated CPU time (s) 1962.07
Current children cumulated vsize (KiB) 4798968

[startup+2022.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/181 7612
/proc/meminfo: memFree=26382672/32770624 swapFree=0/425036
[pid=7400] ppid=7397 vsize=4810056 CPUtime=2022.06 cores=1,3,5,7
/proc/7400/stat : 7400 (cosoco) R 7397 7400 31775 0 -1 4202496 13305331 0 0 0 201468 738 0 0 20 0 1 0 41202364 4925497344 1196644 18446744073709551615 4194304 5972588 140735431100496 140735431097352 4909624 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 27713536 140735431107054 140735431107149 140735431107149 140735431110606 0
/proc/7400/statm: 1202514 1196644 833 435 0 1195877 0
Current children cumulated CPU time (s) 2022.06
Current children cumulated vsize (KiB) 4810056

[startup+2082.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/181 7614
/proc/meminfo: memFree=26373388/32770624 swapFree=0/425060
[pid=7400] ppid=7397 vsize=4819560 CPUtime=2082.04 cores=1,3,5,7
/proc/7400/stat : 7400 (cosoco) R 7397 7400 31775 0 -1 4202496 13566024 0 0 0 207452 752 0 0 20 0 1 0 41202364 4935229440 1199030 18446744073709551615 4194304 5972588 140735431100496 140735431097352 4965365 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 27713536 140735431107054 140735431107149 140735431107149 140735431110606 0
/proc/7400/statm: 1204890 1199030 833 435 0 1198253 0
Current children cumulated CPU time (s) 2082.04
Current children cumulated vsize (KiB) 4819560

[startup+2142.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 7617
/proc/meminfo: memFree=26372132/32770624 swapFree=0/425068
[pid=7400] ppid=7397 vsize=4821012 CPUtime=2142.03 cores=1,3,5,7
/proc/7400/stat : 7400 (cosoco) R 7397 7400 31775 0 -1 4202496 13768972 0 0 0 213441 762 0 0 20 0 1 0 41202364 4936716288 1199403 18446744073709551615 4194304 5972588 140735431100496 140735431097352 4965583 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 27713536 140735431107054 140735431107149 140735431107149 140735431110606 0
/proc/7400/statm: 1205253 1199403 833 435 0 1198616 0
Current children cumulated CPU time (s) 2142.03
Current children cumulated vsize (KiB) 4821012

[startup+2202.31 s]
/proc/loadavg: 2.08 2.04 2.05 3/181 7619
/proc/meminfo: memFree=26369412/32770624 swapFree=0/425072
[pid=7400] ppid=7397 vsize=4824048 CPUtime=2202.03 cores=1,3,5,7
/proc/7400/stat : 7400 (cosoco) R 7397 7400 31775 0 -1 4202496 14031760 0 0 0 219427 776 0 0 20 0 1 0 41202364 4939825152 1200162 18446744073709551615 4194304 5972588 140735431100496 140735431097352 4909643 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 27713536 140735431107054 140735431107149 140735431107149 140735431110606 0
/proc/7400/statm: 1206012 1200162 833 435 0 1199375 0
Current children cumulated CPU time (s) 2202.03
Current children cumulated vsize (KiB) 4824048

[startup+2262.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/181 7643
/proc/meminfo: memFree=26359060/32770624 swapFree=0/425076
[pid=7400] ppid=7397 vsize=4834344 CPUtime=2262.01 cores=1,3,5,7
/proc/7400/stat : 7400 (cosoco) R 7397 7400 31775 0 -1 4202496 14348251 0 0 0 225410 791 0 0 20 0 1 0 41202364 4950368256 1202737 18446744073709551615 4194304 5972588 140735431100496 140735431097352 4909657 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 27713536 140735431107054 140735431107149 140735431107149 140735431110606 0
/proc/7400/statm: 1208586 1202737 833 435 0 1201949 0
Current children cumulated CPU time (s) 2262.01
Current children cumulated vsize (KiB) 4834344

[startup+2322.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 7646
/proc/meminfo: memFree=26346384/32770624 swapFree=0/425088
[pid=7400] ppid=7397 vsize=4847148 CPUtime=2322.01 cores=1,3,5,7
/proc/7400/stat : 7400 (cosoco) R 7397 7400 31775 0 -1 4202496 14676642 0 0 0 231394 807 0 0 20 0 1 0 41202364 4963479552 1205943 18446744073709551615 4194304 5972588 140735431100496 140735431097352 5071058 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 27713536 140735431107054 140735431107149 140735431107149 140735431110606 0
/proc/7400/statm: 1211787 1205943 833 435 0 1205150 0
Current children cumulated CPU time (s) 2322.01
Current children cumulated vsize (KiB) 4847148

[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 7648
/proc/meminfo: memFree=26341988/32770624 swapFree=0/425100
[pid=7400] ppid=7397 vsize=4852164 CPUtime=2382 cores=1,3,5,7
/proc/7400/stat : 7400 (cosoco) R 7397 7400 31775 0 -1 4202496 14881358 0 0 0 237381 819 0 0 20 0 1 0 41202364 4968615936 1207198 18446744073709551615 4194304 5972588 140735431100496 140735431097352 5053097 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 27713536 140735431107054 140735431107149 140735431107149 140735431110606 0
/proc/7400/statm: 1213041 1207198 833 435 0 1206404 0
Current children cumulated CPU time (s) 2382
Current children cumulated vsize (KiB) 4852164

[startup+2442.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/184 7664
/proc/meminfo: memFree=26332908/32770624 swapFree=0/425132
[pid=7400] ppid=7397 vsize=4855596 CPUtime=2442 cores=1,3,5,7
/proc/7400/stat : 7400 (cosoco) R 7397 7400 31775 0 -1 4202496 15119282 0 0 0 243369 831 0 0 20 0 1 0 41202364 4972130304 1208058 18446744073709551615 4194304 5972588 140735431100496 140735431097352 4962381 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 27713536 140735431107054 140735431107149 140735431107149 140735431110606 0
/proc/7400/statm: 1213899 1208058 833 435 0 1207262 0
Current children cumulated CPU time (s) 2442
Current children cumulated vsize (KiB) 4855596

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 7666
/proc/meminfo: memFree=26327612/32770624 swapFree=0/425140
[pid=7400] ppid=7397 vsize=4861272 CPUtime=2501.99 cores=1,3,5,7
/proc/7400/stat : 7400 (cosoco) R 7397 7400 31775 0 -1 4202496 15411669 0 0 0 249351 848 0 0 20 0 1 0 41202364 4977942528 1209480 18446744073709551615 4194304 5972588 140735431100496 140735431097352 5071280 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 27713536 140735431107054 140735431107149 140735431107149 140735431110606 0
/proc/7400/statm: 1215318 1209480 833 435 0 1208681 0
Current children cumulated CPU time (s) 2501.99
Current children cumulated vsize (KiB) 4861272



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 7667
/proc/meminfo: memFree=26327600/32770624 swapFree=0/425140
[pid=7400] ppid=7397 vsize=4861536 CPUtime=2519.68 cores=1,3,5,7
/proc/7400/stat : 7400 (cosoco) R 7397 7400 31775 0 -1 4202496 15420303 0 0 0 251120 848 0 0 20 0 1 0 41202364 4978212864 1209559 18446744073709551615 4194304 5972588 140735431100496 140735431097352 4965365 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 27713536 140735431107054 140735431107149 140735431107149 140735431110606 0
/proc/7400/statm: 1215384 1209559 833 435 0 1208747 0
Current children cumulated CPU time (s) 2519.68
Current children cumulated vsize (KiB) 4861536

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 7400 sig 9
??? kill -7400 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2520.1 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 7667
/proc/meminfo: memFree=30201212/32770624 swapFree=0/425140
[pid=7400] ppid=7397 vsize=0 CPUtime=2519.79 cores=1,3,5,7
/proc/7400/stat : 7400 (cosoco) R 7397 7400 31775 0 -1 4202500 15420347 0 0 0 251120 859 0 0 20 0 1 0 41202364 0 0 18446744073709551615 0 0 0 0 0 0 16384 1 8405026 18446744073709551615 0 0 17 3 0 0 10 0 0 0 0 0 0 0 0 0 0
/proc/7400/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2519.79
Current children cumulated vsize (KiB) 0

Child status: 1
Real time (s): 2520.15
CPU time (s): 2519.85
CPU user time (s): 2511.21
CPU system time (s): 8.63995
CPU usage (%): 99.9879
Max. virtual memory (cumulated for all children) (KiB): 4861536

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

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.23169 second user time and 10.6166 second system time

The end

Launcher Data 

Begin job on node124 at 2017-08-12 10:49:21
IDJOB=4267628
IDBENCH=126248
IDSOLVER=2658
FILE ID=node124/4267628-1502528617
RUNJOBID= node124-1502500286-31839
PBS_JOBID= 
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP17/GolombRuler/GolombRuler-a4-s1/GolombRuler-23-a4.xml
COMMAND LINE= cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4267628-1502528617/watcher-4267628-1502528617 -o /tmp/evaluation-result-4267628-1502528617/solver-4267628-1502528617 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502500286-31839 --watchdog 2580  cosoco -lc -model -restarts HOME/instance-4267628-1502528617.xml

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

MD5SUM BENCH= 85d0173ff868c492d6a47734653fba18
RANDOM SEED=1111514077

node124.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.51
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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.51
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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.51
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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.51
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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        26209988 kB
MemAvailable:   26661260 kB
Buffers:          234084 kB
Cached:           510884 kB
SwapCached:            0 kB
Active:          5684520 kB
Inactive:         448840 kB
Active(anon):    5388480 kB
Inactive(anon):    24960 kB
Active(file):     296040 kB
Inactive(file):   423880 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              3576 kB
Writeback:             0 kB
AnonPages:       5391868 kB
Mapped:            41660 kB
Shmem:             25320 kB
Slab:             119996 kB
SReclaimable:      94376 kB
SUnreclaim:        25620 kB
KernelStack:        3472 kB
PageTables:        14856 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5652348 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2119680 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 62020 MiB
End job on node124 at 2017-08-12 11:31:21