Trace number 4295918

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.91 2520.01

General information on the benchmark

NameQuasigroups/
QuasiGroup-7-10_c18.xml
MD5SUM527aaa9849fb01578545f5f3ea53e2c8
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark1431.43
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of constraints182
Number of domains1
Minimum domain size10
Maximum domain size10
Distribution of domain sizes[{"size":10,"count":190}]
Minimum variable degree0
Maximum variable degree21
Distribution of variable degrees[{"degree":0,"count":10},{"degree":2,"count":90},{"degree":20,"count":10},{"degree":21,"count":90}]
Minimum constraint arity10
Maximum constraint arity100
Distribution of constraint arities[{"arity":10,"count":1},{"arity":12,"count":180},{"arity":100,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"allDifferent","count":1},{"type":"instantiation","count":1},{"type":"element","count":180}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.01	c root propagations     : 50          
0.00/0.01	c restarts enabled, print stats at every restarts
0.00/0.01	c
0.00/0.01	c
0.00/0.01	c
0.00/0.01	c This is cosoco 1.12 --  
0.00/0.01	c
0.00/0.01	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4295918-1532594282.xml 
0.00/0.01	c ========================================[ Problem Statistics ]===========================================
0.00/0.01	c |                                                                                                       
0.00/0.01	c |  Parse time        :         0.01 s 
0.00/0.01	c |
0.00/0.01	c |               Variables: 200
0.00/0.01	c |            Domain Sizes: 10..10
0.00/0.01	c |
0.00/0.01	c |             Constraints: 210
0.00/0.01	c |                   Arity: 1..12  -- Unary: 10
0.00/0.01	c | 
0.00/0.01	c |                   Types: 
0.00/0.01	c |                          All Different: 20
0.00/0.01	c |                          Element Variable: 180
0.00/0.01	c |                          Unary: 10
0.00/0.01	c |                          
0.00/0.01	c =========================================================================================================
0.00/0.01	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.01	c remove useless variable y[0][0]
0.00/0.01	c remove useless variable y[1][1]
0.00/0.01	c remove useless variable y[2][2]
0.00/0.01	c remove useless variable y[3][3]
0.00/0.01	c remove useless variable y[4][4]
0.00/0.01	c remove useless variable y[5][5]
0.00/0.01	c remove useless variable y[6][6]
0.00/0.01	c remove useless variable y[7][7]
0.00/0.01	c remove useless variable y[8][8]
0.00/0.01	c remove useless variable y[9][9]
0.00/0.02	c 101            281            24161          11216          44             0              39   58   45   
0.00/0.04	c 211            753            71088          29634          44             0              30   50   39   
0.00/0.05	c 332            1163           110621         45571          44             0              26   46   32   
0.00/0.07	c 465            1784           169812         69572          44             0              25   47   34   
0.00/0.10	c 611            2361           233791         98303          44             0              25   42   35   
0.09/0.13	c 771            2930           296491         128606         44             0              27   48   37   
0.09/0.15	c 947            3505           356613         155517         44             0              26   40   33   
0.09/0.18	c 1140           4216           446700         198866         44             0              27   42   34   
0.09/0.19	c 1352           4743           480001         214862         45             0              1   38   24    
0.20/0.23	c 1585           5492           569857         256628         45             0              28   45   36   
0.20/0.26	c 1841           6365           669327         301417         45             0              30   44   36   
0.20/0.31	c 2122           7334           784459         356803         45             0              23   44   33   
0.30/0.35	c 2431           8411           907488         410271         45             0              29   46   35   
0.30/0.40	c 2770           9601           1039784        471175         45             0              28   44   36   
0.40/0.45	c 3142           10581          1169709        539647         45             0              26   42   33   
0.50/0.53	c 3551           12115          1368705        667425         45             0              20   42   33   
0.50/0.60	c 4000           13701          1560171        755331         45             0              24   45   35   
0.59/0.68	c 4493           15511          1771192        886729         45             0              26   44   34   
0.68/0.75	c 5035           17266          1960138        975477         45             0              22   48   34   
0.78/0.84	c 5631           19033          2199770        1092493        45             0              24   43   34   
0.88/0.94	c 6286           21376          2454081        1211473        45             0              23   45   34   
0.99/1.04	c 7006           23986          2741940        1341002        45             0              27   45   35   
1.09/1.14	c 7798           26565          2994935        1453909        45             0              26   44   34   
1.18/1.26	c 8669           29514          3326093        1605172        45             0              25   45   34   
1.38/1.40	c 9627           32796          3719920        1791905        45             0              25   46   32   
1.38/1.49	c 10680          36086          3948807        1888010        45             0              15   42   25   
1.58/1.68	c 11838          40322          4458245        2099907        45             0              22   44   33   
1.78/1.86	c 13111          44656          4958886        2322661        45             0              21   48   36   
1.99/2.09	c 14511          49183          5572980        2593087        45             0              26   48   34   
2.28/2.37	c 16051          55798          6335013        2937227        45             0              24   46   34   
2.58/2.61	c 17745          61089          6977809        3246340        45             0              26   47   36   
2.78/2.88	c 19608          67127          7712817        3565807        45             0              24   45   33   
3.18/3.20	c 21657          73928          8592568        3956103        45             0              24   46   33   
3.48/3.55	c 23910          82073          9542574        4355584        45             0              24   47   32   
3.88/3.92	c 26388          90087          10566483       4792116        45             0              25   44   32   
4.28/4.31	c 29113          99214          11635956       5243626        45             0              23   46   31   
4.68/4.77	c 32110          109346         12854392       5805214        45             0              25   47   35   
5.18/5.27	c 35406          119976         14202715       6416507        45             0              23   46   32   
5.78/5.85	c 39031          133023         15769188       7079698        45             0              25   49   34   
6.38/6.46	c 43018          147137         17465439       7803322        45             0              24   48   33   
7.09/7.17	c 47403          164077         19376052       8634583        45             0              24   51   35   
7.78/7.89	c 52226          180826         21348432       9528002        45             0              21   49   33   
8.58/8.67	c 57531          198842         23460217       10475390       45             0              21   46   33   
9.48/9.54	c 63366          219022         25817383       11507868       45             0              19   47   34   
10.38/10.42	c 69784          241858         28247055       12510502       45             0              22   46   32   
11.48/11.50	c 76843          267211         31202345       13794234       45             0              21   49   32   
12.38/12.47	c 84607          293931         33844009       14965344       45             0              20   50   35   
13.58/13.65	c 93147          322195         37084570       16427252       45             0              12   49   36   
14.99/15.10	c 102541         355657         41021917       18202703       45             0              23   52   34   
16.58/16.62	c 112874         390849         45135667       20072547       45             0              24   49   34   
18.18/18.23	c 124240         429906         49542245       22097450       45             0              21   46   33   
19.99/20.09	c 136742         474580         54547292       24406417       45             0              19   49   34   
21.99/22.08	c 150494         518578         59998833       26770881       45             0              22   48   31   
24.09/24.12	c 165621         572441         65571181       29281180       45             0              21   51   34   
25.99/26.09	c 182260         625112         70751192       31526553       45             0              15   46   30   
28.68/28.77	c 200562         685543         78075469       34682050       45             0              20   52   33   
31.48/31.51	c 220694         749792         85588555       38039085       45             0              17   49   32   
34.48/34.57	c 242839         821137         93906091       41861212       45             0              20   49   33   
37.68/37.79	c 267198         899802         102714398      45716100       45             0              19   50   32   
41.28/41.30	c 293992         984497         112221278      50391903       45             0              20   51   36   
45.09/45.14	c 323465         1072637        122647353      55144722       45             0              19   49   33   
49.18/49.29	c 355885         1173827        133994719      60190833       45             0              20   52   32   
53.68/53.74	c 391547         1288427        146183443      65515581       45             0              19   49   33   
58.88/58.96	c 430775         1423813        160526736      71757889       45             0              18   49   33   
64.78/64.84	c 473925         1566314        176549582      78996402       45             0              18   50   34   
70.99/71.01	c 521390         1718953        193548643      86417619       45             0              19   51   33   
78.99/79.02	c 573601         1887073        214828772      97293261       45             0              13   49   36   
85.88/86.00	c 631033         2079928        234158693      106079663      45             0              21   51   33   
93.99/94.10	c 694208         2308821        256617108      115847566      45             0              20   50   34   
102.38/102.49	c 763700         2546461        279866029      126334317      45             0              20   51   34   
114.48/114.51	c 840141         2806063        311576788      141630391      45             0              20   52   34   
125.48/125.58	c 924226         3064329        341838301      154787303      45             0              19   49   32   
137.38/137.44	c 1016719        3334590        374074846      169736394      45             0              20   50   33   
151.99/152.00	c 1118461        3681938        413957027      187590324      45             0              17   51   32   
167.58/167.61	c 1230377        4035256        456577557      206106337      45             0              18   49   31   
183.68/183.77	c 1353484        4439352        501156291      225576739      45             0              19   52   33   
202.68/202.70	c 1488901        4888975        552582117      248220966      45             0              17   56   34   
224.78/224.83	c 1637859        5415357        612980663      274173852      45             0              20   54   34   
248.08/248.15	c 1801712        5956365        677879354      301860201      45             0              19   51   34   
271.47/271.50	c 1981950        6572272        742215238      331150314      45             0              19   52   33   
300.87/300.97	c 2180211        7251645        822883107      366169034      45             0              17   50   32   
329.17/329.25	c 2398298        7937287        900445204      400556021      45             0              17   55   32   
362.67/362.74	c 2638193        8708457        992458129      440015603      45             0              17   51   31   
397.47/397.59	c 2902077        9596521        1086775298     482798373      45             0              15   52   33   
437.27/437.37	c 3192349        10532982       1196207401     528804513      45             0              16   51   31   
481.17/481.29	c 3511648        11582460       1317079834     580279619      45             0              17   52   31   
525.36/525.43	c 3862876        12769174       1436916531     636747046      45             0              18   58   38   
581.07/581.12	c 4249226        14068118       1587144337     703991606      45             0              15   53   33   
644.26/644.33	c 4674211        15450365       1760418749     776937213      45             0              17   53   32   
708.86/708.97	c 5141694        17111052       1937428744     853020567      45             0              16   53   33   
780.55/780.63	c 5655925        18772410       2133811782     937251952      45             0              16   52   32   
861.35/861.43	c 6221579        20813955       2354169171     1032487570     45             0              15   54   33   
942.25/942.39	c 6843798        22931341       2577569511     1129082133     45             0              15   53   33   
1036.54/1036.65	c 7528238        25353413       2835024756     1243838406     45             0              16   59   35   
1147.95/1148.05	c 8281122        28093109       3138811061     1374473978     45             0              16   54   32   
1259.04/1259.11	c 9109294        31105698       3440583209     1511403773     45             0              16   57   37   
1390.53/1390.68	c 10020283       34366557       3796910644     1671333538     45             0              14   54   35   
1526.93/1527.06	c 11022370       37802500       4169338979     1837031913     45             0              17   53   34   
1678.03/1678.19	c 12124665       41667567       4580554544     2022284582     45             0              15   55   34   
1847.51/1847.69	c 13337189       45620107       5040203570     2227412591     45             0              16   54   33   
2042.81/2042.94	c 14670965       50208858       5575319242     2453239615     45             0              16   54   31   
2238.01/2238.14	c 16138118       55234977       6112963344     2677161267     45             0              15   54   32   
2440.00/2440.12	c 17751986       60564653       6671647495     2913255963     45             0              15   53   33   
2519.90/2520.00	
2519.90/2520.00	c *** INTERRUPTED ***
2519.90/2520.00	c restarts              : 103         
2519.90/2520.00	c conflicts             : 18337472     (7277 /sec)
2519.90/2520.00	c decisions             : 62391526     (24760 /sec)
2519.90/2520.00	c propagations          : 3005076384  (1192537 /sec)
2519.90/2520.00	c root propagations     : 50          
2519.90/2520.00	c filter calls          : 6891985463     (2735022 /sec)
2519.90/2520.00	c useless filter calls  : 5989475202     (86 %)
2519.90/2520.00	c Memory used           : 27.04 MB
2519.90/2520.00	c CPU time              : 2519.9 s
2519.90/2520.00	
2519.90/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-4295918-1532594282/watcher-4295918-1532594282 -o /tmp/evaluation-result-4295918-1532594282/solver-4295918-1532594282 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532594282-8247 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4295918-1532594282.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=8272, runsolver pid=8268
Current StackSize limit: 8192 KiB


[startup+0.100719 s]*
/proc/loadavg: 0.80 1.01 1.26 4/187 8277
/proc/meminfo: memFree=23397972/32770624 swapFree=67108860/67108860
[pid=8272] ppid=8268 vsize=27688 memory=4200 CPUtime=0.09 cores=1,3,5,7
/proc/8272/stat : 8272 (cosoco) R 8268 8272 8215 0 -1 4202496 1215 0 0 0 9 0 0 0 20 0 1 0 76991395 28352512 1050 33554432000 4194304 6142532 140737383622720 140737383620120 5336759 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11726848 140737383625862 140737383625992 140737383625992 140737383628750 0
/proc/8272/statm: 6922 1050 840 476 0 244 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4200 KiB

[startup+0.209397 s]*
/proc/loadavg: 0.80 1.01 1.26 3/187 8277
/proc/meminfo: memFree=23396128/32770624 swapFree=67108860/67108860
[pid=8272] ppid=8268 vsize=27688 memory=4200 CPUtime=0.2 cores=1,3,5,7
/proc/8272/stat : 8272 (cosoco) R 8268 8272 8215 0 -1 4202496 1215 0 0 0 20 0 0 0 20 0 1 0 76991395 28352512 1050 33554432000 4194304 6142532 140737383622720 140737383620120 5058615 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11726848 140737383625862 140737383625992 140737383625992 140737383628750 0
/proc/8272/statm: 6922 1050 840 476 0 244 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4200 KiB

[startup+0.308876 s]*
/proc/loadavg: 0.80 1.01 1.26 3/187 8277
/proc/meminfo: memFree=23395864/32770624 swapFree=67108860/67108860
[pid=8272] ppid=8268 vsize=27688 memory=4200 CPUtime=0.3 cores=1,3,5,7
/proc/8272/stat : 8272 (cosoco) R 8268 8272 8215 0 -1 4202496 1215 0 0 0 30 0 0 0 20 0 1 0 76991395 28352512 1050 33554432000 4194304 6142532 140737383622720 140737383620120 5084275 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11726848 140737383625862 140737383625992 140737383625992 140737383628750 0
/proc/8272/statm: 6922 1050 840 476 0 244 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4200 KiB

[startup+0.700237 s]
/proc/loadavg: 0.80 1.01 1.26 3/187 8277
/proc/meminfo: memFree=23395120/32770624 swapFree=67108860/67108860
[pid=8272] ppid=8268 vsize=27688 memory=4200 CPUtime=0.68 cores=1,3,5,7
/proc/8272/stat : 8272 (cosoco) R 8268 8272 8215 0 -1 4202496 1215 0 0 0 68 0 0 0 20 0 1 0 76991395 28352512 1050 33554432000 4194304 6142532 140737383622720 140737383620120 5059756 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11726848 140737383625862 140737383625992 140737383625992 140737383628750 0
/proc/8272/statm: 6922 1050 840 476 0 244 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4200 KiB

[startup+1.50024 s]
/proc/loadavg: 0.80 1.01 1.26 3/187 8277
/proc/meminfo: memFree=23394944/32770624 swapFree=67108860/67108860
[pid=8272] ppid=8268 vsize=27688 memory=4200 CPUtime=1.48 cores=1,3,5,7
/proc/8272/stat : 8272 (cosoco) R 8268 8272 8215 0 -1 4202496 1215 0 0 0 148 0 0 0 20 0 1 0 76991395 28352512 1050 33554432000 4194304 6142532 140737383622720 140737383620120 5347465 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11726848 140737383625862 140737383625992 140737383625992 140737383628750 0
/proc/8272/statm: 6922 1050 840 476 0 244 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4200 KiB

[startup+3.10893 s]
/proc/loadavg: 0.80 1.01 1.26 3/187 8277
/proc/meminfo: memFree=23394936/32770624 swapFree=67108860/67108860
[pid=8272] ppid=8268 vsize=27688 memory=4236 CPUtime=3.09 cores=1,3,5,7
/proc/8272/stat : 8272 (cosoco) R 8268 8272 8215 0 -1 4202496 1360 0 0 0 309 0 0 0 20 0 1 0 76991395 28352512 1059 33554432000 4194304 6142532 140737383622720 140737383620120 5061749 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11726848 140737383625862 140737383625992 140737383625992 140737383628750 0
/proc/8272/statm: 6922 1059 848 476 0 244 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4236 KiB

[startup+6.30021 s]
/proc/loadavg: 0.90 1.03 1.26 3/187 8277
/proc/meminfo: memFree=23393900/32770624 swapFree=67108860/67108860
[pid=8272] ppid=8268 vsize=27688 memory=4236 CPUtime=6.28 cores=1,3,5,7
/proc/8272/stat : 8272 (cosoco) R 8268 8272 8215 0 -1 4202496 1505 0 0 0 628 0 0 0 20 0 1 0 76991395 28352512 1059 33554432000 4194304 6142532 140737383622720 140737383620120 5060745 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11726848 140737383625862 140737383625992 140737383625992 140737383628750 0
/proc/8272/statm: 6922 1059 848 476 0 244 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4236 KiB

[startup+12.7002 s]
/proc/loadavg: 0.99 1.05 1.27 3/187 8277
/proc/meminfo: memFree=23393820/32770624 swapFree=67108860/67108860
[pid=8272] ppid=8268 vsize=27688 memory=4236 CPUtime=12.68 cores=1,3,5,7
/proc/8272/stat : 8272 (cosoco) R 8268 8272 8215 0 -1 4202496 1650 0 0 0 1268 0 0 0 20 0 1 0 76991395 28352512 1059 33554432000 4194304 6142532 140737383622720 140737383620120 5084905 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11726848 140737383625862 140737383625992 140737383625992 140737383628750 0
/proc/8272/statm: 6922 1059 848 476 0 244 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4236 KiB

[startup+25.5002 s]
/proc/loadavg: 1.14 1.08 1.28 3/187 8277
/proc/meminfo: memFree=23393828/32770624 swapFree=67108860/67108860
[pid=8272] ppid=8268 vsize=27688 memory=4236 CPUtime=25.48 cores=1,3,5,7
/proc/8272/stat : 8272 (cosoco) R 8268 8272 8215 0 -1 4202496 1942 0 0 0 2548 0 0 0 20 0 1 0 76991395 28352512 1059 33554432000 4194304 6142532 140737383622720 140737383620120 5175056 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11726848 140737383625862 140737383625992 140737383625992 140737383628750 0
/proc/8272/statm: 6922 1059 848 476 0 244 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4236 KiB

[startup+51.109 s]
/proc/loadavg: 2.40 1.37 1.37 3/187 8277
/proc/meminfo: memFree=23394048/32770624 swapFree=67108860/67108860
[pid=8272] ppid=8268 vsize=27688 memory=4236 CPUtime=51.09 cores=1,3,5,7
/proc/8272/stat : 8272 (cosoco) R 8268 8272 8215 0 -1 4202496 2088 0 0 0 5109 0 0 0 20 0 1 0 76991395 28352512 1059 33554432000 4194304 6142532 140737383622720 140737383620120 5084169 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11726848 140737383625862 140737383625992 140737383625992 140737383628750 0
/proc/8272/statm: 6922 1059 848 476 0 244 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4236 KiB

[startup+102.3 s]
/proc/loadavg: 2.60 1.62 1.45 3/187 8278
/proc/meminfo: memFree=23394560/32770624 swapFree=67108860/67108860
[pid=8272] ppid=8268 vsize=27688 memory=4236 CPUtime=102.28 cores=1,3,5,7
/proc/8272/stat : 8272 (cosoco) R 8268 8272 8215 0 -1 4202496 2234 0 0 0 10228 0 0 0 20 0 1 0 76991395 28352512 1059 33554432000 4194304 6142532 140737383622720 140737383620120 5058744 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11726848 140737383625862 140737383625992 140737383625992 140737383628750 0
/proc/8272/statm: 6922 1059 848 476 0 244 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4236 KiB

[startup+162.3 s]
/proc/loadavg: 2.22 1.69 1.49 3/188 8287
/proc/meminfo: memFree=23394624/32770624 swapFree=67108860/67108860
[pid=8272] ppid=8268 vsize=27688 memory=4236 CPUtime=162.28 cores=1,3,5,7
/proc/8272/stat : 8272 (cosoco) R 8268 8272 8215 0 -1 4202496 2380 0 0 0 16228 0 0 0 20 0 1 0 76991395 28352512 1059 33554432000 4194304 6142532 140737383622720 140737383620120 5175056 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11726848 140737383625862 140737383625992 140737383625992 140737383628750 0
/proc/8272/statm: 6922 1059 848 476 0 244 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4236 KiB

[startup+222.3 s]
/proc/loadavg: 2.08 1.74 1.52 3/188 8288
/proc/meminfo: memFree=23394796/32770624 swapFree=67108860/67108860
[pid=8272] ppid=8268 vsize=27688 memory=4236 CPUtime=222.28 cores=1,3,5,7
/proc/8272/stat : 8272 (cosoco) R 8268 8272 8215 0 -1 4202496 2526 0 0 0 22228 0 0 0 20 0 1 0 76991395 28352512 1059 33554432000 4194304 6142532 140737383622720 140737383620120 5332464 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11726848 140737383625862 140737383625992 140737383625992 140737383628750 0
/proc/8272/statm: 6922 1059 848 476 0 244 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4236 KiB

[startup+282.3 s]
/proc/loadavg: 2.03 1.79 1.55 3/188 8289
/proc/meminfo: memFree=23395172/32770624 swapFree=67108860/67108860
[pid=8272] ppid=8268 vsize=27688 memory=4236 CPUtime=282.27 cores=1,3,5,7
/proc/8272/stat : 8272 (cosoco) R 8268 8272 8215 0 -1 4202496 2672 0 0 0 28227 0 0 0 20 0 1 0 76991395 28352512 1059 33554432000 4194304 6142532 140737383622720 140737383620120 5057950 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11726848 140737383625862 140737383625992 140737383625992 140737383628750 0
/proc/8272/statm: 6922 1059 848 476 0 244 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4236 KiB

[startup+342.3 s]
/proc/loadavg: 2.01 1.83 1.58 3/188 8290
/proc/meminfo: memFree=23394972/32770624 swapFree=67108860/67108860
[pid=8272] ppid=8268 vsize=27688 memory=4236 CPUtime=342.27 cores=1,3,5,7
/proc/8272/stat : 8272 (cosoco) R 8268 8272 8215 0 -1 4202496 2818 0 0 0 34227 0 0 0 20 0 1 0 76991395 28352512 1059 33554432000 4194304 6142532 140737383622720 140737383620120 5170107 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11726848 140737383625862 140737383625992 140737383625992 140737383628750 0
/proc/8272/statm: 6922 1059 848 476 0 244 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4236 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 1.86 1.60 3/188 8291
/proc/meminfo: memFree=23394904/32770624 swapFree=67108860/67108860
[pid=8272] ppid=8268 vsize=27688 memory=4236 CPUtime=402.27 cores=1,3,5,7
/proc/8272/stat : 8272 (cosoco) R 8268 8272 8215 0 -1 4202496 2964 0 0 0 40227 0 0 0 20 0 1 0 76991395 28352512 1059 33554432000 4194304 6142532 140737383622720 140737383620120 5175056 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11726848 140737383625862 140737383625992 140737383625992 140737383628750 0
/proc/8272/statm: 6922 1059 848 476 0 244 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4236 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 1.88 1.63 3/187 8292
/proc/meminfo: memFree=23394872/32770624 swapFree=67108860/67108860
[pid=8272] ppid=8268 vsize=27688 memory=4236 CPUtime=462.27 cores=1,3,5,7
/proc/8272/stat : 8272 (cosoco) R 8268 8272 8215 0 -1 4202496 3110 0 0 0 46227 0 0 0 20 0 1 0 76991395 28352512 1059 33554432000 4194304 6142532 140737383622720 140737383620120 5175070 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11726848 140737383625862 140737383625992 140737383625992 140737383628750 0
/proc/8272/statm: 6922 1059 848 476 0 244 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4236 KiB


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

/proc/8272/statm: 6922 1059 848 476 0 244 0
Current children cumulated CPU time: 1722.22 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4236 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/187 8355
/proc/meminfo: memFree=23392708/32770624 swapFree=67108860/67108860
[pid=8272] ppid=8268 vsize=27688 memory=4236 CPUtime=1782.22 cores=1,3,5,7
/proc/8272/stat : 8272 (cosoco) R 8268 8272 8215 0 -1 4202496 6236 0 0 0 178222 0 0 0 20 0 1 0 76991395 28352512 1059 33554432000 4194304 6142532 140737383622720 140737383620120 5084288 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11726848 140737383625862 140737383625992 140737383625992 140737383628750 0
/proc/8272/statm: 6922 1059 848 476 0 244 0
Current children cumulated CPU time: 1782.22 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4236 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.92 3/187 8356
/proc/meminfo: memFree=23392660/32770624 swapFree=67108860/67108860
[pid=8272] ppid=8268 vsize=27688 memory=4236 CPUtime=1842.21 cores=1,3,5,7
/proc/8272/stat : 8272 (cosoco) R 8268 8272 8215 0 -1 4202496 6370 0 0 0 184221 0 0 0 20 0 1 0 76991395 28352512 1059 33554432000 4194304 6142532 140737383622720 140737383620120 5084617 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11726848 140737383625862 140737383625992 140737383625992 140737383628750 0
/proc/8272/statm: 6922 1059 848 476 0 244 0
Current children cumulated CPU time: 1842.21 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4236 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/187 8357
/proc/meminfo: memFree=23392856/32770624 swapFree=67108860/67108860
[pid=8272] ppid=8268 vsize=27688 memory=4236 CPUtime=1902.21 cores=1,3,5,7
/proc/8272/stat : 8272 (cosoco) R 8268 8272 8215 0 -1 4202496 6517 0 0 0 190221 0 0 0 20 0 1 0 76991395 28352512 1059 33554432000 4194304 6142532 140737383622720 140737383620120 5058328 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11726848 140737383625862 140737383625992 140737383625992 140737383628750 0
/proc/8272/statm: 6922 1059 848 476 0 244 0
Current children cumulated CPU time: 1902.21 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4236 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/188 8366
/proc/meminfo: memFree=23393132/32770624 swapFree=67108860/67108860
[pid=8272] ppid=8268 vsize=27688 memory=4236 CPUtime=1962.21 cores=1,3,5,7
/proc/8272/stat : 8272 (cosoco) R 8268 8272 8215 0 -1 4202496 6651 0 0 0 196221 0 0 0 20 0 1 0 76991395 28352512 1059 33554432000 4194304 6142532 140737383622720 140737383620120 5061124 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11726848 140737383625862 140737383625992 140737383625992 140737383628750 0
/proc/8272/statm: 6922 1059 848 476 0 244 0
Current children cumulated CPU time: 1962.21 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4236 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/188 8367
/proc/meminfo: memFree=23393212/32770624 swapFree=67108860/67108860
[pid=8272] ppid=8268 vsize=27688 memory=4236 CPUtime=2022.21 cores=1,3,5,7
/proc/8272/stat : 8272 (cosoco) R 8268 8272 8215 0 -1 4202496 6785 0 0 0 202221 0 0 0 20 0 1 0 76991395 28352512 1059 33554432000 4194304 6142532 140737383622720 140737383620120 5059751 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11726848 140737383625862 140737383625992 140737383625992 140737383628750 0
/proc/8272/statm: 6922 1059 848 476 0 244 0
Current children cumulated CPU time: 2022.21 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4236 KiB

[startup+2082.3 s]
/proc/loadavg: 2.04 2.03 1.95 3/188 8368
/proc/meminfo: memFree=23393472/32770624 swapFree=67108860/67108860
[pid=8272] ppid=8268 vsize=27688 memory=4236 CPUtime=2082.2 cores=1,3,5,7
/proc/8272/stat : 8272 (cosoco) R 8268 8272 8215 0 -1 4202496 6932 0 0 0 208220 0 0 0 20 0 1 0 76991395 28352512 1059 33554432000 4194304 6142532 140737383622720 140737383620120 5058656 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11726848 140737383625862 140737383625992 140737383625992 140737383628750 0
/proc/8272/statm: 6922 1059 848 476 0 244 0
Current children cumulated CPU time: 2082.2 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4236 KiB

[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 1.95 3/188 8369
/proc/meminfo: memFree=23393544/32770624 swapFree=67108860/67108860
[pid=8272] ppid=8268 vsize=27688 memory=4236 CPUtime=2142.2 cores=1,3,5,7
/proc/8272/stat : 8272 (cosoco) R 8268 8272 8215 0 -1 4202496 7066 0 0 0 214220 0 0 0 20 0 1 0 76991395 28352512 1059 33554432000 4194304 6142532 140737383622720 140737383620120 5175056 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11726848 140737383625862 140737383625992 140737383625992 140737383628750 0
/proc/8272/statm: 6922 1059 848 476 0 244 0
Current children cumulated CPU time: 2142.2 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4236 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/188 8370
/proc/meminfo: memFree=23393476/32770624 swapFree=67108860/67108860
[pid=8272] ppid=8268 vsize=27688 memory=4236 CPUtime=2202.2 cores=1,3,5,7
/proc/8272/stat : 8272 (cosoco) R 8268 8272 8215 0 -1 4202496 7200 0 0 0 220220 0 0 0 20 0 1 0 76991395 28352512 1059 33554432000 4194304 6142532 140737383622720 140737383620120 5319096 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11726848 140737383625862 140737383625992 140737383625992 140737383628750 0
/proc/8272/statm: 6922 1059 848 476 0 244 0
Current children cumulated CPU time: 2202.2 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4236 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 8371
/proc/meminfo: memFree=23393424/32770624 swapFree=67108860/67108860
[pid=8272] ppid=8268 vsize=27688 memory=4236 CPUtime=2262.2 cores=1,3,5,7
/proc/8272/stat : 8272 (cosoco) R 8268 8272 8215 0 -1 4202496 7347 0 0 0 226220 0 0 0 20 0 1 0 76991395 28352512 1059 33554432000 4194304 6142532 140737383622720 140737383620120 5084773 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11726848 140737383625862 140737383625992 140737383625992 140737383628750 0
/proc/8272/statm: 6922 1059 848 476 0 244 0
Current children cumulated CPU time: 2262.2 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4236 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 8372
/proc/meminfo: memFree=23393600/32770624 swapFree=67108860/67108860
[pid=8272] ppid=8268 vsize=27688 memory=4236 CPUtime=2322.19 cores=1,3,5,7
/proc/8272/stat : 8272 (cosoco) R 8268 8272 8215 0 -1 4202496 7481 0 0 0 232219 0 0 0 20 0 1 0 76991395 28352512 1059 33554432000 4194304 6142532 140737383622720 140737383620120 4990592 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11726848 140737383625862 140737383625992 140737383625992 140737383628750 0
/proc/8272/statm: 6922 1059 848 476 0 244 0
Current children cumulated CPU time: 2322.19 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4236 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 8373
/proc/meminfo: memFree=23393408/32770624 swapFree=67108860/67108860
[pid=8272] ppid=8268 vsize=27688 memory=4236 CPUtime=2382.19 cores=1,3,5,7
/proc/8272/stat : 8272 (cosoco) R 8268 8272 8215 0 -1 4202496 7615 0 0 0 238219 0 0 0 20 0 1 0 76991395 28352512 1059 33554432000 4194304 6142532 140737383622720 140737383620120 5175264 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11726848 140737383625862 140737383625992 140737383625992 140737383628750 0
/proc/8272/statm: 6922 1059 848 476 0 244 0
Current children cumulated CPU time: 2382.19 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4236 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 8374
/proc/meminfo: memFree=23393600/32770624 swapFree=67108860/67108860
[pid=8272] ppid=8268 vsize=27688 memory=4236 CPUtime=2442.19 cores=1,3,5,7
/proc/8272/stat : 8272 (cosoco) R 8268 8272 8215 0 -1 4202496 7762 0 0 0 244219 0 0 0 20 0 1 0 76991395 28352512 1059 33554432000 4194304 6142532 140737383622720 140737383620120 5062247 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11726848 140737383625862 140737383625992 140737383625992 140737383628750 0
/proc/8272/statm: 6922 1059 848 476 0 244 0
Current children cumulated CPU time: 2442.19 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4236 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 8375
/proc/meminfo: memFree=23393784/32770624 swapFree=67108860/67108860
[pid=8272] ppid=8268 vsize=27688 memory=4236 CPUtime=2502.19 cores=1,3,5,7
/proc/8272/stat : 8272 (cosoco) R 8268 8272 8215 0 -1 4202496 7896 0 0 0 250219 0 0 0 20 0 1 0 76991395 28352512 1059 33554432000 4194304 6142532 140737383622720 140737383620120 5336774 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11726848 140737383625862 140737383625992 140737383625992 140737383628750 0
/proc/8272/statm: 6922 1059 848 476 0 244 0
Current children cumulated CPU time: 2502.19 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4236 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 1.95 3/188 8383
/proc/meminfo: memFree=23392124/32770624 swapFree=67108860/67108860
[pid=8272] ppid=8268 vsize=27688 memory=4236 CPUtime=2519.9 cores=1,3,5,7
/proc/8272/stat : 8272 (cosoco) R 8268 8272 8215 0 -1 4202496 8030 0 0 0 251990 0 0 0 20 0 1 0 76991395 28352512 1059 33554432000 4194304 6142532 140737383622720 140737383620120 5336576 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 11726848 140737383625862 140737383625992 140737383625992 140737383628750 0
/proc/8272/statm: 6922 1059 848 476 0 244 0
Current children cumulated CPU time: 2519.9 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4236 KiB

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

[startup+2520.01 s]
# the end of solver process 8272 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.9 s, system=0.003999 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.91
CPU user time (s): 2519.9
CPU system time (s): 0.003999
CPU usage (%): 99.9958
Max. virtual memory (cumulated for all children) (KiB): 27688
Max. memory (cumulated for all children) (KiB): 4236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.9
system time used= 0.003999
maximum resident set size= 4300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8078
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= 33
involuntary context switches= 635


# summary of solver processes directly reported to runsolver:
#   pid: 8272
#   total CPU time (s): 2519.91
#   total CPU user time (s): 2519.9
#   total CPU system time (s): 0.003999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.1945 second user time and 14.64 second system time

The end

Launcher Data 

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

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

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

MD5SUM BENCH= 527aaa9849fb01578545f5f3ea53e2c8
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:         5184 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     326548 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