Trace number 4297973

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.04 2519.9

General information on the benchmark

NameColouredQueens/
ColouredQueens-16_c18.xml
MD5SUMca60191094dbbdd7cca22b5ebea1cb75
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 variables256
Number of constraints90
Number of domains1
Minimum domain size16
Maximum domain size16
Distribution of domain sizes[{"size":16,"count":256}]
Minimum variable degree3
Maximum variable degree4
Distribution of variable degrees[{"degree":3,"count":4},{"degree":4,"count":252}]
Minimum constraint arity2
Maximum constraint arity16
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":4},{"arity":16,"count":34}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"allDifferent","count":90}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.04	c root propagations     : 0           
0.00/0.04	c restarts enabled, print stats at every restarts
0.00/0.04	c
0.00/0.04	c
0.00/0.04	c
0.00/0.04	c This is cosoco 1.12 --  
0.00/0.04	c
0.00/0.04	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4297973-1532740685.xml 
0.00/0.04	c ========================================[ Problem Statistics ]===========================================
0.00/0.04	c |                                                                                                       
0.00/0.04	c |  Parse time        :         0.01 s 
0.00/0.04	c |
0.00/0.04	c |               Variables: 256
0.00/0.04	c |            Domain Sizes: 16..16
0.00/0.04	c |
0.00/0.04	c |             Constraints: 90
0.00/0.04	c |                   Arity: 2..16  -- Binary: 4  -- Ternary: 4
0.00/0.04	c | 
0.00/0.04	c |                   Types: 
0.00/0.04	c |                          (X != Y): 4
0.00/0.04	c |                          All Different: 86
0.00/0.04	c |                          
0.00/0.04	c =========================================================================================================
0.00/0.04	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.09	c 101            477            23412          33521          0              0              97   124   109 
0.07/0.14	c 211            984            47076          70590          0              0              103   132   120
0.17/0.23	c 332            1542           85912          123873         0              0              35   130   117 
0.17/0.31	c 465            2043           119007         181496         0              0              107   131   121
0.27/0.41	c 611            2671           164943         264538         0              0              62   141   127 
0.37/0.51	c 771            3403           209244         337170         0              0              111   134   123
0.57/0.61	c 947            4057           251165         400112         0              0              108   127   116
0.66/0.73	c 1140           4822           307659         485923         0              0              105   133   118
0.76/0.87	c 1352           5702           368460         578576         0              0              102   135   116
0.86/0.98	c 1585           6522           419571         661337         0              0              103   130   119
1.07/1.12	c 1841           7382           482110         759512         0              0              106   133   120
1.16/1.24	c 2122           8399           537906         849101         0              0              102   138   125
1.36/1.43	c 2431           9592           618444         977300         0              0              109   134   122
1.56/1.68	c 2770           11329          733065         1150672        0              0              109   145   127
1.86/1.90	c 3142           12917          830884         1311109        0              0              101   132   117
2.06/2.15	c 3551           14655          939945         1469952        0              0              98   136   119 
2.26/2.39	c 4000           16413          1049715        1626235        0              0              107   134   121
2.46/2.53	c 4493           17682          1113323        1782130        0              0              113   139   129
2.75/2.86	c 5035           19810          1255076        2008181        0              0              105   138   125
3.06/3.12	c 5631           21472          1372242        2209441        0              0              106   136   126
3.35/3.41	c 6286           23827          1503982        2417788        0              0              109   139   121
3.75/3.88	c 7006           26988          1706923        2737548        0              0              107   139   124
4.25/4.38	c 7798           29800          1927264        3107025        0              0              113   146   127
4.75/4.81	c 8669           32623          2114399        3419930        0              0              56   140   123 
5.25/5.35	c 9627           36123          2354574        3821137        0              0              102   137   121
5.65/5.79	c 10680          39049          2550346        4148126        0              0              102   134   122
6.25/6.37	c 11838          42690          2808903        4557128        0              0              96   134   119 
6.96/7.02	c 13111          47968          3104799        5011354        0              0              106   138   123
7.55/7.65	c 14511          52386          3382758        5486354        0              0              105   134   120
8.06/8.18	c 16051          56359          3616786        5934366        0              0              105   142   132
8.65/8.75	c 17745          60032          3865163        6432563        0              0              107   132   121
9.85/9.91	c 19608          65984          4375118        7259634        0              0              99   141   123 
10.55/10.60	c 21657          70427          4684642        7847300        0              0              50   148   132 
11.65/11.72	c 23910          77499          5182844        8763694        0              0              112   148   131
13.06/13.19	c 26388          85575          5831958        9851509        0              0              99   136   119 
14.65/14.79	c 29113          94390          6543235        11018753       0              0              108   138   121
15.75/15.81	c 32110          103506         7009883        11868549       0              0              65   143   128 
17.45/17.56	c 35406          114151         7769058        13249629       0              0              114   156   133
19.25/19.30	c 39031          127025         8544900        14442756       0              0              89   139   120 
20.75/20.88	c 43018          139737         9244957        15648190       0              0              81   142   126 
22.55/22.69	c 47403          151463         10057757       17139403       0              0              111   148   131
24.25/24.34	c 52226          163351         10792356       18491119       0              0              110   147   132
26.25/26.39	c 57531          176701         11704569       20124832       0              0              109   144   126
28.85/28.93	c 63366          193002         12844832       21902259       0              0              102   144   121
32.25/32.36	c 69784          214292         14347593       24436593       0              0              111   148   128
35.35/35.42	c 76843          234662         15689577       26970892       0              0              81   145   124 
39.05/39.11	c 84607          261126         17342423       29956491       0              0              111   152   132
42.64/42.77	c 93147          285023         19013732       32815800       0              0              92   150   129 
47.84/47.98	c 102541         315348         21358882       36351474       0              0              56   142   119 
53.05/53.12	c 112874         346800         23661780       40428327       0              0              101   143   124
57.34/57.46	c 124240         384064         25616762       43962046       0              0              106   159   131
61.64/61.74	c 136742         416979         27532440       47424429       0              0              36   151   131 
68.75/68.80	c 150494         458038         30685257       52520160       0              0              79   141   118 
75.75/75.86	c 165621         509947         33785078       57649175       0              0              104   150   127
82.35/82.48	c 182260         551941         36749919       62287051       0              0              87   144   125 
88.85/88.95	c 200562         601348         39575260       67958526       0              0              101   161   136
98.75/98.80	c 220694         661924         43872335       75733987       0              0              105   153   130
109.96/110.01	c 242839         725989         48837662       83927065       0              0              100   144   125
122.15/122.26	c 267198         799831         54311267       92153973       0              0              71   147   125 
133.96/134.09	c 293992         876017         59492309       101153858      0              0              101   158   132
145.35/145.45	c 323465         955938         64586520       109295593      0              0              107   148   130
158.35/158.40	c 355885         1038864        70377908       119598449      0              0              99   142   122 
173.36/173.43	c 391547         1145684        77019090       132023297      0              0              102   145   125
184.66/184.79	c 430775         1241669        82152761       141773532      0              0              88   146   124 
202.56/202.63	c 473925         1367955        90127064       155117655      0              0              101   153   127
218.97/219.06	c 521390         1480111        97470686       169259703      0              0              99   146   125 
238.76/238.84	c 573601         1619710        106243608      186705726      0              0              102   146   127
257.76/257.87	c 631033         1761867        114687896      203344761      0              0              104   144   127
281.46/281.54	c 694208         1923810        124969468      223770787      0              0              107   154   135
301.57/301.60	c 763700         2087020        133593294      244687497      0              0              116   159   140
340.47/340.53	c 840141         2319799        151002686      273649720      0              0              70   144   119 
375.98/376.09	c 924226         2538979        166668386      300695868      0              0              92   150   126 
412.37/412.49	c 1016719        2778336        182850832      328890064      0              0              102   149   125
453.48/453.51	c 1118461        3026567        200746188      362116064      0              0              111   151   131
511.88/511.96	c 1230377        3409936        226503597      406913292      0              0              79   153   124 
561.28/561.38	c 1353484        3731979        248222910      447234445      0              0              97   151   128 
597.69/597.72	c 1488901        4013423        264248296      477523199      0              0              100   161   135
652.39/652.41	c 1637859        4383211        287885027      524124193      0              0              106   157   135
741.50/741.53	c 1801712        4893091        327339334      591640379      0              0              100   152   126
808.50/808.56	c 1981950        5376051        356621976      649605295      0              0              98   157   126 
912.02/912.06	c 2180211        5972982        402410146      723435747      0              0              48   150   127 
1025.52/1025.53	c 2398298        6727062        452574398      813510030      0              0              98   152   123 
1099.73/1099.79	c 2638193        7332164        484996788      882721396      0              0              106   160   140
1248.44/1248.47	c 2902077        8201259        550703613      999356792      0              0              59   149   124 
1330.34/1330.30	c 3192349        8873512        587267357      1068743331     0              0              95   151   129 
1448.25/1448.23	c 3511648        9631923        638412582      1180653443     0              0              80   161   136 
1576.07/1576.06	c 3862876        10637657       694937882      1291296131     0              0              104   159   135
1774.48/1774.47	c 4249226        11694225       781590851      1426915428     0              0              100   153   127
2021.00/2020.96	c 4674211        13252003       890591551      1604473691     0              0              101   153   126
2216.41/2216.32	c 5141694        14570536       978784833      1745426378     0              0              95   151   125 
2431.63/2431.58	c 5655925        15951517       1074125405     1920031135     0              0              103   154   130
2520.03/2519.90	
2520.03/2519.90	c *** INTERRUPTED ***
2520.03/2519.90	c restarts              : 91          
2520.03/2519.90	c conflicts             : 5862564      (2326 /sec)
2520.03/2519.90	c decisions             : 16488239     (6543 /sec)
2520.03/2519.90	c propagations          : 1998396655  (793006 /sec)
2520.03/2519.90	c root propagations     : 0           
2520.03/2519.90	c filter calls          : 1112493635     (441461 /sec)
2520.03/2519.90	c useless filter calls  : 580193952      (52 %)
2520.03/2519.90	c Memory used           : 27.17 MB
2520.03/2519.90	c CPU time              : 2520.03 s
2520.03/2519.90	
2520.03/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 (13164 MiB free)
  memory of node 1: 16384 MiB (13698 MiB free)
  node distances:
     10  21
     21  10

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

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

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


