Trace number 4292777

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

General information on the benchmark

NameColouredQueens/
ColouredQueens-15_c18.xml
MD5SUM531220ca8f264cab5c203edb1f2daff4
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables225
Number of constraints84
Number of domains1
Minimum domain size15
Maximum domain size15
Distribution of domain sizes[{"size":15,"count":225}]
Minimum variable degree3
Maximum variable degree4
Distribution of variable degrees[{"degree":3,"count":4},{"degree":4,"count":221}]
Minimum constraint arity2
Maximum constraint arity15
Distribution of constraint arities[{"arity":2,"count":4},{"arity":3,"count":4},{"arity":4,"count":4},{"arity":5,"count":4},{"arity":6,"count":4},{"arity":7,"count":4},{"arity":8,"count":4},{"arity":9,"count":4},{"arity":10,"count":4},{"arity":11,"count":4},{"arity":12,"count":4},{"arity":13,"count":4},{"arity":14,"count":4},{"arity":15,"count":32}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"allDifferent","count":84}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.02	c root propagations     : 0           
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-4292777-1532293349.xml 
0.00/0.02	c ========================================[ Problem Statistics ]===========================================
0.00/0.02	c |                                                                                                       
0.00/0.02	c |  Parse time        :         0.00 s 
0.00/0.02	c |
0.00/0.02	c |               Variables: 225
0.00/0.02	c |            Domain Sizes: 15..15
0.00/0.02	c |
0.00/0.02	c |             Constraints: 84
0.00/0.02	c |                   Arity: 2..15  -- Binary: 4  -- Ternary: 4
0.00/0.02	c | 
0.00/0.02	c |                   Types: 
0.00/0.02	c |                          (X != Y): 4
0.00/0.02	c |                          All Different: 80
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.08	c 101            472            28159          40818          0              0              99   113   104 
0.09/0.14	c 211            929            57049          87990          0              0              90   122   107 
0.20/0.23	c 332            1457           96753          153475         0              0              93   117   104 
0.20/0.30	c 465            2009           133992         219296         0              0              90   113   100 
0.30/0.37	c 611            2599           167692         263563         0              0              89   108   95  
0.40/0.46	c 771            3272           211002         325321         0              0              82   114   98  
0.50/0.57	c 947            4069           261409         397263         0              0              97   120   107 
0.59/0.66	c 1140           4744           306485         467942         0              0              82   115   101 
0.68/0.78	c 1352           5514           361266         554982         0              0              86   111   100 
0.78/0.88	c 1585           6220           407817         635633         0              0              84   111   102 
0.99/1.01	c 1841           7183           469742         731691         0              0              99   121   110 
1.09/1.16	c 2122           8281           542371         842123         0              0              88   116   104 
1.18/1.28	c 2431           9121           598530         943983         0              0              85   118   106 
1.38/1.44	c 2770           10141          676607         1062204        0              0              89   117   102 
1.58/1.61	c 3142           11367          754973         1222595        0              0              89   124   114 
1.78/1.81	c 3551           12880          852559         1375388        0              0              89   122   105 
1.99/2.01	c 4000           14375          949875         1521372        0              0              85   125   106 
2.18/2.20	c 4493           15799          1039442        1688441        0              0              91   119   108 
2.38/2.41	c 5035           17401          1136973        1858756        0              0              89   122   106 
2.68/2.72	c 5631           19650          1284870        2081197        0              0              90   131   106 
2.88/3.00	c 6286           21588          1414818        2310122        0              0              86   116   105 
3.18/3.22	c 7006           23612          1522353        2489667        0              0              95   122   108 
3.48/3.57	c 7798           25924          1681861        2778318        0              0              84   120   102 
3.68/3.79	c 8669           27787          1787093        2969393        0              0              96   119   113 
4.09/4.19	c 9627           30791          1975791        3289804        0              0              88   114   101 
4.58/4.66	c 10680          34255          2200887        3666113        0              0              85   122   108 
5.09/5.16	c 11838          38245          2440044        4032551        0              0              90   119   103 
5.68/5.73	c 13111          41877          2705188        4517944        0              0              95   120   108 
6.28/6.34	c 14511          46751          2996408        4977533        0              0              92   124   105 
7.18/7.27	c 16051          53031          3430995        5703233        0              0              78   120   101 
7.78/7.80	c 17745          57192          3680421        6197085        0              0              88   135   111 
8.68/8.73	c 19608          63789          4119352        6908749        0              0              84   121   100 
9.48/9.53	c 21657          70534          4501316        7574546        0              0              68   121   107 
10.18/10.27	c 23910          75576          4854998        8249042        0              0              89   128   117 
11.38/11.42	c 26388          83576          5403934        9136067        0              0              92   130   112 
12.38/12.48	c 29113          92432          5907938        9965478        0              0              80   128   109 
13.38/13.45	c 32110          100884         6389884        10651878       0              0              89   117   101 
14.68/14.77	c 35406          110540         7000758        11785747       0              0              89   132   113 
15.68/15.73	c 39031          119496         7456431        12753168       0              0              93   126   114 
16.99/17.03	c 43018          130300         8060975        13959888       0              0              74   127   115 
18.58/18.61	c 47403          141560         8826455        15114452       0              0              82   116   102 
20.88/20.94	c 52226          156955         9905483        16878806       0              0              93   129   112 
22.99/23.09	c 57531          172930         10933246       18542754       0              0              80   125   108 
25.99/26.03	c 63366          191670         12325393       20788581       0              0              93   128   107 
28.78/28.85	c 69784          212087         13682279       22976709       0              0              82   122   103 
32.09/32.14	c 76843          236083         15275765       25412286       0              0              89   122   105 
35.68/35.76	c 84607          260858         16983193       28296988       0              0              87   127   107 
39.28/39.30	c 93147          286273         18683642       31091268       0              0              86   121   103 
42.99/43.01	c 102541         310219         20449554       34192087       0              0              87   134   111 
47.68/47.76	c 112874         339433         22692617       37894332       0              0              81   127   107 
52.88/52.95	c 124240         376356         25145529       41716974       0              0              88   127   108 
56.48/56.55	c 136742         406627         26839856       44905552       0              0              96   134   118 
61.38/61.45	c 150494         445710         29138743       49343833       0              0              87   130   110 
66.09/66.15	c 165621         489675         31323711       53760326       0              0              90   136   112 
70.58/70.64	c 182260         531171         33505620       57516358       0              0              81   124   105 
79.09/79.19	c 200562         594042         37546634       64443695       0              0              88   127   104 
85.18/85.20	c 220694         643669         40372896       69761678       0              0              94   134   111 
92.28/92.31	c 242839         701388         43732758       76013347       0              0              88   130   114 
101.98/102.06	c 267198         772629         48384020       83985729       0              0              89   131   108 
112.68/112.70	c 293992         845072         53477016       93180314       0              0              89   136   109 
123.67/123.72	c 323465         923993         58764361       102471570      0              0              90   136   113 
132.47/132.59	c 355885         1008039        63042467       109957067      0              0              82   124   107 
142.57/142.60	c 391547         1087110        67672563       119107682      0              0              91   138   115 
155.27/155.33	c 430775         1187063        73727233       130503681      0              0              85   129   108 
169.17/169.21	c 473925         1293471        80351455       143257232      0              0              88   131   108 
183.17/183.20	c 521390         1414582        86998784       157065882      0              0              87   128   110 
198.98/199.03	c 573601         1543769        94677020       170039037      0              0              84   130   110 
226.67/226.78	c 631033         1739116        107938047      191373925      0              0              84   128   106 
252.37/252.47	c 694208         1932007        120287819      211836688      0              0              90   136   111 
275.17/275.28	c 763700         2095512        130866563      233148810      0              0              95   136   119 
298.37/298.45	c 840141         2265607        141874429      253044322      0              0              84   133   111 
328.57/328.60	c 924226         2501725        156263650      280285403      0              0              87   131   110 
359.17/359.20	c 1016719        2759239        170970509      303557126      0              0              53   135   108 
398.98/399.04	c 1118461        3033842        190051979      336141028      0              0              89   130   111 
437.37/437.45	c 1230377        3320814        208041526      368140297      0              0              88   131   110 
485.98/486.06	c 1353484        3720540        231560952      406550141      0              0              83   126   103 
546.77/546.82	c 1488901        4124610        260323805      454541391      0              0              83   126   104 
599.77/599.84	c 1637859        4561671        285884985      500304018      0              0              87   141   115 
668.98/669.00	c 1801712        5031677        317961950      556779145      0              0              83   128   107 
748.87/748.94	c 1981950        5637963        356727185      618266395      0              0              90   143   113 
830.97/831.05	c 2180211        6240295        395845777      686109628      0              0              88   139   111 
917.87/917.96	c 2398298        6916178        437478227      755898952      0              0              84   136   110 
995.86/995.98	c 2638193        7559156        474672111      825036192      0              0              89   141   118 
1103.07/1103.14	c 2902077        8294648        525304363      909882679      0              0              48   130   108 
1185.76/1185.89	c 3192349        8946144        563515062      982404183      0              0              93   142   121 
1287.66/1287.72	c 3511648        9744743        612265638      1066595627     0              0              82   138   114 
1387.66/1387.77	c 3862876        10578282       659087323      1158420857     0              0              92   135   115 
1542.07/1542.14	c 4249226        11823714       732182004      1278947165     0              0              84   136   105 
1737.66/1737.76	c 4674211        13183264       825238736      1425964190     0              0              81   142   109 
1879.25/1879.34	c 5141694        14416895       893554782      1545844041     0              0              85   141   113 
2087.06/2087.11	c 5655925        15871617       990560831      1714441565     0              0              80   141   111 
2333.85/2333.91	c 6221579        17893760       1106532878     1902497928     0              0              81   140   113 
2519.95/2520.00	
2519.95/2520.00	c *** INTERRUPTED ***
2519.95/2520.00	c restarts              : 92          
2519.95/2520.00	c conflicts             : 6768240      (2686 /sec)
2519.95/2520.00	c decisions             : 19504098     (7740 /sec)
2519.95/2520.00	c propagations          : 2089198530  (829060 /sec)
2519.95/2520.00	c root propagations     : 0           
2519.95/2520.00	c filter calls          : 1193243514     (473517 /sec)
2519.95/2520.00	c useless filter calls  : 626615340      (52 %)
2519.95/2520.00	c Memory used           : 27.04 MB
2519.95/2520.00	c CPU time              : 2519.96 s
2519.95/2520.00	
2519.95/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 (13098 MiB free)
  memory of node 1: 16384 MiB (13784 MiB free)
  node distances:
     10  21
     21  10

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

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

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


