Trace number 4241218

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
R1: cosoco-sat 1.1? (TO) 2400.15 2401.27

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 

34.10/34.19	c SAT : Variables: 23023 -- Clauses: 11511523
34.10/34.19	c best=?? lower=0 upper=1000 
1285.16/1285.83	c
1285.16/1285.83	c This is cosoco 1.0 --  
1285.16/1285.83	c
1285.16/1285.83	c enable optimization
1285.16/1285.83	c ========================================[ Problem Statistics ]===========================================
1285.16/1285.83	c |                                                                                                       
1285.16/1285.83	c |  Parse time        :        33.43 s 
1285.16/1285.83	c |
1285.16/1285.83	c |               Variables: 23
1285.16/1285.83	c |            Domain Sizes: 1001..1001
1285.16/1285.83	c |
1285.16/1285.83	c |             Constraints: 30131
1285.16/1285.83	c |                   Arity: 1..4  -- Unary: 2  -- Binary: 22  -- Ternary: 3542
1285.16/1285.83	c | 
1285.16/1285.83	c |                   Types: 
1285.16/1285.83	c |                          (X - Y < k): 22
1285.16/1285.83	c |                          Intension: 30109
1285.16/1285.83	c |                          
1285.16/1285.83	c =========================================================================================================
1285.16/1285.83	o 636
1285.16/1285.83	c    1 calls to solver: best=636 lower=0 upper=635 
1300.26/1300.95	o 620
1644.80/1645.63	o 605
1644.80/1645.63	c    3 calls to solver: best=605 lower=0 upper=604 
1697.07/1697.92	o 584

Verifier Data 

One s line expected

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-4241218-1500648176/watcher-4241218-1500648176 -o /tmp/evaluation-result-4241218-1500648176/solver-4241218-1500648176 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1500648174-9884 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4241218-1500648176.xml 

pid=9912
running on 8 cores: 0,2,4,6,8,10,12,14

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 0.00 0.04 0.08 3/247 9915
/proc/meminfo: memFree=32081996/32770624 swapFree=5956/172252
[pid=9915] ppid=9912 vsize=27264 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9915/stat : 9915 (cosoco) R 9912 9915 9853 0 -1 4202496 1009 0 0 0 0 0 0 0 20 0 1 0 84640 27918336 832 33554432000 4194304 5970956 140722012731168 140722012727816 139683436862448 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29167616 140722012738748 140722012738883 140722012738883 140722012741582 0
/proc/9915/statm: 6816 832 702 434 0 180 0

[startup+0.100141 s]
/proc/loadavg: 0.00 0.04 0.08 3/247 9915
/proc/meminfo: memFree=32081996/32770624 swapFree=5956/172252
[pid=9915] ppid=9912 vsize=27480 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/9915/stat : 9915 (cosoco) R 9912 9915 9853 0 -1 4202496 1063 0 0 0 9 0 0 0 20 0 1 0 84640 28139520 898 33554432000 4194304 5970956 140722012731168 140722012727768 5383966 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29167616 140722012738748 140722012738883 140722012738883 140722012741582 0
/proc/9915/statm: 6870 898 710 434 0 234 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27480

[startup+0.200351 s]
/proc/loadavg: 0.00 0.04 0.08 3/247 9915
/proc/meminfo: memFree=32081996/32770624 swapFree=5956/172252
[pid=9915] ppid=9912 vsize=28000 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/9915/stat : 9915 (cosoco) R 9912 9915 9853 0 -1 4202496 1199 0 0 0 19 0 0 0 20 0 1 0 84640 28672000 988 33554432000 4194304 5970956 140722012731168 140722012726568 5386472 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29167616 140722012738748 140722012738883 140722012738883 140722012741582 0
/proc/9915/statm: 7000 988 710 434 0 364 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 28000