[startup+0.100138 s]*
/proc/loadavg: 8.43 8.54 8.50 3/194 23533
/proc/meminfo: memFree=27504500/32770624 swapFree=67108856/67108860
[pid=23526] ppid=23519 vsize=27688 memory=4172 CPUtime=0.07 cores=1,3,5,7
/proc/23526/stat : 23526 (cosoco) R 23519 23526 23470 0 -1 4202496 1215 0 5 0 7 0 0 0 20 0 1 0 91631642 28352512 1043 33554432000 4194304 6142532 140732198938912 140732198932608 5060733 0 0 4096 8405026 0 0 0 17 1 0 0 1 0 0 8243016 8247936 26640384 140732198941830 140732198941960 140732198941960 140732198944718 0
/proc/23526/statm: 6922 1043 836 476 0 244 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4172 KiB

[startup+0.210024 s]*
/proc/loadavg: 8.43 8.54 8.50 3/194 23533
/proc/meminfo: memFree=27504500/32770624 swapFree=67108856/67108860
[pid=23526] ppid=23519 vsize=27688 memory=4172 CPUtime=0.17 cores=1,3,5,7
/proc/23526/stat : 23526 (cosoco) R 23519 23526 23470 0 -1 4202496 1218 0 5 0 17 0 0 0 20 0 1 0 91631642 28352512 1043 33554432000 4194304 6142532 140732198938912 140732198932608 5061159 0 0 4096 8405026 0 0 0 17 1 0 0 1 0 0 8243016 8247936 26640384 140732198941830 140732198941960 140732198941960 140732198944718 0
/proc/23526/statm: 6922 1043 836 476 0 244 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4172 KiB