[startup+0.100106 s]*
/proc/loadavg: 1.87 2.03 1.99 3/193 10593
/proc/meminfo: memFree=27527624/32770624 swapFree=67108860/67108860
[pid=10588] ppid=10584 vsize=27688 memory=3936 CPUtime=0.09 cores=0,2,4,6
/proc/10588/stat : 10588 (cosoco) R 10584 10588 10531 0 -1 4202496 1201 0 0 0 9 0 0 0 20 0 1 0 46898143 28352512 984 33554432000 4194304 6142532 140735636352112 140735636348600 5058421 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 20135936 140735636354182 140735636354312 140735636354312 140735636357070 0
/proc/10588/statm: 6922 984 804 476 0 244 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 3936 KiB

[startup+0.209822 s]*
/proc/loadavg: 1.87 2.03 1.99 4/193 10593
/proc/meminfo: memFree=27527252/32770624 swapFree=67108860/67108860
[pid=10588] ppid=10584 vsize=27688 memory=3936 CPUtime=0.2 cores=0,2,4,6
/proc/10588/stat : 10588 (cosoco) R 10584 10588 10531 0 -1 4202496 1203 0 0 0 20 0 0 0 20 0 1 0 46898143 28352512 984 33554432000 4194304 6142532 140735636352112 140735636348600 5059926 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 20135936 140735636354182 140735636354312 140735636354312 140735636357070 0
/proc/10588/statm: 6922 984 804 476 0 244 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 3936 KiB

