Trace number 4408177

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 2.0? (TO) 2520.04 2520.01

General information on the benchmark

NameQuasiGroups/QuasiGroups-elt-qg7/
QuasiGroup-7-39.xml
MD5SUM5a6cd63004ce40fe2c4de94228743879
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 variables3042
Number of constraints2966
Number of domains1
Minimum domain size39
Maximum domain size39
Distribution of domain sizes[{"size":39,"count":3003}]
Minimum variable degree0
Maximum variable degree79
Distribution of variable degrees[{"degree":0,"count":39},{"degree":2,"count":1482},{"degree":78,"count":39},{"degree":79,"count":1482}]
Minimum constraint arity39
Maximum constraint arity1521
Distribution of constraint arities[{"arity":39,"count":1},{"arity":41,"count":2964},{"arity":1521,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"allDifferent","count":1},{"type":"instantiation","count":1},{"type":"element","count":2964}]
Optimization problemNO
Type of objective

Solver Data 

0.20/0.24	c root propagations     : 195         
0.20/0.24	c restarts enabled, print stats at every restarts
0.20/0.24	c
0.20/0.24	c
0.20/0.24	c
0.20/0.24	c This is cosoco 2.00 --  
0.20/0.24	c
0.20/0.24	c command line: cosoco -lc -model -restarts -stick HOME/instance-4408177-1569801275.xml 
0.20/0.24	c ========================================[ Problem Statistics ]===========================================
0.20/0.24	c |                                                                                                       
0.20/0.24	c |  Parse time        :         0.19 s 
0.20/0.24	c |
0.20/0.24	c |               Variables: 3042
0.20/0.24	c |            Domain Sizes: 39..39
0.20/0.24	c |
0.20/0.24	c |             Constraints: 3081
0.20/0.24	c |                   Arity: 1..41  -- Unary: 39
0.20/0.24	c | 
0.20/0.24	c |                   Types: 
0.20/0.24	c |                          All Different: 78
0.20/0.24	c |                          Element Variable: 2964
0.20/0.24	c |                          Unary: 39
0.20/0.24	c |                          
0.20/0.24	c =========================================================================================================
0.20/0.24	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.20/0.24	c remove useless variable y[0][0]
0.20/0.24	c remove useless variable y[1][1]
0.20/0.24	c remove useless variable y[2][2]
0.20/0.24	c remove useless variable y[3][3]
0.20/0.24	c remove useless variable y[4][4]
0.20/0.24	c remove useless variable y[5][5]
0.20/0.24	c remove useless variable y[6][6]
0.20/0.24	c remove useless variable y[7][7]
0.20/0.24	c remove useless variable y[8][8]
0.20/0.24	c remove useless variable y[9][9]
0.20/0.24	c remove useless variable y[10][10]
0.20/0.24	c remove useless variable y[11][11]
0.20/0.24	c remove useless variable y[12][12]
0.20/0.24	c remove useless variable y[13][13]
0.20/0.24	c remove useless variable y[14][14]
0.20/0.24	c remove useless variable y[15][15]
0.20/0.24	c remove useless variable y[16][16]
0.20/0.24	c remove useless variable y[17][17]
0.20/0.24	c remove useless variable y[18][18]
0.20/0.24	c remove useless variable y[19][19]
0.20/0.24	c remove useless variable y[20][20]
0.20/0.24	c remove useless variable y[21][21]
0.20/0.24	c remove useless variable y[22][22]
0.20/0.24	c remove useless variable y[23][23]
0.20/0.24	c remove useless variable y[24][24]
0.20/0.24	c remove useless variable y[25][25]
0.20/0.24	c remove useless variable y[26][26]
0.20/0.24	c remove useless variable y[27][27]
0.20/0.24	c remove useless variable y[28][28]
0.20/0.24	c remove useless variable y[29][29]
0.20/0.24	c remove useless variable y[30][30]
0.20/0.24	c remove useless variable y[31][31]
0.20/0.24	c remove useless variable y[32][32]
0.20/0.24	c remove useless variable y[33][33]
0.20/0.24	c remove useless variable y[34][34]
0.20/0.24	c remove useless variable y[35][35]
0.20/0.24	c remove useless variable y[36][36]
0.20/0.24	c remove useless variable y[37][37]
0.20/0.24	c remove useless variable y[38][38]
0.40/0.46	c 101            585            206186         77231          189            0              268   326   305
0.50/0.59	c 211            902            341284         88986          189            0              83   119   116 
0.60/0.70	c 332            1203           453895         101495         189            0              152   163   160
0.79/0.81	c 465            1608           554378         113768         189            0              115   119   117
0.89/0.99	c 611            2070           744395         150031         189            0              101   233   224
1.10/1.14	c 771            2526           899527         178620         189            0              120   228   221
1.29/1.31	c 947            2961           1070385        209712         189            0              57   201   194 
1.39/1.48	c 1140           3445           1253834        245315         189            0              61   211   200 
1.69/1.71	c 1352           4032           1487155        299197         189            0              54   222   212 
1.89/1.98	c 1585           4718           1766146        359799         189            0              56   231   218 
2.19/2.25	c 1841           5361           2024454        423449         189            0              57   97   93   
2.39/2.44	c 2122           6003           2207451        445467         189            0              61   140   137 
2.69/2.76	c 2431           6831           2520892        506926         189            0              65   162   154 
3.10/3.13	c 2770           7909           2879397        602807         189            0              72   159   152 
3.79/3.84	c 3142           9435           3602742        758830         189            0              64   179   167 
4.39/4.42	c 3551           10897          4207090        876511         189            0              74   229   217 
5.00/5.08	c 4000           12450          4893297        995960         189            0              31   231   217 
5.49/5.57	c 4493           14012          5412591        1088415        189            0              28   285   270 
6.19/6.29	c 5035           15779          6151993        1460894        189            0              26   261   200 
6.79/6.86	c 5631           17484          6714319        1555260        189            0              25   303   291 
7.29/7.35	c 6286           19152          7179651        1641335        189            0              27   242   227 
7.99/8.04	c 7006           21566          7844821        1814039        189            0              30   326   312 
8.59/8.64	c 7798           23469          8417778        1957334        189            0              34   259   249 
9.49/9.54	c 8669           26606          9366910        2182473        189            0              38   244   238 
10.18/10.22	c 9627           28885          10066794       2363204        189            0              33   203   196 
11.09/11.19	c 10680          31819          11009005       2528210        189            0              32   263   255 
11.99/12.07	c 11838          34730          11883270       2729654        189            0              34   326   314 
12.88/12.93	c 13111          37519          12740516       3025698        189            0              36   329   318 
14.10/14.12	c 14511          40702          13938914       3231923        189            0              39   331   321 
15.59/15.61	c 16051          44658          15475563       3649304        189            0              40   338   326 
17.00/17.04	c 17745          48993          16906418       3949250        189            0              42   342   331 
18.59/18.65	c 19608          54238          18455868       4319908        189            0              43   280   272 
21.00/21.09	c 21657          60608          20848426       4919563        189            0              46   151   146 
22.89/22.95	c 23910          67099          22558920       5436169        189            0              47   131   129 
25.28/25.32	c 26388          73507          24982881       5970717        189            0              47   264   249 
27.68/27.70	c 29113          79924          27320283       6614925        189            0              54   146   140 
30.10/30.14	c 32110          89109          29838709       7179348        189            0              53   265   254 
31.69/31.78	c 35406          96574          31542151       7596659        189            0              54   272   254 
36.59/36.65	c 39031          108167         36486015       8391728        189            0              51   277   268 
44.89/44.93	c 43018          123115         44968384       10206963       189            0              53   293   279 
47.79/47.84	c 47403          128628         48180686       10908298       189            0              54   315   304 
51.29/51.32	c 52226          139969         51716644       11694516       189            0              47   279   271 
54.79/54.83	c 57531          153571         55231297       12582871       189            0              48   268   257 
57.68/57.76	c 63366          165770         58337724       14153479       189            0              49   212   205 
63.28/63.33	c 69784          183884         64104478       15435619       189            0              49   265   251 
68.57/68.63	c 76843          203840         69177908       17172278       189            0              50   157   156 
72.57/72.64	c 84607          223084         73763440       18828153       189            0              51   257   240 
78.98/79.04	c 93147          241294         81001281       21250772       189            0              49   259   249 
83.98/84.05	c 102541         266232         86695675       22718602       189            0              48   257   247 
93.08/93.13	c 112874         298281         96088144       25830172       189            0              46   183   173 
101.98/102.08	c 124240         332435         106070517      28286295       189            0              48   268   253 
115.17/115.22	c 136742         365853         119732116      30568592       189            0              47   266   264 
124.57/124.65	c 150494         404915         130366682      33808464       189            0              49   269   256 
140.87/140.90	c 165621         451309         147376551      37788311       189            0              47   289   275 
149.67/149.76	c 182260         495039         157198720      40411675       189            0              49   226   210 
162.47/162.55	c 200562         541860         171229935      44264712       189            0              44   225   214 
187.87/187.99	c 220694         590514         199463168      51863568       189            0              45   236   219 
206.57/206.68	c 242839         656359         219938472      57712303       189            0              39   235   214 
224.27/224.39	c 267198         724122         239989997      61260592       189            0              38   223   212 
244.17/244.29	c 293992         799289         260480199      66143643       189            0              28   285   271 
277.08/277.18	c 323465         865920         296603684      71367790       189            0              32   249   238 
306.87/307.00	c 355885         961808         327473845      77811062       189            0              30   294   278 
335.98/336.03	c 391547         1059043        358732052      85606503       189            0              34   288   271 
360.87/360.97	c 430775         1164652        382330407      94624222       189            0              44   178   176 
400.98/401.04	c 473925         1333814        424480617      107182386      189            0              50   250   202 
450.77/450.87	c 521390         1479749        477236139      123316355      189            0              53   286   270 
505.67/505.73	c 573601         1664512        536011936      136339998      189            0              57   583   326 
548.28/548.35	c 631033         1841248        583332349      151334071      189            0              58   290   269 
586.77/586.80	c 694208         1992921        626465500      169051143      189            0              48   270   256 
624.88/625.00	c 763700         2115131        671526492      186889939      189            0              50   267   251 
762.69/762.70	c 840141         2390053        818128682      208475048      189            0              46   299   278 
817.49/817.52	c 924226         2597644        870010933      227344759      189            0              47   155   154 
902.19/902.29	c 1016719        2892288        955340209      252625794      189            0              49   153   135 
983.89/983.94	c 1118461        3150974        1047278975     279679840      189            0              50   280   258 
1042.89/1042.98	c 1230377        3400626        1115322541     302690088      189            0              49   276   260 
1123.80/1123.81	c 1353484        3727035        1207918093     325931241      189            0              49   280   265 
1212.70/1212.74	c 1488901        4081249        1310313798     353143474      189            0              46   288   267 
1324.40/1324.40	c 1637859        4529625        1438395805     392046633      189            0              45   299   269 
1437.60/1437.65	c 1801712        4951884        1567723497     436891921      189            0              43   278   261 
1573.12/1573.12	c 1981950        5416852        1719714321     475000224      189            0              40   282   258 
1741.61/1741.66	c 2180211        6100287        1907557606     530881675      189            0              44   286   268 
1889.81/1889.84	c 2398298        6681573        2075976080     576659094      189            0              37   288   266 
2121.03/2121.06	c 2638193        7440788        2334777701     659435804      189            0              29   288   271 
2324.92/2324.93	c 2902077        8088721        2568259261     745924894      189            0              27   296   273 
2484.42/2484.48	c 3192349        8657975        2752781446     809044231      189            0              26   279   261 
2520.03/2520.01	
2520.03/2520.01	c *** INTERRUPTED ***
2520.03/2520.01	c restarts              : 85          
2520.03/2520.01	c conflicts             : 3247009      (1289 /sec)
2520.03/2520.01	c decisions             : 8777374      (3483 /sec)
2520.03/2520.01	c propagations          : 829299205   (329090 /sec)
2520.03/2520.01	c root propagations     : 195         
2520.03/2520.01	c filter calls          : 2794151041     (1108799 /sec)
2520.03/2520.01	c useless filter calls  : 2722135887     (97 %)
2520.03/2520.01	c Memory used           : 78.15 MB
2520.03/2520.01	c CPU time              : 2519.98 s
2520.03/2520.01	c real time             : 2520.01 s
2520.03/2520.01	
2520.03/2520.01	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 (15211 MiB free)
  memory of node 1: 16384 MiB (15487 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408177-1569801275/watcher-4408177-1569801275 -o /tmp/evaluation-result-4408177-1569801275/solver-4408177-1569801275 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1569787348-7895 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4408177-1569801275.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
Current StackSize limit: 8192 KiB

solver pid=10740, runsolver pid=10737

[startup+0.100215 s]*
/proc/loadavg: 1.99 2.09 2.07 3/201 10741
/proc/meminfo: memFree=31415796/32770624 swapFree=66936012/67108860
[pid=10740] ppid=10737 vsize=50204 memory=26384 CPUtime=0.1 cores=0,2,4,6
/proc/10740/stat : 10740 (cosoco) R 10737 10740 7864 0 -1 4202496 6810 0 0 0 9 1 0 0 20 0 1 0 556041196 51408896 6596 33554432000 4194304 6211132 140726112083248 140726112079784 140359294822304 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 13361152 140726112089099 140726112089201 140726112089201 140726112092110 0
/proc/10740/statm: 12551 6596 827 493 0 5856 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 50204 KiB
Current children cumulated memory: 26384 KiB

[startup+0.209895 s]*
/proc/loadavg: 1.99 2.09 2.07 3/201 10741
/proc/meminfo: memFree=31391492/32770624 swapFree=66936012/67108860
[pid=10740] ppid=10737 vsize=72500 memory=49088 CPUtime=0.2 cores=0,2,4,6
/proc/10740/stat : 10740 (cosoco) R 10737 10740 7864 0 -1 4202496 12444 0 0 0 19 1 0 0 20 0 1 0 556041196 74240000 12272 33554432000 4194304 6211132 140726112083248 140726112078728 5079432 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 13361152 140726112089099 140726112089201 140726112089201 140726112092110 0
/proc/10740/statm: 18125 12272 858 493 0 11430 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 72500 KiB
Current children cumulated memory: 49088 KiB

[startup+0.309873 s]*
/proc/loadavg: 1.99 2.09 2.07 3/201 10741
/proc/meminfo: memFree=31391244/32770624 swapFree=66936012/67108860
[pid=10740] ppid=10737 vsize=72764 memory=49352 CPUtime=0.3 cores=0,2,4,6
/proc/10740/stat : 10740 (cosoco) R 10737 10740 7864 0 -1 4202496 12506 0 0 0 29 1 0 0 20 0 1 0 556041196 74510336 12338 33554432000 4194304 6211132 140726112083248 140726112078728 140359294774245 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 13361152 140726112089099 140726112089201 140726112089201 140726112092110 0
/proc/10740/statm: 18191 12338 871 493 0 11496 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 72764 KiB
Current children cumulated memory: 49352 KiB

[startup+0.700402 s]
/proc/loadavg: 1.99 2.09 2.07 3/201 10741
/proc/meminfo: memFree=31389012/32770624 swapFree=66936012/67108860
[pid=10740] ppid=10737 vsize=75008 memory=51464 CPUtime=0.69 cores=0,2,4,6
/proc/10740/stat : 10740 (cosoco) R 10737 10740 7864 0 -1 4202496 13051 0 0 0 68 1 0 0 20 0 1 0 556041196 76808192 12866 33554432000 4194304 6211132 140726112083248 140726112078728 140359295212640 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 13361152 140726112089099 140726112089201 140726112089201 140726112092110 0
/proc/10740/statm: 18752 12866 871 493 0 12057 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 75008 KiB
Current children cumulated memory: 51464 KiB

[startup+1.50043 s]
/proc/loadavg: 1.99 2.09 2.07 3/201 10741
/proc/meminfo: memFree=31388840/32770624 swapFree=66936012/67108860
[pid=10740] ppid=10737 vsize=75140 memory=51728 CPUtime=1.49 cores=0,2,4,6
/proc/10740/stat : 10740 (cosoco) R 10737 10740 7864 0 -1 4202496 13100 0 0 0 148 1 0 0 20 0 1 0 556041196 76943360 12932 33554432000 4194304 6211132 140726112083248 140726112078728 5103350 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 13361152 140726112089099 140726112089201 140726112089201 140726112092110 0
/proc/10740/statm: 18785 12932 873 493 0 12090 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 75140 KiB
Current children cumulated memory: 51728 KiB

[startup+3.10968 s]
/proc/loadavg: 1.99 2.09 2.07 3/201 10741
/proc/meminfo: memFree=31388600/32770624 swapFree=66936012/67108860
[pid=10740] ppid=10737 vsize=75272 memory=51880 CPUtime=3.1 cores=0,2,4,6
/proc/10740/stat : 10740 (cosoco) R 10737 10740 7864 0 -1 4202496 21763 0 0 0 308 2 0 0 20 0 1 0 556041196 77078528 12970 33554432000 4194304 6211132 140726112083248 140726112081208 5102854 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 13361152 140726112089099 140726112089201 140726112089201 140726112092110 0
/proc/10740/statm: 18818 12970 873 493 0 12123 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 75272 KiB
Current children cumulated memory: 51880 KiB

[startup+6.30039 s]
/proc/loadavg: 1.99 2.08 2.07 3/202 10743
/proc/meminfo: memFree=31387900/32770624 swapFree=66936012/67108860
[pid=10740] ppid=10737 vsize=75668 memory=52188 CPUtime=6.29 cores=0,2,4,6
/proc/10740/stat : 10740 (cosoco) R 10737 10740 7864 0 -1 4202496 30898 0 0 0 627 2 0 0 20 0 1 0 556041196 77484032 13047 33554432000 4194304 6211132 140726112083248 140726112081208 5102815 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 13361152 140726112089099 140726112089201 140726112089201 140726112092110 0
/proc/10740/statm: 18917 13047 873 493 0 12222 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 75668 KiB
Current children cumulated memory: 52188 KiB

[startup+12.7004 s]
/proc/loadavg: 1.99 2.08 2.07 3/201 10743
/proc/meminfo: memFree=31387188/32770624 swapFree=66936012/67108860
[pid=10740] ppid=10737 vsize=76460 memory=53020 CPUtime=12.68 cores=0,2,4,6
/proc/10740/stat : 10740 (cosoco) R 10737 10740 7864 0 -1 4202496 40308 0 0 0 1266 2 0 0 20 0 1 0 556041196 78295040 13255 33554432000 4194304 6211132 140726112083248 140726112081208 5102856 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 13361152 140726112089099 140726112089201 140726112089201 140726112092110 0
/proc/10740/statm: 19115 13255 873 493 0 12420 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 76460 KiB
Current children cumulated memory: 53020 KiB

[startup+25.5004 s]
/proc/loadavg: 1.99 2.08 2.07 3/201 10743
/proc/meminfo: memFree=31387180/32770624 swapFree=66936012/67108860
[pid=10740] ppid=10737 vsize=76856 memory=53496 CPUtime=25.48 cores=0,2,4,6
/proc/10740/stat : 10740 (cosoco) R 10737 10740 7864 0 -1 4202496 58859 0 0 0 2545 3 0 0 20 0 1 0 556041196 78700544 13374 33554432000 4194304 6211132 140726112083248 140726112081208 5193728 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 13361152 140726112089099 140726112089201 140726112089201 140726112092110 0
/proc/10740/statm: 19214 13374 873 493 0 12519 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 76856 KiB
Current children cumulated memory: 53496 KiB

[startup+51.1098 s]
/proc/loadavg: 2.00 2.07 2.07 3/202 10746
/proc/meminfo: memFree=31384460/32770624 swapFree=66936012/67108860
[pid=10740] ppid=10737 vsize=77120 memory=53740 CPUtime=51.1 cores=0,2,4,6
/proc/10740/stat : 10740 (cosoco) R 10737 10740 7864 0 -1 4202496 68677 0 0 0 5106 4 0 0 20 0 1 0 556041196 78970880 13435 33554432000 4194304 6211132 140726112083248 140726112081208 5102834 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 13361152 140726112089099 140726112089201 140726112089201 140726112092110 0
/proc/10740/statm: 19280 13435 873 493 0 12585 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 77120 KiB
Current children cumulated memory: 53740 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/199 10751
/proc/meminfo: memFree=31385332/32770624 swapFree=66936012/67108860
[pid=10740] ppid=10737 vsize=77252 memory=53828 CPUtime=102.27 cores=0,2,4,6
/proc/10740/stat : 10740 (cosoco) R 10737 10740 7864 0 -1 4202496 71323 0 0 0 10223 4 0 0 20 0 1 0 556041196 79106048 13457 33554432000 4194304 6211132 140726112083248 140726112081208 5102665 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 13361152 140726112089099 140726112089201 140726112089201 140726112092110 0
/proc/10740/statm: 19313 13457 873 493 0 12618 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 77252 KiB
Current children cumulated memory: 53828 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/199 10756
/proc/meminfo: memFree=31386156/32770624 swapFree=66936012/67108860
[pid=10740] ppid=10737 vsize=77252 memory=53912 CPUtime=162.27 cores=0,2,4,6
/proc/10740/stat : 10740 (cosoco) R 10737 10740 7864 0 -1 4202496 72065 0 0 0 16223 4 0 0 20 0 1 0 556041196 79106048 13478 33554432000 4194304 6211132 140726112083248 140726112081208 5102734 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 13361152 140726112089099 140726112089201 140726112089201 140726112092110 0
/proc/10740/statm: 19313 13478 873 493 0 12618 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 77252 KiB
Current children cumulated memory: 53912 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/199 10760
/proc/meminfo: memFree=31385680/32770624 swapFree=66936012/67108860
[pid=10740] ppid=10737 vsize=77384 memory=53928 CPUtime=222.27 cores=0,2,4,6
/proc/10740/stat : 10740 (cosoco) R 10737 10740 7864 0 -1 4202496 72749 0 0 0 22223 4 0 0 20 0 1 0 556041196 79241216 13482 33554432000 4194304 6211132 140726112083248 140726112080712 5193728 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 13361152 140726112089099 140726112089201 140726112089201 140726112092110 0
/proc/10740/statm: 19346 13482 873 493 0 12651 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 77384 KiB
Current children cumulated memory: 53928 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/199 10767
/proc/meminfo: memFree=31385428/32770624 swapFree=66936012/67108860
[pid=10740] ppid=10737 vsize=77384 memory=53992 CPUtime=282.27 cores=0,2,4,6
/proc/10740/stat : 10740 (cosoco) R 10737 10740 7864 0 -1 4202496 73489 0 0 0 28223 4 0 0 20 0 1 0 556041196 79241216 13498 33554432000 4194304 6211132 140726112083248 140726112081208 5102738 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 13361152 140726112089099 140726112089201 140726112089201 140726112092110 0
/proc/10740/statm: 19346 13498 873 493 0 12651 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 77384 KiB
Current children cumulated memory: 53992 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 10771
/proc/meminfo: memFree=31385872/32770624 swapFree=66936012/67108860
[pid=10740] ppid=10737 vsize=77384 memory=54012 CPUtime=342.27 cores=0,2,4,6
/proc/10740/stat : 10740 (cosoco) R 10737 10740 7864 0 -1 4202496 74253 0 0 0 34223 4 0 0 20 0 1 0 556041196 79241216 13503 33554432000 4194304 6211132 140726112083248 140726112081208 5102815 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 13361152 140726112089099 140726112089201 140726112089201 140726112092110 0
/proc/10740/statm: 19346 13503 873 493 0 12651 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 77384 KiB
Current children cumulated memory: 54012 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/201 10784
/proc/meminfo: memFree=31385472/32770624 swapFree=66936012/67108860
[pid=10740] ppid=10737 vsize=77384 memory=54028 CPUtime=402.28 cores=0,2,4,6
/proc/10740/stat : 10740 (cosoco) R 10737 10740 7864 0 -1 4202496 74973 0 0 0 40224 4 0 0 20 0 1 0 556041196 79241216 13507 33554432000 4194304 6211132 140726112083248 140726112081208 5103221 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 13361152 140726112089099 140726112089201 140726112089201 140726112092110 0
/proc/10740/statm: 19346 13507 873 493 0 12651 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 77384 KiB
Current children cumulated memory: 54028 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/201 10815
/proc/meminfo: memFree=31385720/32770624 swapFree=66936012/67108860
[pid=10740] ppid=10737 vsize=77516 memory=54064 CPUtime=462.27 cores=0,2,4,6
/proc/10740/stat : 10740 (cosoco) R 10737 10740 7864 0 -1 4202496 75769 0 0 0 46223 4 0 0 20 0 1 0 556041196 79376384 13516 33554432000 4194304 6211132 140726112083248 140726112080712 5102776 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 13361152 140726112089099 140726112089201 140726112089201 140726112092110 0
/proc/10740/statm: 19379 13516 873 493 0 12684 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 77516 KiB
Current children cumulated memory: 54064 KiB


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

/proc/10740/statm: 20006 14151 873 493 0 13311 0
Current children cumulated CPU time: 1722.31 s
Current children cumulated vsize: 80024 KiB
Current children cumulated memory: 56604 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 10933
/proc/meminfo: memFree=31384060/32770624 swapFree=66936012/67108860
[pid=10740] ppid=10737 vsize=80024 memory=56604 CPUtime=1782.31 cores=0,2,4,6
/proc/10740/stat : 10740 (cosoco) R 10737 10740 7864 0 -1 4202496 85785 0 0 0 178226 5 0 0 20 0 1 0 556041196 81944576 14151 33554432000 4194304 6211132 140726112083248 140726112081208 5103330 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 13361152 140726112089099 140726112089201 140726112089201 140726112092110 0
/proc/10740/statm: 20006 14151 873 493 0 13311 0
Current children cumulated CPU time: 1782.31 s
Current children cumulated vsize: 80024 KiB
Current children cumulated memory: 56604 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 10937
/proc/meminfo: memFree=31383028/32770624 swapFree=66936012/67108860
[pid=10740] ppid=10737 vsize=80024 memory=56604 CPUtime=1842.31 cores=0,2,4,6
/proc/10740/stat : 10740 (cosoco) R 10737 10740 7864 0 -1 4202496 86149 0 0 0 184226 5 0 0 20 0 1 0 556041196 81944576 14151 33554432000 4194304 6211132 140726112083248 140726112081208 5103350 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 13361152 140726112089099 140726112089201 140726112089201 140726112092110 0
/proc/10740/statm: 20006 14151 873 493 0 13311 0
Current children cumulated CPU time: 1842.31 s
Current children cumulated vsize: 80024 KiB
Current children cumulated memory: 56604 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 10944
/proc/meminfo: memFree=31383356/32770624 swapFree=66936012/67108860
[pid=10740] ppid=10737 vsize=80024 memory=56604 CPUtime=1902.31 cores=0,2,4,6
/proc/10740/stat : 10740 (cosoco) R 10737 10740 7864 0 -1 4202496 86534 0 0 0 190226 5 0 0 20 0 1 0 556041196 81944576 14151 33554432000 4194304 6211132 140726112083248 140726112081208 5102815 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 13361152 140726112089099 140726112089201 140726112089201 140726112092110 0
/proc/10740/statm: 20006 14151 873 493 0 13311 0
Current children cumulated CPU time: 1902.31 s
Current children cumulated vsize: 80024 KiB
Current children cumulated memory: 56604 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 10948
/proc/meminfo: memFree=31383348/32770624 swapFree=66936012/67108860
[pid=10740] ppid=10737 vsize=80024 memory=56604 CPUtime=1962.31 cores=0,2,4,6
/proc/10740/stat : 10740 (cosoco) R 10737 10740 7864 0 -1 4202496 86886 0 0 0 196226 5 0 0 20 0 1 0 556041196 81944576 14151 33554432000 4194304 6211132 140726112083248 140726112081208 5102776 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 13361152 140726112089099 140726112089201 140726112089201 140726112092110 0
/proc/10740/statm: 20006 14151 873 493 0 13311 0
Current children cumulated CPU time: 1962.31 s
Current children cumulated vsize: 80024 KiB
Current children cumulated memory: 56604 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 10952
/proc/meminfo: memFree=31383100/32770624 swapFree=66936012/67108860
[pid=10740] ppid=10737 vsize=80024 memory=56604 CPUtime=2022.31 cores=0,2,4,6
/proc/10740/stat : 10740 (cosoco) R 10737 10740 7864 0 -1 4202496 87221 0 0 0 202226 5 0 0 20 0 1 0 556041196 81944576 14151 33554432000 4194304 6211132 140726112083248 140726112081208 5102815 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 13361152 140726112089099 140726112089201 140726112089201 140726112092110 0
/proc/10740/statm: 20006 14151 873 493 0 13311 0
Current children cumulated CPU time: 2022.31 s
Current children cumulated vsize: 80024 KiB
Current children cumulated memory: 56604 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 10959
/proc/meminfo: memFree=31382856/32770624 swapFree=66936012/67108860
[pid=10740] ppid=10737 vsize=80024 memory=56604 CPUtime=2082.31 cores=0,2,4,6
/proc/10740/stat : 10740 (cosoco) R 10737 10740 7864 0 -1 4202496 87589 0 0 0 208226 5 0 0 20 0 1 0 556041196 81944576 14151 33554432000 4194304 6211132 140726112083248 140726112081208 5193742 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 13361152 140726112089099 140726112089201 140726112089201 140726112092110 0
/proc/10740/statm: 20006 14151 873 493 0 13311 0
Current children cumulated CPU time: 2082.31 s
Current children cumulated vsize: 80024 KiB
Current children cumulated memory: 56604 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 10963
/proc/meminfo: memFree=31383088/32770624 swapFree=66936012/67108860
[pid=10740] ppid=10737 vsize=80024 memory=56604 CPUtime=2142.32 cores=0,2,4,6
/proc/10740/stat : 10740 (cosoco) R 10737 10740 7864 0 -1 4202496 87971 0 0 0 214226 6 0 0 20 0 1 0 556041196 81944576 14151 33554432000 4194304 6211132 140726112083248 140726112081208 5102698 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 13361152 140726112089099 140726112089201 140726112089201 140726112092110 0
/proc/10740/statm: 20006 14151 873 493 0 13311 0
Current children cumulated CPU time: 2142.32 s
Current children cumulated vsize: 80024 KiB
Current children cumulated memory: 56604 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 11036
/proc/meminfo: memFree=31380356/32770624 swapFree=66936012/67108860
[pid=10740] ppid=10737 vsize=80024 memory=56604 CPUtime=2202.32 cores=0,2,4,6
/proc/10740/stat : 10740 (cosoco) R 10737 10740 7864 0 -1 4202496 88340 0 0 0 220226 6 0 0 20 0 1 0 556041196 81944576 14151 33554432000 4194304 6211132 140726112083248 140726112081208 5078765 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 13361152 140726112089099 140726112089201 140726112089201 140726112092110 0
/proc/10740/statm: 20006 14151 873 493 0 13311 0
Current children cumulated CPU time: 2202.32 s
Current children cumulated vsize: 80024 KiB
Current children cumulated memory: 56604 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 11042
/proc/meminfo: memFree=31380016/32770624 swapFree=66936012/67108860
[pid=10740] ppid=10737 vsize=80024 memory=56604 CPUtime=2262.32 cores=0,2,4,6
/proc/10740/stat : 10740 (cosoco) R 10737 10740 7864 0 -1 4202496 88693 0 0 0 226226 6 0 0 20 0 1 0 556041196 81944576 14151 33554432000 4194304 6211132 140726112083248 140726112081208 5397407 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 13361152 140726112089099 140726112089201 140726112089201 140726112092110 0
/proc/10740/statm: 20006 14151 873 493 0 13311 0
Current children cumulated CPU time: 2262.32 s
Current children cumulated vsize: 80024 KiB
Current children cumulated memory: 56604 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 11046
/proc/meminfo: memFree=31379984/32770624 swapFree=66936012/67108860
[pid=10740] ppid=10737 vsize=80024 memory=56604 CPUtime=2322.32 cores=0,2,4,6
/proc/10740/stat : 10740 (cosoco) R 10737 10740 7864 0 -1 4202496 89054 0 0 0 232226 6 0 0 20 0 1 0 556041196 81944576 14151 33554432000 4194304 6211132 140726112083248 140726112081208 5193728 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 13361152 140726112089099 140726112089201 140726112089201 140726112092110 0
/proc/10740/statm: 20006 14151 873 493 0 13311 0
Current children cumulated CPU time: 2322.32 s
Current children cumulated vsize: 80024 KiB
Current children cumulated memory: 56604 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 11050
/proc/meminfo: memFree=31379816/32770624 swapFree=66936012/67108860
[pid=10740] ppid=10737 vsize=80024 memory=56604 CPUtime=2382.32 cores=0,2,4,6
/proc/10740/stat : 10740 (cosoco) R 10737 10740 7864 0 -1 4202496 89448 0 0 0 238226 6 0 0 20 0 1 0 556041196 81944576 14151 33554432000 4194304 6211132 140726112083248 140726112081208 5102871 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 13361152 140726112089099 140726112089201 140726112089201 140726112092110 0
/proc/10740/statm: 20006 14151 873 493 0 13311 0
Current children cumulated CPU time: 2382.32 s
Current children cumulated vsize: 80024 KiB
Current children cumulated memory: 56604 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 11056
/proc/meminfo: memFree=31379164/32770624 swapFree=66936012/67108860
[pid=10740] ppid=10737 vsize=80024 memory=56604 CPUtime=2442.32 cores=0,2,4,6
/proc/10740/stat : 10740 (cosoco) R 10737 10740 7864 0 -1 4202496 89810 0 0 0 244226 6 0 0 20 0 1 0 556041196 81944576 14151 33554432000 4194304 6211132 140726112083248 140726112081208 5082766 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 13361152 140726112089099 140726112089201 140726112089201 140726112092110 0
/proc/10740/statm: 20006 14151 873 493 0 13311 0
Current children cumulated CPU time: 2442.32 s
Current children cumulated vsize: 80024 KiB
Current children cumulated memory: 56604 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 11060
/proc/meminfo: memFree=31380096/32770624 swapFree=66936012/67108860
[pid=10740] ppid=10737 vsize=80024 memory=56604 CPUtime=2502.33 cores=0,2,4,6
/proc/10740/stat : 10740 (cosoco) R 10737 10740 7864 0 -1 4202496 90204 0 0 0 250227 6 0 0 20 0 1 0 556041196 81944576 14151 33554432000 4194304 6211132 140726112083248 140726112081208 5103221 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 13361152 140726112089099 140726112089201 140726112089201 140726112092110 0
/proc/10740/statm: 20006 14151 873 493 0 13311 0
Current children cumulated CPU time: 2502.33 s
Current children cumulated vsize: 80024 KiB
Current children cumulated memory: 56604 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 11060
/proc/meminfo: memFree=31379816/32770624 swapFree=66936012/67108860
[pid=10740] ppid=10737 vsize=80024 memory=56604 CPUtime=2520.03 cores=0,2,4,6
/proc/10740/stat : 10740 (cosoco) R 10737 10740 7864 0 -1 4202496 90541 0 0 0 251997 6 0 0 20 0 1 0 556041196 81944576 14151 33554432000 4194304 6211132 140726112083248 140726112081208 5103165 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 13361152 140726112089099 140726112089201 140726112089201 140726112092110 0
/proc/10740/statm: 20006 14151 873 493 0 13311 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 80024 KiB
Current children cumulated memory: 56604 KiB

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

[startup+2520.01 s]
# the end of solver process 10740 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.98 s, system=0.065001 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): 2520.04
CPU user time (s): 2519.98
CPU system time (s): 0.065001
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 80024
Max. memory (cumulated for all children) (KiB): 56604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.98
system time used= 0.065001
maximum resident set size= 56668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90594
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= 38
involuntary context switches= 768


# summary of solver processes directly reported to runsolver:
#   pid: 10740
#   total CPU time (s): 2520.04
#   total CPU user time (s): 2519.98
#   total CPU system time (s): 0.065001

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.51816 second user time and 18.1529 second system time

The end

Launcher Data 

Begin job on node147 at 2019-09-30 01:53:50
IDJOB=4408177
IDBENCH=133850
IDSOLVER=2874
FILE ID=node147/4408177-1569801275
RUNJOBID= node147-1569787348-7895
PBS_JOBID= 21705818
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/QuasiGroups/QuasiGroups-elt-qg7/QuasiGroup-7-39.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4408177-1569801275/watcher-4408177-1569801275 -o /tmp/evaluation-result-4408177-1569801275/solver-4408177-1569801275 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1569787348-7895 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4408177-1569801275.xml

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

MD5SUM BENCH= 5a6cd63004ce40fe2c4de94228743879
RANDOM SEED=635550199

node147.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.52
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.52
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.52
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.52
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:        31436588 kB
MemAvailable:   31796280 kB
Buffers:          220732 kB
Cached:           468764 kB
SwapCached:        68896 kB
Active:           411964 kB
Inactive:         351388 kB
Active(anon):      19500 kB
Inactive(anon):   136772 kB
Active(file):     392464 kB
Inactive(file):   214616 kB
Unevictable:      107708 kB
Mlocked:          107708 kB
SwapTotal:      67108860 kB
SwapFree:       66936012 kB
Dirty:              3128 kB
Writeback:             0 kB
AnonPages:        114324 kB
Mapped:            28504 kB
Shmem:             73672 kB
Slab:             166352 kB
SReclaimable:     136892 kB
SUnreclaim:        29460 kB
KernelStack:        3584 kB
PageTables:         5116 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     568944 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 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= 62024 MiB
End job on node147 at 2019-09-30 02:35:50