[startup+0.309503 s]*
/proc/loadavg: 8.43 8.54 8.50 3/194 23533
/proc/meminfo: memFree=27504176/32770624 swapFree=67108856/67108860
[pid=23526] ppid=23519 vsize=27688 memory=4172 CPUtime=0.27 cores=1,3,5,7
/proc/23526/stat : 23526 (cosoco) R 23519 23526 23470 0 -1 4202496 1218 0 5 0 27 0 0 0 20 0 1 0 91631642 28352512 1043 33554432000 4194304 6142532 140732198938912 140732198932608 5058390 0 0 4096 8405026 0 0 0 17 1 0 0 1 0 0 8243016 8247936 26640384 140732198941830 140732198941960 140732198941960 140732198944718 0
/proc/23526/statm: 6922 1043 836 476 0 244 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4172 KiB

[startup+0.700227 s]
/proc/loadavg: 8.43 8.54 8.50 3/194 23533
/proc/meminfo: memFree=27503836/32770624 swapFree=67108856/67108860
[pid=23526] ppid=23519 vsize=27688 memory=4172 CPUtime=0.66 cores=1,3,5,7
/proc/23526/stat : 23526 (cosoco) R 23519 23526 23470 0 -1 4202496 1219 0 5 0 66 0 0 0 20 0 1 0 91631642 28352512 1043 33554432000 4194304 6142532 140732198938912 140732198932608 5058255 0 0 4096 8405026 0 0 0 17 1 0 0 1 0 0 8243016 8247936 26640384 140732198941830 140732198941960 140732198941960 140732198944718 0
/proc/23526/statm: 6922 1043 836 476 0 244 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4172 KiB

[startup+1.50022 s]
/proc/loadavg: 8.43 8.54 8.50 3/194 23533
/proc/meminfo: memFree=27504936/32770624 swapFree=67108856/67108860
[pid=23526] ppid=23519 vsize=27688 memory=4172 CPUtime=1.46 cores=1,3,5,7
/proc/23526/stat : 23526 (cosoco) R 23519 23526 23470 0 -1 4202496 1220 0 5 0 146 0 0 0 20 0 1 0 91631642 28352512 1043 33554432000 4194304 6142532 140732198938912 140732198936312 5061915 0 0 4096 8405026 0 0 0 17 1 0 0 1 0 0 8243016 8247936 26640384 140732198941830 140732198941960 140732198941960 140732198944718 0
/proc/23526/statm: 6922 1043 836 476 0 244 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4172 KiB