[startup+0.309431 s]*
/proc/loadavg: 1.87 2.03 1.99 4/193 10593
/proc/meminfo: memFree=27527300/32770624 swapFree=67108860/67108860
[pid=10588] ppid=10584 vsize=27688 memory=3936 CPUtime=0.3 cores=0,2,4,6
/proc/10588/stat : 10588 (cosoco) R 10584 10588 10531 0 -1 4202496 1204 0 0 0 30 0 0 0 20 0 1 0 46898143 28352512 984 33554432000 4194304 6142532 140735636352112 140735636348600 5058259 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 20135936 140735636354182 140735636354312 140735636354312 140735636357070 0
/proc/10588/statm: 6922 984 804 476 0 244 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 3936 KiB

[startup+0.700226 s]
/proc/loadavg: 1.87 2.03 1.99 3/193 10593
/proc/meminfo: memFree=27527084/32770624 swapFree=67108860/67108860
[pid=10588] ppid=10584 vsize=27688 memory=3936 CPUtime=0.68 cores=0,2,4,6
/proc/10588/stat : 10588 (cosoco) R 10584 10588 10531 0 -1 4202496 1205 0 0 0 68 0 0 0 20 0 1 0 46898143 28352512 984 33554432000 4194304 6142532 140735636352112 140735636348600 5060783 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 20135936 140735636354182 140735636354312 140735636354312 140735636357070 0
/proc/10588/statm: 6922 984 804 476 0 244 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 3936 KiB