[startup+0.300335 s]
/proc/loadavg: 0.00 0.04 0.08 3/247 9915
/proc/meminfo: memFree=32081996/32770624 swapFree=5956/172252
[pid=9915] ppid=9912 vsize=28264 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/9915/stat : 9915 (cosoco) R 9912 9915 9853 0 -1 4202496 1312 0 0 0 29 0 0 0 20 0 1 0 84640 28942336 1053 33554432000 4194304 5970956 140722012731168 140722012727768 5383791 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29167616 140722012738748 140722012738883 140722012738883 140722012741582 0
/proc/9915/statm: 7066 1053 710 434 0 430 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28264

[startup+0.700294 s]
/proc/loadavg: 0.00 0.04 0.08 3/247 9915
/proc/meminfo: memFree=32081996/32770624 swapFree=5956/172252
[pid=9915] ppid=9912 vsize=38196 CPUtime=0.68 cores=0,2,4,6,8,10,12,14
/proc/9915/stat : 9915 (cosoco) R 9912 9915 9853 0 -1 4202496 3976 0 0 0 68 0 0 0 20 0 1 0 84640 39112704 3639 33554432000 4194304 5970956 140722012731168 140722012724760 4966541 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29167616 140722012738748 140722012738883 140722012738883 140722012741582 0
/proc/9915/statm: 9549 3639 782 434 0 2913 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 38196

[startup+1.50027 s]
/proc/loadavg: 0.00 0.04 0.08 3/248 9916
/proc/meminfo: memFree=32015744/32770624 swapFree=5956/171956
[pid=9915] ppid=9912 vsize=84596 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/9915/stat : 9915 (cosoco) R 9912 9915 9853 0 -1 4202496 15544 0 0 0 147 2 0 0 20 0 1 0 84640 86626304 15189 33554432000 4194304 5970956 140722012731168 140722012724760 139683435994926 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29167616 140722012738748 140722012738883 140722012738883 140722012741582 0
/proc/9915/statm: 21149 15189 782 434 0 14513 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 84596

[startup+3.10028 s]
/proc/loadavg: 0.00 0.04 0.08 3/248 9916
/proc/meminfo: memFree=31879140/32770624 swapFree=5956/171956
[pid=9915] ppid=9912 vsize=177136 CPUtime=3.08 cores=0,2,4,6,8,10,12,14
/proc/9915/stat : 9915 (cosoco) R 9912 9915 9853 0 -1 4202496 38782 0 0 0 304 4 0 0 20 0 1 0 84640 181387264 38342 33554432000 4194304 5970956 140722012731168 140722012724760 139683435999744 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29167616 140722012738748 140722012738883 140722012738883 140722012741582 0
/proc/9915/statm: 44284 38342 782 434 0 37648 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 177136

[startup+6.30029 s]
/proc/loadavg: 0.00 0.04 0.08 3/248 9916
/proc/meminfo: memFree=31616144/32770624 swapFree=5956/171952
[pid=9915] ppid=9912 vsize=362160 CPUtime=6.29 cores=0,2,4,6,8,10,12,14
/proc/9915/stat : 9915 (cosoco) R 9912 9915 9853 0 -1 4202496 85152 0 0 0 619 10 0 0 20 0 1 0 84640 370851840 84615 33554432000 4194304 5970956 140722012731168 140722012724760 139683436746126 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29167616 140722012738748 140722012738883 140722012738883 140722012741582 0
/proc/9915/statm: 90540 84615 782 434 0 83904 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 362160

[startup+12.7003 s]
/proc/loadavg: 0.16 0.07 0.09 3/248 9916
/proc/meminfo: memFree=31220592/32770624 swapFree=5956/171952
[pid=9915] ppid=9912 vsize=731548 CPUtime=12.69 cores=0,2,4,6,8,10,12,14
/proc/9915/stat : 9915 (cosoco) R 9912 9915 9853 0 -1 4202496 177645 0 0 0 1246 23 0 0 20 0 1 0 84640 749105152 176928 33554432000 4194304 5970956 140722012731168 140722012722776 139683436002277 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29167616 140722012738748 140722012738883 140722012738883 140722012741582 0
/proc/9915/statm: 182887 176928 782 434 0 176251 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 731548