[startup+3.10971 s]
/proc/loadavg: 7.91 8.43 8.47 3/194 23533
/proc/meminfo: memFree=27505308/32770624 swapFree=67108856/67108860
[pid=23526] ppid=23519 vsize=27688 memory=4276 CPUtime=3.06 cores=1,3,5,7
/proc/23526/stat : 23526 (cosoco) R 23519 23526 23470 0 -1 4202496 1389 0 5 0 306 0 0 0 20 0 1 0 91631642 28352512 1069 33554432000 4194304 6142532 140732198938912 140732198936312 5057883 0 0 4096 8405026 0 0 0 17 1 0 0 1 0 0 8243016 8247936 26640384 140732198941830 140732198941960 140732198941960 140732198944718 0
/proc/23526/statm: 6922 1069 837 476 0 244 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4276 KiB

[startup+6.30022 s]
/proc/loadavg: 7.91 8.43 8.47 3/194 23533
/proc/meminfo: memFree=27505432/32770624 swapFree=67108856/67108860
[pid=23526] ppid=23519 vsize=27688 memory=4280 CPUtime=6.25 cores=1,3,5,7
/proc/23526/stat : 23526 (cosoco) R 23519 23526 23470 0 -1 4202496 1560 0 5 0 625 0 0 0 20 0 1 0 91631642 28352512 1070 33554432000 4194304 6142532 140732198938912 140732198936312 5061137 0 0 4096 8405026 0 0 0 17 1 0 0 1 0 0 8243016 8247936 26640384 140732198941830 140732198941960 140732198941960 140732198944718 0
/proc/23526/statm: 6922 1070 837 476 0 244 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4280 KiB

[startup+12.7002 s]
/proc/loadavg: 7.01 8.22 8.40 3/194 23533
/proc/meminfo: memFree=27506548/32770624 swapFree=67108856/67108860
[pid=23526] ppid=23519 vsize=27688 memory=4280 CPUtime=12.65 cores=1,3,5,7
/proc/23526/stat : 23526 (cosoco) R 23519 23526 23470 0 -1 4202496 1731 0 5 0 1265 0 0 0 20 0 1 0 91631642 28352512 1070 33554432000 4194304 6142532 140732198938912 140732198936312 5058653 0 0 4096 8405026 0 0 0 17 1 0 0 1 0 0 8243016 8247936 26640384 140732198941830 140732198941960 140732198941960 140732198944718 0
/proc/23526/statm: 6922 1070 837 476 0 244 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4280 KiB

[startup+25.5002 s]
/proc/loadavg: 6.24 8.01 8.33 3/194 23533
/proc/meminfo: memFree=27508620/32770624 swapFree=67108856/67108860
[pid=23526] ppid=23519 vsize=27688 memory=4288 CPUtime=25.45 cores=1,3,5,7
/proc/23526/stat : 23526 (cosoco) R 23519 23526 23470 0 -1 4202496 2075 0 5 0 2545 0 0 0 20 0 1 0 91631642 28352512 1072 33554432000 4194304 6142532 140732198938912 140732198936312 5058013 0 0 4096 8405026 0 0 0 17 1 0 0 1 0 0 8243016 8247936 26640384 140732198941830 140732198941960 140732198941960 140732198944718 0
/proc/23526/statm: 6922 1072 837 476 0 244 0
Current children cumulated CPU time: 25.45 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4288 KiB

[startup+51.1095 s]
/proc/loadavg: 4.87 7.55 8.17 3/194 23533
/proc/meminfo: memFree=27509700/32770624 swapFree=67108856/67108860
[pid=23526] ppid=23519 vsize=27688 memory=4288 CPUtime=51.05 cores=1,3,5,7
/proc/23526/stat : 23526 (cosoco) R 23519 23526 23470 0 -1 4202496 2247 0 5 0 5105 0 0 0 20 0 1 0 91631642 28352512 1072 33554432000 4194304 6142532 140732198938912 140732198936312 5336579 0 0 4096 8405026 0 0 0 17 1 0 0 1 0 0 8243016 8247936 26640384 140732198941830 140732198941960 140732198941960 140732198944718 0
/proc/23526/statm: 6922 1072 837 476 0 244 0
Current children cumulated CPU time: 51.05 s
Current children cumulated vsize: 27688 KiB
Current children cumulated memory: 4288 KiB

[startup+102.3 s]
/proc/loadavg: 3.15 6.61 7.81 3/194 23534
/proc/meminfo: memFree=27509712/32770624 swapFree=67108856/67108860
[pid=23526] ppid=23519 vsize=27820 memory=4304 CPUtime=102.25 cores=1,3,5,7
/proc/23526/stat : 23526 (cosoco) R 23519 23526 23470 0 -1 4202496 2430 0 5 0 10224 1 0 0 20 0 1 0 91631642 28487680 1076 33554432000 4194304 6142532 140732198938912 140732198936312 5175059 0 0 4096 8405026 0 0 0 17 5 0 0 1 0 0 8243016 8247936 26640384 140732198941830 140732198941960 140732198941960 140732198944718 0
/proc/23526/statm: 6955 1076 837 476 0 277 0
Current children cumulated CPU time: 102.25 s
Current children cumulated vsize: 27820 KiB
Current children cumulated memory: 4304 KiB