[startup+1.50023 s]
/proc/loadavg: 1.87 2.03 1.99 3/193 10593
/proc/meminfo: memFree=27527084/32770624 swapFree=67108860/67108860
[pid=10588] ppid=10584 vsize=27688 memory=3936 CPUtime=1.48 cores=0,2,4,6
/proc/10588/stat : 10588 (cosoco) R 10584 10588 10531 0 -1 4202496 1205 0 0 0 148 0 0 0 20 0 1 0 46898143 28352512 984 33554432000 4194304 6142532 140735636352112 140735636348600 5058694 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 20135936 140735636354182 140735636354312 140735636354312 140735636357070 0
/proc/10588/statm: 6922 984 804 476 0 244 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 3936 KiB

[startup+3.10941 s]
/proc/loadavg: 1.96 2.05 1.99 3/197 10674
/proc/meminfo: memFree=27523752/32770624 swapFree=67108860/67108860
[pid=10588] ppid=10584 vsize=27688 memory=4196 CPUtime=3.09 cores=0,2,4,6
/proc/10588/stat : 10588 (cosoco) R 10584 10588 10531 0 -1 4202496 1353 0 0 0 309 0 0 0 20 0 1 0 46898143 28352512 1049 33554432000 4194304 6142532 140735636352112 140735636349512 5062427 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 20135936 140735636354182 140735636354312 140735636354312 140735636357070 0
/proc/10588/statm: 6922 1049 839 476 0 244 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4196 KiB

[startup+6.30022 s]
/proc/loadavg: 1.96 2.05 1.99 3/193 10715
/proc/meminfo: memFree=27528132/32770624 swapFree=67108860/67108860
[pid=10588] ppid=10584 vsize=27688 memory=4196 CPUtime=6.28 cores=0,2,4,6
/proc/10588/stat : 10588 (cosoco) R 10584 10588 10531 0 -1 4202496 1500 0 0 0 628 0 0 0 20 0 1 0 46898143 28352512 1049 33554432000 4194304 6142532 140735636352112 140735636349512 5175264 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 20135936 140735636354182 140735636354312 140735636354312 140735636357070 0
/proc/10588/statm: 6922 1049 839 476 0 244 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4196 KiB

[startup+12.7002 s]
/proc/loadavg: 1.96 2.05 1.99 3/193 10715
/proc/meminfo: memFree=27528088/32770624 swapFree=67108860/67108860
[pid=10588] ppid=10584 vsize=27688 memory=4196 CPUtime=12.68 cores=0,2,4,6
/proc/10588/stat : 10588 (cosoco) R 10584 10588 10531 0 -1 4202496 1648 0 0 0 1268 0 0 0 20 0 1 0 46898143 28352512 1049 33554432000 4194304 6142532 140735636352112 140735636349512 5061130 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 20135936 140735636354182 140735636354312 140735636354312 140735636357070 0
/proc/10588/statm: 6922 1049 839 476 0 244 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4196 KiB

[startup+25.5002 s]
/proc/loadavg: 1.97 2.05 1.99 3/193 10715
/proc/meminfo: memFree=27528564/32770624 swapFree=67108860/67108860
[pid=10588] ppid=10584 vsize=27688 memory=4200 CPUtime=25.48 cores=0,2,4,6
/proc/10588/stat : 10588 (cosoco) R 10584 10588 10531 0 -1 4202496 1944 0 0 0 2548 0 0 0 20 0 1 0 46898143 28352512 1050 33554432000 4194304 6142532 140735636352112 140735636349512 5058889 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 20135936 140735636354182 140735636354312 140735636354312 140735636357070 0
/proc/10588/statm: 6922 1050 839 476 0 244 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4200 KiB