[startup+25.5004 s]
/proc/loadavg: 0.57 0.17 0.12 3/248 9916
/proc/meminfo: memFree=30451756/32770624 swapFree=5956/171952
[pid=9915] ppid=9912 vsize=1468160 CPUtime=25.49 cores=0,2,4,6,8,10,12,14
/proc/9915/stat : 9915 (cosoco) R 9912 9915 9853 0 -1 4202496 362096 0 0 0 2502 47 0 0 20 0 1 0 84640 1503395840 361104 33554432000 4194304 5970956 140722012731168 140722012724760 139683436002277 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29167616 140722012738748 140722012738883 140722012738883 140722012741582 0
/proc/9915/statm: 367040 361104 782 434 0 360404 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1468160

[startup+51.1004 s]
/proc/loadavg: 1.06 0.31 0.17 3/248 9916
/proc/meminfo: memFree=28233720/32770624 swapFree=5956/171924
[pid=9915] ppid=9912 vsize=3760388 CPUtime=51.09 cores=0,2,4,6,8,10,12,14
/proc/9915/stat : 9915 (cosoco) R 9912 9915 9853 0 -1 4202496 1071558 0 0 0 4984 125 0 0 20 0 1 0 84640 3850637312 922401 33554432000 4194304 5970956 140722012731168 140722012728136 4968237 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29167616 140722012738748 140722012738883 140722012738883 140722012741582 0
/proc/9915/statm: 940097 922401 839 434 0 933461 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 3760388

[startup+102.3 s]
/proc/loadavg: 1.64 0.59 0.27 3/248 9920
/proc/meminfo: memFree=27801036/32770624 swapFree=5956/179384
[pid=9915] ppid=9912 vsize=4140812 CPUtime=102.29 cores=0,2,4,6,8,10,12,14
/proc/9915/stat : 9915 (cosoco) R 9912 9915 9853 0 -1 4202496 1501002 0 0 0 10077 152 0 0 20 0 1 0 84640 4240191488 1017519 33554432000 4194304 5970956 140722012731168 140722012728136 4964389 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29167616 140722012738748 140722012738883 140722012738883 140722012741582 0
/proc/9915/statm: 1035203 1017519 839 434 0 1028567 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 4140812

[startup+162.3 s]
/proc/loadavg: 1.87 0.84 0.38 3/247 9921
/proc/meminfo: memFree=27713932/32770624 swapFree=5956/179416
[pid=9915] ppid=9912 vsize=4223840 CPUtime=162.25 cores=0,2,4,6,8,10,12,14
/proc/9915/stat : 9915 (cosoco) R 9912 9915 9853 0 -1 4202496 1890918 0 0 0 16053 172 0 0 20 0 1 0 84640 4325212160 1038269 33554432000 4194304 5970956 140722012731168 140722012728136 5069728 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29167616 140722012738748 140722012738883 140722012738883 140722012741582 0
/proc/9915/statm: 1055960 1038269 839 434 0 1049324 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 4223840

[startup+222.308 s]
/proc/loadavg: 1.95 1.05 0.48 3/247 9922
/proc/meminfo: memFree=27612416/32770624 swapFree=5956/179452
[pid=9915] ppid=9912 vsize=4326404 CPUtime=222.24 cores=0,2,4,6,8,10,12,14
/proc/9915/stat : 9915 (cosoco) R 9912 9915 9853 0 -1 4202496 2338470 0 0 0 22029 195 0 0 20 0 1 0 84640 4430237696 1063914 33554432000 4194304 5970956 140722012731168 140722012728136 4964424 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29167616 140722012738748 140722012738883 140722012738883 140722012741582 0
/proc/9915/statm: 1081601 1063914 839 434 0 1074965 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 4326404