[startup+162.3 s]
/proc/loadavg: 2.42 5.77 7.45 3/193 23540
/proc/meminfo: memFree=27509740/32770624 swapFree=67108856/67108860
[pid=23526] ppid=23519 vsize=27820 memory=4312 CPUtime=162.26 cores=1,3,5,7
/proc/23526/stat : 23526 (cosoco) R 23519 23526 23470 0 -1 4202496 2609 0 5 0 16225 1 0 0 20 0 1 0 91631642 28487680 1078 33554432000 4194304 6142532 140732198938912 140732198936312 5058255 0 0 4096 8405026 0 0 0 17 5 0 0 1 0 0 8243016 8247936 26640384 140732198941830 140732198941960 140732198941960 140732198944718 0
/proc/23526/statm: 6955 1078 837 476 0 277 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 27820 KiB
Current children cumulated memory: 4312 KiB

[startup+222.3 s]
/proc/loadavg: 2.15 5.09 7.11 3/193 23541
/proc/meminfo: memFree=27509724/32770624 swapFree=67108856/67108860
[pid=23526] ppid=23519 vsize=27820 memory=4316 CPUtime=222.26 cores=1,3,5,7
/proc/23526/stat : 23526 (cosoco) R 23519 23526 23470 0 -1 4202496 2788 0 5 0 22225 1 0 0 20 0 1 0 91631642 28487680 1079 33554432000 4194304 6142532 140732198938912 140732198936312 5058193 0 0 4096 8405026 0 0 0 17 5 0 0 1 0 0 8243016 8247936 26640384 140732198941830 140732198941960 140732198941960 140732198944718 0
/proc/23526/statm: 6955 1079 837 476 0 277 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 27820 KiB
Current children cumulated memory: 4316 KiB

[startup+282.3 s]
/proc/loadavg: 2.06 4.53 6.79 3/193 23543
/proc/meminfo: memFree=27509584/32770624 swapFree=67108856/67108860
[pid=23526] ppid=23519 vsize=27820 memory=4316 CPUtime=282.26 cores=1,3,5,7
/proc/23526/stat : 23526 (cosoco) R 23519 23526 23470 0 -1 4202496 2788 0 5 0 28225 1 0 0 20 0 1 0 91631642 28487680 1079 33554432000 4194304 6142532 140732198938912 140732198936312 5061881 0 0 4096 8405026 0 0 0 17 5 0 0 1 0 0 8243016 8247936 26640384 140732198941830 140732198941960 140732198941960 140732198944718 0
/proc/23526/statm: 6955 1079 837 476 0 277 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 27820 KiB
Current children cumulated memory: 4316 KiB

[startup+342.3 s]
/proc/loadavg: 2.02 4.07 6.49 3/192 23544
/proc/meminfo: memFree=27510128/32770624 swapFree=67108856/67108860
[pid=23526] ppid=23519 vsize=27820 memory=4316 CPUtime=342.27 cores=1,3,5,7
/proc/23526/stat : 23526 (cosoco) R 23519 23526 23470 0 -1 4202496 2967 0 5 0 34226 1 0 0 20 0 1 0 91631642 28487680 1079 33554432000 4194304 6142532 140732198938912 140732198936312 5061869 0 0 4096 8405026 0 0 0 17 5 0 0 1 0 0 8243016 8247936 26640384 140732198941830 140732198941960 140732198941960 140732198944718 0
/proc/23526/statm: 6955 1079 837 476 0 277 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 27820 KiB
Current children cumulated memory: 4316 KiB

[startup+402.3 s]
/proc/loadavg: 2.01 3.69 6.20 3/192 23545
/proc/meminfo: memFree=27509756/32770624 swapFree=67108856/67108860
[pid=23526] ppid=23519 vsize=27820 memory=4316 CPUtime=402.27 cores=1,3,5,7
/proc/23526/stat : 23526 (cosoco) R 23519 23526 23470 0 -1 4202496 2967 0 5 0 40226 1 0 0 20 0 1 0 91631642 28487680 1079 33554432000 4194304 6142532 140732198938912 140732198936312 5061168 0 0 4096 8405026 0 0 0 17 5 0 0 1 0 0 8243016 8247936 26640384 140732198941830 140732198941960 140732198941960 140732198944718 0
/proc/23526/statm: 6955 1079 837 476 0 277 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 27820 KiB
Current children cumulated memory: 4316 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 3.38 5.94 3/192 23547
/proc/meminfo: memFree=27509916/32770624 swapFree=67108856/67108860
[pid=23526] ppid=23519 vsize=27820 memory=4316 CPUtime=462.28 cores=1,3,5,7
/proc/23526/stat : 23526 (cosoco) R 23519 23526 23470 0 -1 4202496 3146 0 5 0 46227 1 0 0 20 0 1 0 91631642 28487680 1079 33554432000 4194304 6142532 140732198938912 140732198936312 5060812 0 0 4096 8405026 0 0 0 17 5 0 0 1 0 0 8243016 8247936 26640384 140732198941830 140732198941960 140732198941960 140732198944718 0
/proc/23526/statm: 6955 1079 837 476 0 277 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 27820 KiB
Current children cumulated memory: 4316 KiB


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