[startup+51.1092 s]
/proc/loadavg: 1.98 2.04 1.99 3/193 10715
/proc/meminfo: memFree=27528812/32770624 swapFree=67108860/67108860
[pid=10588] ppid=10584 vsize=27688 memory=4200 CPUtime=51.09 cores=0,2,4,6
/proc/10588/stat : 10588 (cosoco) R 10584 10588 10531 0 -1 4202496 2092 0 0 0 5109 0 0 0 20 0 1 0 46898143 28352512 1050 33554432000 4194304 6142532 140735636352112 140735636349512 5062315 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 20135936 140735636354182 140735636354312 140735636354312 140735636357070 0
/proc/10588/statm: 6922 1050 839 476 0 244 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4200 KiB

[startup+102.3 s]
/proc/loadavg: 1.99 2.04 1.99 3/192 10716
/proc/meminfo: memFree=27528720/32770624 swapFree=67108860/67108860
[pid=10588] ppid=10584 vsize=27688 memory=4204 CPUtime=102.28 cores=0,2,4,6
/proc/10588/stat : 10588 (cosoco) R 10584 10588 10531 0 -1 4202496 2242 0 0 0 10228 0 0 0 20 0 1 0 46898143 28352512 1051 33554432000 4194304 6142532 140735636352112 140735636349512 5061085 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 20135936 140735636354182 140735636354312 140735636354312 140735636357070 0
/proc/10588/statm: 6922 1051 839 476 0 244 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4204 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.03 1.99 3/192 10717
/proc/meminfo: memFree=27529260/32770624 swapFree=67108860/67108860
[pid=10588] ppid=10584 vsize=27688 memory=4204 CPUtime=162.27 cores=0,2,4,6
/proc/10588/stat : 10588 (cosoco) R 10584 10588 10531 0 -1 4202496 2392 0 0 0 16227 0 0 0 20 0 1 0 46898143 28352512 1051 33554432000 4194304 6142532 140735636352112 140735636349512 5058824 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 20135936 140735636354182 140735636354312 140735636354312 140735636357070 0
/proc/10588/statm: 6922 1051 839 476 0 244 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4204 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.03 1.99 3/190 10718
/proc/meminfo: memFree=27528968/32770624 swapFree=67108860/67108860
[pid=10588] ppid=10584 vsize=27688 memory=4208 CPUtime=222.27 cores=0,2,4,6
/proc/10588/stat : 10588 (cosoco) R 10584 10588 10531 0 -1 4202496 2542 0 0 0 22227 0 0 0 20 0 1 0 46898143 28352512 1052 33554432000 4194304 6142532 140735636352112 140735636349512 5061106 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 20135936 140735636354182 140735636354312 140735636354312 140735636357070 0
/proc/10588/statm: 6922 1052 839 476 0 244 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4208 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 1.99 3/190 10719
/proc/meminfo: memFree=27529184/32770624 swapFree=67108860/67108860
[pid=10588] ppid=10584 vsize=27688 memory=4208 CPUtime=282.27 cores=0,2,4,6
/proc/10588/stat : 10588 (cosoco) R 10584 10588 10531 0 -1 4202496 2692 0 0 0 28227 0 0 0 20 0 1 0 46898143 28352512 1052 33554432000 4194304 6142532 140735636352112 140735636349512 5062213 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 20135936 140735636354182 140735636354312 140735636354312 140735636357070 0
/proc/10588/statm: 6922 1052 839 476 0 244 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4208 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/191 10721
/proc/meminfo: memFree=27529548/32770624 swapFree=67108860/67108860
[pid=10588] ppid=10584 vsize=27688 memory=4208 CPUtime=342.27 cores=0,2,4,6
/proc/10588/stat : 10588 (cosoco) R 10584 10588 10531 0 -1 4202496 2842 0 0 0 34227 0 0 0 20 0 1 0 46898143 28352512 1052 33554432000 4194304 6142532 140735636352112 140735636349512 5059264 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 20135936 140735636354182 140735636354312 140735636354312 140735636357070 0
/proc/10588/statm: 6922 1052 839 476 0 244 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4208 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/192 10723
/proc/meminfo: memFree=27529756/32770624 swapFree=67108860/67108860
[pid=10588] ppid=10584 vsize=27688 memory=4212 CPUtime=402.27 cores=0,2,4,6
/proc/10588/stat : 10588 (cosoco) R 10584 10588 10531 0 -1 4202496 2993 0 0 0 40227 0 0 0 20 0 1 0 46898143 28352512 1053 33554432000 4194304 6142532 140735636352112 140735636349512 5175264 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 20135936 140735636354182 140735636354312 140735636354312 140735636357070 0
/proc/10588/statm: 6922 1053 839 476 0 244 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4212 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/193 10732
/proc/meminfo: memFree=27529036/32770624 swapFree=67108860/67108860
[pid=10588] ppid=10584 vsize=27688 memory=4212 CPUtime=462.27 cores=0,2,4,6
/proc/10588/stat : 10588 (cosoco) R 10584 10588 10531 0 -1 4202496 3143 0 0 0 46227 0 0 0 20 0 1 0 46898143 28352512 1053 33554432000 4194304 6142532 140735636352112 140735636349512 5058304 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 20135936 140735636354182 140735636354312 140735636354312 140735636357070 0
/proc/10588/statm: 6922 1053 839 476 0 244 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4212 KiB


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

