Trace number 4299103

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) 2520.08 2519.9

General information on the benchmark

NameQuasigroups_mini/
QuasiGroup-v4-12_mini_c18.xml
MD5SUM87e1f450592d5a84c288bd9e0fd40a7e
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 benchmark196.295
Satisfiable
(Un)Satisfiability was proved
Number of variables288
Number of constraints300
Number of domains2
Minimum domain size12
Maximum domain size144
Distribution of domain sizes[{"size":12,"count":144},{"size":144,"count":132}]
Minimum variable degree0
Maximum variable degree136
Distribution of variable degrees[{"degree":0,"count":12},{"degree":2,"count":132},{"degree":135,"count":12},{"degree":136,"count":132}]
Minimum constraint arity1
Maximum constraint arity145
Distribution of constraint arities[{"arity":1,"count":12},{"arity":3,"count":132},{"arity":12,"count":24},{"arity":145,"count":132}]
Number of extensional constraints132
Number of intensional constraints12
Distribution of constraint types[{"type":"extension","count":132},{"type":"intension","count":12},{"type":"allDifferent","count":24},{"type":"element","count":132}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.02	c root propagations     : 2620        
0.00/0.02	c restarts enabled, print stats at every restarts
0.00/0.02	c
0.00/0.02	c
0.00/0.02	c
0.00/0.02	c This is cosoco 1.12 --  
0.00/0.02	c
0.00/0.02	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4299103-1532786758.xml 
0.00/0.02	c ========================================[ Problem Statistics ]===========================================
0.00/0.02	c |                                                                                                       
0.00/0.02	c |  Parse time        :         0.01 s 
0.00/0.02	c |
0.00/0.02	c |               Variables: 288
0.00/0.02	c |            Domain Sizes: 12..144
0.00/0.02	c |
0.00/0.02	c |             Constraints: 300
0.00/0.02	c |                   Arity: 1..145  -- Unary: 12  -- Ternary: 132
0.00/0.02	c | 
0.00/0.02	c |                   Types: 
0.00/0.02	c |                          All Different: 24
0.00/0.02	c |                          Element Constant: 132
0.00/0.02	c |                          Extension: 132  (nb tuples: 144..144) -- (shared: 131)
0.00/0.02	c |                          Unary: 12
0.00/0.02	c |                          
0.00/0.02	c =========================================================================================================
0.00/0.02	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.02	c remove useless variable y[0][0]
0.00/0.02	c remove useless variable y[1][1]
0.00/0.02	c remove useless variable y[2][2]
0.00/0.02	c remove useless variable y[3][3]
0.00/0.02	c remove useless variable y[4][4]
0.00/0.02	c remove useless variable y[5][5]
0.00/0.02	c remove useless variable y[6][6]
0.00/0.02	c remove useless variable y[7][7]
0.00/0.02	c remove useless variable y[8][8]
0.00/0.02	c remove useless variable y[9][9]
0.00/0.02	c remove useless variable y[10][10]
0.00/0.02	c remove useless variable y[11][11]
0.10/0.16	c 101            546            353790         202944         186            0              85   124   97  
0.21/0.30	c 211            959            623891         317368         186            0              46   63   54   
0.41/0.46	c 332            1542           1132309        551811         186            0              69   87   75   
0.60/0.63	c 465            2270           1655513        782103         186            0              64   95   75   
0.79/0.81	c 611            3019           2209061        999583         186            0              57   81   68   
0.89/0.97	c 771            3743           2658076        1133735        186            0              49   78   63   
1.10/1.18	c 947            4647           3308491        1392752        186            0              60   88   75   
1.39/1.41	c 1140           5632           4163073        1715841        186            0              65   92   76   
1.59/1.65	c 1352           6626           5066453        2060957        186            0              22   88   76   
1.89/1.90	c 1585           7688           5921802        2390429        186            0              47   86   75   
2.10/2.16	c 1841           8817           6767678        2696662        186            0              29   82   68   
2.49/2.52	c 2122           10154          7982567        3248274        186            0              35   89   77   
2.79/2.89	c 2431           11666          9270644        3756012        186            0              36   90   77   
3.19/3.20	c 2770           12790          10070227       4108975        186            0              51   80   64   
3.59/3.67	c 3142           14540          11693059       4775047        186            0              66   89   75   
4.10/4.18	c 3551           16591          13469117       5514467        186            0              34   88   75   
4.69/4.78	c 4000           18827          15340469       6386433        186            0              57   86   71   
5.29/5.37	c 4493           21495          17517690       7295150        186            0              64   91   77   
5.89/5.95	c 5035           23927          19698470       8105640        186            0              28   90   74   
6.69/6.74	c 5631           26731          22029895       9211767        186            0              54   82   69   
7.39/7.40	c 6286           29241          23813053       9940510        186            0              33   77   64   
8.19/8.24	c 7006           32711          26792874       11273225       186            0              67   92   76   
9.19/9.26	c 7798           36062          29873559       12800049       186            0              19   85   69   
10.29/10.30	c 8669           40536          33456702       14276210       186            0              37   89   73   
11.39/11.48	c 9627           45030          37681300       16036501       186            0              67   93   78   
12.59/12.67	c 10680          49702          41863817       17881088       186            0              28   94   75   
13.89/14.00	c 11838          55194          46483427       19828167       186            0              42   91   75   
15.29/15.39	c 13111          60394          51448577       21911311       186            0              62   90   76   
17.00/17.01	c 14511          66352          55850796       23962755       186            0              50   80   60   
18.59/18.61	c 16051          73667          61457803       26352533       186            0              30   94   76   
20.70/20.70	c 17745          81733          68535787       29427378       186            0              42   90   76   
23.00/23.05	c 19608          91248          76477485       32841365       186            0              41   92   72   
25.70/25.76	c 21657          101026         85004525       36846430       186            0              33   89   70   
28.50/28.50	c 23910          110056         93433970       41199062       186            0              57   87   70   
31.20/31.20	c 26388          121291         102746999      45548078       186            0              39   93   76   
34.20/34.25	c 29113          133652         114034061      50373221       186            0              66   94   77   
37.80/37.81	c 32110          148719         126267303      56027142       186            0              64   96   77   
41.20/41.25	c 35406          162479         138246755      61125175       186            0              58   91   72   
45.40/45.46	c 39031          178846         153067621      67591638       186            0              63   94   77   
49.40/49.48	c 43018          196811         167892844      73753406       186            0              67   95   79   
54.30/54.37	c 47403          213536         181778079      80655910       186            0              54   84   67   
60.40/60.44	c 52226          235874         201159197      89489564       186            0              52   94   71   
66.20/66.22	c 57531          259323         222174296      98187276       186            0              61   94   75   
73.40/73.48	c 63366          285781         244570995      108546588      186            0              53   90   70   
80.70/80.75	c 69784          314246         269414060      120113663      186            0              63   96   77   
89.70/89.71	c 76843          350884         296423983      132566266      186            0              49   93   68   
98.01/98.07	c 84607          382738         325818129      146218516      186            0              66   94   78   
108.11/108.11	c 93147          423894         361743950      161999744      186            0              63   96   78   
119.01/119.02	c 102541         469098         397365178      177302926      186            0              39   89   70   
131.70/131.75	c 112874         517020         441748768      197216929      186            0              62   97   77   
143.50/143.54	c 124240         566376         484903809      214696045      186            0              63   95   75   
158.50/158.56	c 136742         622922         537143788      237958131      186            0              64   98   77   
173.30/173.31	c 150494         686296         590465686      261183085      186            0              62   93   75   
191.71/191.75	c 165621         766490         654251359      288770446      186            0              52   95   72   
209.81/209.87	c 182260         846278         713844392      316285846      186            0              49   93   74   
232.91/232.99	c 200562         933276         779815888      347485695      186            0              51   93   67   
255.41/255.43	c 220694         1024178        856911751      381479928      186            0              62   94   75   
284.51/284.59	c 242839         1131780        954606216      422994879      186            0              53   93   71   
312.02/312.02	c 267198         1245686        1055755050     464506515      186            0              63   96   77   
341.72/341.76	c 293992         1356355        1140088474     505512513      186            0              48   87   65   
378.22/378.29	c 323465         1497000        1249491609     554943557      186            0              35   95   65   
414.62/414.68	c 355885         1643493        1379735410     609034313      186            0              45   95   75   
459.82/459.86	c 391547         1816716        1522223605     677636452      186            0              40   92   70   
504.53/504.50	c 430775         2001677        1673297986     746772328      186            0              56   97   75   
556.04/556.02	c 473925         2219699        1845178268     816846375      186            0              45   92   66   
613.24/613.24	c 521390         2442174        2040668785     902152917      186            0              53   96   74   
673.44/673.49	c 573601         2688990        2263654885     991659881      186            0              26   98   76   
750.34/750.35	c 631033         2986904        2493567271     1096984049     186            0              44   94   67   
815.06/815.02	c 694208         3291204        2744220947     1195955304     186            0              30   102   77  
900.26/900.27	c 763700         3628520        2993107070     1307434838     186            0              42   91   68   
984.86/984.85	c 840141         3982157        3302211710     1436329142     186            0              62   100   76  
1090.47/1090.50	c 924226         4402135        3630612913     1587316946     186            0              45   94   69   
1198.28/1198.26	c 1016719        4814830        3971142041     1726271254     186            0              47   93   68   
1327.98/1327.93	c 1118461        5260779        4357991362     1920740564     186            0              51   84   65   
1468.69/1468.64	c 1230377        5816069        4787073587     2119957141     186            0              49   97   70   
1613.70/1613.61	c 1353484        6350091        5204348235     2301462533     186            0              46   89   66   
1776.92/1776.80	c 1488901        6940128        5695781581     2539265690     186            0              37   94   69   
1945.24/1945.14	c 1637859        7615896        6259126562     2794658291     186            0              60   94   75   
2153.25/2153.17	c 1801712        8353595        6851748503     3090312456     186            0              44   89   67   
2354.56/2354.43	c 1981950        9190066        7595216292     3388492912     186            0              59   98   76   
2520.07/2519.90	
2520.07/2519.90	c *** INTERRUPTED ***
2520.07/2519.90	c restarts              : 80          
2520.07/2519.90	c conflicts             : 2132157      (846 /sec)
2520.07/2519.90	c decisions             : 9896147      (3927 /sec)
2520.07/2519.90	c propagations          : 3634869984  (1442367 /sec)
2520.07/2519.90	c root propagations     : 2620        
2520.07/2519.90	c filter calls          : 8181624542     (3246582 /sec)
2520.07/2519.90	c useless filter calls  : 6992946096     (85 %)
2520.07/2519.90	c Memory used           : 28.61 MB
2520.07/2519.90	c CPU time              : 2520.07 s
2520.07/2519.90	
2520.07/2519.90	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 (8461 MiB free)
  memory of node 1: 16384 MiB (11536 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299103-1532786758/watcher-4299103-1532786758 -o /tmp/evaluation-result-4299103-1532786758/solver-4299103-1532786758 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532776049-11498 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4299103-1532786758.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
Starting watchdog thread
Linux 3.10.0-514.16.1.el7.x86_64
Current StackSize limit: 8192 KiB

solver pid=12810, runsolver pid=12807

[startup+0.100149 s]*
/proc/loadavg: 2.02 2.14 2.11 3/188 12811
/proc/meminfo: memFree=20474836/32770624 swapFree=67108860/67108860
[pid=12810] ppid=12807 vsize=29288 memory=5784 CPUtime=0.1 cores=1,3,5,7
/proc/12810/stat : 12810 (cosoco) R 12807 12810 11466 0 -1 4202496 1617 0 0 0 10 0 0 0 20 0 1 0 96239022 29990912 1446 33554432000 4194304 6142532 140733400357680 140733400354312 5170084 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24858624 140733400364166 140733400364296 140733400364296 140733400367054 0
/proc/12810/statm: 7322 1446 854 476 0 644 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29288 KiB
Current children cumulated memory: 5784 KiB

[startup+0.2095 s]*
/proc/loadavg: 2.02 2.14 2.11 3/188 12811
/proc/meminfo: memFree=20474836/32770624 swapFree=67108860/67108860
[pid=12810] ppid=12807 vsize=29288 memory=5784 CPUtime=0.21 cores=1,3,5,7
/proc/12810/stat : 12810 (cosoco) R 12807 12810 11466 0 -1 4202496 1617 0 0 0 21 0 0 0 20 0 1 0 96239022 29990912 1446 33554432000 4194304 6142532 140733400357680 140733400354312 5018340 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24858624 140733400364166 140733400364296 140733400364296 140733400367054 0
/proc/12810/statm: 7322 1446 854 476 0 644 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 29288 KiB
Current children cumulated memory: 5784 KiB

[startup+0.309139 s]*
/proc/loadavg: 2.02 2.14 2.11 3/188 12811
/proc/meminfo: memFree=20474836/32770624 swapFree=67108860/67108860
[pid=12810] ppid=12807 vsize=29288 memory=5784 CPUtime=0.31 cores=1,3,5,7
/proc/12810/stat : 12810 (cosoco) R 12807 12810 11466 0 -1 4202496 1617 0 0 0 31 0 0 0 20 0 1 0 96239022 29990912 1446 33554432000 4194304 6142532 140733400357680 140733400354312 5175056 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24858624 140733400364166 140733400364296 140733400364296 140733400367054 0
/proc/12810/statm: 7322 1446 854 476 0 644 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 29288 KiB
Current children cumulated memory: 5784 KiB

[startup+0.700271 s]
/proc/loadavg: 2.02 2.14 2.11 3/188 12811
/proc/meminfo: memFree=20474836/32770624 swapFree=67108860/67108860
[pid=12810] ppid=12807 vsize=29288 memory=5784 CPUtime=0.69 cores=1,3,5,7
/proc/12810/stat : 12810 (cosoco) R 12807 12810 11466 0 -1 4202496 1624 0 0 0 69 0 0 0 20 0 1 0 96239022 29990912 1446 33554432000 4194304 6142532 140733400357680 140733400355080 5175056 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24858624 140733400364166 140733400364296 140733400364296 140733400367054 0
/proc/12810/statm: 7322 1446 854 476 0 644 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 29288 KiB
Current children cumulated memory: 5784 KiB

[startup+1.50027 s]
/proc/loadavg: 2.02 2.14 2.11 3/188 12811
/proc/meminfo: memFree=20474944/32770624 swapFree=67108860/67108860
[pid=12810] ppid=12807 vsize=29288 memory=5784 CPUtime=1.49 cores=1,3,5,7
/proc/12810/stat : 12810 (cosoco) R 12807 12810 11466 0 -1 4202496 1625 0 0 0 149 0 0 0 20 0 1 0 96239022 29990912 1446 33554432000 4194304 6142532 140733400357680 140733400355080 5061866 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24858624 140733400364166 140733400364296 140733400364296 140733400367054 0
/proc/12810/statm: 7322 1446 854 476 0 644 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 29288 KiB
Current children cumulated memory: 5784 KiB

[startup+3.10909 s]
/proc/loadavg: 2.02 2.13 2.11 3/188 12811
/proc/meminfo: memFree=20474532/32770624 swapFree=67108860/67108860
[pid=12810] ppid=12807 vsize=29288 memory=5876 CPUtime=3.1 cores=1,3,5,7
/proc/12810/stat : 12810 (cosoco) R 12807 12810 11466 0 -1 4202496 2172 0 0 0 310 0 0 0 20 0 1 0 96239022 29990912 1469 33554432000 4194304 6142532 140733400357680 140733400355080 5079966 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24858624 140733400364166 140733400364296 140733400364296 140733400367054 0
/proc/12810/statm: 7322 1469 854 476 0 644 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 29288 KiB
Current children cumulated memory: 5876 KiB

[startup+6.30026 s]
/proc/loadavg: 2.02 2.13 2.11 3/187 12811
/proc/meminfo: memFree=20474804/32770624 swapFree=67108860/67108860
[pid=12810] ppid=12807 vsize=29288 memory=5876 CPUtime=6.29 cores=1,3,5,7
/proc/12810/stat : 12810 (cosoco) R 12807 12810 11466 0 -1 4202496 2717 0 0 0 629 0 0 0 20 0 1 0 96239022 29990912 1469 33554432000 4194304 6142532 140733400357680 140733400355080 5017775 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24858624 140733400364166 140733400364296 140733400364296 140733400367054 0
/proc/12810/statm: 7322 1469 854 476 0 644 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 29288 KiB
Current children cumulated memory: 5876 KiB

[startup+12.7003 s]
/proc/loadavg: 2.02 2.13 2.11 3/187 12811
/proc/meminfo: memFree=20474804/32770624 swapFree=67108860/67108860
[pid=12810] ppid=12807 vsize=29288 memory=5876 CPUtime=12.69 cores=1,3,5,7
/proc/12810/stat : 12810 (cosoco) R 12807 12810 11466 0 -1 4202496 3264 0 0 0 1269 0 0 0 20 0 1 0 96239022 29990912 1469 33554432000 4194304 6142532 140733400357680 140733400355080 5079985 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24858624 140733400364166 140733400364296 140733400364296 140733400367054 0
/proc/12810/statm: 7322 1469 854 476 0 644 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 29288 KiB
Current children cumulated memory: 5876 KiB

[startup+25.5003 s]
/proc/loadavg: 2.02 2.13 2.11 3/187 12811
/proc/meminfo: memFree=20474932/32770624 swapFree=67108860/67108860
[pid=12810] ppid=12807 vsize=29288 memory=5876 CPUtime=25.5 cores=1,3,5,7
/proc/12810/stat : 12810 (cosoco) R 12807 12810 11466 0 -1 4202496 4359 0 0 0 2550 0 0 0 20 0 1 0 96239022 29990912 1469 33554432000 4194304 6142532 140733400357680 140733400355080 5058259 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24858624 140733400364166 140733400364296 140733400364296 140733400367054 0
/proc/12810/statm: 7322 1469 854 476 0 644 0
Current children cumulated CPU time: 25.5 s
Current children cumulated vsize: 29288 KiB
Current children cumulated memory: 5876 KiB

[startup+51.109 s]
/proc/loadavg: 2.01 2.12 2.11 3/187 12811
/proc/meminfo: memFree=20475180/32770624 swapFree=67108860/67108860
[pid=12810] ppid=12807 vsize=29288 memory=5876 CPUtime=51.1 cores=1,3,5,7
/proc/12810/stat : 12810 (cosoco) R 12807 12810 11466 0 -1 4202496 4912 0 0 0 5110 0 0 0 20 0 1 0 96239022 29990912 1469 33554432000 4194304 6142532 140733400357680 140733400355080 5175264 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24858624 140733400364166 140733400364296 140733400364296 140733400367054 0
/proc/12810/statm: 7322 1469 854 476 0 644 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 29288 KiB
Current children cumulated memory: 5876 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.10 2.10 3/187 12812
/proc/meminfo: memFree=20474832/32770624 swapFree=67108860/67108860
[pid=12810] ppid=12807 vsize=29288 memory=5876 CPUtime=102.3 cores=1,3,5,7
/proc/12810/stat : 12810 (cosoco) R 12807 12810 11466 0 -1 4202496 5464 0 0 0 10230 0 0 0 20 0 1 0 96239022 29990912 1469 33554432000 4194304 6142532 140733400357680 140733400355080 5079985 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24858624 140733400364166 140733400364296 140733400364296 140733400367054 0
/proc/12810/statm: 7322 1469 854 476 0 644 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 29288 KiB
Current children cumulated memory: 5876 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.08 2.10 3/187 12813
/proc/meminfo: memFree=20474840/32770624 swapFree=67108860/67108860
[pid=12810] ppid=12807 vsize=29288 memory=5876 CPUtime=162.3 cores=1,3,5,7
/proc/12810/stat : 12810 (cosoco) R 12807 12810 11466 0 -1 4202496 6015 0 0 0 16230 0 0 0 20 0 1 0 96239022 29990912 1469 33554432000 4194304 6142532 140733400357680 140733400355080 5328339 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24858624 140733400364166 140733400364296 140733400364296 140733400367054 0
/proc/12810/statm: 7322 1469 854 476 0 644 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 29288 KiB
Current children cumulated memory: 5876 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.07 2.09 3/187 12814
/proc/meminfo: memFree=20474584/32770624 swapFree=67108860/67108860
[pid=12810] ppid=12807 vsize=29288 memory=5876 CPUtime=222.31 cores=1,3,5,7
/proc/12810/stat : 12810 (cosoco) R 12807 12810 11466 0 -1 4202496 6565 0 0 0 22231 0 0 0 20 0 1 0 96239022 29990912 1469 33554432000 4194304 6142532 140733400357680 140733400355080 5079898 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24858624 140733400364166 140733400364296 140733400364296 140733400367054 0
/proc/12810/statm: 7322 1469 854 476 0 644 0
Current children cumulated CPU time: 222.31 s
Current children cumulated vsize: 29288 KiB
Current children cumulated memory: 5876 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.05 2.09 3/188 12823
/proc/meminfo: memFree=20473832/32770624 swapFree=67108860/67108860
[pid=12810] ppid=12807 vsize=29288 memory=5876 CPUtime=282.31 cores=1,3,5,7
/proc/12810/stat : 12810 (cosoco) R 12807 12810 11466 0 -1 4202496 6565 0 0 0 28231 0 0 0 20 0 1 0 96239022 29990912 1469 33554432000 4194304 6142532 140733400357680 140733400355080 5079994 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24858624 140733400364166 140733400364296 140733400364296 140733400367054 0
/proc/12810/statm: 7322 1469 854 476 0 644 0
Current children cumulated CPU time: 282.31 s
Current children cumulated vsize: 29288 KiB
Current children cumulated memory: 5876 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.04 2.08 3/188 12824
/proc/meminfo: memFree=20474080/32770624 swapFree=67108860/67108860
[pid=12810] ppid=12807 vsize=29288 memory=5876 CPUtime=342.32 cores=1,3,5,7
/proc/12810/stat : 12810 (cosoco) R 12807 12810 11466 0 -1 4202496 7115 0 0 0 34232 0 0 0 20 0 1 0 96239022 29990912 1469 33554432000 4194304 6142532 140733400357680 140733400355080 5079981 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24858624 140733400364166 140733400364296 140733400364296 140733400367054 0
/proc/12810/statm: 7322 1469 854 476 0 644 0
Current children cumulated CPU time: 342.32 s
Current children cumulated vsize: 29288 KiB
Current children cumulated memory: 5876 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.04 2.07 3/188 12825
/proc/meminfo: memFree=20473812/32770624 swapFree=67108860/67108860
[pid=12810] ppid=12807 vsize=29288 memory=5876 CPUtime=402.32 cores=1,3,5,7
/proc/12810/stat : 12810 (cosoco) R 12807 12810 11466 0 -1 4202496 7115 0 0 0 40232 0 0 0 20 0 1 0 96239022 29990912 1469 33554432000 4194304 6142532 140733400357680 140733400355080 5059591 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24858624 140733400364166 140733400364296 140733400364296 140733400367054 0
/proc/12810/statm: 7322 1469 854 476 0 644 0
Current children cumulated CPU time: 402.32 s
Current children cumulated vsize: 29288 KiB
Current children cumulated memory: 5876 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.07 3/188 12826
/proc/meminfo: memFree=20473664/32770624 swapFree=67108860/67108860
[pid=12810] ppid=12807 vsize=29288 memory=5876 CPUtime=462.32 cores=1,3,5,7
/proc/12810/stat : 12810 (cosoco) R 12807 12810 11466 0 -1 4202496 7665 0 0 0 46232 0 0 0 20 0 1 0 96239022 29990912 1469 33554432000 4194304 6142532 140733400357680 140733400355080 5062306 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24858624 140733400364166 140733400364296 140733400364296 140733400367054 0
/proc/12810/statm: 7322 1469 854 476 0 644 0
Current children cumulated CPU time: 462.32 s
Current children cumulated vsize: 29288 KiB
Current children cumulated memory: 5876 KiB


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

/proc/12810/statm: 7322 1469 854 476 0 644 0
Current children cumulated CPU time: 1782.42 s
Current children cumulated vsize: 29288 KiB
Current children cumulated memory: 5876 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12866
/proc/meminfo: memFree=20473020/32770624 swapFree=67108860/67108860
[pid=12810] ppid=12807 vsize=29288 memory=5876 CPUtime=1842.42 cores=1,3,5,7
/proc/12810/stat : 12810 (cosoco) R 12807 12810 11466 0 -1 4202496 13686 0 0 0 184242 0 0 0 20 0 1 0 96239022 29990912 1469 33554432000 4194304 6142532 140733400357680 140733400355080 5079989 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24858624 140733400364166 140733400364296 140733400364296 140733400367054 0
/proc/12810/statm: 7322 1469 854 476 0 644 0
Current children cumulated CPU time: 1842.42 s
Current children cumulated vsize: 29288 KiB
Current children cumulated memory: 5876 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12867
/proc/meminfo: memFree=20473136/32770624 swapFree=67108860/67108860
[pid=12810] ppid=12807 vsize=29288 memory=5876 CPUtime=1902.42 cores=1,3,5,7
/proc/12810/stat : 12810 (cosoco) R 12807 12810 11466 0 -1 4202496 14193 0 0 0 190242 0 0 0 20 0 1 0 96239022 29990912 1469 33554432000 4194304 6142532 140733400357680 140733400355080 5079936 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24858624 140733400364166 140733400364296 140733400364296 140733400367054 0
/proc/12810/statm: 7322 1469 854 476 0 644 0
Current children cumulated CPU time: 1902.42 s
Current children cumulated vsize: 29288 KiB
Current children cumulated memory: 5876 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12868
/proc/meminfo: memFree=20473008/32770624 swapFree=67108860/67108860
[pid=12810] ppid=12807 vsize=29288 memory=5876 CPUtime=1962.43 cores=1,3,5,7
/proc/12810/stat : 12810 (cosoco) R 12807 12810 11466 0 -1 4202496 14236 0 0 0 196243 0 0 0 20 0 1 0 96239022 29990912 1469 33554432000 4194304 6142532 140733400357680 140733400355080 5079994 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24858624 140733400364166 140733400364296 140733400364296 140733400367054 0
/proc/12810/statm: 7322 1469 854 476 0 644 0
Current children cumulated CPU time: 1962.43 s
Current children cumulated vsize: 29288 KiB
Current children cumulated memory: 5876 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12869
/proc/meminfo: memFree=20473124/32770624 swapFree=67108860/67108860
[pid=12810] ppid=12807 vsize=29288 memory=5876 CPUtime=2022.43 cores=1,3,5,7
/proc/12810/stat : 12810 (cosoco) R 12807 12810 11466 0 -1 4202496 14753 0 0 0 202243 0 0 0 20 0 1 0 96239022 29990912 1469 33554432000 4194304 6142532 140733400357680 140733400355080 5175264 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24858624 140733400364166 140733400364296 140733400364296 140733400367054 0
/proc/12810/statm: 7322 1469 854 476 0 644 0
Current children cumulated CPU time: 2022.43 s
Current children cumulated vsize: 29288 KiB
Current children cumulated memory: 5876 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12877
/proc/meminfo: memFree=20471936/32770624 swapFree=67108860/67108860
[pid=12810] ppid=12807 vsize=29288 memory=5876 CPUtime=2082.44 cores=1,3,5,7
/proc/12810/stat : 12810 (cosoco) R 12807 12810 11466 0 -1 4202496 14753 0 0 0 208244 0 0 0 20 0 1 0 96239022 29990912 1469 33554432000 4194304 6142532 140733400357680 140733400355080 5062213 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24858624 140733400364166 140733400364296 140733400364296 140733400367054 0
/proc/12810/statm: 7322 1469 854 476 0 644 0
Current children cumulated CPU time: 2082.44 s
Current children cumulated vsize: 29288 KiB
Current children cumulated memory: 5876 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12878
/proc/meminfo: memFree=20472300/32770624 swapFree=67108860/67108860
[pid=12810] ppid=12807 vsize=29288 memory=5876 CPUtime=2142.44 cores=1,3,5,7
/proc/12810/stat : 12810 (cosoco) R 12807 12810 11466 0 -1 4202496 15270 0 0 0 214244 0 0 0 20 0 1 0 96239022 29990912 1469 33554432000 4194304 6142532 140733400357680 140733400355080 5175278 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24858624 140733400364166 140733400364296 140733400364296 140733400367054 0
/proc/12810/statm: 7322 1469 854 476 0 644 0
Current children cumulated CPU time: 2142.44 s
Current children cumulated vsize: 29288 KiB
Current children cumulated memory: 5876 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12939
/proc/meminfo: memFree=20468536/32770624 swapFree=67108860/67108860
[pid=12810] ppid=12807 vsize=29288 memory=5876 CPUtime=2202.45 cores=1,3,5,7
/proc/12810/stat : 12810 (cosoco) R 12807 12810 11466 0 -1 4202496 15303 0 0 0 220245 0 0 0 20 0 1 0 96239022 29990912 1469 33554432000 4194304 6142532 140733400357680 140733400355080 5175264 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24858624 140733400364166 140733400364296 140733400364296 140733400367054 0
/proc/12810/statm: 7322 1469 854 476 0 644 0
Current children cumulated CPU time: 2202.45 s
Current children cumulated vsize: 29288 KiB
Current children cumulated memory: 5876 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12940
/proc/meminfo: memFree=20469000/32770624 swapFree=67108860/67108860
[pid=12810] ppid=12807 vsize=29288 memory=5876 CPUtime=2262.45 cores=1,3,5,7
/proc/12810/stat : 12810 (cosoco) R 12807 12810 11466 0 -1 4202496 15819 0 0 0 226245 0 0 0 20 0 1 0 96239022 29990912 1469 33554432000 4194304 6142532 140733400357680 140733400355080 5080105 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24858624 140733400364166 140733400364296 140733400364296 140733400367054 0
/proc/12810/statm: 7322 1469 854 476 0 644 0
Current children cumulated CPU time: 2262.45 s
Current children cumulated vsize: 29288 KiB
Current children cumulated memory: 5876 KiB

[startup+2322.3 s]
/proc/loadavg: 2.49 2.14 2.08 3/187 12941
/proc/meminfo: memFree=20469496/32770624 swapFree=67108860/67108860
[pid=12810] ppid=12807 vsize=29288 memory=5876 CPUtime=2322.45 cores=1,3,5,7
/proc/12810/stat : 12810 (cosoco) R 12807 12810 11466 0 -1 4202496 15819 0 0 0 232245 0 0 0 20 0 1 0 96239022 29990912 1469 33554432000 4194304 6142532 140733400357680 140733400355080 5016613 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24858624 140733400364166 140733400364296 140733400364296 140733400367054 0
/proc/12810/statm: 7322 1469 854 476 0 644 0
Current children cumulated CPU time: 2322.45 s
Current children cumulated vsize: 29288 KiB
Current children cumulated memory: 5876 KiB

[startup+2382.3 s]
/proc/loadavg: 2.21 2.13 2.08 3/187 12942
/proc/meminfo: memFree=20469900/32770624 swapFree=67108860/67108860
[pid=12810] ppid=12807 vsize=29288 memory=5876 CPUtime=2382.46 cores=1,3,5,7
/proc/12810/stat : 12810 (cosoco) R 12807 12810 11466 0 -1 4202496 16369 0 0 0 238246 0 0 0 20 0 1 0 96239022 29990912 1469 33554432000 4194304 6142532 140733400357680 140733400355080 5175070 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24858624 140733400364166 140733400364296 140733400364296 140733400367054 0
/proc/12810/statm: 7322 1469 854 476 0 644 0
Current children cumulated CPU time: 2382.46 s
Current children cumulated vsize: 29288 KiB
Current children cumulated memory: 5876 KiB

[startup+2442.3 s]
/proc/loadavg: 2.08 2.10 2.08 3/187 12943
/proc/meminfo: memFree=20469632/32770624 swapFree=67108860/67108860
[pid=12810] ppid=12807 vsize=29288 memory=5876 CPUtime=2442.46 cores=1,3,5,7
/proc/12810/stat : 12810 (cosoco) R 12807 12810 11466 0 -1 4202496 16369 0 0 0 244246 0 0 0 20 0 1 0 96239022 29990912 1469 33554432000 4194304 6142532 140733400357680 140733400355080 5079894 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24858624 140733400364166 140733400364296 140733400364296 140733400367054 0
/proc/12810/statm: 7322 1469 854 476 0 644 0
Current children cumulated CPU time: 2442.46 s
Current children cumulated vsize: 29288 KiB
Current children cumulated memory: 5876 KiB

[startup+2502.3 s]
/proc/loadavg: 2.03 2.08 2.07 3/187 12944
/proc/meminfo: memFree=20470004/32770624 swapFree=67108860/67108860
[pid=12810] ppid=12807 vsize=29288 memory=5876 CPUtime=2502.47 cores=1,3,5,7
/proc/12810/stat : 12810 (cosoco) R 12807 12810 11466 0 -1 4202496 16878 0 0 0 250247 0 0 0 20 0 1 0 96239022 29990912 1469 33554432000 4194304 6142532 140733400357680 140733400355080 5079981 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24858624 140733400364166 140733400364296 140733400364296 140733400367054 0
/proc/12810/statm: 7322 1469 854 476 0 644 0
Current children cumulated CPU time: 2502.47 s
Current children cumulated vsize: 29288 KiB
Current children cumulated memory: 5876 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2519.9 s]
/proc/loadavg: 2.02 2.08 2.07 3/187 12945
/proc/meminfo: memFree=20469740/32770624 swapFree=67108860/67108860
[pid=12810] ppid=12807 vsize=29288 memory=5876 CPUtime=2520.07 cores=1,3,5,7
/proc/12810/stat : 12810 (cosoco) R 12807 12810 11466 0 -1 4202496 16878 0 0 0 252007 0 0 0 20 0 1 0 96239022 29990912 1469 33554432000 4194304 6142532 140733400357680 140733400355080 5079981 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24858624 140733400364166 140733400364296 140733400364296 140733400367054 0
/proc/12810/statm: 7322 1469 854 476 0 644 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 29288 KiB
Current children cumulated memory: 5876 KiB

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

[startup+2519.9 s]
# the end of solver process 12810 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2520.07 s, system=0.003 s

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

[startup+2519.9 s]
/proc/loadavg: 2.02 2.08 2.07 3/187 12945
/proc/meminfo: memFree=20469740/32770624 swapFree=67108860/67108860
[pid=12810] ppid=12807 vsize=29288 memory=5876 CPUtime=2520.07 cores=1,3,5,7
/proc/12810/stat : 12810 (cosoco) R 12807 12810 11466 0 -1 4202496 16878 0 0 0 252007 0 0 0 20 0 1 0 96239022 29990912 1469 33554432000 4194304 6142532 140733400357680 140733400355080 5079981 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 24858624 140733400364166 140733400364296 140733400364296 140733400367054 0
/proc/12810/statm: 7322 1469 854 476 0 644 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 29288 KiB
Current children cumulated memory: 5876 KiB

Child status: 1
Real time (s): 2519.9
CPU time (s): 2520.08
CPU user time (s): 2520.07
CPU system time (s): 0.003
CPU usage (%): 100.007
Max. virtual memory (cumulated for all children) (KiB): 29288
Max. memory (cumulated for all children) (KiB): 5876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.07
system time used= 0.003
maximum resident set size= 5940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16927
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= 6
involuntary context switches= 645


# summary of solver processes directly reported to runsolver:
#   pid: 12810
#   total CPU time (s): 2520.08
#   total CPU user time (s): 2520.07
#   total CPU system time (s): 0.003

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.52754 second user time and 15.0988 second system time

The end

Launcher Data 

Begin job on node105 at 2018-07-28 16:05:59
IDJOB=4299103
IDBENCH=141295
IDSOLVER=2761
FILE ID=node105/4299103-1532786758
RUNJOBID= node105-1532776049-11498
PBS_JOBID= 21022469
Free space on /tmp= 44620 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/Quasigroups_mini/QuasiGroup-v4-12_mini_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4299103-1532786758/watcher-4299103-1532786758 -o /tmp/evaluation-result-4299103-1532786758/solver-4299103-1532786758 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532776049-11498 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4299103-1532786758.xml

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

MD5SUM BENCH= 87e1f450592d5a84c288bd9e0fd40a7e
RANDOM SEED=813947755

node105.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.32
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.32
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.32
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.32
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:        20477488 kB
MemAvailable:   31930256 kB
Buffers:          269284 kB
Cached:         11322480 kB
SwapCached:            0 kB
Active:          2389352 kB
Inactive:        9256236 kB
Active(anon):       8400 kB
Inactive(anon):    73344 kB
Active(file):    2380952 kB
Inactive(file):  9182892 kB
Unevictable:        7296 kB
Mlocked:            7296 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2760 kB
Writeback:             0 kB
AnonPages:         68972 kB
Mapped:            45204 kB
Shmem:             25228 kB
Slab:             345052 kB
SReclaimable:     317384 kB
SUnreclaim:        27668 kB
KernelStack:        3584 kB
PageTables:         5216 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     354036 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 44620 MiB
End job on node105 at 2018-07-28 16:47:59