/proc/23526/statm: 6955 1082 837 476 0 277 0
Current children cumulated CPU time: 1782.38 s
Current children cumulated vsize: 27820 KiB
Current children cumulated memory: 4328 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.04 2.94 3/192 23586
/proc/meminfo: memFree=27509256/32770624 swapFree=67108856/67108860
[pid=23526] ppid=23519 vsize=27820 memory=4328 CPUtime=1842.38 cores=1,3,5,7
/proc/23526/stat : 23526 (cosoco) R 23519 23526 23470 0 -1 4202496 5126 0 5 0 184237 1 0 0 20 0 1 0 91631642 28487680 1082 33554432000 4194304 6142532 140732198938912 140732198936312 5060779 0 0 4096 8405026 0 0 0 17 5 0 0 1 0 0 8243016 8247936 26640384 140732198941830 140732198941960 140732198941960 140732198944718 0
/proc/23526/statm: 6955 1082 837 476 0 277 0
Current children cumulated CPU time: 1842.38 s
Current children cumulated vsize: 27820 KiB
Current children cumulated memory: 4328 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.03 2.88 3/192 23588
/proc/meminfo: memFree=27508896/32770624 swapFree=67108856/67108860
[pid=23526] ppid=23519 vsize=27820 memory=4328 CPUtime=1902.39 cores=1,3,5,7
/proc/23526/stat : 23526 (cosoco) R 23519 23526 23470 0 -1 4202496 5292 0 5 0 190238 1 0 0 20 0 1 0 91631642 28487680 1082 33554432000 4194304 6142532 140732198938912 140732198936312 5060757 0 0 4096 8405026 0 0 0 17 5 0 0 1 0 0 8243016 8247936 26640384 140732198941830 140732198941960 140732198941960 140732198944718 0
/proc/23526/statm: 6955 1082 837 476 0 277 0
Current children cumulated CPU time: 1902.39 s
Current children cumulated vsize: 27820 KiB
Current children cumulated memory: 4328 KiB

[startup+1962.3 s]
/proc/loadavg: 2.08 2.06 2.83 3/193 23633
/proc/meminfo: memFree=27505980/32770624 swapFree=67108856/67108860
[pid=23526] ppid=23519 vsize=27820 memory=4328 CPUtime=1962.39 cores=1,3,5,7
/proc/23526/stat : 23526 (cosoco) R 23519 23526 23470 0 -1 4202496 5292 0 5 0 196238 1 0 0 20 0 1 0 91631642 28487680 1082 33554432000 4194304 6142532 140732198938912 140732198936312 5060597 0 0 4096 8405026 0 0 0 17 3 0 0 1 0 0 8243016 8247936 26640384 140732198941830 140732198941960 140732198941960 140732198944718 0
/proc/23526/statm: 6955 1082 837 476 0 277 0
Current children cumulated CPU time: 1962.39 s
Current children cumulated vsize: 27820 KiB
Current children cumulated memory: 4328 KiB

[startup+2022.3 s]
/proc/loadavg: 2.03 2.04 2.78 3/193 23634
/proc/meminfo: memFree=27506664/32770624 swapFree=67108856/67108860
[pid=23526] ppid=23519 vsize=27820 memory=4328 CPUtime=2022.4 cores=1,3,5,7
/proc/23526/stat : 23526 (cosoco) R 23519 23526 23470 0 -1 4202496 5474 0 5 0 202239 1 0 0 20 0 1 0 91631642 28487680 1082 33554432000 4194304 6142532 140732198938912 140732198936312 5058578 0 0 4096 8405026 0 0 0 17 3 0 0 1 0 0 8243016 8247936 26640384 140732198941830 140732198941960 140732198941960 140732198944718 0
/proc/23526/statm: 6955 1082 837 476 0 277 0
Current children cumulated CPU time: 2022.4 s
Current children cumulated vsize: 27820 KiB
Current children cumulated memory: 4328 KiB