[startup+282.3 s]
/proc/loadavg: 2.02 1.24 0.58 3/247 9923
/proc/meminfo: memFree=27516432/32770624 swapFree=5956/179484
[pid=9915] ppid=9912 vsize=4423556 CPUtime=282.2 cores=0,2,4,6,8,10,12,14
/proc/9915/stat : 9915 (cosoco) R 9912 9915 9853 0 -1 4202496 2801636 0 0 0 28003 217 0 0 20 0 1 0 84640 4529721344 1088204 33554432000 4194304 5970956 140722012731168 140722012728136 4961405 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29167616 140722012738748 140722012738883 140722012738883 140722012741582 0
/proc/9915/statm: 1105889 1088204 839 434 0 1099253 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 4423556

[startup+342.3 s]
/proc/loadavg: 2.07 1.40 0.67 3/246 9924
/proc/meminfo: memFree=27481368/32770624 swapFree=5956/179504
[pid=9915] ppid=9912 vsize=4458140 CPUtime=342.17 cores=0,2,4,6,8,10,12,14
/proc/9915/stat : 9915 (cosoco) R 9912 9915 9853 0 -1 4202496 3189868 0 0 0 33982 235 0 0 20 0 1 0 84640 4565135360 1096858 33554432000 4194304 5970956 140722012731168 140722012728136 5070304 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29167616 140722012738748 140722012738883 140722012738883 140722012741582 0
/proc/9915/statm: 1114535 1096858 839 434 0 1107899 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 4458140

[startup+402.3 s]
/proc/loadavg: 2.03 1.51 0.76 3/245 9925
/proc/meminfo: memFree=27475360/32770624 swapFree=5956/179532
[pid=9915] ppid=9912 vsize=4463552 CPUtime=402.13 cores=0,2,4,6,8,10,12,14
/proc/9915/stat : 9915 (cosoco) R 9912 9915 9853 0 -1 4202496 3535061 0 0 0 39962 251 0 0 20 0 1 0 84640 4570677248 1098203 33554432000 4194304 5970956 140722012731168 140722012728136 5070304 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29167616 140722012738748 140722012738883 140722012738883 140722012741582 0
/proc/9915/statm: 1115888 1098203 839 434 0 1109252 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 4463552

[startup+462.3 s]
/proc/loadavg: 2.01 1.60 0.83 3/246 9934
/proc/meminfo: memFree=27421536/32770624 swapFree=5956/179576
[pid=9915] ppid=9912 vsize=4517144 CPUtime=462.1 cores=0,2,4,6,8,10,12,14
/proc/9915/stat : 9915 (cosoco) R 9912 9915 9853 0 -1 4202496 3920603 0 0 0 45938 272 0 0 20 0 1 0 84640 4625555456 1111578 33554432000 4194304 5970956 140722012731168 140722012728136 5069728 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29167616 140722012738748 140722012738883 140722012738883 140722012741582 0
/proc/9915/statm: 1129286 1111578 839 434 0 1122650 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 4517144

[startup+522.3 s]
/proc/loadavg: 2.00 1.67 0.91 3/246 9935
/proc/meminfo: memFree=27291348/32770624 swapFree=5956/179600
[pid=9915] ppid=9912 vsize=4647428 CPUtime=522.08 cores=0,2,4,6,8,10,12,14
/proc/9915/stat : 9915 (cosoco) R 9912 9915 9853 0 -1 4202496 4326748 0 0 0 51915 293 0 0 20 0 1 0 84640 4758966272 1144160 33554432000 4194304 5970956 140722012731168 140722012728136 4964386 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29167616 140722012738748 140722012738883 140722012738883 140722012741582 0
/proc/9915/statm: 1161857 1144160 839 434 0 1155221 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 4647428

[startup+582.3 s]
/proc/loadavg: 2.00 1.73 0.98 3/246 9936
/proc/meminfo: memFree=27285872/32770624 swapFree=5956/179620
[pid=9915] ppid=9912 vsize=4651256 CPUtime=582.04 cores=0,2,4,6,8,10,12,14
/proc/9915/stat : 9915 (cosoco) R 9912 9915 9853 0 -1 4202496 4621846 0 0 0 57897 307 0 0 20 0 1 0 84640 4762886144 1145124 33554432000 4194304 5970956 140722012731168 140722012728136 4964386 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29167616 140722012738748 140722012738883 140722012738883 140722012741582 0
/proc/9915/statm: 1162814 1145124 839 434 0 1156178 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 4651256


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


