Trace number 4299143

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

General information on the benchmark

NameQuasigroups_mini/
QuasiGroup-v4-16_mini_c18.xml
MD5SUM223c9856145c30915ed5030617089ea5
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 benchmark1.48573
Satisfiable
(Un)Satisfiability was proved
Number of variables512
Number of constraints528
Number of domains2
Minimum domain size16
Maximum domain size256
Distribution of domain sizes[{"size":16,"count":256},{"size":256,"count":240}]
Minimum variable degree0
Maximum variable degree244
Distribution of variable degrees[{"degree":0,"count":16},{"degree":2,"count":240},{"degree":243,"count":16},{"degree":244,"count":240}]
Minimum constraint arity1
Maximum constraint arity257
Distribution of constraint arities[{"arity":1,"count":16},{"arity":3,"count":240},{"arity":16,"count":32},{"arity":257,"count":240}]
Number of extensional constraints240
Number of intensional constraints16
Distribution of constraint types[{"type":"extension","count":240},{"type":"intension","count":16},{"type":"allDifferent","count":32},{"type":"element","count":240}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.05	c root propagations     : 5676        
0.00/0.05	c restarts enabled, print stats at every restarts
0.00/0.05	c
0.00/0.05	c
0.00/0.05	c
0.00/0.05	c This is cosoco 1.12 --  
0.00/0.05	c
0.00/0.05	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4299143-1532790205.xml 
0.00/0.05	c ========================================[ Problem Statistics ]===========================================
0.00/0.05	c |                                                                                                       
0.00/0.05	c |  Parse time        :         0.03 s 
0.00/0.05	c |
0.00/0.05	c |               Variables: 512
0.00/0.05	c |            Domain Sizes: 16..256
0.00/0.05	c |
0.00/0.05	c |             Constraints: 528
0.00/0.05	c |                   Arity: 1..257  -- Unary: 16  -- Ternary: 240
0.00/0.05	c | 
0.00/0.05	c |                   Types: 
0.00/0.05	c |                          All Different: 32
0.00/0.05	c |                          Element Constant: 240
0.00/0.05	c |                          Extension: 240  (nb tuples: 256..256) -- (shared: 239)
0.00/0.05	c |                          Unary: 16
0.00/0.05	c |                          
0.00/0.05	c =========================================================================================================
0.00/0.05	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.05	c remove useless variable y[0][0]
0.00/0.05	c remove useless variable y[1][1]
0.00/0.05	c remove useless variable y[2][2]
0.00/0.05	c remove useless variable y[3][3]
0.00/0.05	c remove useless variable y[4][4]
0.00/0.05	c remove useless variable y[5][5]
0.00/0.05	c remove useless variable y[6][6]
0.00/0.05	c remove useless variable y[7][7]
0.00/0.05	c remove useless variable y[8][8]
0.00/0.05	c remove useless variable y[9][9]
0.00/0.05	c remove useless variable y[10][10]
0.00/0.05	c remove useless variable y[11][11]
0.00/0.05	c remove useless variable y[12][12]
0.00/0.05	c remove useless variable y[13][13]
0.00/0.05	c remove useless variable y[14][14]
0.00/0.05	c remove useless variable y[15][15]
0.51/0.54	c 101            772            842222         353471         314            0              217   270   229
0.89/0.95	c 211            1154           1226654        488337         314            0              65   126   109 
1.39/1.43	c 332            1745           2282024        772748         314            0              56   178   163 
1.89/1.91	c 465            2451           3199848        1043514        314            0              98   166   154 
2.49/2.51	c 611            3034           3917050        1350605        314            0              54   139   118 
3.10/3.13	c 771            3767           4782329        1574495        314            0              76   142   125 
3.89/3.99	c 947            4865           6375859        2192170        314            0              42   161   140 
4.59/4.65	c 1140           5636           7503770        2604975        314            0              54   157   138 
5.39/5.47	c 1352           6877           9486956        3188185        314            0              103   173   155
6.29/6.39	c 1585           8031           11836732       3993477        314            0              127   178   162
7.29/7.37	c 1841           9454           13503979       4443601        314            0              109   160   137
8.19/8.29	c 2122           10649          15109496       4951454        314            0              52   152   133 
9.39/9.43	c 2431           12041          17956719       5780326        314            0              42   168   151 
10.69/10.70	c 2770           13960          21104361       6790619        314            0              144   173   156
11.89/11.96	c 3142           15886          24321395       7675003        314            0              136   175   151
13.19/13.26	c 3551           18133          28126331       8751911        314            0              96   184   164 
14.69/14.71	c 4000           20272          32266808       9955986        314            0              150   172   158
16.29/16.36	c 4493           22388          36486111       11363220       314            0              45   168   155 
18.10/18.11	c 5035           25212          41168932       12633701       314            0              43   174   160 
20.00/20.08	c 5631           28426          46592982       14226518       314            0              111   176   156
22.10/22.11	c 6286           31512          52297934       15854278       314            0              139   170   156
24.49/24.50	c 7006           35422          59005599       17881285       314            0              123   179   160
27.49/27.51	c 7798           39078          64531762       20174920       314            0              50   155   131 
30.29/30.35	c 8669           43525          73328843       22310646       314            0              146   173   158
33.39/33.47	c 9627           48244          81963785       25010505       314            0              145   174   156
36.09/36.12	c 10680          53005          89663708       27272881       314            0              136   166   150
39.59/39.64	c 11838          58698          101712263      30543640       314            0              144   174   158
43.29/43.37	c 13111          64884          112730526      34227805       314            0              119   180   157
47.00/47.08	c 14511          72373          120409018      36198648       314            0              64   153   125 
51.39/51.47	c 16051          79085          129631699      39124520       314            0              60   157   132 
55.39/55.43	c 17745          86206          141969800      42711502       314            0              90   173   156 
60.69/60.73	c 19608          95658          158800934      47878783       314            0              140   185   160
66.59/66.67	c 21657          104656         169813800      51022598       314            0              90   156   127 
73.79/73.88	c 23910          115783         190472132      57759748       314            0              130   173   147
80.49/80.51	c 26388          127244         212422881      64132610       314            0              91   178   161 
89.59/89.60	c 29113          139932         234808910      71755101       314            0              125   172   143
97.49/97.59	c 32110          154088         262798902      79109109       314            0              50   176   156 
106.69/106.74	c 35406          173189         294626802      87061115       314            0              136   182   158
118.19/118.23	c 39031          192471         321613173      95265109       314            0              84   172   135 
127.00/127.08	c 43018          206780         339362115      100066138      314            0              52   163   130 
139.00/139.10	c 47403          228353         379000842      110984684      314            0              97   181   157 
152.49/152.56	c 52226          251600         421872274      123335618      314            0              57   187   157 
167.60/167.62	c 57531          279858         474868186      136794569      314            0              142   182   159
183.80/183.89	c 63366          306258         525705628      150873431      314            0              139   181   155
201.11/201.15	c 69784          334477         578304392      166991294      314            0              138   179   153
222.11/222.18	c 76843          369207         643642384      187452315      314            0              69   178   156 
243.60/243.69	c 84607          403976         706436764      208029686      314            0              67   180   154 
270.70/270.72	c 93147          446501         787320464      233431380      314            0              138   180   156
293.01/293.05	c 102541         487806         853474838      251171570      314            0              129   174   144
321.21/321.21	c 112874         538636         940592130      278981511      314            0              45   185   154 
354.41/354.46	c 124240         594741         1041575251     310195397      314            0              111   183   153
383.91/383.93	c 136742         649394         1126717054     335006449      314            0              119   175   150
415.82/415.88	c 150494         707461         1219169801     362596028      314            0              92   182   154 
459.32/459.31	c 165621         784374         1364963677     405162692      314            0              47   183   157 
509.42/509.45	c 182260         868059         1464447478     431190383      314            0              74   165   121 
564.33/564.31	c 200562         964419         1626115223     481654456      314            0              129   183   150
621.93/621.98	c 220694         1068343        1806944612     539709594      314            0              66   193   159 
683.44/683.46	c 242839         1172289        1974893093     586954934      314            0              124   175   144
753.15/753.17	c 267198         1292325        2189410646     653608970      314            0              111   189   156
833.55/833.51	c 293992         1447148        2461008657     731058034      314            0              135   189   158
910.25/910.26	c 323465         1587887        2717863805     798568935      314            0              133   186   155
995.46/995.49	c 355885         1747133        2986853717     882266068      314            0              136   184   158
1093.19/1093.16	c 391547         1894274        3263318535     975364862      314            0              39   166   145 
1225.69/1225.60	c 430775         2117371        3657483644     1102415961     314            0              77   185   154 
1347.50/1347.44	c 473925         2303674        3989853028     1212696491     314            0              95   174   147 
1473.81/1473.79	c 521390         2528527        4415525652     1332238998     314            0              141   185   158
1633.52/1633.46	c 573601         2819770        4911468053     1480621338     314            0              137   186   157
1805.53/1805.45	c 631033         3124063        5402923195     1646295367     314            0              112   184   150
1988.05/1988.00	c 694208         3468413        5997599501     1819439328     314            0              138   188   159
2179.17/2179.04	c 763700         3804223        6542047049     2000985721     314            0              47   175   149 
2392.98/2392.85	c 840141         4166051        7209042533     2193725575     314            0              135   181   154
2520.09/2519.90	
2520.09/2519.90	c *** INTERRUPTED ***
2520.09/2519.90	c restarts              : 71          
2520.09/2519.90	c conflicts             : 883079       (350 /sec)
2520.09/2519.90	c decisions             : 4378781      (1738 /sec)
2520.09/2519.90	c propagations          : 2318614140  (920053 /sec)
2520.09/2519.90	c root propagations     : 5676        
2520.09/2519.90	c filter calls          : 7609134705     (3019393 /sec)
2520.09/2519.90	c useless filter calls  : 6878104687     (90 %)
2520.09/2519.90	c Memory used           : 32.59 MB
2520.09/2519.90	c CPU time              : 2520.09 s
2520.09/2519.90	
2520.09/2519.90	s UNKNOWN

Verifier Data


Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299143-1532790205/watcher-4299143-1532790205 -o /tmp/evaluation-result-4299143-1532790205/solver-4299143-1532790205 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532775038-27467 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4299143-1532790205.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=28945, runsolver pid=28942

[startup+0.100198 s]*
/proc/loadavg: 2.00 2.01 2.05 3/192 28946
/proc/meminfo: memFree=27470688/32770624 swapFree=67108856/67108860
[pid=28945] ppid=28942 vsize=32444 memory=8952 CPUtime=0.1 cores=0,2,4,6
/proc/28945/stat : 28945 (cosoco) R 28942 28945 27436 0 -1 4202496 2412 0 0 0 10 0 0 0 20 0 1 0 96583643 33222656 2238 33554432000 4194304 6142532 140723317564400 140723317561032 140147751652325 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 28561408 140723317568646 140723317568776 140723317568776 140723317571534 0
/proc/28945/statm: 8111 2238 852 476 0 1433 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32444 KiB
Current children cumulated memory: 8952 KiB

[startup+0.209808 s]*
/proc/loadavg: 2.00 2.01 2.05 3/192 28946
/proc/meminfo: memFree=27470316/32770624 swapFree=67108856/67108860
[pid=28945] ppid=28942 vsize=33236 memory=9744 CPUtime=0.21 cores=0,2,4,6
/proc/28945/stat : 28945 (cosoco) R 28942 28945 27436 0 -1 4202496 2603 0 0 0 21 0 0 0 20 0 1 0 96583643 34033664 2436 33554432000 4194304 6142532 140723317564400 140723317561032 5175056 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 28561408 140723317568646 140723317568776 140723317568776 140723317571534 0
/proc/28945/statm: 8309 2436 852 476 0 1631 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 33236 KiB
Current children cumulated memory: 9744 KiB

[startup+0.309557 s]*
/proc/loadavg: 2.00 2.01 2.05 3/192 28946
/proc/meminfo: memFree=27469944/32770624 swapFree=67108856/67108860
[pid=28945] ppid=28942 vsize=33236 memory=9744 CPUtime=0.31 cores=0,2,4,6
/proc/28945/stat : 28945 (cosoco) R 28942 28945 27436 0 -1 4202496 2618 0 0 0 31 0 0 0 20 0 1 0 96583643 34033664 2436 33554432000 4194304 6142532 140723317564400 140723317561032 5018336 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 28561408 140723317568646 140723317568776 140723317568776 140723317571534 0
/proc/28945/statm: 8309 2436 852 476 0 1631 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 33236 KiB
Current children cumulated memory: 9744 KiB

[startup+0.700356 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 28946
/proc/meminfo: memFree=27469548/32770624 swapFree=67108856/67108860
[pid=28945] ppid=28942 vsize=33236 memory=9744 CPUtime=0.69 cores=0,2,4,6
/proc/28945/stat : 28945 (cosoco) R 28942 28945 27436 0 -1 4202496 2618 0 0 0 69 0 0 0 20 0 1 0 96583643 34033664 2436 33554432000 4194304 6142532 140723317564400 140723317561320 5079989 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 28561408 140723317568646 140723317568776 140723317568776 140723317571534 0
/proc/28945/statm: 8309 2436 852 476 0 1631 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 33236 KiB
Current children cumulated memory: 9744 KiB

[startup+1.50034 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 28946
/proc/meminfo: memFree=27469548/32770624 swapFree=67108856/67108860
[pid=28945] ppid=28942 vsize=33236 memory=9744 CPUtime=1.49 cores=0,2,4,6
/proc/28945/stat : 28945 (cosoco) R 28942 28945 27436 0 -1 4202496 2623 0 0 0 149 0 0 0 20 0 1 0 96583643 34033664 2436 33554432000 4194304 6142532 140723317564400 140723317561800 5079989 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 28561408 140723317568646 140723317568776 140723317568776 140723317571534 0
/proc/28945/statm: 8309 2436 852 476 0 1631 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 33236 KiB
Current children cumulated memory: 9744 KiB

[startup+3.10958 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 28946
/proc/meminfo: memFree=27469548/32770624 swapFree=67108856/67108860
[pid=28945] ppid=28942 vsize=33236 memory=9876 CPUtime=3.1 cores=0,2,4,6
/proc/28945/stat : 28945 (cosoco) R 28942 28945 27436 0 -1 4202496 4170 0 0 0 310 0 0 0 20 0 1 0 96583643 34033664 2469 33554432000 4194304 6142532 140723317564400 140723317561800 5175056 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 28561408 140723317568646 140723317568776 140723317568776 140723317571534 0
/proc/28945/statm: 8309 2469 852 476 0 1631 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 33236 KiB
Current children cumulated memory: 9876 KiB

[startup+6.30033 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 28946
/proc/meminfo: memFree=27469384/32770624 swapFree=67108856/67108860
[pid=28945] ppid=28942 vsize=33236 memory=9884 CPUtime=6.29 cores=0,2,4,6
/proc/28945/stat : 28945 (cosoco) R 28942 28945 27436 0 -1 4202496 5721 0 0 0 629 0 0 0 20 0 1 0 96583643 34033664 2471 33554432000 4194304 6142532 140723317564400 140723317561800 5175278 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 28561408 140723317568646 140723317568776 140723317568776 140723317571534 0
/proc/28945/statm: 8309 2471 852 476 0 1631 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 33236 KiB
Current children cumulated memory: 9884 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 28946
/proc/meminfo: memFree=27469888/32770624 swapFree=67108856/67108860
[pid=28945] ppid=28942 vsize=33236 memory=9892 CPUtime=12.69 cores=0,2,4,6
/proc/28945/stat : 28945 (cosoco) R 28942 28945 27436 0 -1 4202496 7272 0 0 0 1269 0 0 0 20 0 1 0 96583643 34033664 2473 33554432000 4194304 6142532 140723317564400 140723317561800 5175056 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 28561408 140723317568646 140723317568776 140723317568776 140723317571534 0
/proc/28945/statm: 8309 2473 852 476 0 1631 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 33236 KiB
Current children cumulated memory: 9892 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 28946
/proc/meminfo: memFree=27470004/32770624 swapFree=67108856/67108860
[pid=28945] ppid=28942 vsize=33368 memory=9908 CPUtime=25.49 cores=0,2,4,6
/proc/28945/stat : 28945 (cosoco) R 28942 28945 27436 0 -1 4202496 10379 0 0 0 2549 0 0 0 20 0 1 0 96583643 34168832 2477 33554432000 4194304 6142532 140723317564400 140723317561400 5080148 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 28561408 140723317568646 140723317568776 140723317568776 140723317571534 0
/proc/28945/statm: 8342 2477 852 476 0 1664 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 33368 KiB
Current children cumulated memory: 9908 KiB

[startup+51.1094 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 28946
/proc/meminfo: memFree=27469504/32770624 swapFree=67108856/67108860
[pid=28945] ppid=28942 vsize=33368 memory=9908 CPUtime=51.1 cores=0,2,4,6
/proc/28945/stat : 28945 (cosoco) R 28942 28945 27436 0 -1 4202496 10913 0 0 0 5110 0 0 0 20 0 1 0 96583643 34168832 2477 33554432000 4194304 6142532 140723317564400 140723317561800 5079981 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 28561408 140723317568646 140723317568776 140723317568776 140723317571534 0
/proc/28945/statm: 8342 2477 852 476 0 1664 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 33368 KiB
Current children cumulated memory: 9908 KiB

[startup+102.3 s]
/proc/loadavg: 2.20 2.06 2.06 3/191 29069
/proc/meminfo: memFree=27471856/32770624 swapFree=67108856/67108860
[pid=28945] ppid=28942 vsize=33368 memory=9908 CPUtime=102.29 cores=0,2,4,6
/proc/28945/stat : 28945 (cosoco) R 28942 28945 27436 0 -1 4202496 11467 0 0 0 10229 0 0 0 20 0 1 0 96583643 34168832 2477 33554432000 4194304 6142532 140723317564400 140723317561800 5058255 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 28561408 140723317568646 140723317568776 140723317568776 140723317571534 0
/proc/28945/statm: 8342 2477 852 476 0 1664 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 33368 KiB
Current children cumulated memory: 9908 KiB

[startup+162.3 s]
/proc/loadavg: 2.18 2.09 2.07 3/192 29131
/proc/meminfo: memFree=27354536/32770624 swapFree=67108856/67108860
[pid=28945] ppid=28942 vsize=33368 memory=9996 CPUtime=162.3 cores=0,2,4,6
/proc/28945/stat : 28945 (cosoco) R 28942 28945 27436 0 -1 4202496 12000 0 0 0 16230 0 0 0 20 0 1 0 96583643 34168832 2499 33554432000 4194304 6142532 140723317564400 140723317561800 5337188 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 28561408 140723317568646 140723317568776 140723317568776 140723317571534 0
/proc/28945/statm: 8342 2499 852 476 0 1664 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 33368 KiB
Current children cumulated memory: 9996 KiB

[startup+222.3 s]
/proc/loadavg: 2.07 2.07 2.06 3/192 29132
/proc/meminfo: memFree=27354784/32770624 swapFree=67108856/67108860
[pid=28945] ppid=28942 vsize=33368 memory=9996 CPUtime=222.3 cores=0,2,4,6
/proc/28945/stat : 28945 (cosoco) R 28942 28945 27436 0 -1 4202496 12533 0 0 0 22230 0 0 0 20 0 1 0 96583643 34168832 2499 33554432000 4194304 6142532 140723317564400 140723317561800 5080008 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 28561408 140723317568646 140723317568776 140723317568776 140723317571534 0
/proc/28945/statm: 8342 2499 852 476 0 1664 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 33368 KiB
Current children cumulated memory: 9996 KiB

[startup+282.3 s]
/proc/loadavg: 2.02 2.06 2.06 3/192 29133
/proc/meminfo: memFree=27354512/32770624 swapFree=67108856/67108860
[pid=28945] ppid=28942 vsize=33368 memory=9996 CPUtime=282.3 cores=0,2,4,6
/proc/28945/stat : 28945 (cosoco) R 28942 28945 27436 0 -1 4202496 12533 0 0 0 28230 0 0 0 20 0 1 0 96583643 34168832 2499 33554432000 4194304 6142532 140723317564400 140723317561800 5080148 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 28561408 140723317568646 140723317568776 140723317568776 140723317571534 0
/proc/28945/statm: 8342 2499 852 476 0 1664 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 33368 KiB
Current children cumulated memory: 9996 KiB

[startup+342.3 s]
/proc/loadavg: 2.01 2.05 2.05 3/192 29134
/proc/meminfo: memFree=27354072/32770624 swapFree=67108856/67108860
[pid=28945] ppid=28942 vsize=33368 memory=9996 CPUtime=342.31 cores=0,2,4,6
/proc/28945/stat : 28945 (cosoco) R 28942 28945 27436 0 -1 4202496 13066 0 0 0 34231 0 0 0 20 0 1 0 96583643 34168832 2499 33554432000 4194304 6142532 140723317564400 140723317561800 5079989 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 28561408 140723317568646 140723317568776 140723317568776 140723317571534 0
/proc/28945/statm: 8342 2499 852 476 0 1664 0
Current children cumulated CPU time: 342.31 s
Current children cumulated vsize: 33368 KiB
Current children cumulated memory: 9996 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/193 29143
/proc/meminfo: memFree=27353044/32770624 swapFree=67108856/67108860
[pid=28945] ppid=28942 vsize=33368 memory=9996 CPUtime=402.31 cores=0,2,4,6
/proc/28945/stat : 28945 (cosoco) R 28942 28945 27436 0 -1 4202496 13066 0 0 0 40231 0 0 0 20 0 1 0 96583643 34168832 2499 33554432000 4194304 6142532 140723317564400 140723317561800 5079966 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 28561408 140723317568646 140723317568776 140723317568776 140723317571534 0
/proc/28945/statm: 8342 2499 852 476 0 1664 0
Current children cumulated CPU time: 402.31 s
Current children cumulated vsize: 33368 KiB
Current children cumulated memory: 9996 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/193 29145
/proc/meminfo: memFree=27353664/32770624 swapFree=67108856/67108860
[pid=28945] ppid=28942 vsize=33368 memory=9996 CPUtime=462.32 cores=0,2,4,6
/proc/28945/stat : 28945 (cosoco) R 28942 28945 27436 0 -1 4202496 13599 0 0 0 46232 0 0 0 20 0 1 0 96583643 34168832 2499 33554432000 4194304 6142532 140723317564400 140723317561800 5079936 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 28561408 140723317568646 140723317568776 140723317568776 140723317571534 0
/proc/28945/statm: 8342 2499 852 476 0 1664 0
Current children cumulated CPU time: 462.32 s
Current children cumulated vsize: 33368 KiB
Current children cumulated memory: 9996 KiB


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

/proc/28945/statm: 8342 2499 852 476 0 1664 0
Current children cumulated CPU time: 1782.43 s
Current children cumulated vsize: 33368 KiB
Current children cumulated memory: 9996 KiB

[startup+1842.3 s]
/proc/loadavg: 2.02 2.09 2.08 3/193 29192
/proc/meminfo: memFree=27353376/32770624 swapFree=67108856/67108860
[pid=28945] ppid=28942 vsize=33368 memory=9996 CPUtime=1842.44 cores=0,2,4,6
/proc/28945/stat : 28945 (cosoco) R 28942 28945 27436 0 -1 4202496 19412 0 0 0 184243 1 0 0 20 0 1 0 96583643 34168832 2499 33554432000 4194304 6142532 140723317564400 140723317561800 5175059 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 28561408 140723317568646 140723317568776 140723317568776 140723317571534 0
/proc/28945/statm: 8342 2499 852 476 0 1664 0
Current children cumulated CPU time: 1842.44 s
Current children cumulated vsize: 33368 KiB
Current children cumulated memory: 9996 KiB

[startup+1902.3 s]
/proc/loadavg: 2.01 2.08 2.08 3/192 29193
/proc/meminfo: memFree=27353256/32770624 swapFree=67108856/67108860
[pid=28945] ppid=28942 vsize=33368 memory=9996 CPUtime=1902.44 cores=0,2,4,6
/proc/28945/stat : 28945 (cosoco) R 28942 28945 27436 0 -1 4202496 19862 0 0 0 190243 1 0 0 20 0 1 0 96583643 34168832 2499 33554432000 4194304 6142532 140723317564400 140723317561800 5328309 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 28561408 140723317568646 140723317568776 140723317568776 140723317571534 0
/proc/28945/statm: 8342 2499 852 476 0 1664 0
Current children cumulated CPU time: 1902.44 s
Current children cumulated vsize: 33368 KiB
Current children cumulated memory: 9996 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.06 2.07 3/192 29194
/proc/meminfo: memFree=27352980/32770624 swapFree=67108856/67108860
[pid=28945] ppid=28942 vsize=33368 memory=9996 CPUtime=1962.45 cores=0,2,4,6
/proc/28945/stat : 28945 (cosoco) R 28942 28945 27436 0 -1 4202496 19862 0 0 0 196244 1 0 0 20 0 1 0 96583643 34168832 2499 33554432000 4194304 6142532 140723317564400 140723317561800 5079981 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 28561408 140723317568646 140723317568776 140723317568776 140723317571534 0
/proc/28945/statm: 8342 2499 852 476 0 1664 0
Current children cumulated CPU time: 1962.45 s
Current children cumulated vsize: 33368 KiB
Current children cumulated memory: 9996 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.05 2.07 3/191 29195
/proc/meminfo: memFree=27353340/32770624 swapFree=67108856/67108860
[pid=28945] ppid=28942 vsize=33368 memory=9996 CPUtime=2022.45 cores=0,2,4,6
/proc/28945/stat : 28945 (cosoco) R 28942 28945 27436 0 -1 4202496 20396 0 0 0 202244 1 0 0 20 0 1 0 96583643 34168832 2499 33554432000 4194304 6142532 140723317564400 140723317561800 5079943 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 28561408 140723317568646 140723317568776 140723317568776 140723317571534 0
/proc/28945/statm: 8342 2499 852 476 0 1664 0
Current children cumulated CPU time: 2022.45 s
Current children cumulated vsize: 33368 KiB
Current children cumulated memory: 9996 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/191 29196
/proc/meminfo: memFree=27353056/32770624 swapFree=67108856/67108860
[pid=28945] ppid=28942 vsize=33368 memory=9996 CPUtime=2082.46 cores=0,2,4,6
/proc/28945/stat : 28945 (cosoco) R 28942 28945 27436 0 -1 4202496 20396 0 0 0 208245 1 0 0 20 0 1 0 96583643 34168832 2499 33554432000 4194304 6142532 140723317564400 140723317561800 5336753 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 28561408 140723317568646 140723317568776 140723317568776 140723317571534 0
/proc/28945/statm: 8342 2499 852 476 0 1664 0
Current children cumulated CPU time: 2082.46 s
Current children cumulated vsize: 33368 KiB
Current children cumulated memory: 9996 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/191 29198
/proc/meminfo: memFree=27353352/32770624 swapFree=67108856/67108860
[pid=28945] ppid=28942 vsize=33368 memory=9996 CPUtime=2142.46 cores=0,2,4,6
/proc/28945/stat : 28945 (cosoco) R 28942 28945 27436 0 -1 4202496 20874 0 0 0 214245 1 0 0 20 0 1 0 96583643 34168832 2499 33554432000 4194304 6142532 140723317564400 140723317561800 5080063 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 28561408 140723317568646 140723317568776 140723317568776 140723317571534 0
/proc/28945/statm: 8342 2499 852 476 0 1664 0
Current children cumulated CPU time: 2142.46 s
Current children cumulated vsize: 33368 KiB
Current children cumulated memory: 9996 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/192 29207
/proc/meminfo: memFree=27352520/32770624 swapFree=67108856/67108860
[pid=28945] ppid=28942 vsize=33368 memory=9996 CPUtime=2202.47 cores=0,2,4,6
/proc/28945/stat : 28945 (cosoco) R 28942 28945 27436 0 -1 4202496 20930 0 0 0 220246 1 0 0 20 0 1 0 96583643 34168832 2499 33554432000 4194304 6142532 140723317564400 140723317561800 5079989 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 28561408 140723317568646 140723317568776 140723317568776 140723317571534 0
/proc/28945/statm: 8342 2499 852 476 0 1664 0
Current children cumulated CPU time: 2202.47 s
Current children cumulated vsize: 33368 KiB
Current children cumulated memory: 9996 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/193 29209
/proc/meminfo: memFree=27352668/32770624 swapFree=67108856/67108860
[pid=28945] ppid=28942 vsize=33368 memory=9996 CPUtime=2262.47 cores=0,2,4,6
/proc/28945/stat : 28945 (cosoco) R 28942 28945 27436 0 -1 4202496 21398 0 0 0 226246 1 0 0 20 0 1 0 96583643 34168832 2499 33554432000 4194304 6142532 140723317564400 140723317561800 5079936 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 28561408 140723317568646 140723317568776 140723317568776 140723317571534 0
/proc/28945/statm: 8342 2499 852 476 0 1664 0
Current children cumulated CPU time: 2262.47 s
Current children cumulated vsize: 33368 KiB
Current children cumulated memory: 9996 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/193 29210
/proc/meminfo: memFree=27353140/32770624 swapFree=67108856/67108860
[pid=28945] ppid=28942 vsize=33368 memory=9996 CPUtime=2322.48 cores=0,2,4,6
/proc/28945/stat : 28945 (cosoco) R 28942 28945 27436 0 -1 4202496 21398 0 0 0 232247 1 0 0 20 0 1 0 96583643 34168832 2499 33554432000 4194304 6142532 140723317564400 140723317561800 5080045 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 28561408 140723317568646 140723317568776 140723317568776 140723317571534 0
/proc/28945/statm: 8342 2499 852 476 0 1664 0
Current children cumulated CPU time: 2322.48 s
Current children cumulated vsize: 33368 KiB
Current children cumulated memory: 9996 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 29211
/proc/meminfo: memFree=27353292/32770624 swapFree=67108856/67108860
[pid=28945] ppid=28942 vsize=33368 memory=9996 CPUtime=2382.48 cores=0,2,4,6
/proc/28945/stat : 28945 (cosoco) R 28942 28945 27436 0 -1 4202496 21865 0 0 0 238247 1 0 0 20 0 1 0 96583643 34168832 2499 33554432000 4194304 6142532 140723317564400 140723317561800 5061759 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 28561408 140723317568646 140723317568776 140723317568776 140723317571534 0
/proc/28945/statm: 8342 2499 852 476 0 1664 0
Current children cumulated CPU time: 2382.48 s
Current children cumulated vsize: 33368 KiB
Current children cumulated memory: 9996 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 29212
/proc/meminfo: memFree=27353272/32770624 swapFree=67108856/67108860
[pid=28945] ppid=28942 vsize=33368 memory=9996 CPUtime=2442.49 cores=0,2,4,6
/proc/28945/stat : 28945 (cosoco) R 28942 28945 27436 0 -1 4202496 21932 0 0 0 244248 1 0 0 20 0 1 0 96583643 34168832 2499 33554432000 4194304 6142532 140723317564400 140723317561800 5079981 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 28561408 140723317568646 140723317568776 140723317568776 140723317571534 0
/proc/28945/statm: 8342 2499 852 476 0 1664 0
Current children cumulated CPU time: 2442.49 s
Current children cumulated vsize: 33368 KiB
Current children cumulated memory: 9996 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 29213
/proc/meminfo: memFree=27353036/32770624 swapFree=67108856/67108860
[pid=28945] ppid=28942 vsize=33368 memory=9996 CPUtime=2502.49 cores=0,2,4,6
/proc/28945/stat : 28945 (cosoco) R 28942 28945 27436 0 -1 4202496 22387 0 0 0 250248 1 0 0 20 0 1 0 96583643 34168832 2499 33554432000 4194304 6142532 140723317564400 140723317561800 5079981 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 28561408 140723317568646 140723317568776 140723317568776 140723317571534 0
/proc/28945/statm: 8342 2499 852 476 0 1664 0
Current children cumulated CPU time: 2502.49 s
Current children cumulated vsize: 33368 KiB
Current children cumulated memory: 9996 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2519.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 29214
/proc/meminfo: memFree=27352680/32770624 swapFree=67108856/67108860
[pid=28945] ppid=28942 vsize=33368 memory=9996 CPUtime=2520.09 cores=0,2,4,6
/proc/28945/stat : 28945 (cosoco) R 28942 28945 27436 0 -1 4202496 22388 0 0 0 252008 1 0 0 20 0 1 0 96583643 34168832 2499 33554432000 4194304 6142532 140723317564400 140723317561800 5079981 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 28561408 140723317568646 140723317568776 140723317568776 140723317571534 0
/proc/28945/statm: 8342 2499 852 476 0 1664 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 33368 KiB
Current children cumulated memory: 9996 KiB

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

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

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

[startup+2519.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 29214
/proc/meminfo: memFree=27352680/32770624 swapFree=67108856/67108860
[pid=28945] ppid=28942 vsize=33368 memory=9996 CPUtime=2520.09 cores=0,2,4,6
/proc/28945/stat : 28945 (cosoco) R 28942 28945 27436 0 -1 4202496 22388 0 0 0 252008 1 0 0 20 0 1 0 96583643 34168832 2499 33554432000 4194304 6142532 140723317564400 140723317561800 5079981 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 28561408 140723317568646 140723317568776 140723317568776 140723317571534 0
/proc/28945/statm: 8342 2499 852 476 0 1664 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 33368 KiB
Current children cumulated memory: 9996 KiB

Child status: 1
Real time (s): 2519.9
CPU time (s): 2520.1
CPU user time (s): 2520.09
CPU system time (s): 0.011
CPU usage (%): 100.008
Max. virtual memory (cumulated for all children) (KiB): 33368
Max. memory (cumulated for all children) (KiB): 9996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.09
system time used= 0.011
maximum resident set size= 10060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22439
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= 17
involuntary context switches= 651


# summary of solver processes directly reported to runsolver:
#   pid: 28945
#   total CPU time (s): 2520.1
#   total CPU user time (s): 2520.09
#   total CPU system time (s): 0.011

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.2744 second user time and 15.9088 second system time

The end

Launcher Data 

Begin job on node133 at 2018-07-28 17:03:25
IDJOB=4299143
IDBENCH=141300
IDSOLVER=2761
FILE ID=node133/4299143-1532790205
RUNJOBID= node133-1532775038-27467
PBS_JOBID= 21022462
Free space on /tmp= 48248 MiB

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

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

MD5SUM BENCH= 223c9856145c30915ed5030617089ea5
RANDOM SEED=465817344

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:        27476380 kB
MemAvailable:   31945716 kB
Buffers:          179212 kB
Cached:          4537632 kB
SwapCached:            0 kB
Active:          2144040 kB
Inactive:        2629520 kB
Active(anon):       7676 kB
Inactive(anon):    76688 kB
Active(file):    2136364 kB
Inactive(file):  2552832 kB
Unevictable:        7100 kB
Mlocked:            7100 kB
SwapTotal:      67108860 kB
SwapFree:       67108856 kB
Dirty:              2732 kB
Writeback:             0 kB
AnonPages:         63160 kB
Mapped:            43088 kB
Shmem:             25244 kB
Slab:             219608 kB
SReclaimable:     191948 kB
SUnreclaim:        27660 kB
KernelStack:        3440 kB
PageTables:         5344 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     355672 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= 48236 MiB
End job on node133 at 2018-07-28 17:45:25