/proc/10588/statm: 6922 1055 839 476 0 244 0
Current children cumulated CPU time: 1722.26 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4220 KiB

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/191 10775
/proc/meminfo: memFree=27527728/32770624 swapFree=67108860/67108860
[pid=10588] ppid=10584 vsize=27688 memory=4220 CPUtime=1782.26 cores=0,2,4,6
/proc/10588/stat : 10588 (cosoco) R 10584 10588 10531 0 -1 4202496 6370 0 0 0 178226 0 0 0 20 0 1 0 46898143 28352512 1055 33554432000 4194304 6142532 140735636352112 140735636349512 5058388 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 20135936 140735636354182 140735636354312 140735636354312 140735636357070 0
/proc/10588/statm: 6922 1055 839 476 0 244 0
Current children cumulated CPU time: 1782.26 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4220 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 10776
/proc/meminfo: memFree=27527996/32770624 swapFree=67108860/67108860
[pid=10588] ppid=10584 vsize=27688 memory=4220 CPUtime=1842.25 cores=0,2,4,6
/proc/10588/stat : 10588 (cosoco) R 10584 10588 10531 0 -1 4202496 6508 0 0 0 184225 0 0 0 20 0 1 0 46898143 28352512 1055 33554432000 4194304 6142532 140735636352112 140735636349512 5061923 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 20135936 140735636354182 140735636354312 140735636354312 140735636357070 0
/proc/10588/statm: 6922 1055 839 476 0 244 0
Current children cumulated CPU time: 1842.25 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4220 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 10777
/proc/meminfo: memFree=27527868/32770624 swapFree=67108860/67108860
[pid=10588] ppid=10584 vsize=27688 memory=4220 CPUtime=1902.25 cores=0,2,4,6
/proc/10588/stat : 10588 (cosoco) R 10584 10588 10531 0 -1 4202496 6660 0 0 0 190225 0 0 0 20 0 1 0 46898143 28352512 1055 33554432000 4194304 6142532 140735636352112 140735636349512 5061407 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 20135936 140735636354182 140735636354312 140735636354312 140735636357070 0
/proc/10588/statm: 6922 1055 839 476 0 244 0
Current children cumulated CPU time: 1902.25 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4220 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 10779
/proc/meminfo: memFree=27528100/32770624 swapFree=67108860/67108860
[pid=10588] ppid=10584 vsize=27688 memory=4220 CPUtime=1962.25 cores=0,2,4,6
/proc/10588/stat : 10588 (cosoco) R 10584 10588 10531 0 -1 4202496 6799 0 0 0 196225 0 0 0 20 0 1 0 46898143 28352512 1055 33554432000 4194304 6142532 140735636352112 140735636349512 5060709 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 20135936 140735636354182 140735636354312 140735636354312 140735636357070 0
/proc/10588/statm: 6922 1055 839 476 0 244 0
Current children cumulated CPU time: 1962.25 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4220 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 10780
/proc/meminfo: memFree=27528068/32770624 swapFree=67108860/67108860
[pid=10588] ppid=10584 vsize=27688 memory=4220 CPUtime=2022.25 cores=0,2,4,6
/proc/10588/stat : 10588 (cosoco) R 10584 10588 10531 0 -1 4202496 6938 0 0 0 202225 0 0 0 20 0 1 0 46898143 28352512 1055 33554432000 4194304 6142532 140735636352112 140735636349512 5057936 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 20135936 140735636354182 140735636354312 140735636354312 140735636357070 0
/proc/10588/statm: 6922 1055 839 476 0 244 0
Current children cumulated CPU time: 2022.25 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4220 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 10781
/proc/meminfo: memFree=27528068/32770624 swapFree=67108860/67108860
[pid=10588] ppid=10584 vsize=27688 memory=4220 CPUtime=2082.25 cores=0,2,4,6
/proc/10588/stat : 10588 (cosoco) R 10584 10588 10531 0 -1 4202496 7077 0 0 0 208225 0 0 0 20 0 1 0 46898143 28352512 1055 33554432000 4194304 6142532 140735636352112 140735636349512 5062288 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 20135936 140735636354182 140735636354312 140735636354312 140735636357070 0
/proc/10588/statm: 6922 1055 839 476 0 244 0
Current children cumulated CPU time: 2082.25 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4220 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 10782
/proc/meminfo: memFree=27528068/32770624 swapFree=67108860/67108860
[pid=10588] ppid=10584 vsize=27688 memory=4220 CPUtime=2142.25 cores=0,2,4,6
/proc/10588/stat : 10588 (cosoco) R 10584 10588 10531 0 -1 4202496 7228 0 0 0 214225 0 0 0 20 0 1 0 46898143 28352512 1055 33554432000 4194304 6142532 140735636352112 140735636349512 5061926 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 20135936 140735636354182 140735636354312 140735636354312 140735636357070 0
/proc/10588/statm: 6922 1055 839 476 0 244 0
Current children cumulated CPU time: 2142.25 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4220 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 10784
/proc/meminfo: memFree=27528044/32770624 swapFree=67108860/67108860
[pid=10588] ppid=10584 vsize=27688 memory=4220 CPUtime=2202.25 cores=0,2,4,6
/proc/10588/stat : 10588 (cosoco) R 10584 10588 10531 0 -1 4202496 7366 0 0 0 220225 0 0 0 20 0 1 0 46898143 28352512 1055 33554432000 4194304 6142532 140735636352112 140735636349512 5060176 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 20135936 140735636354182 140735636354312 140735636354312 140735636357070 0
/proc/10588/statm: 6922 1055 839 476 0 244 0
Current children cumulated CPU time: 2202.25 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4220 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 10793
/proc/meminfo: memFree=27527036/32770624 swapFree=67108860/67108860
[pid=10588] ppid=10584 vsize=27688 memory=4220 CPUtime=2262.25 cores=0,2,4,6
/proc/10588/stat : 10588 (cosoco) R 10584 10588 10531 0 -1 4202496 7504 0 0 0 226225 0 0 0 20 0 1 0 46898143 28352512 1055 33554432000 4194304 6142532 140735636352112 140735636349512 5058988 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 20135936 140735636354182 140735636354312 140735636354312 140735636357070 0
/proc/10588/statm: 6922 1055 839 476 0 244 0
Current children cumulated CPU time: 2262.25 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4220 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 10794
/proc/meminfo: memFree=27527716/32770624 swapFree=67108860/67108860
[pid=10588] ppid=10584 vsize=27688 memory=4224 CPUtime=2322.25 cores=0,2,4,6
/proc/10588/stat : 10588 (cosoco) R 10584 10588 10531 0 -1 4202496 7648 0 0 0 232225 0 0 0 20 0 1 0 46898143 28352512 1056 33554432000 4194304 6142532 140735636352112 140735636349512 5175264 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 20135936 140735636354182 140735636354312 140735636354312 140735636357070 0
/proc/10588/statm: 6922 1056 839 476 0 244 0
Current children cumulated CPU time: 2322.25 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4224 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 10817
/proc/meminfo: memFree=27527468/32770624 swapFree=67108860/67108860
[pid=10588] ppid=10584 vsize=27688 memory=4224 CPUtime=2382.25 cores=0,2,4,6
/proc/10588/stat : 10588 (cosoco) R 10584 10588 10531 0 -1 4202496 7800 0 0 0 238225 0 0 0 20 0 1 0 46898143 28352512 1056 33554432000 4194304 6142532 140735636352112 140735636349512 5060128 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 20135936 140735636354182 140735636354312 140735636354312 140735636357070 0
/proc/10588/statm: 6922 1056 839 476 0 244 0
Current children cumulated CPU time: 2382.25 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4224 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 10818
/proc/meminfo: memFree=27527708/32770624 swapFree=67108860/67108860
[pid=10588] ppid=10584 vsize=27688 memory=4224 CPUtime=2442.25 cores=0,2,4,6
/proc/10588/stat : 10588 (cosoco) R 10584 10588 10531 0 -1 4202496 7938 0 0 0 244225 0 0 0 20 0 1 0 46898143 28352512 1056 33554432000 4194304 6142532 140735636352112 140735636349512 5059517 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 20135936 140735636354182 140735636354312 140735636354312 140735636357070 0
/proc/10588/statm: 6922 1056 839 476 0 244 0
Current children cumulated CPU time: 2442.25 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4224 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 10819
/proc/meminfo: memFree=27527512/32770624 swapFree=67108860/67108860
[pid=10588] ppid=10584 vsize=27688 memory=4224 CPUtime=2502.25 cores=0,2,4,6
/proc/10588/stat : 10588 (cosoco) R 10584 10588 10531 0 -1 4202496 8076 0 0 0 250225 0 0 0 20 0 1 0 46898143 28352512 1056 33554432000 4194304 6142532 140735636352112 140735636349512 5058848 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 20135936 140735636354182 140735636354312 140735636354312 140735636357070 0
/proc/10588/statm: 6922 1056 839 476 0 244 0
Current children cumulated CPU time: 2502.25 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4224 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/191 10819
/proc/meminfo: memFree=27527580/32770624 swapFree=67108860/67108860
[pid=10588] ppid=10584 vsize=27688 memory=4224 CPUtime=2519.95 cores=0,2,4,6
/proc/10588/stat : 10588 (cosoco) R 10584 10588 10531 0 -1 4202496 8214 0 0 0 251995 0 0 0 20 0 1 0 46898143 28352512 1056 33554432000 4194304 6142532 140735636352112 140735636349512 5175264 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 20135936 140735636354182 140735636354312 140735636354312 140735636357070 0
/proc/10588/statm: 6922 1056 839 476 0 244 0
Current children cumulated CPU time: 2519.95 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4224 KiB

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

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.96
system time used= 0.001999
maximum resident set size= 4288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8264
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 33
involuntary context switches= 841


