Trace number 4299111

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

General information on the benchmark

NameQuasigroups_mini/
QuasiGroup-v7-12_mini_c18.xml
MD5SUMa1c2562567ad3209fb3991c3158b061f
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.880326
Satisfiable
(Un)Satisfiability was proved
Number of variables288
Number of constraints300
Number of domains1
Minimum domain size12
Maximum domain size12
Distribution of domain sizes[{"size":12,"count":276}]
Minimum variable degree0
Maximum variable degree26
Distribution of variable degrees[{"degree":0,"count":12},{"degree":2,"count":132},{"degree":25,"count":12},{"degree":26,"count":132}]
Minimum constraint arity1
Maximum constraint arity14
Distribution of constraint arities[{"arity":1,"count":12},{"arity":12,"count":24},{"arity":14,"count":264}]
Number of extensional constraints0
Number of intensional constraints12
Distribution of constraint types[{"type":"intension","count":12},{"type":"allDifferent","count":24},{"type":"element","count":264}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.01	c root propagations     : 60          
0.00/0.01	c restarts enabled, print stats at every restarts
0.00/0.01	c
0.00/0.01	c
0.00/0.01	c
0.00/0.01	c This is cosoco 1.12 --  
0.00/0.01	c
0.00/0.01	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4299111-1532787684.xml 
0.00/0.01	c ========================================[ Problem Statistics ]===========================================
0.00/0.01	c |                                                                                                       
0.00/0.01	c |  Parse time        :         0.01 s 
0.00/0.01	c |
0.00/0.01	c |               Variables: 288
0.00/0.01	c |            Domain Sizes: 12..12
0.00/0.01	c |
0.00/0.01	c |             Constraints: 300
0.00/0.01	c |                   Arity: 1..14  -- Unary: 12
0.00/0.01	c | 
0.00/0.01	c |                   Types: 
0.00/0.01	c |                          All Different: 24
0.00/0.01	c |                          Element Variable: 264
0.00/0.01	c |                          Unary: 12
0.00/0.01	c |                          
0.00/0.01	c =========================================================================================================
0.00/0.01	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.01	c remove useless variable y[0][0]
0.00/0.01	c remove useless variable y[1][1]
0.00/0.01	c remove useless variable y[2][2]
0.00/0.01	c remove useless variable y[3][3]
0.00/0.01	c remove useless variable y[4][4]
0.00/0.01	c remove useless variable y[5][5]
0.00/0.01	c remove useless variable y[6][6]
0.00/0.01	c remove useless variable y[7][7]
0.00/0.01	c remove useless variable y[8][8]
0.00/0.01	c remove useless variable y[9][9]
0.00/0.01	c remove useless variable y[10][10]
0.00/0.01	c remove useless variable y[11][11]
0.00/0.03	c 101            387            42962          17906          54             0              54   79   63   
0.00/0.04	c 211            807            81448          27673          54             0              27   39   31   
0.00/0.07	c 332            1221           151965         53908          54             0              30   57   47   
0.00/0.10	c 465            1612           204661         72654          54             0              28   66   56   
0.10/0.13	c 611            2056           266312         92300          54             0              43   68   52   
0.10/0.17	c 771            2695           366708         128250         54             0              43   66   53   
0.10/0.20	c 947            3390           450164         155956         54             0              40   64   51   
0.21/0.24	c 1140           4008           549280         197150         54             0              27   53   41   
0.21/0.29	c 1352           4814           666413         240735         54             0              35   64   49   
0.31/0.34	c 1585           5574           779455         285846         54             0              30   61   49   
0.31/0.39	c 1841           6566           902620         330676         54             0              31   60   46   
0.41/0.47	c 2122           8023           1081240        397306         54             0              28   62   46   
0.51/0.52	c 2431           9130           1210240        447487         54             0              37   62   48   
0.51/0.59	c 2770           10404          1383213        518358         54             0              29   60   49   
0.60/0.69	c 3142           11848          1618423        610394         54             0              34   59   49   
0.69/0.78	c 3551           13399          1835092        692551         54             0              38   58   46   
0.79/0.85	c 4000           14608          2023315        769612         54             0              28   53   41   
0.89/0.98	c 4493           16927          2331205        894683         54             0              26   61   40   
1.00/1.09	c 5035           18780          2580260        1008033        54             0              34   58   43   
1.19/1.21	c 5631           21033          2872880        1128064        54             0              36   69   47   
1.29/1.37	c 6286           24122          3253245        1257875        54             0              32   70   50   
1.49/1.52	c 7006           26693          3603413        1403561        55             0              1   60   46    
1.59/1.68	c 7798           29486          3997195        1570682        55             0              35   64   48   
1.79/1.87	c 8669           32546          4443769        1739454        55             0              39   65   52   
2.00/2.01	c 9627           35821          4797865        1850752        55             0              39   68   52   
2.19/2.21	c 10680          39575          5276620        2024086        55             0              35   62   49   
2.39/2.43	c 11838          43165          5812293        2229084        55             0              37   59   46   
2.69/2.75	c 13111          48013          6569097        2527607        55             0              39   63   50   
3.00/3.01	c 14511          52249          7209521        2756685        55             0              37   62   47   
3.29/3.31	c 16051          57246          7951008        3043246        55             0              38   61   46   
3.59/3.62	c 17745          62304          8711457        3346436        55             0              39   63   48   
4.10/4.12	c 19608          69853          9869509        3866244        55             0              34   65   44   
4.49/4.55	c 21657          77851          10912241       4272002        55             0              35   67   48   
4.89/4.93	c 23910          83899          11821682       4651541        55             0              25   64   50   
5.29/5.35	c 26388          91551          12854170       5035940        55             0              36   65   49   
5.79/5.87	c 29113          100354         14109376       5623774        55             0              36   58   44   
6.29/6.30	c 32110          108106         15175508       6035540        55             0              35   60   48   
7.10/7.17	c 35406          119917         17243180       6872286        55             0              40   64   48   
7.79/7.86	c 39031          130525         18908411       7630264        55             0              37   63   47   
8.49/8.50	c 43018          143949         20496090       8249034        55             0              33   69   50   
9.39/9.45	c 47403          158602         22792298       9265144        55             0              31   67   51   
10.19/10.24	c 52226          174065         24737081       10144383       55             0              39   68   49   
11.19/11.23	c 57531          190101         27168089       11133501       55             0              37   65   49   
12.29/12.39	c 63366          209260         30015203       12331355       55             0              33   69   53   
13.39/13.49	c 69784          226700         32675668       13481357       55             0              31   71   53   
14.49/14.52	c 76843          247537         35169341       14698587       55             0              36   71   54   
16.00/16.04	c 84607          274403         38959712       16056455       55             0              34   67   49   
17.49/17.52	c 93147          303276         42632942       17507659       55             0              39   69   51   
19.29/19.32	c 102541         335787         47038820       19288215       55             0              34   70   52   
21.00/21.04	c 112874         363011         51197451       21060649       55             0              37   66   50   
23.00/23.06	c 124240         398041         56103440       23144618       55             0              37   67   50   
25.39/25.45	c 136742         436753         61954959       25607001       55             0              33   65   47   
27.89/27.90	c 150494         478060         67989756       28026711       55             0              34   69   48   
30.19/30.24	c 165621         525199         73797285       30286557       55             0              31   67   49   
32.59/32.64	c 182260         569815         79709364       32710628       55             0              30   69   50   
35.89/35.93	c 200562         626750         87746577       35990142       55             0              35   68   51   
39.49/39.54	c 220694         688347         96633773       39446259       55             0              35   66   48   
43.39/43.41	c 242839         749610         106057041      43575071       55             0              35   67   49   
48.69/48.71	c 267198         831206         118965066      49042776       55             0              34   72   53   
53.69/53.77	c 293992         916234         131426669      53864131       55             0              35   65   49   
59.49/59.59	c 323465         1010220        145696308      59698601       55             0              34   70   50   
65.19/65.22	c 355885         1114110        159529372      65848158       55             0              33   68   50   
70.49/70.59	c 391547         1218942        172791938      71818429       55             0              39   73   54   
76.69/76.73	c 430775         1332472        187890076      78381954       55             0              37   69   51   
82.89/82.92	c 473925         1447909        203172611      85444030       55             0              29   68   49   
91.68/91.79	c 521390         1600325        225086407      94067105       55             0              32   68   50   
100.88/101.00	c 573601         1760249        247407521      103474236      55             0              34   69   50   
111.18/111.29	c 631033         1947856        272588519      114171880      55             0              31   73   49   
122.09/122.16	c 694208         2136232        299263987      125650912      55             0              34   74   52   
135.99/136.09	c 763700         2375151        333417668      139483056      55             0              33   74   49   
149.99/150.09	c 840141         2635050        368039962      152408723      55             0              31   72   49   
167.18/167.28	c 924226         2917773        410282916      168956564      55             0              33   67   48   
183.38/183.44	c 1016719        3204865        449807006      185813817      55             0              32   77   49   
200.18/200.26	c 1118461        3506374        491252337      202797098      55             0              30   68   48   
216.87/216.94	c 1230377        3827188        532993792      221231133      55             0              35   76   50   
236.57/236.63	c 1353484        4188786        581438164      241637253      55             0              34   72   49   
261.37/261.43	c 1488901        4663167        642613955      265741058      55             0              29   72   50   
291.17/291.22	c 1637859        5156250        715549712      295065110      55             0              32   69   48   
316.47/316.57	c 1801712        5616540        777692505      320783339      55             0              32   68   48   
348.86/348.91	c 1981950        6182531        857073780      352723873      55             0              31   72   51   
385.46/385.53	c 2180211        6844452        947177557      388934699      55             0              31   72   47   
425.26/425.35	c 2398298        7545022        1044454585     430229045      55             0              31   74   50   
464.96/465.05	c 2638193        8261358        1141674313     467667736      55             0              35   75   52   
508.96/509.10	c 2902077        9034718        1250168486     510443460      55             0              32   73   51   
548.35/548.48	c 3192349        9802728        1348057696     550861622      55             0              33   71   49   
608.05/608.12	c 3511648        10812333       1493698204     612049042      55             0              29   76   50   
664.84/664.99	c 3862876        11913257       1633779755     673748942      55             0              34   71   50   
719.63/719.76	c 4249226        12998601       1768662729     729238399      55             0              23   77   50   
793.74/793.89	c 4674211        14306661       1952163681     802653869      55             0              30   69   49   
878.14/878.29	c 5141694        15743831       2160184387     891147934      55             0              30   72   50   
968.75/968.81	c 5655925        17377123       2383102173     980883203      55             0              25   73   50   
1057.56/1057.63	c 6221579        19089771       2604620538     1074215165     55             0              31   73   53   
1164.56/1164.60	c 6843798        20918641       2869034905     1180564590     55             0              31   75   48   
1276.37/1276.42	c 7528238        23039914       3147840411     1286945583     55             0              31   72   48   
1392.88/1392.91	c 8281122        25311100       3437364595     1412478196     55             0              29   77   53   
1550.69/1550.73	c 9109294        27996318       3825788673     1563358994     55             0              33   71   50   
1716.40/1716.40	c 10020283       30731474       4232916488     1726568724     55             0              31   75   48   
1863.91/1863.98	c 11022370       33411213       4596311254     1884201438     55             0              32   71   50   
2063.52/2063.55	c 12124665       36711192       5087979508     2083664674     55             0              31   70   48   
2241.44/2241.47	c 13337189       40300208       5524140534     2307710118     55             0              34   82   56   
2475.65/2475.65	c 14670965       44523895       6100544676     2562057951     55             0              28   73   50   
2520.06/2520.00	
2520.06/2520.00	c *** INTERRUPTED ***
2520.06/2520.00	c restarts              : 101         
2520.06/2520.00	c conflicts             : 14943447     (5930 /sec)
2520.06/2520.00	c decisions             : 45281726     (17968 /sec)
2520.06/2520.00	c propagations          : 2609604965  (1035529 /sec)
2520.06/2520.00	c root propagations     : 60          
2520.06/2520.00	c filter calls          : 6209445555     (2463997 /sec)
2520.06/2520.00	c useless filter calls  : 5515078838     (88 %)
2520.06/2520.00	c Memory used           : 27.43 MB
2520.06/2520.00	c CPU time              : 2520.07 s
2520.06/2520.00	
2520.06/2520.00	s UNKNOWN

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (13167 MiB free)
  memory of node 1: 16384 MiB (13667 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299111-1532787684/watcher-4299111-1532787684 -o /tmp/evaluation-result-4299111-1532787684/solver-4299111-1532787684 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532775038-27467 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4299111-1532787684.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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=28715, runsolver pid=28712
Current StackSize limit: 8192 KiB


[startup+0.100693 s]*
/proc/loadavg: 2.00 2.01 2.05 3/191 28716
/proc/meminfo: memFree=27478488/32770624 swapFree=67108856/67108860
[pid=28715] ppid=28712 vsize=28084 memory=4464 CPUtime=0.1 cores=0,2,4,6
/proc/28715/stat : 28715 (cosoco) R 28712 28715 27436 0 -1 4202496 1323 0 0 0 10 0 0 0 20 0 1 0 96331581 28758016 1116 33554432000 4194304 6142532 140722080819424 140722080816824 5058360 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 11935744 140722080826502 140722080826632 140722080826632 140722080829390 0
/proc/28715/statm: 7021 1116 811 476 0 343 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4464 KiB

[startup+0.209533 s]*
/proc/loadavg: 2.00 2.01 2.05 3/191 28716
/proc/meminfo: memFree=27478488/32770624 swapFree=67108856/67108860
[pid=28715] ppid=28712 vsize=28084 memory=4464 CPUtime=0.21 cores=0,2,4,6
/proc/28715/stat : 28715 (cosoco) R 28712 28715 27436 0 -1 4202496 1324 0 0 0 21 0 0 0 20 0 1 0 96331581 28758016 1116 33554432000 4194304 6142532 140722080819424 140722080816824 5084777 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 11935744 140722080826502 140722080826632 140722080826632 140722080829390 0
/proc/28715/statm: 7021 1116 811 476 0 343 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4464 KiB

[startup+0.308914 s]*
/proc/loadavg: 2.00 2.01 2.05 3/191 28716
/proc/meminfo: memFree=27478488/32770624 swapFree=67108856/67108860
[pid=28715] ppid=28712 vsize=28084 memory=4464 CPUtime=0.31 cores=0,2,4,6
/proc/28715/stat : 28715 (cosoco) R 28712 28715 27436 0 -1 4202496 1324 0 0 0 31 0 0 0 20 0 1 0 96331581 28758016 1116 33554432000 4194304 6142532 140722080819424 140722080816824 5061923 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 11935744 140722080826502 140722080826632 140722080826632 140722080829390 0
/proc/28715/statm: 7021 1116 811 476 0 343 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4464 KiB

[startup+0.700225 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 28716
/proc/meminfo: memFree=27478116/32770624 swapFree=67108856/67108860
[pid=28715] ppid=28712 vsize=28084 memory=4464 CPUtime=0.69 cores=0,2,4,6
/proc/28715/stat : 28715 (cosoco) R 28712 28715 27436 0 -1 4202496 1324 0 0 0 69 0 0 0 20 0 1 0 96331581 28758016 1116 33554432000 4194304 6142532 140722080819424 140722080816824 5060613 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 11935744 140722080826502 140722080826632 140722080826632 140722080829390 0
/proc/28715/statm: 7021 1116 811 476 0 343 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4464 KiB

[startup+1.50022 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 28716
/proc/meminfo: memFree=27478200/32770624 swapFree=67108856/67108860
[pid=28715] ppid=28712 vsize=28084 memory=4464 CPUtime=1.49 cores=0,2,4,6
/proc/28715/stat : 28715 (cosoco) R 28712 28715 27436 0 -1 4202496 1325 0 0 0 149 0 0 0 20 0 1 0 96331581 28758016 1116 33554432000 4194304 6142532 140722080819424 140722080816824 5058653 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 11935744 140722080826502 140722080826632 140722080826632 140722080829390 0
/proc/28715/statm: 7021 1116 811 476 0 343 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4464 KiB

[startup+3.10906 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 28716
/proc/meminfo: memFree=27478200/32770624 swapFree=67108856/67108860
[pid=28715] ppid=28712 vsize=28084 memory=4676 CPUtime=3.1 cores=0,2,4,6
/proc/28715/stat : 28715 (cosoco) R 28712 28715 27436 0 -1 4202496 1578 0 0 0 310 0 0 0 20 0 1 0 96331581 28758016 1169 33554432000 4194304 6142532 140722080819424 140722080816824 5084116 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 11935744 140722080826502 140722080826632 140722080826632 140722080829390 0
/proc/28715/statm: 7021 1169 852 476 0 343 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4676 KiB

[startup+6.30021 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 28716
/proc/meminfo: memFree=27478128/32770624 swapFree=67108856/67108860
[pid=28715] ppid=28712 vsize=28084 memory=4676 CPUtime=6.29 cores=0,2,4,6
/proc/28715/stat : 28715 (cosoco) R 28712 28715 27436 0 -1 4202496 1831 0 0 0 629 0 0 0 20 0 1 0 96331581 28758016 1169 33554432000 4194304 6142532 140722080819424 140722080816824 5061893 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 11935744 140722080826502 140722080826632 140722080826632 140722080829390 0
/proc/28715/statm: 7021 1169 852 476 0 343 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4676 KiB

[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 28716
/proc/meminfo: memFree=27478220/32770624 swapFree=67108856/67108860
[pid=28715] ppid=28712 vsize=28084 memory=4676 CPUtime=12.69 cores=0,2,4,6
/proc/28715/stat : 28715 (cosoco) R 28712 28715 27436 0 -1 4202496 2085 0 0 0 1269 0 0 0 20 0 1 0 96331581 28758016 1169 33554432000 4194304 6142532 140722080819424 140722080816824 5084282 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 11935744 140722080826502 140722080826632 140722080826632 140722080829390 0
/proc/28715/statm: 7021 1169 852 476 0 343 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4676 KiB

[startup+25.5002 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 28716
/proc/meminfo: memFree=27478324/32770624 swapFree=67108856/67108860
[pid=28715] ppid=28712 vsize=28084 memory=4684 CPUtime=25.49 cores=0,2,4,6
/proc/28715/stat : 28715 (cosoco) R 28712 28715 27436 0 -1 4202496 2594 0 0 0 2549 0 0 0 20 0 1 0 96331581 28758016 1171 33554432000 4194304 6142532 140722080819424 140722080816824 5060745 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 11935744 140722080826502 140722080826632 140722080826632 140722080829390 0
/proc/28715/statm: 7021 1171 852 476 0 343 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4684 KiB

[startup+51.1089 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 28716
/proc/meminfo: memFree=27478324/32770624 swapFree=67108856/67108860
[pid=28715] ppid=28712 vsize=28084 memory=4684 CPUtime=51.1 cores=0,2,4,6
/proc/28715/stat : 28715 (cosoco) R 28712 28715 27436 0 -1 4202496 2850 0 0 0 5110 0 0 0 20 0 1 0 96331581 28758016 1171 33554432000 4194304 6142532 140722080819424 140722080816824 5175056 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 11935744 140722080826502 140722080826632 140722080826632 140722080829390 0
/proc/28715/statm: 7021 1171 852 476 0 343 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4684 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 28778
/proc/meminfo: memFree=27476448/32770624 swapFree=67108856/67108860
[pid=28715] ppid=28712 vsize=28084 memory=4684 CPUtime=102.28 cores=0,2,4,6
/proc/28715/stat : 28715 (cosoco) R 28712 28715 27436 0 -1 4202496 3105 0 0 0 10228 0 0 0 20 0 1 0 96331581 28758016 1171 33554432000 4194304 6142532 140722080819424 140722080816824 5175056 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 11935744 140722080826502 140722080826632 140722080826632 140722080829390 0
/proc/28715/statm: 7021 1171 852 476 0 343 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4684 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 28779
/proc/meminfo: memFree=27476596/32770624 swapFree=67108856/67108860
[pid=28715] ppid=28712 vsize=28084 memory=4684 CPUtime=162.28 cores=0,2,4,6
/proc/28715/stat : 28715 (cosoco) R 28712 28715 27436 0 -1 4202496 3360 0 0 0 16228 0 0 0 20 0 1 0 96331581 28758016 1171 33554432000 4194304 6142532 140722080819424 140722080816824 5058255 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 11935744 140722080826502 140722080826632 140722080826632 140722080829390 0
/proc/28715/statm: 7021 1171 852 476 0 343 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4684 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 28781
/proc/meminfo: memFree=27475492/32770624 swapFree=67108856/67108860
[pid=28715] ppid=28712 vsize=28084 memory=4688 CPUtime=222.27 cores=0,2,4,6
/proc/28715/stat : 28715 (cosoco) R 28712 28715 27436 0 -1 4202496 3616 0 0 0 22227 0 0 0 20 0 1 0 96331581 28758016 1172 33554432000 4194304 6142532 140722080819424 140722080816824 5084996 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 11935744 140722080826502 140722080826632 140722080826632 140722080829390 0
/proc/28715/statm: 7021 1172 852 476 0 343 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4688 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 28784
/proc/meminfo: memFree=27475252/32770624 swapFree=67108856/67108860
[pid=28715] ppid=28712 vsize=28084 memory=4688 CPUtime=282.27 cores=0,2,4,6
/proc/28715/stat : 28715 (cosoco) R 28712 28715 27436 0 -1 4202496 3872 0 0 0 28227 0 0 0 20 0 1 0 96331581 28758016 1172 33554432000 4194304 6142532 140722080819424 140722080816824 5175056 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 11935744 140722080826502 140722080826632 140722080826632 140722080829390 0
/proc/28715/statm: 7021 1172 852 476 0 343 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4688 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 28785
/proc/meminfo: memFree=27474724/32770624 swapFree=67108856/67108860
[pid=28715] ppid=28712 vsize=28084 memory=4688 CPUtime=342.26 cores=0,2,4,6
/proc/28715/stat : 28715 (cosoco) R 28712 28715 27436 0 -1 4202496 4127 0 0 0 34226 0 0 0 20 0 1 0 96331581 28758016 1172 33554432000 4194304 6142532 140722080819424 140722080816824 5084278 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 11935744 140722080826502 140722080826632 140722080826632 140722080829390 0
/proc/28715/statm: 7021 1172 852 476 0 343 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4688 KiB

[startup+402.3 s]
/proc/loadavg: 2.16 2.05 2.06 3/192 28787
/proc/meminfo: memFree=27475064/32770624 swapFree=67108856/67108860
[pid=28715] ppid=28712 vsize=28084 memory=4688 CPUtime=402.26 cores=0,2,4,6
/proc/28715/stat : 28715 (cosoco) R 28712 28715 27436 0 -1 4202496 4383 0 0 0 40226 0 0 0 20 0 1 0 96331581 28758016 1172 33554432000 4194304 6142532 140722080819424 140722080816824 5059216 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 11935744 140722080826502 140722080826632 140722080826632 140722080829390 0
/proc/28715/statm: 7021 1172 852 476 0 343 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4688 KiB

[startup+462.3 s]
/proc/loadavg: 2.10 2.05 2.06 3/192 28788
/proc/meminfo: memFree=27474960/32770624 swapFree=67108856/67108860
[pid=28715] ppid=28712 vsize=28084 memory=4688 CPUtime=462.25 cores=0,2,4,6
/proc/28715/stat : 28715 (cosoco) R 28712 28715 27436 0 -1 4202496 4639 0 0 0 46225 0 0 0 20 0 1 0 96331581 28758016 1172 33554432000 4194304 6142532 140722080819424 140722080816824 5058870 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 11935744 140722080826502 140722080826632 140722080826632 140722080829390 0
/proc/28715/statm: 7021 1172 852 476 0 343 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4688 KiB

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

/proc/28715/statm: 7021 1172 852 476 0 343 0
Current children cumulated CPU time: 1722.3 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4688 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.04 2.07 3/193 28839
/proc/meminfo: memFree=27473952/32770624 swapFree=67108856/67108860
[pid=28715] ppid=28712 vsize=28084 memory=4688 CPUtime=1782.31 cores=0,2,4,6
/proc/28715/stat : 28715 (cosoco) R 28712 28715 27436 0 -1 4202496 7943 0 0 0 178231 0 0 0 20 0 1 0 96331581 28758016 1172 33554432000 4194304 6142532 140722080819424 140722080816824 5084024 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11935744 140722080826502 140722080826632 140722080826632 140722080829390 0
/proc/28715/statm: 7021 1172 852 476 0 343 0
Current children cumulated CPU time: 1782.31 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4688 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.03 2.06 3/193 28840
/proc/meminfo: memFree=27474432/32770624 swapFree=67108856/67108860
[pid=28715] ppid=28712 vsize=28084 memory=4688 CPUtime=1842.31 cores=0,2,4,6
/proc/28715/stat : 28715 (cosoco) R 28712 28715 27436 0 -1 4202496 8175 0 0 0 184231 0 0 0 20 0 1 0 96331581 28758016 1172 33554432000 4194304 6142532 140722080819424 140722080816824 5084617 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11935744 140722080826502 140722080826632 140722080826632 140722080829390 0
/proc/28715/statm: 7021 1172 852 476 0 343 0
Current children cumulated CPU time: 1842.31 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4688 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/193 28841
/proc/meminfo: memFree=27474212/32770624 swapFree=67108856/67108860
[pid=28715] ppid=28712 vsize=28084 memory=4688 CPUtime=1902.31 cores=0,2,4,6
/proc/28715/stat : 28715 (cosoco) R 28712 28715 27436 0 -1 4202496 8199 0 0 0 190231 0 0 0 20 0 1 0 96331581 28758016 1172 33554432000 4194304 6142532 140722080819424 140722080816824 5332832 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11935744 140722080826502 140722080826632 140722080826632 140722080829390 0
/proc/28715/statm: 7021 1172 852 476 0 343 0
Current children cumulated CPU time: 1902.31 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4688 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/193 28842
/proc/meminfo: memFree=27474204/32770624 swapFree=67108856/67108860
[pid=28715] ppid=28712 vsize=28084 memory=4688 CPUtime=1962.32 cores=0,2,4,6
/proc/28715/stat : 28715 (cosoco) R 28712 28715 27436 0 -1 4202496 8431 0 0 0 196232 0 0 0 20 0 1 0 96331581 28758016 1172 33554432000 4194304 6142532 140722080819424 140722080816824 5084613 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11935744 140722080826502 140722080826632 140722080826632 140722080829390 0
/proc/28715/statm: 7021 1172 852 476 0 343 0
Current children cumulated CPU time: 1962.32 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4688 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 28846
/proc/meminfo: memFree=27474216/32770624 swapFree=67108856/67108860
[pid=28715] ppid=28712 vsize=28084 memory=4688 CPUtime=2022.32 cores=0,2,4,6
/proc/28715/stat : 28715 (cosoco) R 28712 28715 27436 0 -1 4202496 8431 0 0 0 202232 0 0 0 20 0 1 0 96331581 28758016 1172 33554432000 4194304 6142532 140722080819424 140722080816824 5061970 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11935744 140722080826502 140722080826632 140722080826632 140722080829390 0
/proc/28715/statm: 7021 1172 852 476 0 343 0
Current children cumulated CPU time: 2022.32 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4688 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 28847
/proc/meminfo: memFree=27474784/32770624 swapFree=67108856/67108860
[pid=28715] ppid=28712 vsize=28084 memory=4688 CPUtime=2082.33 cores=0,2,4,6
/proc/28715/stat : 28715 (cosoco) R 28712 28715 27436 0 -1 4202496 8687 0 0 0 208233 0 0 0 20 0 1 0 96331581 28758016 1172 33554432000 4194304 6142532 140722080819424 140722080816824 5084762 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11935744 140722080826502 140722080826632 140722080826632 140722080829390 0
/proc/28715/statm: 7021 1172 852 476 0 343 0
Current children cumulated CPU time: 2082.33 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4688 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 28848
/proc/meminfo: memFree=27475088/32770624 swapFree=67108856/67108860
[pid=28715] ppid=28712 vsize=28084 memory=4688 CPUtime=2142.33 cores=0,2,4,6
/proc/28715/stat : 28715 (cosoco) R 28712 28715 27436 0 -1 4202496 8688 0 0 0 214233 0 0 0 20 0 1 0 96331581 28758016 1172 33554432000 4194304 6142532 140722080819424 140722080816824 5061866 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11935744 140722080826502 140722080826632 140722080826632 140722080829390 0
/proc/28715/statm: 7021 1172 852 476 0 343 0
Current children cumulated CPU time: 2142.33 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4688 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 28850
/proc/meminfo: memFree=27474812/32770624 swapFree=67108856/67108860
[pid=28715] ppid=28712 vsize=28084 memory=4692 CPUtime=2202.33 cores=0,2,4,6
/proc/28715/stat : 28715 (cosoco) R 28712 28715 27436 0 -1 4202496 8926 0 0 0 220233 0 0 0 20 0 1 0 96331581 28758016 1173 33554432000 4194304 6142532 140722080819424 140722080816824 5084622 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11935744 140722080826502 140722080826632 140722080826632 140722080829390 0
/proc/28715/statm: 7021 1173 852 476 0 343 0
Current children cumulated CPU time: 2202.33 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4692 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 28851
/proc/meminfo: memFree=27474800/32770624 swapFree=67108856/67108860
[pid=28715] ppid=28712 vsize=28084 memory=4692 CPUtime=2262.34 cores=0,2,4,6
/proc/28715/stat : 28715 (cosoco) R 28712 28715 27436 0 -1 4202496 8945 0 0 0 226234 0 0 0 20 0 1 0 96331581 28758016 1173 33554432000 4194304 6142532 140722080819424 140722080816824 5061712 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11935744 140722080826502 140722080826632 140722080826632 140722080829390 0
/proc/28715/statm: 7021 1173 852 476 0 343 0
Current children cumulated CPU time: 2262.34 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4692 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 28859
/proc/meminfo: memFree=27473712/32770624 swapFree=67108856/67108860
[pid=28715] ppid=28712 vsize=28084 memory=4692 CPUtime=2322.34 cores=0,2,4,6
/proc/28715/stat : 28715 (cosoco) R 28712 28715 27436 0 -1 4202496 9178 0 0 0 232234 0 0 0 20 0 1 0 96331581 28758016 1173 33554432000 4194304 6142532 140722080819424 140722080816824 5083950 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11935744 140722080826502 140722080826632 140722080826632 140722080829390 0
/proc/28715/statm: 7021 1173 852 476 0 343 0
Current children cumulated CPU time: 2322.34 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4692 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 28883
/proc/meminfo: memFree=27472860/32770624 swapFree=67108856/67108860
[pid=28715] ppid=28712 vsize=28084 memory=4692 CPUtime=2382.35 cores=0,2,4,6
/proc/28715/stat : 28715 (cosoco) R 28712 28715 27436 0 -1 4202496 9178 0 0 0 238235 0 0 0 20 0 1 0 96331581 28758016 1173 33554432000 4194304 6142532 140722080819424 140722080816824 5175056 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11935744 140722080826502 140722080826632 140722080826632 140722080829390 0
/proc/28715/statm: 7021 1173 852 476 0 343 0
Current children cumulated CPU time: 2382.35 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4692 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 28884
/proc/meminfo: memFree=27474616/32770624 swapFree=67108856/67108860
[pid=28715] ppid=28712 vsize=28084 memory=4692 CPUtime=2442.35 cores=0,2,4,6
/proc/28715/stat : 28715 (cosoco) R 28712 28715 27436 0 -1 4202496 9411 0 0 0 244235 0 0 0 20 0 1 0 96331581 28758016 1173 33554432000 4194304 6142532 140722080819424 140722080816824 5061915 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11935744 140722080826502 140722080826632 140722080826632 140722080829390 0
/proc/28715/statm: 7021 1173 852 476 0 343 0
Current children cumulated CPU time: 2442.35 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4692 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 28885
/proc/meminfo: memFree=27474628/32770624 swapFree=67108856/67108860
[pid=28715] ppid=28712 vsize=28084 memory=4692 CPUtime=2502.35 cores=0,2,4,6
/proc/28715/stat : 28715 (cosoco) R 28712 28715 27436 0 -1 4202496 9435 0 0 0 250235 0 0 0 20 0 1 0 96331581 28758016 1173 33554432000 4194304 6142532 140722080819424 140722080816824 5084112 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11935744 140722080826502 140722080826632 140722080826632 140722080829390 0
/proc/28715/statm: 7021 1173 852 476 0 343 0
Current children cumulated CPU time: 2502.35 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4692 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/192 28885
/proc/meminfo: memFree=27474628/32770624 swapFree=67108856/67108860
[pid=28715] ppid=28712 vsize=28084 memory=4692 CPUtime=2520.06 cores=0,2,4,6
/proc/28715/stat : 28715 (cosoco) R 28712 28715 27436 0 -1 4202496 9668 0 0 0 252006 0 0 0 20 0 1 0 96331581 28758016 1173 33554432000 4194304 6142532 140722080819424 140722080816824 5175070 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11935744 140722080826502 140722080826632 140722080826632 140722080829390 0
/proc/28715/statm: 7021 1173 852 476 0 343 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 28084 KiB
Current children cumulated memory: 4692 KiB

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

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

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

Child status: 1
Real time (s): 2520.01
CPU time (s): 2520.07
CPU user time (s): 2520.07
CPU system time (s): 0.003
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 28084
Max. memory (cumulated for all children) (KiB): 4692

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


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

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.80124 second user time and 16.6915 second system time

The end

Launcher Data 

Begin job on node133 at 2018-07-28 16:21:24
IDJOB=4299111
IDBENCH=141296
IDSOLVER=2761
FILE ID=node133/4299111-1532787684
RUNJOBID= node133-1532775038-27467
PBS_JOBID= 21022462
Free space on /tmp= 48248 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/Quasigroups_mini/QuasiGroup-v7-12_mini_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4299111-1532787684/watcher-4299111-1532787684 -o /tmp/evaluation-result-4299111-1532787684/solver-4299111-1532787684 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532775038-27467 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4299111-1532787684.xml

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

MD5SUM BENCH= a1c2562567ad3209fb3991c3158b061f
RANDOM SEED=1343529080

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:        27479972 kB
MemAvailable:   31947672 kB
Buffers:          178648 kB
Cached:          4536828 kB
SwapCached:            0 kB
Active:          2141496 kB
Inactive:        2628404 kB
Active(anon):       5640 kB
Inactive(anon):    76688 kB
Active(file):    2135856 kB
Inactive(file):  2551716 kB
Unevictable:        7100 kB
Mlocked:            7100 kB
SwapTotal:      67108860 kB
SwapFree:       67108856 kB
Dirty:              2740 kB
Writeback:             0 kB
AnonPages:         61216 kB
Mapped:            43400 kB
Shmem:             25244 kB
Slab:             219840 kB
SReclaimable:     191924 kB
SUnreclaim:        27916 kB
KernelStack:        3392 kB
PageTables:         5260 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     353828 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 17:03:24