Trace number 4295927

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 NameAnswerCPU timeWall clock time
cosoco 1.12? (TO) 2519.8 2520.01

General information on the benchmark

NameQuasigroups/
QuasiGroup-4-16_c18.xml
MD5SUMe7fed86d91a4783730bc3bb5ac61f990
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables512
Number of constraints482
Number of domains2
Minimum domain size16
Maximum domain size256
Distribution of domain sizes[{"size":16,"count":256},{"size":256,"count":240}]
Minimum variable degree0
Maximum variable degree243
Distribution of variable degrees[{"degree":0,"count":16},{"degree":2,"count":240},{"degree":242,"count":16},{"degree":243,"count":240}]
Minimum constraint arity3
Maximum constraint arity257
Distribution of constraint arities[{"arity":3,"count":240},{"arity":16,"count":1},{"arity":256,"count":1},{"arity":257,"count":240}]
Number of extensional constraints0
Number of intensional constraints240
Distribution of constraint types[{"type":"intension","count":240},{"type":"allDifferent","count":1},{"type":"instantiation","count":1},{"type":"element","count":240}]
Optimization problemNO
Type of objective

Solver Data 

0.10/0.14	c root propagations     : 4640        
0.10/0.14	c restarts enabled, print stats at every restarts
0.10/0.14	c
0.10/0.14	c
0.10/0.14	c
0.10/0.14	c This is cosoco 1.12 --  
0.10/0.14	c
0.10/0.14	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4295927-1532594282.xml 
0.10/0.14	c ========================================[ Problem Statistics ]===========================================
0.10/0.14	c |                                                                                                       
0.10/0.14	c |  Parse time        :         0.12 s 
0.10/0.14	c |
0.10/0.14	c |               Variables: 512
0.10/0.14	c |            Domain Sizes: 16..256
0.10/0.14	c |
0.10/0.14	c |             Constraints: 528
0.10/0.14	c |                   Arity: 1..257  -- Unary: 16  -- Ternary: 240
0.10/0.14	c | 
0.10/0.14	c |                   Types: 
0.10/0.14	c |                          All Different: 32
0.10/0.14	c |                          Element Constant: 240
0.10/0.14	c |                          Intension: 240
0.10/0.14	c |                          Unary: 16
0.10/0.14	c |                          
0.10/0.14	c =========================================================================================================
0.10/0.14	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.10/0.14	c remove useless variable y[0][0]
0.10/0.14	c remove useless variable y[1][1]
0.10/0.14	c remove useless variable y[2][2]
0.10/0.14	c remove useless variable y[3][3]
0.10/0.14	c remove useless variable y[4][4]
0.10/0.14	c remove useless variable y[5][5]
0.10/0.14	c remove useless variable y[6][6]
0.10/0.14	c remove useless variable y[7][7]
0.10/0.14	c remove useless variable y[8][8]
0.10/0.14	c remove useless variable y[9][9]
0.10/0.14	c remove useless variable y[10][10]
0.10/0.14	c remove useless variable y[11][11]
0.10/0.14	c remove useless variable y[12][12]
0.10/0.14	c remove useless variable y[13][13]
0.10/0.14	c remove useless variable y[14][14]
0.10/0.14	c remove useless variable y[15][15]
3.88/3.99	c 101            784            1034180        369491         314            0              213   283   257
7.78/7.86	c 211            1345           1744745        705315         314            0              110   167   123
13.88/13.98	c 332            1958           2995732        1189329        314            0              148   169   153
18.78/18.85	c 465            2704           4392019        1513994        314            0              33   172   155 
25.38/25.47	c 611            3653           6015657        2079969        314            0              140   178   159
32.28/32.35	c 771            4596           7875316        2658702        314            0              93   175   161 
33.88/33.94	c 947            5610           8626850        3026763        314            0              43   86   77   
40.88/40.95	c 1140           6578           10363745       3681283        314            0              115   163   149
49.77/49.83	c 1352           7649           12466554       4376286        314            0              140   170   152
56.37/56.41	c 1585           8942           14291178       5177089        314            0              47   170   142 
69.27/69.36	c 1841           10158          17059152       6104476        314            0              145   165   152
73.57/73.62	c 2122           11264          18331491       6609994        314            0              72   150   108 
80.86/81.00	c 2431           12860          20018336       7184233        314            0              56   145   124 
89.07/89.11	c 2770           14655          22034423       8073942        314            0              53   156   129 
106.76/106.86	c 3142           17054          26156965       9551584        314            0              78   163   145 
123.97/124.02	c 3551           19285          30540198       10836223       314            0              66   176   156 
140.86/140.94	c 4000           21720          35137427       12168775       314            0              144   175   156
160.26/160.38	c 4493           24168          39815286       13776744       314            0              43   179   157 
179.16/179.20	c 5035           27231          45113040       15663411       314            0              42   171   149 
203.15/203.27	c 5631           30406          51785479       17631319       314            0              114   176   158
226.45/226.57	c 6286           33456          58088436       19693809       314            0              56   170   157 
259.75/259.89	c 7006           37352          66359538       22948085       314            0              136   175   154
292.35/292.40	c 7798           41759          75381412       25473681       314            0              114   179   161
331.64/331.78	c 8669           46394          84280630       28850148       314            0              136   175   151
363.24/363.30	c 9627           51137          92490933       31817030       314            0              111   171   152
408.34/408.48	c 10680          56395          102587775      35170333       314            0              137   173   155
456.23/456.34	c 11838          62124          114925823      39088611       314            0              139   175   155
511.94/512.04	c 13111          68282          127248481      43499728       314            0              135   169   148
559.43/559.59	c 14511          75513          140413452      48151987       314            0              132   179   156
621.03/621.19	c 16051          83729          155221987      53984526       314            0              119   178   148
676.52/676.65	c 17745          91655          169464625      58925579       314            0              144   182   162
722.61/722.72	c 19608          99055          179987401      62996715       314            0              72   160   143 
768.41/768.56	c 21657          108989         190608420      66649392       314            0              64   162   130 
858.01/858.13	c 23910          118826         211364060      75403423       314            0              135   168   149
946.20/946.35	c 26388          131413         235647512      82918632       314            0              107   182   159
1050.39/1050.50	c 29113          147794         264417178      91181411       314            0              136   183   164
1169.48/1169.61	c 32110          164111         296236116      102244650      314            0              33   183   154 
1329.47/1329.66	c 35406          179933         331033612      114634648      314            0              140   180   157
1464.55/1464.79	c 39031          196813         365842848      125771966      314            0              37   178   156 
1571.05/1571.29	c 43018          217853         401716346      135748912      314            0              36   184   167 
1759.53/1759.73	c 47403          238646         446420216      150545517      314            0              142   182   159
1936.73/1936.99	c 52226          260604         490701479      166175488      314            0              136   178   153
2162.61/2162.87	c 57531          286396         544216731      185302300      314            0              117   181   159
2385.99/2386.20	c 63366          319762         597392666      200208502      314            0              111   177   151
2519.79/2520.00	
2519.79/2520.00	c *** INTERRUPTED ***
2519.79/2520.00	c restarts              : 44          
2519.79/2520.00	c conflicts             : 66943        (27 /sec)
2519.79/2520.00	c decisions             : 336354       (133 /sec)
2519.79/2520.00	c propagations          : 211811184   (84060 /sec)
2519.79/2520.00	c root propagations     : 4640        
2519.79/2520.00	c filter calls          : 631503064      (250621 /sec)
2519.79/2520.00	c useless filter calls  : 569469487      (90 %)
2519.79/2520.00	c Memory used           : 37.01 MB
2519.79/2520.00	c CPU time              : 2519.75 s
2519.79/2520.00	
2519.79/2520.00	s UNKNOWN

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (12513 MiB free)
  memory of node 1: 16384 MiB (10343 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295927-1532594282/watcher-4295927-1532594282 -o /tmp/evaluation-result-4295927-1532594282/solver-4295927-1532594282 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532594282-8246 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4295927-1532594282.xml 

running on 4 cores: 0,2,4,6

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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=8276, runsolver pid=8269
Current StackSize limit: 8192 KiB


[startup+0.100109 s]*
/proc/loadavg: 0.80 1.01 1.26 4/187 8277
/proc/meminfo: memFree=23397972/32770624 swapFree=67108860/67108860
[pid=8276] ppid=8269 vsize=33988 memory=10376 CPUtime=0.1 cores=0,2,4,6
/proc/8276/stat : 8276 (cosoco) R 8269 8276 8215 0 -1 4202496 2756 0 0 0 9 1 0 0 20 0 1 0 76991395 34803712 2594 33554432000 4194304 6142532 140723913930064 140723913926552 140199623244773 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 17231872 140723913933958 140723913934088 140723913934088 140723913936846 0
/proc/8276/statm: 8497 2594 815 476 0 1819 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 33988 KiB
Current children cumulated memory: 10376 KiB

[startup+0.209699 s]*
/proc/loadavg: 0.80 1.01 1.26 4/187 8277
/proc/meminfo: memFree=23396128/32770624 swapFree=67108860/67108860
[pid=8276] ppid=8269 vsize=35304 memory=11956 CPUtime=0.21 cores=0,2,4,6
/proc/8276/stat : 8276 (cosoco) R 8269 8276 8215 0 -1 4202496 3148 0 0 0 20 1 0 0 20 0 1 0 76991395 36151296 2989 33554432000 4194304 6142532 140723913930064 140723913926552 5366734 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 17231872 140723913933958 140723913934088 140723913934088 140723913936846 0
/proc/8276/statm: 8826 2989 854 476 0 2148 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 35304 KiB
Current children cumulated memory: 11956 KiB

[startup+0.309174 s]*
/proc/loadavg: 0.80 1.01 1.26 4/187 8277
/proc/meminfo: memFree=23395864/32770624 swapFree=67108860/67108860
[pid=8276] ppid=8269 vsize=35464 memory=11956 CPUtime=0.31 cores=0,2,4,6
/proc/8276/stat : 8276 (cosoco) R 8269 8276 8215 0 -1 4202496 3172 0 0 0 30 1 0 0 20 0 1 0 76991395 36315136 2989 33554432000 4194304 6142532 140723913930064 140723913926552 140199623244773 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 17231872 140723913933958 140723913934088 140723913934088 140723913936846 0
/proc/8276/statm: 8866 2989 854 476 0 2188 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 35464 KiB
Current children cumulated memory: 11956 KiB

[startup+0.700228 s]
/proc/loadavg: 0.80 1.01 1.26 4/187 8277
/proc/meminfo: memFree=23395120/32770624 swapFree=67108860/67108860
[pid=8276] ppid=8269 vsize=35860 memory=12484 CPUtime=0.69 cores=0,2,4,6
/proc/8276/stat : 8276 (cosoco) R 8269 8276 8215 0 -1 4202496 3283 0 0 0 68 1 0 0 20 0 1 0 76991395 36720640 3121 33554432000 4194304 6142532 140723913930064 140723913926552 140199624168295 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 17231872 140723913933958 140723913934088 140723913934088 140723913936846 0
/proc/8276/statm: 8965 3121 854 476 0 2287 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 35860 KiB
Current children cumulated memory: 12484 KiB

[startup+1.50023 s]
/proc/loadavg: 0.80 1.01 1.26 4/187 8277
/proc/meminfo: memFree=23394944/32770624 swapFree=67108860/67108860
[pid=8276] ppid=8269 vsize=36256 memory=12748 CPUtime=1.49 cores=0,2,4,6
/proc/8276/stat : 8276 (cosoco) R 8269 8276 8215 0 -1 4202496 3367 0 0 0 148 1 0 0 20 0 1 0 76991395 37126144 3187 33554432000 4194304 6142532 140723913930064 140723913926840 5374322 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 17231872 140723913933958 140723913934088 140723913934088 140723913936846 0
/proc/8276/statm: 9064 3187 854 476 0 2386 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 36256 KiB
Current children cumulated memory: 12748 KiB

[startup+3.10906 s]
/proc/loadavg: 0.80 1.01 1.26 4/187 8277
/proc/meminfo: memFree=23394936/32770624 swapFree=67108860/67108860
[pid=8276] ppid=8269 vsize=36256 memory=12856 CPUtime=3.1 cores=0,2,4,6
/proc/8276/stat : 8276 (cosoco) R 8269 8276 8215 0 -1 4202496 5232 0 0 0 309 1 0 0 20 0 1 0 76991395 37126144 3214 33554432000 4194304 6142532 140723913930064 140723913926840 5366776 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 17231872 140723913933958 140723913934088 140723913934088 140723913936846 0
/proc/8276/statm: 9064 3214 854 476 0 2386 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 36256 KiB
Current children cumulated memory: 12856 KiB

[startup+6.30022 s]
/proc/loadavg: 0.90 1.03 1.26 4/187 8277
/proc/meminfo: memFree=23393900/32770624 swapFree=67108860/67108860
[pid=8276] ppid=8269 vsize=36388 memory=12920 CPUtime=6.28 cores=0,2,4,6
/proc/8276/stat : 8276 (cosoco) R 8269 8276 8215 0 -1 4202496 6088 0 0 0 627 1 0 0 20 0 1 0 76991395 37261312 3230 33554432000 4194304 6142532 140723913930064 140723913926840 5363633 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 17231872 140723913933958 140723913934088 140723913934088 140723913936846 0
/proc/8276/statm: 9097 3230 854 476 0 2419 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 36388 KiB
Current children cumulated memory: 12920 KiB

[startup+12.7002 s]
/proc/loadavg: 0.99 1.05 1.27 4/187 8277
/proc/meminfo: memFree=23393820/32770624 swapFree=67108860/67108860
[pid=8276] ppid=8269 vsize=36784 memory=13260 CPUtime=12.68 cores=0,2,4,6
/proc/8276/stat : 8276 (cosoco) R 8269 8276 8215 0 -1 4202496 6991 0 0 0 1267 1 0 0 20 0 1 0 76991395 37666816 3315 33554432000 4194304 6142532 140723913930064 140723913927208 5361726 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 17231872 140723913933958 140723913934088 140723913934088 140723913936846 0
/proc/8276/statm: 9196 3315 854 476 0 2518 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 36784 KiB
Current children cumulated memory: 13260 KiB

[startup+25.5002 s]
/proc/loadavg: 1.14 1.08 1.28 4/187 8277
/proc/meminfo: memFree=23393828/32770624 swapFree=67108860/67108860
[pid=8276] ppid=8269 vsize=36916 memory=13584 CPUtime=25.48 cores=0,2,4,6
/proc/8276/stat : 8276 (cosoco) R 8269 8276 8215 0 -1 4202496 8848 0 0 0 2546 2 0 0 20 0 1 0 76991395 37801984 3396 33554432000 4194304 6142532 140723913930064 140723913927208 5146967 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 17231872 140723913933958 140723913934088 140723913934088 140723913936846 0
/proc/8276/statm: 9229 3396 854 476 0 2551 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 36916 KiB
Current children cumulated memory: 13584 KiB

[startup+51.1092 s]
/proc/loadavg: 2.40 1.37 1.37 4/187 8277
/proc/meminfo: memFree=23394048/32770624 swapFree=67108860/67108860
[pid=8276] ppid=8269 vsize=37312 memory=13796 CPUtime=51.08 cores=0,2,4,6
/proc/8276/stat : 8276 (cosoco) R 8269 8276 8215 0 -1 4202496 9935 0 0 0 5105 3 0 0 20 0 1 0 76991395 38207488 3449 33554432000 4194304 6142532 140723913930064 140723913927464 5371763 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 17231872 140723913933958 140723913934088 140723913934088 140723913936846 0
/proc/8276/statm: 9328 3449 854 476 0 2650 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 37312 KiB
Current children cumulated memory: 13796 KiB

[startup+102.3 s]
/proc/loadavg: 2.60 1.62 1.45 4/187 8278
/proc/meminfo: memFree=23394560/32770624 swapFree=67108860/67108860
[pid=8276] ppid=8269 vsize=37628 memory=14008 CPUtime=102.26 cores=0,2,4,6
/proc/8276/stat : 8276 (cosoco) R 8269 8276 8215 0 -1 4202496 10530 0 0 0 10223 3 0 0 20 0 1 0 76991395 38531072 3502 33554432000 4194304 6142532 140723913930064 140723913927208 5361706 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 17231872 140723913933958 140723913934088 140723913934088 140723913936846 0
/proc/8276/statm: 9407 3502 854 476 0 2729 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 37628 KiB
Current children cumulated memory: 14008 KiB

[startup+162.3 s]
/proc/loadavg: 2.22 1.69 1.49 4/188 8287
/proc/meminfo: memFree=23394624/32770624 swapFree=67108860/67108860
[pid=8276] ppid=8269 vsize=37628 memory=14244 CPUtime=162.26 cores=0,2,4,6
/proc/8276/stat : 8276 (cosoco) R 8269 8276 8215 0 -1 4202496 11135 0 0 0 16223 3 0 0 20 0 1 0 76991395 38531072 3561 33554432000 4194304 6142532 140723913930064 140723913927464 5363644 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 17231872 140723913933958 140723913934088 140723913934088 140723913936846 0
/proc/8276/statm: 9407 3561 854 476 0 2729 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 37628 KiB
Current children cumulated memory: 14244 KiB

[startup+222.3 s]
/proc/loadavg: 2.08 1.74 1.52 4/188 8288
/proc/meminfo: memFree=23394796/32770624 swapFree=67108860/67108860
[pid=8276] ppid=8269 vsize=37760 memory=14268 CPUtime=222.25 cores=0,2,4,6
/proc/8276/stat : 8276 (cosoco) R 8269 8276 8215 0 -1 4202496 11745 0 0 0 22222 3 0 0 20 0 1 0 76991395 38666240 3567 33554432000 4194304 6142532 140723913930064 140723913927464 5371812 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 17231872 140723913933958 140723913934088 140723913934088 140723913936846 0
/proc/8276/statm: 9440 3567 854 476 0 2762 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 37760 KiB
Current children cumulated memory: 14268 KiB

[startup+282.3 s]
/proc/loadavg: 2.03 1.79 1.55 4/188 8289
/proc/meminfo: memFree=23395172/32770624 swapFree=67108860/67108860
[pid=8276] ppid=8269 vsize=37760 memory=14328 CPUtime=282.25 cores=0,2,4,6
/proc/8276/stat : 8276 (cosoco) R 8269 8276 8215 0 -1 4202496 12366 0 0 0 28222 3 0 0 20 0 1 0 76991395 38666240 3582 33554432000 4194304 6142532 140723913930064 140723913927464 5374073 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 17231872 140723913933958 140723913934088 140723913934088 140723913936846 0
/proc/8276/statm: 9440 3582 854 476 0 2762 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 37760 KiB
Current children cumulated memory: 14328 KiB

[startup+342.3 s]
/proc/loadavg: 2.01 1.83 1.58 4/188 8290
/proc/meminfo: memFree=23394972/32770624 swapFree=67108860/67108860
[pid=8276] ppid=8269 vsize=37760 memory=14364 CPUtime=342.24 cores=0,2,4,6
/proc/8276/stat : 8276 (cosoco) R 8269 8276 8215 0 -1 4202496 12993 0 0 0 34221 3 0 0 20 0 1 0 76991395 38666240 3591 33554432000 4194304 6142532 140723913930064 140723913927464 5367165 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 17231872 140723913933958 140723913934088 140723913934088 140723913936846 0
/proc/8276/statm: 9440 3591 854 476 0 2762 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 37760 KiB
Current children cumulated memory: 14364 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 1.86 1.60 4/188 8291
/proc/meminfo: memFree=23394904/32770624 swapFree=67108860/67108860
[pid=8276] ppid=8269 vsize=37760 memory=14376 CPUtime=402.24 cores=0,2,4,6
/proc/8276/stat : 8276 (cosoco) R 8269 8276 8215 0 -1 4202496 13623 0 0 0 40221 3 0 0 20 0 1 0 76991395 38666240 3594 33554432000 4194304 6142532 140723913930064 140723913927464 140199624169008 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 17231872 140723913933958 140723913934088 140723913934088 140723913936846 0
/proc/8276/statm: 9440 3594 854 476 0 2762 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 37760 KiB
Current children cumulated memory: 14376 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 1.88 1.63 4/187 8292
/proc/meminfo: memFree=23394872/32770624 swapFree=67108860/67108860
[pid=8276] ppid=8269 vsize=37892 memory=14412 CPUtime=462.23 cores=0,2,4,6
/proc/8276/stat : 8276 (cosoco) R 8269 8276 8215 0 -1 4202496 14264 0 0 0 46220 3 0 0 20 0 1 0 76991395 38801408 3603 33554432000 4194304 6142532 140723913930064 140723913927464 5363660 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 17231872 140723913933958 140723913934088 140723913934088 140723913936846 0
/proc/8276/statm: 9473 3603 854 476 0 2795 0
Current children cumulated CPU time: 462.23 s
Current children cumulated vsize: 37892 KiB
Current children cumulated memory: 14412 KiB


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

/proc/8276/statm: 9473 3628 854 476 0 2795 0
Current children cumulated CPU time: 1722.13 s
Current children cumulated vsize: 37892 KiB
Current children cumulated memory: 14512 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.91 4/187 8355
/proc/meminfo: memFree=23392708/32770624 swapFree=67108860/67108860
[pid=8276] ppid=8269 vsize=37892 memory=14512 CPUtime=1782.13 cores=0,2,4,6
/proc/8276/stat : 8276 (cosoco) R 8269 8276 8215 0 -1 4202496 28314 0 0 0 178210 3 0 0 20 0 1 0 76991395 38801408 3628 33554432000 4194304 6142532 140723913930064 140723913927464 140199624168295 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 17231872 140723913933958 140723913934088 140723913934088 140723913936846 0
/proc/8276/statm: 9473 3628 854 476 0 2795 0
Current children cumulated CPU time: 1782.13 s
Current children cumulated vsize: 37892 KiB
Current children cumulated memory: 14512 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.92 5/187 8356
/proc/meminfo: memFree=23392660/32770624 swapFree=67108860/67108860
[pid=8276] ppid=8269 vsize=37892 memory=14516 CPUtime=1842.12 cores=0,2,4,6
/proc/8276/stat : 8276 (cosoco) R 8269 8276 8215 0 -1 4202496 28938 0 0 0 184209 3 0 0 20 0 1 0 76991395 38801408 3629 33554432000 4194304 6142532 140723913930064 140723913927464 5371734 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 17231872 140723913933958 140723913934088 140723913934088 140723913936846 0
/proc/8276/statm: 9473 3629 854 476 0 2795 0
Current children cumulated CPU time: 1842.12 s
Current children cumulated vsize: 37892 KiB
Current children cumulated memory: 14516 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.93 4/187 8357
/proc/meminfo: memFree=23392856/32770624 swapFree=67108860/67108860
[pid=8276] ppid=8269 vsize=37892 memory=14516 CPUtime=1902.13 cores=0,2,4,6
/proc/8276/stat : 8276 (cosoco) R 8269 8276 8215 0 -1 4202496 29559 0 0 0 190209 4 0 0 20 0 1 0 76991395 38801408 3629 33554432000 4194304 6142532 140723913930064 140723913927464 5374322 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 17231872 140723913933958 140723913934088 140723913934088 140723913936846 0
/proc/8276/statm: 9473 3629 854 476 0 2795 0
Current children cumulated CPU time: 1902.13 s
Current children cumulated vsize: 37892 KiB
Current children cumulated memory: 14516 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.93 4/188 8366
/proc/meminfo: memFree=23393132/32770624 swapFree=67108860/67108860
[pid=8276] ppid=8269 vsize=37892 memory=14516 CPUtime=1962.12 cores=0,2,4,6
/proc/8276/stat : 8276 (cosoco) R 8269 8276 8215 0 -1 4202496 30218 0 0 0 196208 4 0 0 20 0 1 0 76991395 38801408 3629 33554432000 4194304 6142532 140723913930064 140723913927464 5371726 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 17231872 140723913933958 140723913934088 140723913934088 140723913936846 0
/proc/8276/statm: 9473 3629 854 476 0 2795 0
Current children cumulated CPU time: 1962.12 s
Current children cumulated vsize: 37892 KiB
Current children cumulated memory: 14516 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.94 4/188 8367
/proc/meminfo: memFree=23393212/32770624 swapFree=67108860/67108860
[pid=8276] ppid=8269 vsize=37892 memory=14516 CPUtime=2022.12 cores=0,2,4,6
/proc/8276/stat : 8276 (cosoco) R 8269 8276 8215 0 -1 4202496 30840 0 0 0 202208 4 0 0 20 0 1 0 76991395 38801408 3629 33554432000 4194304 6142532 140723913930064 140723913927464 5366694 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 17231872 140723913933958 140723913934088 140723913934088 140723913936846 0
/proc/8276/statm: 9473 3629 854 476 0 2795 0
Current children cumulated CPU time: 2022.12 s
Current children cumulated vsize: 37892 KiB
Current children cumulated memory: 14516 KiB

[startup+2082.3 s]
/proc/loadavg: 2.04 2.03 1.95 4/188 8368
/proc/meminfo: memFree=23393472/32770624 swapFree=67108860/67108860
[pid=8276] ppid=8269 vsize=37892 memory=14516 CPUtime=2082.11 cores=0,2,4,6
/proc/8276/stat : 8276 (cosoco) R 8269 8276 8215 0 -1 4202496 31462 0 0 0 208207 4 0 0 20 0 1 0 76991395 38801408 3629 33554432000 4194304 6142532 140723913930064 140723913927464 5371763 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 17231872 140723913933958 140723913934088 140723913934088 140723913936846 0
/proc/8276/statm: 9473 3629 854 476 0 2795 0
Current children cumulated CPU time: 2082.11 s
Current children cumulated vsize: 37892 KiB
Current children cumulated memory: 14516 KiB

[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 1.95 4/188 8369
/proc/meminfo: memFree=23393544/32770624 swapFree=67108860/67108860
[pid=8276] ppid=8269 vsize=37892 memory=14516 CPUtime=2142.11 cores=0,2,4,6
/proc/8276/stat : 8276 (cosoco) R 8269 8276 8215 0 -1 4202496 32085 0 0 0 214207 4 0 0 20 0 1 0 76991395 38801408 3629 33554432000 4194304 6142532 140723913930064 140723913927464 5361726 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 17231872 140723913933958 140723913934088 140723913934088 140723913936846 0
/proc/8276/statm: 9473 3629 854 476 0 2795 0
Current children cumulated CPU time: 2142.11 s
Current children cumulated vsize: 37892 KiB
Current children cumulated memory: 14516 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/188 8370
/proc/meminfo: memFree=23393476/32770624 swapFree=67108860/67108860
[pid=8276] ppid=8269 vsize=37892 memory=14516 CPUtime=2202.1 cores=0,2,4,6
/proc/8276/stat : 8276 (cosoco) R 8269 8276 8215 0 -1 4202496 32744 0 0 0 220206 4 0 0 20 0 1 0 76991395 38801408 3629 33554432000 4194304 6142532 140723913930064 140723913927464 5366776 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 17231872 140723913933958 140723913934088 140723913934088 140723913936846 0
/proc/8276/statm: 9473 3629 854 476 0 2795 0
Current children cumulated CPU time: 2202.1 s
Current children cumulated vsize: 37892 KiB
Current children cumulated memory: 14516 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/187 8371
/proc/meminfo: memFree=23393424/32770624 swapFree=67108860/67108860
[pid=8276] ppid=8269 vsize=37892 memory=14516 CPUtime=2262.1 cores=0,2,4,6
/proc/8276/stat : 8276 (cosoco) R 8269 8276 8215 0 -1 4202496 33364 0 0 0 226206 4 0 0 20 0 1 0 76991395 38801408 3629 33554432000 4194304 6142532 140723913930064 140723913927464 140199624169022 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 17231872 140723913933958 140723913934088 140723913934088 140723913936846 0
/proc/8276/statm: 9473 3629 854 476 0 2795 0
Current children cumulated CPU time: 2262.1 s
Current children cumulated vsize: 37892 KiB
Current children cumulated memory: 14516 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.95 5/187 8372
/proc/meminfo: memFree=23393600/32770624 swapFree=67108860/67108860
[pid=8276] ppid=8269 vsize=37892 memory=14520 CPUtime=2322.09 cores=0,2,4,6
/proc/8276/stat : 8276 (cosoco) R 8269 8276 8215 0 -1 4202496 33986 0 0 0 232205 4 0 0 20 0 1 0 76991395 38801408 3630 33554432000 4194304 6142532 140723913930064 140723913927464 5374350 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 17231872 140723913933958 140723913934088 140723913934088 140723913936846 0
/proc/8276/statm: 9473 3630 854 476 0 2795 0
Current children cumulated CPU time: 2322.09 s
Current children cumulated vsize: 37892 KiB
Current children cumulated memory: 14520 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/187 8373
/proc/meminfo: memFree=23393408/32770624 swapFree=67108860/67108860
[pid=8276] ppid=8269 vsize=37892 memory=14520 CPUtime=2382.09 cores=0,2,4,6
/proc/8276/stat : 8276 (cosoco) R 8269 8276 8215 0 -1 4202496 34610 0 0 0 238205 4 0 0 20 0 1 0 76991395 38801408 3630 33554432000 4194304 6142532 140723913930064 140723913927464 5398810 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 17231872 140723913933958 140723913934088 140723913934088 140723913936846 0
/proc/8276/statm: 9473 3630 854 476 0 2795 0
Current children cumulated CPU time: 2382.09 s
Current children cumulated vsize: 37892 KiB
Current children cumulated memory: 14520 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/187 8374
/proc/meminfo: memFree=23393600/32770624 swapFree=67108860/67108860
[pid=8276] ppid=8269 vsize=37892 memory=14520 CPUtime=2442.09 cores=0,2,4,6
/proc/8276/stat : 8276 (cosoco) R 8269 8276 8215 0 -1 4202496 35272 0 0 0 244205 4 0 0 20 0 1 0 76991395 38801408 3630 33554432000 4194304 6142532 140723913930064 140723913927464 140199624165264 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 17231872 140723913933958 140723913934088 140723913934088 140723913936846 0
/proc/8276/statm: 9473 3630 854 476 0 2795 0
Current children cumulated CPU time: 2442.09 s
Current children cumulated vsize: 37892 KiB
Current children cumulated memory: 14520 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/187 8375
/proc/meminfo: memFree=23393784/32770624 swapFree=67108860/67108860
[pid=8276] ppid=8269 vsize=37892 memory=14520 CPUtime=2502.08 cores=0,2,4,6
/proc/8276/stat : 8276 (cosoco) R 8269 8276 8215 0 -1 4202496 35899 0 0 0 250204 4 0 0 20 0 1 0 76991395 38801408 3630 33554432000 4194304 6142532 140723913930064 140723913927464 4964544 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 17231872 140723913933958 140723913934088 140723913934088 140723913936846 0
/proc/8276/statm: 9473 3630 854 476 0 2795 0
Current children cumulated CPU time: 2502.08 s
Current children cumulated vsize: 37892 KiB
Current children cumulated memory: 14520 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 1.95 4/188 8383
/proc/meminfo: memFree=23392124/32770624 swapFree=67108860/67108860
[pid=8276] ppid=8269 vsize=37892 memory=14520 CPUtime=2519.79 cores=0,2,4,6
/proc/8276/stat : 8276 (cosoco) R 8269 8276 8215 0 -1 4202496 36521 0 0 0 251975 4 0 0 20 0 1 0 76991395 38801408 3630 33554432000 4194304 6142532 140723913930064 140723913927464 5374073 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 17231872 140723913933958 140723913934088 140723913934088 140723913936846 0
/proc/8276/statm: 9473 3630 854 476 0 2795 0
Current children cumulated CPU time: 2519.79 s
Current children cumulated vsize: 37892 KiB
Current children cumulated memory: 14520 KiB

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

[startup+2520.01 s]
# the end of solver process 8276 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.75 s, system=0.045996 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 1
Real time (s): 2520.01
CPU time (s): 2519.8
CPU user time (s): 2519.75
CPU system time (s): 0.045996
CPU usage (%): 99.9916
Max. virtual memory (cumulated for all children) (KiB): 37892
Max. memory (cumulated for all children) (KiB): 14520

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


# summary of solver processes directly reported to runsolver:
#   pid: 8276
#   total CPU time (s): 2519.8
#   total CPU user time (s): 2519.75
#   total CPU system time (s): 0.045996

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.59032 second user time and 16.4933 second system time

The end

Launcher Data 

Begin job on node151 at 2018-07-26 10:38:02
IDJOB=4295927
IDBENCH=141617
IDSOLVER=2752
FILE ID=node151/4295927-1532594282
RUNJOBID= node151-1532594282-8246
PBS_JOBID= 21021971
Free space on /tmp= 54928 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/Quasigroups/QuasiGroup-4-16_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4295927-1532594282/watcher-4295927-1532594282 -o /tmp/evaluation-result-4295927-1532594282/solver-4295927-1532594282 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532594282-8246 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4295927-1532594282.xml

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

MD5SUM BENCH= e7fed86d91a4783730bc3bb5ac61f990
RANDOM SEED=1504858934

node151.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.87
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.87
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.87
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.87
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:        23405804 kB
MemAvailable:   31941780 kB
Buffers:          199672 kB
Cached:          8581156 kB
SwapCached:            0 kB
Active:          1377292 kB
Inactive:        7457560 kB
Active(anon):       5024 kB
Inactive(anon):    77488 kB
Active(file):    1372268 kB
Inactive(file):  7380072 kB
Unevictable:        7824 kB
Mlocked:            7824 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              5468 kB
Writeback:             0 kB
AnonPages:         62344 kB
Mapped:            40244 kB
Shmem:             25224 kB
Slab:             226328 kB
SReclaimable:     198944 kB
SUnreclaim:        27384 kB
KernelStack:        3104 kB
PageTables:         5572 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     326944 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 54924 MiB
End job on node151 at 2018-07-26 11:20:02