Trace number 4294573

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

General information on the benchmark

NameMisteryShopper/
MisteryShopper-10c_c18.xml
MD5SUM56c97bc9b19c7ad517216d1a3c315031
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark5.95232
Satisfiable
(Un)Satisfiability was proved
Number of variables1000
Number of constraints621
Number of domains3
Minimum domain size5
Maximum domain size50
Distribution of domain sizes[{"size":5,"count":250},{"size":6,"count":250},{"size":50,"count":500}]
Minimum variable degree2
Maximum variable degree5
Distribution of variable degrees[{"degree":2,"count":500},{"degree":3,"count":250},{"degree":4,"count":220},{"degree":5,"count":30}]
Minimum constraint arity2
Maximum constraint arity250
Distribution of constraint arities[{"arity":2,"count":500},{"arity":5,"count":100},{"arity":6,"count":5},{"arity":50,"count":10},{"arity":100,"count":5},{"arity":250,"count":1}]
Number of extensional constraints500
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":500},{"type":"allDifferent","count":110},{"type":"ordered","count":5},{"type":"lex","count":1},{"type":"channel","count":5}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.01	c Create channel(X,Y) constraint using 50 element constraint 
0.00/0.01	c Create channel(X,Y) constraint using 50 element constraint 
0.00/0.01	c Create channel(X,Y) constraint using 50 element constraint 
0.00/0.01	c Create channel(X,Y) constraint using 50 element constraint 
0.00/0.01	c Create channel(X,Y) constraint using 50 element constraint 
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-4294573-1532476232.xml 
0.00/0.01	0
0.00/0.01	0
0.00/0.01	0
0.00/0.01	0
0.00/0.01	0
0.00/0.01	0
0.00/0.01	0
0.00/0.01	0
0.00/0.01	0
0.00/0.01	0
0.00/0.01	0
0.00/0.01	0
0.00/0.01	0
0.00/0.01	0
0.00/0.01	0
0.00/0.01	0
0.00/0.01	0
0.00/0.01	0
0.00/0.01	0
0.00/0.01	0
0.00/0.01	0
0.00/0.01	0
0.00/0.01	0
0.00/0.01	0
0.00/0.01	0
0.00/0.09	c root propagations     : 1313        
0.00/0.09	c restarts enabled, print stats at every restarts
0.00/0.09	c
0.00/0.09	c
0.00/0.09	c ========================================[ Problem Statistics ]===========================================
0.00/0.09	c |                                                                                                       
0.00/0.09	c |  Parse time        :         0.08 s 
0.00/0.09	c |
0.00/0.09	c |               Variables: 1000
0.00/0.09	c |            Domain Sizes: 5..50
0.00/0.09	c |
0.00/0.09	c |             Constraints: 938
0.00/0.09	c |                   Arity: 2..100  -- Binary: 525
0.00/0.09	c | 
0.00/0.09	c |                   Types: 
0.00/0.09	c |                          (X - Y < k): 25
0.00/0.09	c |                          All Different: 110
0.00/0.09	c |                          Element Constant: 250
0.00/0.09	c |                          Extension: 500  (nb tuples: 50..50) -- (shared: 0)
0.00/0.09	c |                          Lex: 53
0.00/0.09	c |                          
0.00/0.09	c =========================================================================================================
0.00/0.09	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.10/0.12	c 101            369            53629          56571          199            0              46   250   236 
0.10/0.14	c 211            495            72287          120043         243            0              1   17   10    
0.10/0.16	c 332            638            91082          173159         243            0              1   23   14    
0.10/0.20	c 465            1322           154296         211689         243            0              1   532   194  
0.21/0.23	c 611            1905           196590         236349         243            0              10   428   197 
0.21/0.26	c 771            2262           253005         284888         245            0              1   153   107  
0.21/0.29	c 947            2627           304609         333983         246            0              1   138   118  
0.30/0.33	c 1140           3195           375321         387713         246            0              23   115   93  
0.30/0.35	c 1352           3561           397123         414332         246            0              9   89   72    
0.40/0.43	c 1585           4172           516742         584964         246            0              10   88   74   
0.40/0.47	c 1841           4694           578616         678028         246            0              12   100   86  
0.50/0.54	c 2122           5463           684017         779496         246            0              10   101   90  
0.50/0.57	c 2431           6074           732906         814922         247            0              1   109   95   
0.60/0.66	c 2770           6962           902252         963581         247            0              1   138   109  
0.69/0.73	c 3142           7959           1047921        1074084        247            0              12   150   133 
0.69/0.75	c 3551           8540           1076729        1095904        247            0              14   118   108 
0.79/0.83	c 4000           9280           1208165        1227509        247            0              14   143   126 
0.89/0.98	c 4493           10681          1465418        1493232        248            0              1   135   116  
1.00/1.09	c 5035           12802          1684553        1605806        248            0              14   129   115 
1.19/1.23	c 5631           14230          1918161        1823417        248            0              14   135   118 
1.29/1.38	c 6286           15866          2166925        2048850        248            0              16   142   125 
1.49/1.53	c 7006           17288          2396291        2285368        249            0              1   141   129  
1.59/1.62	c 7798           18544          2541056        2419309        250            0              1   112   104  
1.89/1.96	c 8669           21575          3208831        3009815        251            0              1   126   117  
2.00/2.02	c 9627           23369          3316810        3069702        251            0              33   131   125 
2.10/2.16	c 10680          25585          3527999        3509700        251            0              22   111   88  
2.29/2.33	c 11838          28251          3838440        3738408        251            0              29   124   117 
2.49/2.54	c 13111          31760          4289526        3999787        251            0              19   348   321 
3.49/3.56	c 14511          36090          6383283        6166038        253            0              1   128   116  
3.69/3.75	c 16051          38799          6779941        6793416        254            0              1   165   159  
4.29/4.31	c 17745          44774          7748593        7621851        255            0              1   170   151  
4.99/5.02	c 19608          52122          9071627        8662888        255            0              30   153   144 
5.19/5.27	c 21657          56807          9540832        8959889        255            0              50   138   113 
5.49/5.56	c 23910          63003          10146456       9427017        256            0              1   184   174  
5.89/5.90	c 26388          68413          10926686       10005157       256            0              12   183   174 
6.19/6.20	c 29113          78047          11710734       10247203       256            0              1   199   192  
6.59/6.63	c 32110          85868          12643327       10939405       257            0              1   204   195  
7.29/7.36	c 35406          91601          13680619       12253491       258            0              1   390   371  
7.69/7.76	c 39031          99052          14486176       12554740       258            0              11   358   297 
8.69/8.73	c 43018          104777         15895227       13914434       260            0              1   318   305  
9.69/9.77	c 47403          117357         17881856       16111346       262            0              1   287   253  
10.19/10.29	c 52226          127539         18895181       16548476       262            0              21   294   285 
10.59/10.65	c 57531          137602         19660906       16832702       262            0              19   231   227 
11.39/11.42	c 63366          151990         21132506       17956446       262            0              20   198   189 
12.09/12.17	c 69784          166635         22500200       18958319       262            0              25   198   193 
13.19/13.24	c 76843          187141         24600462       20007906       262            0              25   155   146 
13.99/14.01	c 84607          201023         26387700       21277011       262            0              24   213   210 
14.58/14.63	c 93147          214367         27389850       22220983       262            0              25   210   200 
15.58/15.65	c 102541         242099         29352771       23673586       262            0              26   196   190 
16.99/17.02	c 112874         268545         32196249       25226504       263            0              1   177   169  
18.38/18.42	c 124240         299278         35717126       26886750       263            0              10   229   219 
19.99/20.02	c 136742         329196         38832045       28767478       263            0              10   455   443 
20.99/21.06	c 150494         353773         40876884       29468344       265            0              1   242   222  
27.28/27.38	c 165621         415577         51602024       39463666       265            0              10   170   147 
30.48/30.56	c 182260         454316         57442845       46108090       265            0              11   196   190 
32.18/32.20	c 200562         505280         61149701       47143193       266            0              1   206   197  
36.88/36.93	c 220694         559618         69379967       56322298       267            0              1   149   136  
39.68/39.74	c 242839         606476         74891774       60830251       268            0              1   151   137  
42.78/42.89	c 267198         663990         82855555       64540931       268            0              8   186   173  
47.18/47.25	c 293992         728407         91945189       69850336       269            0              1   463   295  
50.48/50.58	c 323465         783936         100409960      75152454       270            0              1   171   165  
53.18/53.21	c 355885         844394         106701361      79099720       270            0              8   163   158  
56.99/57.01	c 391547         916828         115953736      84308598       270            0              9   184   173  
60.58/60.68	c 430775         986898         122842198      88565219       270            0              10   127   119 
65.38/65.42	c 473925         1045176        130385705      96443817       270            0              12   124   115 
74.48/74.54	c 521390         1162225        146272273      111025463      270            0              12   146   131 
89.18/89.21	c 573601         1309059        171363465      143967507      270            0              15   149   140 
101.48/101.58	c 631033         1437203        187446374      165581129      270            0              20   340   313 
109.18/109.20	c 694208         1707559        197390464      177154581      270            0              11   224   207 
117.28/117.31	c 763700         1825375        217978306      190290351      318            0              1   204   194  
125.78/125.88	c 840141         1988727        237892600      201640871      318            0              16   199   188 
133.78/133.86	c 924226         2124512        257573090      215567424      318            0              17   204   192 
144.78/144.89	c 1016719        2272708        282316217      241422941      318            0              17   205   192 
155.78/155.89	c 1118461        2563494        310260313      248990460      318            0              27   204   197 
179.48/179.56	c 1230377        2888907        362131671      272602632      318            0              12   379   358 
194.18/194.22	c 1353484        3149604        389575247      288980368      319            0              1   453   420  
208.88/209.00	c 1488901        3453977        413554703      296732525      319            0              13   151   105 
225.18/225.28	c 1637859        3803793        446070846      309252948      319            0              1   306   267  
240.37/240.45	c 1801712        4129678        474896741      321130243      319            0              21   235   221 
271.17/271.21	c 1981950        4664482        534078810      348304848      320            0              1   226   211  
314.99/315.08	c 2180211        5141749        642621023      396860424      320            0              10   567   543 
352.48/352.53	c 2398298        5676591        722698639      432031446      320            0              8   508   465  
380.58/380.65	c 2638193        6267811        777451909      457070678      321            0              1   256   249  
408.38/408.42	c 2902077        7005353        833921088      484813782      321            0              10   523   468 
450.58/450.64	c 3192349        7826662        926226627      533973973      321            0              8   369   355  
482.08/482.16	c 3511648        8594273        990032913      559965396      321            0              9   269   259  
513.17/513.20	c 3862876        9283267        1054206231     600506981      321            0              10   385   370 
565.98/566.02	c 4249226        9830026        1128742274     667521097      321            0              10   348   342 
600.27/600.30	c 4674211        10573416       1198113875     693389495      321            0              10   369   353 
629.17/629.20	c 5141694        11222659       1268453908     730087250      321            0              1   354   344  
717.27/717.38	c 5655925        12590287       1425308225     787354116      321            0              11   326   167 
774.97/775.07	c 6221579        14164327       1539854410     846676756      321            0              11   261   253 
833.76/833.81	c 6843798        15446259       1644005236     906916755      321            0              1   379   373  
910.07/910.16	c 7528238        17243662       1802683114     990138696      321            0              11   273   261 
983.36/983.49	c 8281122        19120710       1981712285     1081654915     321            0              11   273   265 
1071.07/1071.18	c 9109294        21486986       2168566987     1175351804     321            0              11   190   181 
1202.45/1202.53	c 10020283       23802796       2465465620     1326451539     321            0              13   387   378 
1330.96/1331.09	c 11022370       26614799       2733058025     1456639302     321            0              1   346   334  
1395.96/1396.01	c 12124665       28225290       2838944512     1490086721     322            0              1   217   189  
1550.05/1550.14	c 13337189       31120875       3131173724     1618765411     322            0              14   209   185 
1817.44/1817.50	c 14670965       35924175       3588989868     2059380350     322            0              26   174   156 
1980.63/1980.77	c 16138118       37993114       3800610690     2918504509     322            0              17   101   97  
2357.22/2357.36	c 17751986       42354235       4490444582     3319708076     322            0              4   157   142  
2519.92/2520.00	
2519.92/2520.00	c *** INTERRUPTED ***
2519.92/2520.00	c restarts              : 103         
2519.92/2520.00	c conflicts             : 18809101     (7464 /sec)
2519.92/2520.00	c decisions             : 45352067     (17997 /sec)
2519.92/2520.00	c propagations          : 3571090796  (1417144 /sec)
2519.92/2520.00	c root propagations     : 1313        
2519.92/2520.00	c filter calls          : 4798134059     (1904082 /sec)
2519.92/2520.00	c useless filter calls  : 3982892609     (83 %)
2519.92/2520.00	c Memory used           : 34.54 MB
2519.92/2520.00	c CPU time              : 2519.92 s
2519.92/2520.00	
2519.92/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 (4856 MiB free)
  memory of node 1: 16384 MiB (10845 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294573-1532476232/watcher-4294573-1532476232 -o /tmp/evaluation-result-4294573-1532476232/solver-4294573-1532476232 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532470521-22597 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4294573-1532476232.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=23335, runsolver pid=23332
Current StackSize limit: 8192 KiB


[startup+0.100152 s]*
/proc/loadavg: 2.00 2.00 2.04 3/189 23336
/proc/meminfo: memFree=16073372/32770624 swapFree=67108860/67108860
[pid=23335] ppid=23332 vsize=33380 memory=9692 CPUtime=0.1 cores=1,3,5,7
/proc/23335/stat : 23335 (cosoco) R 23332 23335 22565 0 -1 4202496 2636 0 0 0 10 0 0 0 20 0 1 0 65186474 34181120 2423 33554432000 4194304 6142532 140732468935456 140732468932088 5328063 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 14778368 140732468941958 140732468942088 140732468942088 140732468944846 0
/proc/23335/statm: 8345 2423 855 476 0 1667 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 33380 KiB
Current children cumulated memory: 9692 KiB

[startup+0.209555 s]*
/proc/loadavg: 2.00 2.00 2.04 3/189 23336
/proc/meminfo: memFree=16071140/32770624 swapFree=67108860/67108860
[pid=23335] ppid=23332 vsize=35096 memory=11540 CPUtime=0.21 cores=1,3,5,7
/proc/23335/stat : 23335 (cosoco) R 23332 23335 22565 0 -1 4202496 3076 0 0 0 21 0 0 0 20 0 1 0 65186474 35938304 2885 33554432000 4194304 6142532 140732468935456 140732468932088 5053528 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 14778368 140732468941958 140732468942088 140732468942088 140732468944846 0
/proc/23335/statm: 8774 2885 856 476 0 2096 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 35096 KiB
Current children cumulated memory: 11540 KiB

[startup+0.309159 s]*
/proc/loadavg: 2.00 2.00 2.04 3/189 23336
/proc/meminfo: memFree=16071140/32770624 swapFree=67108860/67108860
[pid=23335] ppid=23332 vsize=35096 memory=11540 CPUtime=0.3 cores=1,3,5,7
/proc/23335/stat : 23335 (cosoco) R 23332 23335 22565 0 -1 4202496 3077 0 0 0 30 0 0 0 20 0 1 0 65186474 35938304 2885 33554432000 4194304 6142532 140732468935456 140732468932088 5057959 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 14778368 140732468941958 140732468942088 140732468942088 140732468944846 0
/proc/23335/statm: 8774 2885 856 476 0 2096 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 35096 KiB
Current children cumulated memory: 11540 KiB

[startup+0.700274 s]
/proc/loadavg: 2.00 2.00 2.04 3/189 23336
/proc/meminfo: memFree=16070828/32770624 swapFree=67108860/67108860
[pid=23335] ppid=23332 vsize=35096 memory=11540 CPUtime=0.69 cores=1,3,5,7
/proc/23335/stat : 23335 (cosoco) R 23332 23335 22565 0 -1 4202496 3077 0 0 0 69 0 0 0 20 0 1 0 65186474 35938304 2885 33554432000 4194304 6142532 140732468935456 140732468932088 5055538 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 14778368 140732468941958 140732468942088 140732468942088 140732468944846 0
/proc/23335/statm: 8774 2885 856 476 0 2096 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 35096 KiB
Current children cumulated memory: 11540 KiB

[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 2.04 3/189 23336
/proc/meminfo: memFree=16070812/32770624 swapFree=67108860/67108860
[pid=23335] ppid=23332 vsize=35096 memory=11540 CPUtime=1.49 cores=1,3,5,7
/proc/23335/stat : 23335 (cosoco) R 23332 23335 22565 0 -1 4202496 3077 0 0 0 149 0 0 0 20 0 1 0 65186474 35938304 2885 33554432000 4194304 6142532 140732468935456 140732468932856 5061195 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 14778368 140732468941958 140732468942088 140732468942088 140732468944846 0
/proc/23335/statm: 8774 2885 856 476 0 2096 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 35096 KiB
Current children cumulated memory: 11540 KiB

[startup+3.10907 s]
/proc/loadavg: 2.00 2.00 2.04 3/189 23336
/proc/meminfo: memFree=16070936/32770624 swapFree=67108860/67108860
[pid=23335] ppid=23332 vsize=35096 memory=11684 CPUtime=3.1 cores=1,3,5,7
/proc/23335/stat : 23335 (cosoco) R 23332 23335 22565 0 -1 4202496 4831 0 0 0 310 0 0 0 20 0 1 0 65186474 35938304 2921 33554432000 4194304 6142532 140732468935456 140732468932856 5175264 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 14778368 140732468941958 140732468942088 140732468942088 140732468944846 0
/proc/23335/statm: 8774 2921 856 476 0 2096 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 35096 KiB
Current children cumulated memory: 11684 KiB

[startup+6.30027 s]
/proc/loadavg: 2.00 2.00 2.04 3/189 23336
/proc/meminfo: memFree=16070932/32770624 swapFree=67108860/67108860
[pid=23335] ppid=23332 vsize=35096 memory=11684 CPUtime=6.29 cores=1,3,5,7
/proc/23335/stat : 23335 (cosoco) R 23332 23335 22565 0 -1 4202496 6569 0 0 0 629 0 0 0 20 0 1 0 65186474 35938304 2921 33554432000 4194304 6142532 140732468935456 140732468932856 5080063 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 14778368 140732468941958 140732468942088 140732468942088 140732468944846 0
/proc/23335/statm: 8774 2921 856 476 0 2096 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 35096 KiB
Current children cumulated memory: 11684 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.04 3/189 23336
/proc/meminfo: memFree=16070932/32770624 swapFree=67108860/67108860
[pid=23335] ppid=23332 vsize=35096 memory=11700 CPUtime=12.69 cores=1,3,5,7
/proc/23335/stat : 23335 (cosoco) R 23332 23335 22565 0 -1 4202496 8346 0 0 0 1269 0 0 0 20 0 1 0 65186474 35938304 2925 33554432000 4194304 6142532 140732468935456 140732468932856 4990600 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 14778368 140732468941958 140732468942088 140732468942088 140732468944846 0
/proc/23335/statm: 8774 2925 856 476 0 2096 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 35096 KiB
Current children cumulated memory: 11700 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.04 3/189 23336
/proc/meminfo: memFree=16071056/32770624 swapFree=67108860/67108860
[pid=23335] ppid=23332 vsize=35228 memory=11788 CPUtime=25.48 cores=1,3,5,7
/proc/23335/stat : 23335 (cosoco) R 23332 23335 22565 0 -1 4202496 11237 0 0 0 2548 0 0 0 20 0 1 0 65186474 36073472 2947 33554432000 4194304 6142532 140732468935456 140732468932856 5054974 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 14778368 140732468941958 140732468942088 140732468942088 140732468944846 0
/proc/23335/statm: 8807 2947 856 476 0 2129 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 35228 KiB
Current children cumulated memory: 11788 KiB

[startup+51.109 s]
/proc/loadavg: 2.00 2.00 2.04 3/189 23336
/proc/meminfo: memFree=16070596/32770624 swapFree=67108860/67108860
[pid=23335] ppid=23332 vsize=35228 memory=11804 CPUtime=51.09 cores=1,3,5,7
/proc/23335/stat : 23335 (cosoco) R 23332 23335 22565 0 -1 4202496 13232 0 0 0 5109 0 0 0 20 0 1 0 65186474 36073472 2951 33554432000 4194304 6142532 140732468935456 140732468932856 5058259 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 14778368 140732468941958 140732468942088 140732468942088 140732468944846 0
/proc/23335/statm: 8807 2951 856 476 0 2129 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 35228 KiB
Current children cumulated memory: 11804 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/189 23337
/proc/meminfo: memFree=16070696/32770624 swapFree=67108860/67108860
[pid=23335] ppid=23332 vsize=35228 memory=11868 CPUtime=102.28 cores=1,3,5,7
/proc/23335/stat : 23335 (cosoco) R 23332 23335 22565 0 -1 4202496 13726 0 0 0 10228 0 0 0 20 0 1 0 65186474 36073472 2967 33554432000 4194304 6142532 140732468935456 140732468932856 5053981 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 14778368 140732468941958 140732468942088 140732468942088 140732468944846 0
/proc/23335/statm: 8807 2967 856 476 0 2129 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 35228 KiB
Current children cumulated memory: 11868 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/189 23338
/proc/meminfo: memFree=16070996/32770624 swapFree=67108860/67108860
[pid=23335] ppid=23332 vsize=35228 memory=11868 CPUtime=162.28 cores=1,3,5,7
/proc/23335/stat : 23335 (cosoco) R 23332 23335 22565 0 -1 4202496 14218 0 0 0 16228 0 0 0 20 0 1 0 65186474 36073472 2967 33554432000 4194304 6142532 140732468935456 140732468932856 5058259 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 14778368 140732468941958 140732468942088 140732468942088 140732468944846 0
/proc/23335/statm: 8807 2967 856 476 0 2129 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 35228 KiB
Current children cumulated memory: 11868 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/189 23339
/proc/meminfo: memFree=16070904/32770624 swapFree=67108860/67108860
[pid=23335] ppid=23332 vsize=35228 memory=11868 CPUtime=222.28 cores=1,3,5,7
/proc/23335/stat : 23335 (cosoco) R 23332 23335 22565 0 -1 4202496 14713 0 0 0 22228 0 0 0 20 0 1 0 65186474 36073472 2967 33554432000 4194304 6142532 140732468935456 140732468932856 5175264 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 14778368 140732468941958 140732468942088 140732468942088 140732468944846 0
/proc/23335/statm: 8807 2967 856 476 0 2129 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 35228 KiB
Current children cumulated memory: 11868 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 23341
/proc/meminfo: memFree=16070564/32770624 swapFree=67108860/67108860
[pid=23335] ppid=23332 vsize=35360 memory=11872 CPUtime=282.27 cores=1,3,5,7
/proc/23335/stat : 23335 (cosoco) R 23332 23335 22565 0 -1 4202496 15230 0 0 0 28227 0 0 0 20 0 1 0 65186474 36208640 2968 33554432000 4194304 6142532 140732468935456 140732468932392 5053948 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 14778368 140732468941958 140732468942088 140732468942088 140732468944846 0
/proc/23335/statm: 8840 2968 856 476 0 2162 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 35360 KiB
Current children cumulated memory: 11872 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 23342
/proc/meminfo: memFree=16070316/32770624 swapFree=67108860/67108860
[pid=23335] ppid=23332 vsize=35360 memory=11968 CPUtime=342.28 cores=1,3,5,7
/proc/23335/stat : 23335 (cosoco) R 23332 23335 22565 0 -1 4202496 15750 0 0 0 34227 1 0 0 20 0 1 0 65186474 36208640 2992 33554432000 4194304 6142532 140732468935456 140732468932856 5055512 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 14778368 140732468941958 140732468942088 140732468942088 140732468944846 0
/proc/23335/statm: 8840 2992 856 476 0 2162 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 35360 KiB
Current children cumulated memory: 11968 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 23343
/proc/meminfo: memFree=16070536/32770624 swapFree=67108860/67108860
[pid=23335] ppid=23332 vsize=35360 memory=11984 CPUtime=402.28 cores=1,3,5,7
/proc/23335/stat : 23335 (cosoco) R 23332 23335 22565 0 -1 4202496 16276 0 0 0 40227 1 0 0 20 0 1 0 65186474 36208640 2996 33554432000 4194304 6142532 140732468935456 140732468932856 5062288 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 14778368 140732468941958 140732468942088 140732468942088 140732468944846 0
/proc/23335/statm: 8840 2996 856 476 0 2162 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 35360 KiB
Current children cumulated memory: 11984 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 23345
/proc/meminfo: memFree=16070316/32770624 swapFree=67108860/67108860
[pid=23335] ppid=23332 vsize=35360 memory=11988 CPUtime=462.28 cores=1,3,5,7
/proc/23335/stat : 23335 (cosoco) R 23332 23335 22565 0 -1 4202496 16798 0 0 0 46227 1 0 0 20 0 1 0 65186474 36208640 2997 33554432000 4194304 6142532 140732468935456 140732468932856 5055541 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 14778368 140732468941958 140732468942088 140732468942088 140732468944846 0
/proc/23335/statm: 8840 2997 856 476 0 2162 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 35360 KiB
Current children cumulated memory: 11988 KiB


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

/proc/23335/statm: 8840 2997 856 476 0 2162 0
Current children cumulated CPU time: 1722.24 s
Current children cumulated vsize: 35360 KiB
Current children cumulated memory: 11988 KiB

[startup+1782.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/188 23417
/proc/meminfo: memFree=16068380/32770624 swapFree=67108860/67108860
[pid=23335] ppid=23332 vsize=35360 memory=11988 CPUtime=1782.24 cores=1,3,5,7
/proc/23335/stat : 23335 (cosoco) R 23332 23335 22565 0 -1 4202496 26764 0 0 0 178223 1 0 0 20 0 1 0 65186474 36208640 2997 33554432000 4194304 6142532 140732468935456 140732468932856 5060730 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 14778368 140732468941958 140732468942088 140732468942088 140732468944846 0
/proc/23335/statm: 8840 2997 856 476 0 2162 0
Current children cumulated CPU time: 1782.24 s
Current children cumulated vsize: 35360 KiB
Current children cumulated memory: 11988 KiB

[startup+1842.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/188 23418
/proc/meminfo: memFree=16069268/32770624 swapFree=67108860/67108860
[pid=23335] ppid=23332 vsize=35360 memory=11988 CPUtime=1842.24 cores=1,3,5,7
/proc/23335/stat : 23335 (cosoco) R 23332 23335 22565 0 -1 4202496 27281 0 0 0 184223 1 0 0 20 0 1 0 65186474 36208640 2997 33554432000 4194304 6142532 140732468935456 140732468932856 5327655 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 14778368 140732468941958 140732468942088 140732468942088 140732468944846 0
/proc/23335/statm: 8840 2997 856 476 0 2162 0
Current children cumulated CPU time: 1842.24 s
Current children cumulated vsize: 35360 KiB
Current children cumulated memory: 11988 KiB

[startup+1902.3 s]
/proc/loadavg: 2.12 2.05 2.05 3/188 23479
/proc/meminfo: memFree=16080456/32770624 swapFree=67108860/67108860
[pid=23335] ppid=23332 vsize=35360 memory=11988 CPUtime=1902.23 cores=1,3,5,7
/proc/23335/stat : 23335 (cosoco) R 23332 23335 22565 0 -1 4202496 27667 0 0 0 190222 1 0 0 20 0 1 0 65186474 36208640 2997 33554432000 4194304 6142532 140732468935456 140732468932856 5058760 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 14778368 140732468941958 140732468942088 140732468942088 140732468944846 0
/proc/23335/statm: 8840 2997 856 476 0 2162 0
Current children cumulated CPU time: 1902.23 s
Current children cumulated vsize: 35360 KiB
Current children cumulated memory: 11988 KiB

[startup+1962.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/188 23480
/proc/meminfo: memFree=16080680/32770624 swapFree=67108860/67108860
[pid=23335] ppid=23332 vsize=35360 memory=11988 CPUtime=1962.23 cores=1,3,5,7
/proc/23335/stat : 23335 (cosoco) R 23332 23335 22565 0 -1 4202496 28061 0 0 0 196222 1 0 0 20 0 1 0 65186474 36208640 2997 33554432000 4194304 6142532 140732468935456 140732468932856 5057883 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 14778368 140732468941958 140732468942088 140732468942088 140732468944846 0
/proc/23335/statm: 8840 2997 856 476 0 2162 0
Current children cumulated CPU time: 1962.23 s
Current children cumulated vsize: 35360 KiB
Current children cumulated memory: 11988 KiB

[startup+2022.3 s]
/proc/loadavg: 2.50 2.16 2.08 3/188 23481
/proc/meminfo: memFree=16080800/32770624 swapFree=67108860/67108860
[pid=23335] ppid=23332 vsize=35360 memory=11988 CPUtime=2022.23 cores=1,3,5,7
/proc/23335/stat : 23335 (cosoco) R 23332 23335 22565 0 -1 4202496 28573 0 0 0 202222 1 0 0 20 0 1 0 65186474 36208640 2997 33554432000 4194304 6142532 140732468935456 140732468932856 5058615 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 14778368 140732468941958 140732468942088 140732468942088 140732468944846 0
/proc/23335/statm: 8840 2997 856 476 0 2162 0
Current children cumulated CPU time: 2022.23 s
Current children cumulated vsize: 35360 KiB
Current children cumulated memory: 11988 KiB

[startup+2082.3 s]
/proc/loadavg: 2.22 2.15 2.08 3/187 23483
/proc/meminfo: memFree=16080568/32770624 swapFree=67108860/67108860
[pid=23335] ppid=23332 vsize=35360 memory=11988 CPUtime=2082.23 cores=1,3,5,7
/proc/23335/stat : 23335 (cosoco) R 23332 23335 22565 0 -1 4202496 28969 0 0 0 208222 1 0 0 20 0 1 0 65186474 36208640 2997 33554432000 4194304 6142532 140732468935456 140732468932856 5347469 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 14778368 140732468941958 140732468942088 140732468942088 140732468944846 0
/proc/23335/statm: 8840 2997 856 476 0 2162 0
Current children cumulated CPU time: 2082.23 s
Current children cumulated vsize: 35360 KiB
Current children cumulated memory: 11988 KiB

[startup+2142.3 s]
/proc/loadavg: 2.08 2.12 2.08 3/187 23484
/proc/meminfo: memFree=16080740/32770624 swapFree=67108860/67108860
[pid=23335] ppid=23332 vsize=35360 memory=11988 CPUtime=2142.23 cores=1,3,5,7
/proc/23335/stat : 23335 (cosoco) R 23332 23335 22565 0 -1 4202496 29362 0 0 0 214222 1 0 0 20 0 1 0 65186474 36208640 2997 33554432000 4194304 6142532 140732468935456 140732468932856 5054969 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 14778368 140732468941958 140732468942088 140732468942088 140732468944846 0
/proc/23335/statm: 8840 2997 856 476 0 2162 0
Current children cumulated CPU time: 2142.23 s
Current children cumulated vsize: 35360 KiB
Current children cumulated memory: 11988 KiB

[startup+2202.3 s]
/proc/loadavg: 2.03 2.10 2.07 3/187 23485
/proc/meminfo: memFree=16080844/32770624 swapFree=67108860/67108860
[pid=23335] ppid=23332 vsize=35360 memory=11988 CPUtime=2202.23 cores=1,3,5,7
/proc/23335/stat : 23335 (cosoco) R 23332 23335 22565 0 -1 4202496 29758 0 0 0 220222 1 0 0 20 0 1 0 65186474 36208640 2997 33554432000 4194304 6142532 140732468935456 140732468932856 4995353 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 14778368 140732468941958 140732468942088 140732468942088 140732468944846 0
/proc/23335/statm: 8840 2997 856 476 0 2162 0
Current children cumulated CPU time: 2202.23 s
Current children cumulated vsize: 35360 KiB
Current children cumulated memory: 11988 KiB

[startup+2262.3 s]
/proc/loadavg: 2.01 2.08 2.07 3/187 23487
/proc/meminfo: memFree=16080620/32770624 swapFree=67108860/67108860
[pid=23335] ppid=23332 vsize=35360 memory=11988 CPUtime=2262.22 cores=1,3,5,7
/proc/23335/stat : 23335 (cosoco) R 23332 23335 22565 0 -1 4202496 30152 0 0 0 226221 1 0 0 20 0 1 0 65186474 36208640 2997 33554432000 4194304 6142532 140732468935456 140732468932856 5062432 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 14778368 140732468941958 140732468942088 140732468942088 140732468944846 0
/proc/23335/statm: 8840 2997 856 476 0 2162 0
Current children cumulated CPU time: 2262.22 s
Current children cumulated vsize: 35360 KiB
Current children cumulated memory: 11988 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.07 2.06 3/187 23488
/proc/meminfo: memFree=16081508/32770624 swapFree=67108860/67108860
[pid=23335] ppid=23332 vsize=35360 memory=11988 CPUtime=2322.22 cores=1,3,5,7
/proc/23335/stat : 23335 (cosoco) R 23332 23335 22565 0 -1 4202496 30546 0 0 0 232221 1 0 0 20 0 1 0 65186474 36208640 2997 33554432000 4194304 6142532 140732468935456 140732468932856 5058545 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 14778368 140732468941958 140732468942088 140732468942088 140732468944846 0
/proc/23335/statm: 8840 2997 856 476 0 2162 0
Current children cumulated CPU time: 2322.22 s
Current children cumulated vsize: 35360 KiB
Current children cumulated memory: 11988 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/187 23496
/proc/meminfo: memFree=16080032/32770624 swapFree=67108860/67108860
[pid=23335] ppid=23332 vsize=35360 memory=11988 CPUtime=2382.22 cores=1,3,5,7
/proc/23335/stat : 23335 (cosoco) R 23332 23335 22565 0 -1 4202496 31061 0 0 0 238221 1 0 0 20 0 1 0 65186474 36208640 2997 33554432000 4194304 6142532 140732468935456 140732468932856 5061130 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 14778368 140732468941958 140732468942088 140732468942088 140732468944846 0
/proc/23335/statm: 8840 2997 856 476 0 2162 0
Current children cumulated CPU time: 2382.22 s
Current children cumulated vsize: 35360 KiB
Current children cumulated memory: 11988 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 23497
/proc/meminfo: memFree=16080520/32770624 swapFree=67108860/67108860
[pid=23335] ppid=23332 vsize=35360 memory=11988 CPUtime=2442.22 cores=1,3,5,7
/proc/23335/stat : 23335 (cosoco) R 23332 23335 22565 0 -1 4202496 31458 0 0 0 244221 1 0 0 20 0 1 0 65186474 36208640 2997 33554432000 4194304 6142532 140732468935456 140732468932856 5347469 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 14778368 140732468941958 140732468942088 140732468942088 140732468944846 0
/proc/23335/statm: 8840 2997 856 476 0 2162 0
Current children cumulated CPU time: 2442.22 s
Current children cumulated vsize: 35360 KiB
Current children cumulated memory: 11988 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 23498
/proc/meminfo: memFree=16080844/32770624 swapFree=67108860/67108860
[pid=23335] ppid=23332 vsize=35360 memory=11988 CPUtime=2502.22 cores=1,3,5,7
/proc/23335/stat : 23335 (cosoco) R 23332 23335 22565 0 -1 4202496 31894 0 0 0 250221 1 0 0 20 0 1 0 65186474 36208640 2997 33554432000 4194304 6142532 140732468935456 140732468932856 5061904 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 14778368 140732468941958 140732468942088 140732468942088 140732468944846 0
/proc/23335/statm: 8840 2997 856 476 0 2162 0
Current children cumulated CPU time: 2502.22 s
Current children cumulated vsize: 35360 KiB
Current children cumulated memory: 11988 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.04 2.05 3/187 23499
/proc/meminfo: memFree=16080224/32770624 swapFree=67108860/67108860
[pid=23335] ppid=23332 vsize=35360 memory=11988 CPUtime=2519.92 cores=1,3,5,7
/proc/23335/stat : 23335 (cosoco) R 23332 23335 22565 0 -1 4202496 32272 0 0 0 251991 1 0 0 20 0 1 0 65186474 36208640 2997 33554432000 4194304 6142532 140732468935456 140732468932856 5347460 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 14778368 140732468941958 140732468942088 140732468942088 140732468944846 0
/proc/23335/statm: 8840 2997 856 476 0 2162 0
Current children cumulated CPU time: 2519.92 s
Current children cumulated vsize: 35360 KiB
Current children cumulated memory: 11988 KiB

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

[startup+2520.01 s]
# the end of solver process 23335 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.92 s, system=0.014999 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.94
CPU user time (s): 2519.92
CPU system time (s): 0.014999
CPU usage (%): 99.9971
Max. virtual memory (cumulated for all children) (KiB): 35360
Max. memory (cumulated for all children) (KiB): 11988

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.92
system time used= 0.014999
maximum resident set size= 12052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32320
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= 18
involuntary context switches= 663


# summary of solver processes directly reported to runsolver:
#   pid: 23335
#   total CPU time (s): 2519.94
#   total CPU user time (s): 2519.92
#   total CPU system time (s): 0.014999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.34389 second user time and 16.1462 second system time

The end

Launcher Data 

Begin job on node150 at 2018-07-25 01:50:32
IDJOB=4294573
IDBENCH=141398
IDSOLVER=2752
FILE ID=node150/4294573-1532476232
RUNJOBID= node150-1532470521-22597
PBS_JOBID= 21021585
Free space on /tmp= 53104 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/MisteryShopper/MisteryShopper-10c_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4294573-1532476232/watcher-4294573-1532476232 -o /tmp/evaluation-result-4294573-1532476232/solver-4294573-1532476232 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532470521-22597 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4294573-1532476232.xml

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

MD5SUM BENCH= 56c97bc9b19c7ad517216d1a3c315031
RANDOM SEED=1177340445

node150.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.76
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.76
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.76
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.76
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:        16079724 kB
MemAvailable:   31929732 kB
Buffers:          235932 kB
Cached:         15698728 kB
SwapCached:            0 kB
Active:          1584884 kB
Inactive:       14413752 kB
Active(anon):      22372 kB
Inactive(anon):    61412 kB
Active(file):    1562512 kB
Inactive(file): 14352340 kB
Unevictable:        7756 kB
Mlocked:            7756 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2784 kB
Writeback:             0 kB
AnonPages:         71604 kB
Mapped:            40848 kB
Shmem:             17032 kB
Slab:             390628 kB
SReclaimable:     363616 kB
SUnreclaim:        27012 kB
KernelStack:        3296 kB
PageTables:         5064 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     355412 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 53100 MiB
End job on node150 at 2018-07-25 02:32:32