# summary of solver processes directly reported to runsolver:
#   pid: 10588
#   total CPU time (s): 2519.96
#   total CPU user time (s): 2519.96
#   total CPU system time (s): 0.001999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.82293 second user time and 16.282 second system time

The end

Launcher Data 

Begin job on node134 at 2018-07-22 23:02:29
IDJOB=4292777
IDBENCH=141016
IDSOLVER=2752
FILE ID=node134/4292777-1532293349
RUNJOBID= node134-1532293349-10562
PBS_JOBID= 21018978
Free space on /tmp= 55996 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/ColouredQueens/ColouredQueens-15_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4292777-1532293349/watcher-4292777-1532293349 -o /tmp/evaluation-result-4292777-1532293349/solver-4292777-1532293349 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532293349-10562 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4292777-1532293349.xml

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

MD5SUM BENCH= 531220ca8f264cab5c203edb1f2daff4
RANDOM SEED=1975741173

node134.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.68
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.68
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.68
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.68
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:        27530304 kB
MemAvailable:   31977920 kB
Buffers:          173540 kB
Cached:          4539156 kB
SwapCached:            0 kB
Active:          1380164 kB
Inactive:        3386824 kB
Active(anon):       4300 kB
Inactive(anon):    70304 kB
Active(file):    1375864 kB
Inactive(file):  3316520 kB
Unevictable:        7396 kB
Mlocked:            7396 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              5560 kB
Writeback:             0 kB
AnonPages:         62176 kB
Mapped:            36196 kB
Shmem:             17056 kB
Slab:             170052 kB
SReclaimable:     142136 kB
SUnreclaim:        27916 kB
KernelStack:        3184 kB
PageTables:         6204 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     317696 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 55992 MiB
End job on node134 at 2018-07-22 23:44:30