[startup+2082.3 s]
/proc/loadavg: 2.01 2.04 2.73 3/193 23635
/proc/meminfo: memFree=27507400/32770624 swapFree=67108856/67108860
[pid=23526] ppid=23519 vsize=27820 memory=4328 CPUtime=2082.4 cores=1,3,5,7
/proc/23526/stat : 23526 (cosoco) R 23519 23526 23470 0 -1 4202496 5474 0 5 0 208239 1 0 0 20 0 1 0 91631642 28487680 1082 33554432000 4194304 6142532 140732198938912 140732198936312 5054405 0 0 4096 8405026 0 0 0 17 3 0 0 1 0 0 8243016 8247936 26640384 140732198941830 140732198941960 140732198941960 140732198944718 0
/proc/23526/statm: 6955 1082 837 476 0 277 0
Current children cumulated CPU time: 2082.4 s
Current children cumulated vsize: 27820 KiB
Current children cumulated memory: 4328 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.03 2.69 3/193 23636
/proc/meminfo: memFree=27507388/32770624 swapFree=67108856/67108860
[pid=23526] ppid=23519 vsize=27820 memory=4328 CPUtime=2142.41 cores=1,3,5,7
/proc/23526/stat : 23526 (cosoco) R 23519 23526 23470 0 -1 4202496 5639 0 5 0 214240 1 0 0 20 0 1 0 91631642 28487680 1082 33554432000 4194304 6142532 140732198938912 140732198936312 5060745 0 0 4096 8405026 0 0 0 17 3 0 0 1 0 0 8243016 8247936 26640384 140732198941830 140732198941960 140732198941960 140732198944718 0
/proc/23526/statm: 6955 1082 837 476 0 277 0
Current children cumulated CPU time: 2142.41 s
Current children cumulated vsize: 27820 KiB
Current children cumulated memory: 4328 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.03 2.64 3/193 23637
/proc/meminfo: memFree=27507128/32770624 swapFree=67108856/67108860
[pid=23526] ppid=23519 vsize=27820 memory=4328 CPUtime=2202.41 cores=1,3,5,7
/proc/23526/stat : 23526 (cosoco) R 23519 23526 23470 0 -1 4202496 5639 0 5 0 220240 1 0 0 20 0 1 0 91631642 28487680 1082 33554432000 4194304 6142532 140732198938912 140732198936312 5061712 0 0 4096 8405026 0 0 0 17 3 0 0 1 0 0 8243016 8247936 26640384 140732198941830 140732198941960 140732198941960 140732198944718 0
/proc/23526/statm: 6955 1082 837 476 0 277 0
Current children cumulated CPU time: 2202.41 s
Current children cumulated vsize: 27820 KiB
Current children cumulated memory: 4328 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.60 3/192 23640
/proc/meminfo: memFree=27508520/32770624 swapFree=67108856/67108860
[pid=23526] ppid=23519 vsize=27820 memory=4328 CPUtime=2262.41 cores=1,3,5,7
/proc/23526/stat : 23526 (cosoco) R 23519 23526 23470 0 -1 4202496 5822 0 5 0 226240 1 0 0 20 0 1 0 91631642 28487680 1082 33554432000 4194304 6142532 140732198938912 140732198936312 5058948 0 0 4096 8405026 0 0 0 17 3 0 0 1 0 0 8243016 8247936 26640384 140732198941830 140732198941960 140732198941960 140732198944718 0
/proc/23526/statm: 6955 1082 837 476 0 277 0
Current children cumulated CPU time: 2262.41 s
Current children cumulated vsize: 27820 KiB
Current children cumulated memory: 4328 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 2.57 3/193 23642
/proc/meminfo: memFree=27507392/32770624 swapFree=67108856/67108860
[pid=23526] ppid=23519 vsize=27820 memory=4328 CPUtime=2322.42 cores=1,3,5,7
/proc/23526/stat : 23526 (cosoco) R 23519 23526 23470 0 -1 4202496 5822 0 5 0 232241 1 0 0 20 0 1 0 91631642 28487680 1082 33554432000 4194304 6142532 140732198938912 140732198936312 5061983 0 0 4096 8405026 0 0 0 17 3 0 0 1 0 0 8243016 8247936 26640384 140732198941830 140732198941960 140732198941960 140732198944718 0
/proc/23526/statm: 6955 1082 837 476 0 277 0
Current children cumulated CPU time: 2322.42 s
Current children cumulated vsize: 27820 KiB
Current children cumulated memory: 4328 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.53 3/193 23643
/proc/meminfo: memFree=27507624/32770624 swapFree=67108856/67108860
[pid=23526] ppid=23519 vsize=27820 memory=4328 CPUtime=2382.42 cores=1,3,5,7
/proc/23526/stat : 23526 (cosoco) R 23519 23526 23470 0 -1 4202496 5988 0 5 0 238241 1 0 0 20 0 1 0 91631642 28487680 1082 33554432000 4194304 6142532 140732198938912 140732198936312 5061866 0 0 4096 8405026 0 0 0 17 3 0 0 1 0 0 8243016 8247936 26640384 140732198941830 140732198941960 140732198941960 140732198944718 0
/proc/23526/statm: 6955 1082 837 476 0 277 0
Current children cumulated CPU time: 2382.42 s
Current children cumulated vsize: 27820 KiB
Current children cumulated memory: 4328 KiB

[startup+2442.3 s]
/proc/loadavg: 2.08 2.03 2.50 3/193 23645
/proc/meminfo: memFree=27507580/32770624 swapFree=67108856/67108860
[pid=23526] ppid=23519 vsize=27820 memory=4328 CPUtime=2442.43 cores=1,3,5,7
/proc/23526/stat : 23526 (cosoco) R 23519 23526 23470 0 -1 4202496 6004 0 5 0 244242 1 0 0 20 0 1 0 91631642 28487680 1082 33554432000 4194304 6142532 140732198938912 140732198936312 5175264 0 0 4096 8405026 0 0 0 17 3 0 0 1 0 0 8243016 8247936 26640384 140732198941830 140732198941960 140732198941960 140732198944718 0
/proc/23526/statm: 6955 1082 837 476 0 277 0
Current children cumulated CPU time: 2442.43 s
Current children cumulated vsize: 27820 KiB
Current children cumulated memory: 4328 KiB