[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.62 3/245 9984
/proc/meminfo: memFree=27083432/32770624 swapFree=5956/180096
[pid=9915] ppid=9912 vsize=4854272 CPUtime=1481.56 cores=0,2,4,6,8,10,12,14
/proc/9915/stat : 9915 (cosoco) R 9912 9915 9853 0 -1 4202496 8458010 0 0 0 147652 504 0 0 20 0 1 0 84640 4970774528 1195914 33554432000 4194304 5970956 140722012731168 140722012728136 4964366 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29167616 140722012738748 140722012738883 140722012738883 140722012741582 0
/proc/9915/statm: 1213568 1195914 840 434 0 1206932 0
Current children cumulated CPU time (s) 1481.56
Current children cumulated vsize (KiB) 4854272

[startup+1542.31 s]
/proc/loadavg: 2.00 1.99 1.64 3/245 9985
/proc/meminfo: memFree=27081488/32770624 swapFree=5956/180096
[pid=9915] ppid=9912 vsize=4855856 CPUtime=1541.55 cores=0,2,4,6,8,10,12,14
/proc/9915/stat : 9915 (cosoco) R 9912 9915 9853 0 -1 4202496 8726739 0 0 0 153638 517 0 0 20 0 1 0 84640 4972396544 1196308 33554432000 4194304 5970956 140722012731168 140722012728136 4964477 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29167616 140722012738748 140722012738883 140722012738883 140722012741582 0
/proc/9915/statm: 1213964 1196308 840 434 0 1207328 0
Current children cumulated CPU time (s) 1541.55
Current children cumulated vsize (KiB) 4855856

[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.67 3/245 9986
/proc/meminfo: memFree=27079448/32770624 swapFree=5956/180144
[pid=9915] ppid=9912 vsize=4858364 CPUtime=1601.52 cores=0,2,4,6,8,10,12,14
/proc/9915/stat : 9915 (cosoco) R 9912 9915 9853 0 -1 4202496 9003405 0 0 0 159621 531 0 0 20 0 1 0 84640 4974964736 1196948 33554432000 4194304 5970956 140722012731168 140722012728136 5069728 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29167616 140722012738748 140722012738883 140722012738883 140722012741582 0
/proc/9915/statm: 1214591 1196948 840 434 0 1207955 0
Current children cumulated CPU time (s) 1601.52
Current children cumulated vsize (KiB) 4858364

[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.69 3/246 9995
/proc/meminfo: memFree=27074788/32770624 swapFree=5956/180180
[pid=9915] ppid=9912 vsize=4863644 CPUtime=1661.48 cores=0,2,4,6,8,10,12,14
/proc/9915/stat : 9915 (cosoco) R 9912 9915 9853 0 -1 4202496 9259523 0 0 0 165604 544 0 0 20 0 1 0 84640 4980371456 1198248 33554432000 4194304 5970956 140722012731168 140722012728136 5070304 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29167616 140722012738748 140722012738883 140722012738883 140722012741582 0
/proc/9915/statm: 1215911 1198248 840 434 0 1209275 0
Current children cumulated CPU time (s) 1661.48
Current children cumulated vsize (KiB) 4863644

[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.70 3/246 9996
/proc/meminfo: memFree=27069232/32770624 swapFree=5956/180180
[pid=9915] ppid=9912 vsize=4868660 CPUtime=1721.45 cores=0,2,4,6,8,10,12,14
/proc/9915/stat : 9915 (cosoco) R 9912 9915 9853 0 -1 4202496 9501913 0 0 0 171590 555 0 0 20 0 1 0 84640 4985507840 1199502 33554432000 4194304 5970956 140722012731168 140722012728136 4964366 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29167616 140722012738748 140722012738883 140722012738883 140722012741582 0
/proc/9915/statm: 1217165 1199502 840 434 0 1210529 0
Current children cumulated CPU time (s) 1721.45
Current children cumulated vsize (KiB) 4868660

[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.72 3/246 9997
/proc/meminfo: memFree=27065316/32770624 swapFree=5956/180256
[pid=9915] ppid=9912 vsize=4872752 CPUtime=1781.43 cores=0,2,4,6,8,10,12,14
/proc/9915/stat : 9915 (cosoco) R 9912 9915 9853 0 -1 4202496 9757642 0 0 0 177575 568 0 0 20 0 1 0 84640 4989698048 1200532 33554432000 4194304 5970956 140722012731168 140722012728136 4964366 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29167616 140722012738748 140722012738883 140722012738883 140722012741582 0
/proc/9915/statm: 1218188 1200532 840 434 0 1211552 0
Current children cumulated CPU time (s) 1781.43
Current children cumulated vsize (KiB) 4872752

[startup+1842.3 s]
/proc/loadavg: 2.08 2.00 1.75 3/246 9998
/proc/meminfo: memFree=27061116/32770624 swapFree=5956/180256
[pid=9915] ppid=9912 vsize=4876184 CPUtime=1841.4 cores=0,2,4,6,8,10,12,14
/proc/9915/stat : 9915 (cosoco) R 9912 9915 9853 0 -1 4202496 9885953 0 0 0 183565 575 0 0 20 0 1 0 84640 4993212416 1201395 33554432000 4194304 5970956 140722012731168 140722012728136 4961411 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29167616 140722012738748 140722012738883 140722012738883 140722012741582 0
/proc/9915/statm: 1219046 1201395 840 434 0 1212410 0
Current children cumulated CPU time (s) 1841.4
Current children cumulated vsize (KiB) 4876184

[startup+1902.3 s]
/proc/loadavg: 2.03 2.00 1.76 3/246 9999
/proc/meminfo: memFree=27060972/32770624 swapFree=5956/180308
[pid=9915] ppid=9912 vsize=4876184 CPUtime=1901.38 cores=0,2,4,6,8,10,12,14
/proc/9915/stat : 9915 (cosoco) R 9912 9915 9853 0 -1 4202496 9956046 0 0 0 189560 578 0 0 20 0 1 0 84640 4993212416 1201410 33554432000 4194304 5970956 140722012731168 140722012728136 4964477 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29167616 140722012738748 140722012738883 140722012738883 140722012741582 0
/proc/9915/statm: 1219046 1201410 840 434 0 1212410 0
Current children cumulated CPU time (s) 1901.38
Current children cumulated vsize (KiB) 4876184

[startup+1962.3 s]
/proc/loadavg: 2.01 2.00 1.78 3/245 10000
/proc/meminfo: memFree=27056328/32770624 swapFree=5956/180344
[pid=9915] ppid=9912 vsize=4881464 CPUtime=1961.35 cores=0,2,4,6,8,10,12,14
/proc/9915/stat : 9915 (cosoco) R 9912 9915 9853 0 -1 4202496 10272677 0 0 0 195542 593 0 0 20 0 1 0 84640 4998619136 1202702 33554432000 4194304 5970956 140722012731168 140722012728136 4968237 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29167616 140722012738748 140722012738883 140722012738883 140722012741582 0
/proc/9915/statm: 1220366 1202702 840 434 0 1213730 0
Current children cumulated CPU time (s) 1961.35
Current children cumulated vsize (KiB) 4881464

[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 1.79 3/245 10001
/proc/meminfo: memFree=27055652/32770624 swapFree=5956/180372
[pid=9915] ppid=9912 vsize=4881992 CPUtime=2021.33 cores=0,2,4,6,8,10,12,14
/proc/9915/stat : 9915 (cosoco) R 9912 9915 9853 0 -1 4202496 10527725 0 0 0 201527 606 0 0 20 0 1 0 84640 4999159808 1202861 33554432000 4194304 5970956 140722012731168 140722012728136 5070322 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29167616 140722012738748 140722012738883 140722012738883 140722012741582 0
/proc/9915/statm: 1220498 1202861 840 434 0 1213862 0
Current children cumulated CPU time (s) 2021.33
Current children cumulated vsize (KiB) 4881992

[startup+2082.3 s]
/proc/loadavg: 2.00 2.00 1.80 3/245 10002
/proc/meminfo: memFree=27055648/32770624 swapFree=5956/180396
[pid=9915] ppid=9912 vsize=4882388 CPUtime=2081.31 cores=0,2,4,6,8,10,12,14
/proc/9915/stat : 9915 (cosoco) R 9912 9915 9853 0 -1 4202496 10729098 0 0 0 207514 617 0 0 20 0 1 0 84640 4999565312 1202957 33554432000 4194304 5970956 140722012731168 140722012728136 4908486 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29167616 140722012738748 140722012738883 140722012738883 140722012741582 0
/proc/9915/statm: 1220597 1202957 840 434 0 1213961 0
Current children cumulated CPU time (s) 2081.31
Current children cumulated vsize (KiB) 4882388

[startup+2142.3 s]
/proc/loadavg: 2.06 2.02 1.82 3/245 10003
/proc/meminfo: memFree=27054560/32770624 swapFree=5956/180424
[pid=9915] ppid=9912 vsize=4883312 CPUtime=2141.27 cores=0,2,4,6,8,10,12,14
/proc/9915/stat : 9915 (cosoco) R 9912 9915 9853 0 -1 4202496 10927596 0 0 0 213501 626 0 0 20 0 1 0 84640 5000511488 1203191 33554432000 4194304 5970956 140722012731168 140722012728136 4908971 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29167616 140722012738748 140722012738883 140722012738883 140722012741582 0
/proc/9915/statm: 1220828 1203191 840 434 0 1214192 0
Current children cumulated CPU time (s) 2141.27
Current children cumulated vsize (KiB) 4883312

[startup+2202.31 s]
/proc/loadavg: 2.02 2.01 1.83 3/245 10004
/proc/meminfo: memFree=27055268/32770624 swapFree=5956/180452
[pid=9915] ppid=9912 vsize=4883840 CPUtime=2201.25 cores=0,2,4,6,8,10,12,14
/proc/9915/stat : 9915 (cosoco) R 9912 9915 9853 0 -1 4202496 11113798 0 0 0 219490 635 0 0 20 0 1 0 84640 5001052160 1203315 33554432000 4194304 5970956 140722012731168 140722012728136 4964389 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29167616 140722012738748 140722012738883 140722012738883 140722012741582 0
/proc/9915/statm: 1220960 1203315 840 434 0 1214324 0
Current children cumulated CPU time (s) 2201.25
Current children cumulated vsize (KiB) 4883840

[startup+2262.3 s]
/proc/loadavg: 2.05 2.03 1.85 3/245 10012
/proc/meminfo: memFree=27046440/32770624 swapFree=5956/180484
[pid=9915] ppid=9912 vsize=4891364 CPUtime=2261.22 cores=0,2,4,6,8,10,12,14
/proc/9915/stat : 9915 (cosoco) R 9912 9915 9853 0 -1 4202496 11290356 0 0 0 225477 645 0 0 20 0 1 0 84640 5008756736 1205203 33554432000 4194304 5970956 140722012731168 140722012728136 4964389 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29167616 140722012738748 140722012738883 140722012738883 140722012741582 0
/proc/9915/statm: 1222841 1205203 840 434 0 1216205 0
Current children cumulated CPU time (s) 2261.22
Current children cumulated vsize (KiB) 4891364

[startup+2322.3 s]
/proc/loadavg: 2.05 2.04 1.86 3/245 10013
/proc/meminfo: memFree=27046132/32770624 swapFree=5956/180484
[pid=9915] ppid=9912 vsize=4891496 CPUtime=2321.2 cores=0,2,4,6,8,10,12,14
/proc/9915/stat : 9915 (cosoco) R 9912 9915 9853 0 -1 4202496 11468385 0 0 0 231468 652 0 0 20 0 1 0 84640 5008891904 1205243 33554432000 4194304 5970956 140722012731168 140722012728136 4964400 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29167616 140722012738748 140722012738883 140722012738883 140722012741582 0
/proc/9915/statm: 1222874 1205243 840 434 0 1216238 0
Current children cumulated CPU time (s) 2321.2
Current children cumulated vsize (KiB) 4891496

[startup+2382.3 s]
/proc/loadavg: 2.05 2.04 1.88 3/245 10014
/proc/meminfo: memFree=27044868/32770624 swapFree=5956/180548
[pid=9915] ppid=9912 vsize=4892552 CPUtime=2381.17 cores=0,2,4,6,8,10,12,14
/proc/9915/stat : 9915 (cosoco) R 9912 9915 9853 0 -1 4202496 11627783 0 0 0 237456 661 0 0 20 0 1 0 84640 5009973248 1205479 33554432000 4194304 5970956 140722012731168 140722012728136 4908916 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29167616 140722012738748 140722012738883 140722012738883 140722012741582 0
/proc/9915/statm: 1223138 1205479 840 434 0 1216502 0
Current children cumulated CPU time (s) 2381.17
Current children cumulated vsize (KiB) 4892552



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2401.2 s]
/proc/loadavg: 2.04 2.04 1.88 3/245 10014
/proc/meminfo: memFree=27044708/32770624 swapFree=5956/180548
[pid=9915] ppid=9912 vsize=4892552 CPUtime=2400.07 cores=0,2,4,6,8,10,12,14
/proc/9915/stat : 9915 (cosoco) R 9912 9915 9853 0 -1 4202496 11632486 0 0 0 239346 661 0 0 20 0 1 0 84640 5009973248 1205482 33554432000 4194304 5970956 140722012731168 140722012728136 4964389 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 29167616 140722012738748 140722012738883 140722012738883 140722012741582 0
/proc/9915/statm: 1223138 1205482 840 434 0 1216502 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 4892552

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 9915 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 1
Real time (s): 2401.27
CPU time (s): 2400.15
CPU user time (s): 2393.46
CPU system time (s): 6.68589
CPU usage (%): 99.9533
Max. virtual memory (cumulated for all children) (KiB): 4892552

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

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.45965 second user time and 12.4414 second system time

The end

Launcher Data 

Begin job on node135 at 2017-07-21 16:42:57
IDJOB=4241218
IDBENCH=126248
IDSOLVER=2621
FILE ID=node135/4241218-1500648176
RUNJOBID= node135-1500648174-9884
PBS_JOBID= 20623285
Free space on /tmp= 61844 MiB

SOLVER NAME= cosoco-sat 1.1
BENCH NAME= XCSP17/GolombRuler/GolombRuler-a4-s1/GolombRuler-23-a4.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4241218-1500648176/watcher-4241218-1500648176 -o /tmp/evaluation-result-4241218-1500648176/solver-4241218-1500648176 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1500648174-9884 --watchdog 2560  HOME/cosoco -lc -model -restarts -sat HOME/instance-4241218-1500648176.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= 85d0173ff868c492d6a47734653fba18
RANDOM SEED=195319193

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

/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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.46
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.46
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.46
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.46
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        32082432 kB
MemAvailable:   32029324 kB
Buffers:           28824 kB
Cached:           229436 kB
SwapCached:            0 kB
Active:           129364 kB
Inactive:         180812 kB
Active(anon):      55528 kB
Inactive(anon):     8560 kB
Active(file):      73836 kB
Inactive(file):   172252 kB
Unevictable:        5956 kB
Mlocked:            5956 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              6088 kB
Writeback:             0 kB
AnonPages:         57876 kB
Mapped:            31100 kB
Shmem:              8872 kB
Slab:              64500 kB
SReclaimable:      33280 kB
SUnreclaim:        31220 kB
KernelStack:        4128 kB
PageTables:         4744 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     328052 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 61840 MiB
End job on node135 at 2017-07-21 17:22:58