[startup+2502.3 s]
/proc/loadavg: 2.03 2.03 2.47 3/193 23646
/proc/meminfo: memFree=27507544/32770624 swapFree=67108856/67108860
[pid=23526] ppid=23519 vsize=27820 memory=4328 CPUtime=2502.43 cores=1,3,5,7
/proc/23526/stat : 23526 (cosoco) R 23519 23526 23470 0 -1 4202496 6169 0 5 0 250242 1 0 0 20 0 1 0 91631642 28487680 1082 33554432000 4194304 6142532 140732198938912 140732198936312 5060839 0 0 4096 8405026 0 0 0 17 3 0 0 1 0 0 8243016 8247936 26640384 140732198941830 140732198941960 140732198941960 140732198944718 0
/proc/23526/statm: 6955 1082 837 476 0 277 0
Current children cumulated CPU time: 2502.43 s
Current children cumulated vsize: 27820 KiB
Current children cumulated memory: 4328 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2519.9 s]
/proc/loadavg: 2.02 2.02 2.46 3/192 23652
/proc/meminfo: memFree=27506468/32770624 swapFree=67108856/67108860
[pid=23526] ppid=23519 vsize=27820 memory=4328 CPUtime=2520.03 cores=1,3,5,7
/proc/23526/stat : 23526 (cosoco) R 23519 23526 23470 0 -1 4202496 6169 0 5 0 252002 1 0 0 20 0 1 0 91631642 28487680 1082 33554432000 4194304 6142532 140732198938912 140732198936312 5061186 0 0 4096 8405026 0 0 0 17 3 0 0 1 0 0 8243016 8247936 26640384 140732198941830 140732198941960 140732198941960 140732198944718 0
/proc/23526/statm: 6955 1082 837 476 0 277 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 27820 KiB
Current children cumulated memory: 4328 KiB

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

[startup+2519.9 s]
# the end of solver process 23526 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2520.03 s, system=0.014 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.02 2.46 3/192 23652
/proc/meminfo: memFree=27506468/32770624 swapFree=67108856/67108860
[pid=23526] ppid=23519 vsize=27820 memory=4328 CPUtime=2520.03 cores=1,3,5,7
/proc/23526/stat : 23526 (cosoco) R 23519 23526 23470 0 -1 4202496 6169 0 5 0 252002 1 0 0 20 0 1 0 91631642 28487680 1082 33554432000 4194304 6142532 140732198938912 140732198936312 5061186 0 0 4096 8405026 0 0 0 17 3 0 0 1 0 0 8243016 8247936 26640384 140732198941830 140732198941960 140732198941960 140732198944718 0
/proc/23526/statm: 6955 1082 837 476 0 277 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 27820 KiB
Current children cumulated memory: 4328 KiB

Child status: 1
Real time (s): 2519.9
CPU time (s): 2520.04
CPU user time (s): 2520.03
CPU system time (s): 0.014
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 27820
Max. memory (cumulated for all children) (KiB): 4328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.03
system time used= 0.014
maximum resident set size= 4392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6218
page faults= 5
swaps= 0
block input operations= 2520
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 44
involuntary context switches= 854


# summary of solver processes directly reported to runsolver:
#   pid: 23526
#   total CPU time (s): 2520.04
#   total CPU user time (s): 2520.03
#   total CPU system time (s): 0.014

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.89686 second user time and 16.8595 second system time

The end

Launcher Data 

Begin job on node133 at 2018-07-28 03:18:05
IDJOB=4297973
IDBENCH=141020
IDSOLVER=2761
FILE ID=node133/4297973-1532740685
RUNJOBID= node133-1532740685-23502
PBS_JOBID= 21022445
Free space on /tmp= 48252 MiB

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

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

MD5SUM BENCH= ca60191094dbbdd7cca22b5ebea1cb75
RANDOM SEED=1228960226

node133.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.24
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.24
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.24
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.24
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:        27511096 kB
MemAvailable:   31943256 kB
Buffers:          166496 kB
Cached:          4514312 kB
SwapCached:            0 kB
Active:          2123360 kB
Inactive:        2610524 kB
Active(anon):       4504 kB
Inactive(anon):    76736 kB
Active(file):    2118856 kB
Inactive(file):  2533788 kB
Unevictable:        7100 kB
Mlocked:            7100 kB
SwapTotal:      67108860 kB
SwapFree:       67108856 kB
Dirty:              2724 kB
Writeback:             0 kB
AnonPages:         59748 kB
Mapped:            40548 kB
Shmem:             25276 kB
Slab:             217976 kB
SReclaimable:     190704 kB
SUnreclaim:        27272 kB
KernelStack:        3184 kB
PageTables:         5644 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     327868 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 48244 MiB
End job on node133 at 2018-07-28 04:00:05