Trace number 4397399

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
cosoco 2.0? (TO) 2400.03 2400.01

General information on the benchmark

NamePrimes/
Primes-m1-p20/Primes-20-40-2-7.xml
MD5SUM37689576328d0295b96bd2728694e285
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark1.82575
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints40
Number of domains1
Minimum domain size70
Maximum domain size70
Distribution of domain sizes[{"size":70,"count":88}]
Minimum variable degree0
Maximum variable degree7
Distribution of variable degrees[{"degree":0,"count":12},{"degree":1,"count":20},{"degree":2,"count":25},{"degree":3,"count":20},{"degree":4,"count":12},{"degree":5,"count":5},{"degree":6,"count":3},{"degree":7,"count":3}]
Minimum constraint arity2
Maximum constraint arity9
Distribution of constraint arities[{"arity":2,"count":4},{"arity":3,"count":4},{"arity":4,"count":4},{"arity":5,"count":2},{"arity":6,"count":7},{"arity":7,"count":4},{"arity":8,"count":9},{"arity":9,"count":6}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":40}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.01	c root propagations     : 777         
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 2.00 --  
0.00/0.01	c
0.00/0.01	c command line: cosoco -lc -model -restarts -stick HOME/instance-4397399-1568580241.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: 100
0.00/0.01	c |            Domain Sizes: 70..70
0.00/0.01	c |
0.00/0.01	c |             Constraints: 40
0.00/0.01	c |                   Arity: 2..9  -- Binary: 4  -- Ternary: 4
0.00/0.01	c | 
0.00/0.01	c |                   Types: 
0.00/0.01	c |                          Sum: 40
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 x[1]
0.00/0.01	c remove useless variable x[16]
0.00/0.01	c remove useless variable x[22]
0.00/0.01	c remove useless variable x[52]
0.00/0.01	c remove useless variable x[58]
0.00/0.01	c remove useless variable x[62]
0.00/0.01	c remove useless variable x[70]
0.00/0.01	c remove useless variable x[76]
0.00/0.01	c remove useless variable x[77]
0.00/0.01	c remove useless variable x[78]
0.00/0.01	c remove useless variable x[80]
0.00/0.01	c remove useless variable x[96]
0.00/0.01	c 101            158            3479           24695          23             0              8   38   31    
0.00/0.02	c 211            334            5523           47891          23             0              8   58   48    
0.00/0.03	c 332            587            13404          110092         23             0              18   48   26   
0.00/0.04	c 465            813            15671          149341         23             0              25   52   48   
0.00/0.05	c 611            1047           18538          193458         23             0              28   60   50   
0.00/0.05	c 771            1293           22131          235026         23             0              30   65   48   
0.00/0.06	c 947            1520           25958          262648         23             0              33   34   32   
0.00/0.07	c 1140           1772           29158          310966         23             0              21   34   25   
0.00/0.08	c 1352           2109           33225          351992         23             0              28   66   49   
0.00/0.09	c 1585           2433           37289          402145         23             0              30   52   45   
0.00/0.10	c 1841           2740           41582          436950         23             0              39   43   42   
0.10/0.11	c 2122           3152           46686          488757         23             0              47   61   50   
0.10/0.12	c 2431           3577           57274          525296         23             0              12   22   17   
0.10/0.14	c 2770           3975           61916          600758         23             0              25   30   28   
0.10/0.15	c 3142           4528           67964          667740         23             0              27   67   52   
0.10/0.17	c 3551           5210           80449          764544         23             0              26   48   31   
0.10/0.19	c 4000           5785           89847          839016         23             0              28   29   28   
0.21/0.22	c 4493           6515           104241         989747         23             0              22   57   36   
0.21/0.24	c 5035           7295           116239         1084886        23             0              25   32   28   
0.21/0.26	c 5631           8139           130072         1164577        23             0              22   55   42   
0.21/0.28	c 6286           9057           138895         1250003        23             0              21   44   38   
0.21/0.30	c 7006           10314          153242         1396801        23             0              20   66   44   
0.31/0.33	c 7798           11463          167877         1542537        23             0              23   51   43   
0.31/0.37	c 8669           12707          187606         1731012        23             0              25   57   35   
0.31/0.41	c 9627           14052          205967         1929450        23             0              30   43   33   
0.41/0.46	c 10680          15550          237469         2176799        23             0              25   61   39   
0.41/0.51	c 11838          16908          268673         2375010        23             0              33   60   48   
0.51/0.57	c 13111          18808          302470         2632688        23             0              16   31   27   
0.60/0.62	c 14511          21201          324472         2920296        23             0              11   45   42   
0.60/0.68	c 16051          23215          359981         3162610        23             0              19   47   31   
0.69/0.71	c 17745          25417          381670         3382010        23             0              12   61   47   
0.79/0.81	c 19608          27733          442522         3796649        23             0              25   37   32   
0.89/0.91	c 21657          30098          500125         4225907        23             0              16   42   27   
1.00/1.03	c 23910          33099          570060         4690924        23             0              16   29   24   
1.10/1.12	c 26388          36564          622611         5058031        23             0              16   33   26   
1.19/1.24	c 29113          39840          689798         5347544        23             0              15   30   23   
1.29/1.34	c 32110          43431          742361         5803431        23             0              18   59   32   
1.39/1.45	c 35406          47934          807617         6303177        23             0              24   69   49   
1.49/1.59	c 39031          52337          873578         6902264        23             0              20   31   27   
1.69/1.74	c 43018          57586          961046         7503947        23             0              21   30   23   
1.79/1.89	c 47403          63363          1017162        8349529        23             0              13   29   24   
2.00/2.02	c 52226          69549          1085102        8970742        23             0              18   64   45   
2.10/2.17	c 57531          76413          1163849        9918237        23             0              24   56   44   
2.29/2.34	c 63366          83096          1247414        10898209       23             0              27   56   51   
2.49/2.56	c 69784          91431          1356190        12209343       23             0              42   70   51   
2.79/2.80	c 76843          99588          1519565        13173291       23             0              15   70   42   
3.10/3.12	c 84607          109795         1716351        14217287       23             0              7   37   27    
3.39/3.45	c 93147          120146         1889000        15505737       23             0              18   32   25   
3.89/3.95	c 102541         131642         2109117        17525203       23             0              23   31   27   
4.19/4.29	c 112874         143537         2299926        18854404       23             0              16   61   46   
4.89/4.91	c 124240         157838         2543764        22432343       23             0              21   69   41   
5.29/5.38	c 136742         173989         2786515        24626452       23             0              28   71   49   
5.79/5.80	c 150494         190403         3017841        27055116       23             0              22   48   36   
6.49/6.51	c 165621         210435         3351819        30627561       23             0              23   47   30   
7.19/7.21	c 182260         229980         3793123        33475081       23             0              22   65   47   
7.79/7.86	c 200562         253228         4173257        36560129       23             0              36   49   41   
8.89/8.92	c 220694         278339         4742187        41037862       23             0              21   69   43   
9.49/9.57	c 242839         304020         5111159        44169160       23             0              24   53   38   
10.29/10.37	c 267198         335273         5634186        48223857       23             0              13   40   35   
11.39/11.49	c 293992         374268         6251909        55261212       23             0              4   49   35    
12.79/12.80	c 323465         412774         7054730        61720503       23             0              9   66   32    
14.89/14.98	c 355885         455711         8003931        72765439       23             0              8   49   37    
17.00/17.08	c 391547         500456         8870162        82382508       23             0              9   47   28    
19.39/19.49	c 430775         547565         10402545       90768386       23             0              7   36   30    
21.00/21.01	c 473925         602412         11207188       98272697       23             0              8   51   33    
22.89/22.93	c 521390         664660         12106992       109220536      23             0              22   54   45   
25.10/25.16	c 573601         731019         13248609       119456452      23             0              17   50   35   
27.69/27.78	c 631033         807201         14475037       133851780      23             0              17   52   40   
29.49/29.55	c 694208         883161         15463988       144012975      23             0              25   52   39   
32.89/32.99	c 763700         964164         17644092       158889480      23             0              9   38   34    
37.49/37.58	c 840141         1057400        19602599       181361771      23             0              17   52   32   
41.00/41.09	c 924226         1156989        21480274       199488488      23             0              20   52   35   
44.49/44.57	c 1016719        1272700        23412323       215504003      23             0              23   40   32   
49.19/49.21	c 1118461        1385772        26316032       231112784      23             0              24   49   28   
58.69/58.78	c 1230377        1543141        31149268       276464779      23             0              12   42   36   
62.79/62.85	c 1353484        1697932        33383615       298345285      23             0              10   46   42   
67.49/67.51	c 1488901        1873632        35886786       322662641      23             0              15   46   30   
72.00/72.07	c 1637859        2079923        38268740       350798283      23             0              15   46   40   
77.29/77.31	c 1801712        2306436        41017455       382995051      23             0              17   44   39   
83.79/83.82	c 1981950        2525271        44448604       413818921      23             0              15   44   36   
91.10/91.13	c 2180211        2832772        48303563       463213206      23             0              18   44   38   
101.49/101.58	c 2398298        3134912        52713210       521448779      23             0              12   33   28   
110.10/110.17	c 2638193        3471076        57179290       571475205      23             0              14   46   36   
122.00/122.01	c 2902077        3818732        63423427       634029011      23             0              14   46   34   
134.69/134.74	c 3192349        4200261        69868683       700582332      23             0              14   50   38   
150.79/150.86	c 3511648        4573935        79516179       758023176      23             0              12   37   30   
168.29/168.30	c 3862876        4999397        87739368       842791939      23             0              16   56   34   
191.59/191.60	c 4249226        5459438        100229339      945356882      23             0              11   45   25   
208.39/208.43	c 4674211        6010321        109130670      1037937395     23             0              20   46   39   
225.89/225.93	c 5141694        6579212        118277899      1121869781     23             0              14   51   37   
245.79/245.83	c 5655925        7203877        128198706      1238903430     23             0              23   61   41   
280.59/280.62	c 6221579        8071227        147747280      1410889414     23             0              25   46   33   
309.39/309.49	c 6843798        8941344        164437831      1543730940     23             0              12   39   31   
346.40/346.41	c 7528238        9723447        176622539      1741942412     23             0              20   55   31   
380.30/380.31	c 8281122        10708729       192198247      1913596195     23             0              14   45   26   
455.40/455.40	c 9109294        11814624       218099580      2280680782     23             0              14   40   22   
495.40/495.41	c 10020283       13051661       241234966      2454083889     23             0              12   37   28   
541.60/541.69	c 11022370       14354361       269412201      2655538063     23             0              11   69   33   
586.01/586.06	c 12124665       15727411       295085491      2835149331     23             0              22   60   32   
653.11/653.14	c 13337189       17209337       334244429      3135118006     23             0              25   60   39   
689.60/689.62	c 14670965       18727891       356652649      3284193606     23             0              28   50   36   
761.11/761.15	c 16138118       20495124       388070235      3636121036     23             0              17   52   32   
811.70/811.79	c 17751986       22486483       416005111      3872888229     23             0              18   43   34   
895.80/895.81	c 19527240       24828120       452814818      4285220126     23             0              19   47   28   
1005.20/1005.29	c 21480019       27283638       501868718      4754467694     23             0              14   42   24   
1094.01/1094.08	c 23628075       29817483       562834413      5101002737     23             0              14   49   32   
1209.01/1209.03	c 25990936       32779297       628859659      5671902064     23             0              7   49   39    
1271.01/1271.10	c 28590083       35731560       668420568      5904826354     23             0              29   64   34   
1445.51/1445.54	c 31449144       39719609       756559095      6688632721     23             0              15   41   31   
1652.81/1652.82	c 34594111       43724411       840924665      7584090352     23             0              18   44   24   
1785.02/1785.00	c 38053574       47659224       911242294      8120511004     23             0              16   30   25   
1921.12/1921.16	c 41858983       52024731       983282518      8685661624     23             0              10   53   36   
2135.51/2135.58	c 46044932       57606939       1105488372     9726651200     23             0              5   42   30    
2327.62/2327.62	c 50649475       63304082       1203657800     10618747174    23             0              11   39   28   
2400.02/2400.00	
2400.02/2400.00	c *** INTERRUPTED ***
2400.02/2400.00	c restarts              : 114         
2400.02/2400.00	c conflicts             : 53214877     (22173 /sec)
2400.02/2400.00	c decisions             : 66336396     (27640 /sec)
2400.02/2400.00	c propagations          : 10968991139 (4570355 /sec)
2400.02/2400.00	c root propagations     : 777         
2400.02/2400.00	c filter calls          : 1243546508     (518138 /sec)
2400.02/2400.00	c useless filter calls  : 635652456      (51 %)
2400.02/2400.00	c Memory used           : 26.72 MB
2400.02/2400.00	c CPU time              : 2400.03 s
2400.02/2400.00	c real time             : 2400 s
2400.02/2400.00	
2400.02/2400.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 (14389 MiB free)
  memory of node 1: 16384 MiB (7413 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397399-1568580241/watcher-4397399-1568580241 -o /tmp/evaluation-result-4397399-1568580241/solver-4397399-1568580241 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1568572742-17791 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397399-1568580241.xml 

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

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


[startup+0.100198 s]*
/proc/loadavg: 2.01 2.07 2.05 3/200 19735
/proc/meminfo: memFree=22326800/32770624 swapFree=66967296/67108860
[pid=19734] ppid=19731 vsize=27360 memory=3952 CPUtime=0.1 cores=0,2,4,6
/proc/19734/stat : 19734 (cosoco) R 19731 19734 17760 0 -1 4202496 1168 0 0 0 10 0 0 0 20 0 1 0 434290964 28016640 988 33554432000 4194304 6211092 140728487457072 140728487455032 5149799 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18247680 140728487461899 140728487462001 140728487462001 140728487464910 0
/proc/19734/statm: 6840 988 860 493 0 145 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3952 KiB

[startup+0.209502 s]*
/proc/loadavg: 2.01 2.07 2.05 3/200 19735
/proc/meminfo: memFree=22326800/32770624 swapFree=66967296/67108860
[pid=19734] ppid=19731 vsize=27360 memory=3952 CPUtime=0.21 cores=0,2,4,6
/proc/19734/stat : 19734 (cosoco) R 19731 19734 17760 0 -1 4202496 1168 0 0 0 21 0 0 0 20 0 1 0 434290964 28016640 988 33554432000 4194304 6211092 140728487457072 140728487455032 5149700 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18247680 140728487461899 140728487462001 140728487462001 140728487464910 0
/proc/19734/statm: 6840 988 860 493 0 145 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3952 KiB

[startup+0.309197 s]*
/proc/loadavg: 2.01 2.07 2.05 3/200 19735
/proc/meminfo: memFree=22326800/32770624 swapFree=66967296/67108860
[pid=19734] ppid=19731 vsize=27360 memory=3952 CPUtime=0.31 cores=0,2,4,6
/proc/19734/stat : 19734 (cosoco) R 19731 19734 17760 0 -1 4202496 1168 0 0 0 31 0 0 0 20 0 1 0 434290964 28016640 988 33554432000 4194304 6211092 140728487457072 140728487455032 5149689 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18247680 140728487461899 140728487462001 140728487462001 140728487464910 0
/proc/19734/statm: 6840 988 860 493 0 145 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3952 KiB

[startup+0.700335 s]
/proc/loadavg: 2.01 2.07 2.05 3/200 19735
/proc/meminfo: memFree=22326800/32770624 swapFree=66967296/67108860
[pid=19734] ppid=19731 vsize=27360 memory=3952 CPUtime=0.69 cores=0,2,4,6
/proc/19734/stat : 19734 (cosoco) R 19731 19734 17760 0 -1 4202496 1168 0 0 0 69 0 0 0 20 0 1 0 434290964 28016640 988 33554432000 4194304 6211092 140728487457072 140728487455032 5149700 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18247680 140728487461899 140728487462001 140728487462001 140728487464910 0
/proc/19734/statm: 6840 988 860 493 0 145 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3952 KiB

[startup+1.50033 s]
/proc/loadavg: 2.01 2.07 2.05 3/200 19735
/proc/meminfo: memFree=22326800/32770624 swapFree=66967296/67108860
[pid=19734] ppid=19731 vsize=27360 memory=3952 CPUtime=1.49 cores=0,2,4,6
/proc/19734/stat : 19734 (cosoco) R 19731 19734 17760 0 -1 4202496 1168 0 0 0 149 0 0 0 20 0 1 0 434290964 28016640 988 33554432000 4194304 6211092 140728487457072 140728487455032 5207585 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18247680 140728487461899 140728487462001 140728487462001 140728487464910 0
/proc/19734/statm: 6840 988 860 493 0 145 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3952 KiB

[startup+3.10924 s]
/proc/loadavg: 2.01 2.07 2.05 3/200 19735
/proc/meminfo: memFree=22326852/32770624 swapFree=66967296/67108860
[pid=19734] ppid=19731 vsize=27360 memory=4028 CPUtime=3.1 cores=0,2,4,6
/proc/19734/stat : 19734 (cosoco) R 19731 19734 17760 0 -1 4202496 1232 0 0 0 310 0 0 0 20 0 1 0 434290964 28016640 1007 33554432000 4194304 6211092 140728487457072 140728487455032 5149682 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18247680 140728487461899 140728487462001 140728487462001 140728487464910 0
/proc/19734/statm: 6840 1007 878 493 0 145 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4028 KiB

[startup+6.30033 s]
/proc/loadavg: 1.85 2.03 2.04 3/200 19735
/proc/meminfo: memFree=22326432/32770624 swapFree=66967296/67108860
[pid=19734] ppid=19731 vsize=27360 memory=4028 CPUtime=6.29 cores=0,2,4,6
/proc/19734/stat : 19734 (cosoco) R 19731 19734 17760 0 -1 4202496 1296 0 0 0 629 0 0 0 20 0 1 0 434290964 28016640 1007 33554432000 4194304 6211092 140728487457072 140728487455032 5150065 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18247680 140728487461899 140728487462001 140728487462001 140728487464910 0
/proc/19734/statm: 6840 1007 878 493 0 145 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4028 KiB

[startup+12.7003 s]
/proc/loadavg: 1.86 2.03 2.04 3/200 19735
/proc/meminfo: memFree=22326804/32770624 swapFree=66967296/67108860
[pid=19734] ppid=19731 vsize=27360 memory=4028 CPUtime=12.69 cores=0,2,4,6
/proc/19734/stat : 19734 (cosoco) R 19731 19734 17760 0 -1 4202496 1360 0 0 0 1269 0 0 0 20 0 1 0 434290964 28016640 1007 33554432000 4194304 6211092 140728487457072 140728487455032 5151129 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18247680 140728487461899 140728487462001 140728487462001 140728487464910 0
/proc/19734/statm: 6840 1007 878 493 0 145 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4028 KiB

[startup+25.5003 s]
/proc/loadavg: 1.89 2.03 2.04 3/200 19736
/proc/meminfo: memFree=22326096/32770624 swapFree=66967296/67108860
[pid=19734] ppid=19731 vsize=27360 memory=4028 CPUtime=25.49 cores=0,2,4,6
/proc/19734/stat : 19734 (cosoco) R 19731 19734 17760 0 -1 4202496 1488 0 0 0 2549 0 0 0 20 0 1 0 434290964 28016640 1007 33554432000 4194304 6211092 140728487457072 140728487455032 5193728 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18247680 140728487461899 140728487462001 140728487462001 140728487464910 0
/proc/19734/statm: 6840 1007 878 493 0 145 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4028 KiB

[startup+51.1092 s]
/proc/loadavg: 1.93 2.03 2.04 3/200 19738
/proc/meminfo: memFree=22326560/32770624 swapFree=66967296/67108860
[pid=19734] ppid=19731 vsize=27360 memory=4028 CPUtime=51.1 cores=0,2,4,6
/proc/19734/stat : 19734 (cosoco) R 19731 19734 17760 0 -1 4202496 1552 0 0 0 5110 0 0 0 20 0 1 0 434290964 28016640 1007 33554432000 4194304 6211092 140728487457072 140728487455032 5193710 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18247680 140728487461899 140728487462001 140728487462001 140728487464910 0
/proc/19734/statm: 6840 1007 878 493 0 145 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4028 KiB

[startup+102.3 s]
/proc/loadavg: 1.97 2.02 2.04 3/200 19742
/proc/meminfo: memFree=22326480/32770624 swapFree=66967296/67108860
[pid=19734] ppid=19731 vsize=27360 memory=4028 CPUtime=102.29 cores=0,2,4,6
/proc/19734/stat : 19734 (cosoco) R 19731 19734 17760 0 -1 4202496 1616 0 0 0 10229 0 0 0 20 0 1 0 434290964 28016640 1007 33554432000 4194304 6211092 140728487457072 140728487455032 5193728 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18247680 140728487461899 140728487462001 140728487462001 140728487464910 0
/proc/19734/statm: 6840 1007 878 493 0 145 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4028 KiB

[startup+162.3 s]
/proc/loadavg: 1.99 2.02 2.04 3/199 19746
/proc/meminfo: memFree=22326436/32770624 swapFree=66967296/67108860
[pid=19734] ppid=19731 vsize=27360 memory=4028 CPUtime=162.29 cores=0,2,4,6
/proc/19734/stat : 19734 (cosoco) R 19731 19734 17760 0 -1 4202496 1680 0 0 0 16229 0 0 0 20 0 1 0 434290964 28016640 1007 33554432000 4194304 6211092 140728487457072 140728487455032 5149667 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18247680 140728487461899 140728487462001 140728487462001 140728487464910 0
/proc/19734/statm: 6840 1007 878 493 0 145 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4028 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 19752
/proc/meminfo: memFree=22327040/32770624 swapFree=66967296/67108860
[pid=19734] ppid=19731 vsize=27360 memory=4028 CPUtime=222.29 cores=0,2,4,6
/proc/19734/stat : 19734 (cosoco) R 19731 19734 17760 0 -1 4202496 1744 0 0 0 22229 0 0 0 20 0 1 0 434290964 28016640 1007 33554432000 4194304 6211092 140728487457072 140728487455032 5193696 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18247680 140728487461899 140728487462001 140728487462001 140728487464910 0
/proc/19734/statm: 6840 1007 878 493 0 145 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4028 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 19756
/proc/meminfo: memFree=22327044/32770624 swapFree=66967296/67108860
[pid=19734] ppid=19731 vsize=27360 memory=4028 CPUtime=282.29 cores=0,2,4,6
/proc/19734/stat : 19734 (cosoco) R 19731 19734 17760 0 -1 4202496 1808 0 0 0 28229 0 0 0 20 0 1 0 434290964 28016640 1007 33554432000 4194304 6211092 140728487457072 140728487455032 5193728 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18247680 140728487461899 140728487462001 140728487462001 140728487464910 0
/proc/19734/statm: 6840 1007 878 493 0 145 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4028 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 19760
/proc/meminfo: memFree=22326532/32770624 swapFree=66967296/67108860
[pid=19734] ppid=19731 vsize=27360 memory=4028 CPUtime=342.3 cores=0,2,4,6
/proc/19734/stat : 19734 (cosoco) R 19731 19734 17760 0 -1 4202496 1872 0 0 0 34230 0 0 0 20 0 1 0 434290964 28016640 1007 33554432000 4194304 6211092 140728487457072 140728487455032 5397352 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18247680 140728487461899 140728487462001 140728487462001 140728487464910 0
/proc/19734/statm: 6840 1007 878 493 0 145 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4028 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 19766
/proc/meminfo: memFree=22325900/32770624 swapFree=66967296/67108860
[pid=19734] ppid=19731 vsize=27360 memory=4028 CPUtime=402.3 cores=0,2,4,6
/proc/19734/stat : 19734 (cosoco) R 19731 19734 17760 0 -1 4202496 1936 0 0 0 40230 0 0 0 20 0 1 0 434290964 28016640 1007 33554432000 4194304 6211092 140728487457072 140728487455032 5193728 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18247680 140728487461899 140728487462001 140728487462001 140728487464910 0
/proc/19734/statm: 6840 1007 878 493 0 145 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4028 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 19778
/proc/meminfo: memFree=22325464/32770624 swapFree=66967296/67108860
[pid=19734] ppid=19731 vsize=27360 memory=4028 CPUtime=462.3 cores=0,2,4,6
/proc/19734/stat : 19734 (cosoco) R 19731 19734 17760 0 -1 4202496 2000 0 0 0 46230 0 0 0 20 0 1 0 434290964 28016640 1007 33554432000 4194304 6211092 140728487457072 140728487455032 5150786 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18247680 140728487461899 140728487462001 140728487462001 140728487464910 0
/proc/19734/statm: 6840 1007 878 493 0 145 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4028 KiB


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

/proc/19734/statm: 6840 1007 878 493 0 145 0
Current children cumulated CPU time: 1602.31 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4028 KiB

[startup+1662.3 s]
/proc/loadavg: 2.06 2.07 2.06 3/200 19974
/proc/meminfo: memFree=30650388/32770624 swapFree=66967296/67108860
[pid=19734] ppid=19731 vsize=27360 memory=4028 CPUtime=1662.31 cores=0,2,4,6
/proc/19734/stat : 19734 (cosoco) R 19731 19734 17760 0 -1 4202496 3196 0 0 0 166231 0 0 0 20 0 1 0 434290964 28016640 1007 33554432000 4194304 6211092 140728487457072 140728487455032 5150568 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18247680 140728487461899 140728487462001 140728487462001 140728487464910 0
/proc/19734/statm: 6840 1007 878 493 0 145 0
Current children cumulated CPU time: 1662.31 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4028 KiB

[startup+1722.3 s]
/proc/loadavg: 2.02 2.06 2.06 3/200 19978
/proc/meminfo: memFree=30650528/32770624 swapFree=66967296/67108860
[pid=19734] ppid=19731 vsize=27360 memory=4028 CPUtime=1722.31 cores=0,2,4,6
/proc/19734/stat : 19734 (cosoco) R 19731 19734 17760 0 -1 4202496 3248 0 0 0 172231 0 0 0 20 0 1 0 434290964 28016640 1007 33554432000 4194304 6211092 140728487457072 140728487455032 5193728 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18247680 140728487461899 140728487462001 140728487462001 140728487464910 0
/proc/19734/statm: 6840 1007 878 493 0 145 0
Current children cumulated CPU time: 1722.31 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4028 KiB

[startup+1782.3 s]
/proc/loadavg: 2.01 2.05 2.05 3/200 19982
/proc/meminfo: memFree=30650072/32770624 swapFree=66967296/67108860
[pid=19734] ppid=19731 vsize=27360 memory=4028 CPUtime=1782.31 cores=0,2,4,6
/proc/19734/stat : 19734 (cosoco) R 19731 19734 17760 0 -1 4202496 3300 0 0 0 178231 0 0 0 20 0 1 0 434290964 28016640 1007 33554432000 4194304 6211092 140728487457072 140728487455032 5149682 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18247680 140728487461899 140728487462001 140728487462001 140728487464910 0
/proc/19734/statm: 6840 1007 878 493 0 145 0
Current children cumulated CPU time: 1782.31 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4028 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/200 19988
/proc/meminfo: memFree=30649928/32770624 swapFree=66967296/67108860
[pid=19734] ppid=19731 vsize=27360 memory=4028 CPUtime=1842.31 cores=0,2,4,6
/proc/19734/stat : 19734 (cosoco) R 19731 19734 17760 0 -1 4202496 3364 0 0 0 184231 0 0 0 20 0 1 0 434290964 28016640 1007 33554432000 4194304 6211092 140728487457072 140728487455032 5149658 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18247680 140728487461899 140728487462001 140728487462001 140728487464910 0
/proc/19734/statm: 6840 1007 878 493 0 145 0
Current children cumulated CPU time: 1842.31 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4028 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/200 19992
/proc/meminfo: memFree=30650464/32770624 swapFree=66967296/67108860
[pid=19734] ppid=19731 vsize=27360 memory=4028 CPUtime=1902.31 cores=0,2,4,6
/proc/19734/stat : 19734 (cosoco) R 19731 19734 17760 0 -1 4202496 3416 0 0 0 190231 0 0 0 20 0 1 0 434290964 28016640 1007 33554432000 4194304 6211092 140728487457072 140728487455032 5193728 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18247680 140728487461899 140728487462001 140728487462001 140728487464910 0
/proc/19734/statm: 6840 1007 878 493 0 145 0
Current children cumulated CPU time: 1902.31 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4028 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 19996
/proc/meminfo: memFree=30649864/32770624 swapFree=66967296/67108860
[pid=19734] ppid=19731 vsize=27360 memory=4028 CPUtime=1962.31 cores=0,2,4,6
/proc/19734/stat : 19734 (cosoco) R 19731 19734 17760 0 -1 4202496 3480 0 0 0 196231 0 0 0 20 0 1 0 434290964 28016640 1007 33554432000 4194304 6211092 140728487457072 140728487455032 5150086 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18247680 140728487461899 140728487462001 140728487462001 140728487464910 0
/proc/19734/statm: 6840 1007 878 493 0 145 0
Current children cumulated CPU time: 1962.31 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4028 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 20002
/proc/meminfo: memFree=30649548/32770624 swapFree=66967296/67108860
[pid=19734] ppid=19731 vsize=27360 memory=4028 CPUtime=2022.31 cores=0,2,4,6
/proc/19734/stat : 19734 (cosoco) R 19731 19734 17760 0 -1 4202496 3532 0 0 0 202231 0 0 0 20 0 1 0 434290964 28016640 1007 33554432000 4194304 6211092 140728487457072 140728487455032 5148947 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18247680 140728487461899 140728487462001 140728487462001 140728487464910 0
/proc/19734/statm: 6840 1007 878 493 0 145 0
Current children cumulated CPU time: 2022.31 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4028 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 20006
/proc/meminfo: memFree=30650008/32770624 swapFree=66967296/67108860
[pid=19734] ppid=19731 vsize=27360 memory=4028 CPUtime=2082.31 cores=0,2,4,6
/proc/19734/stat : 19734 (cosoco) R 19731 19734 17760 0 -1 4202496 3584 0 0 0 208231 0 0 0 20 0 1 0 434290964 28016640 1007 33554432000 4194304 6211092 140728487457072 140728487455032 5150130 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18247680 140728487461899 140728487462001 140728487462001 140728487464910 0
/proc/19734/statm: 6840 1007 878 493 0 145 0
Current children cumulated CPU time: 2082.31 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4028 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 20010
/proc/meminfo: memFree=30650296/32770624 swapFree=66967296/67108860
[pid=19734] ppid=19731 vsize=27360 memory=4028 CPUtime=2142.31 cores=0,2,4,6
/proc/19734/stat : 19734 (cosoco) R 19731 19734 17760 0 -1 4202496 3648 0 0 0 214231 0 0 0 20 0 1 0 434290964 28016640 1007 33554432000 4194304 6211092 140728487457072 140728487455032 5150688 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18247680 140728487461899 140728487462001 140728487462001 140728487464910 0
/proc/19734/statm: 6840 1007 878 493 0 145 0
Current children cumulated CPU time: 2142.31 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4028 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 20016
/proc/meminfo: memFree=30650312/32770624 swapFree=66967296/67108860
[pid=19734] ppid=19731 vsize=27360 memory=4028 CPUtime=2202.31 cores=0,2,4,6
/proc/19734/stat : 19734 (cosoco) R 19731 19734 17760 0 -1 4202496 3700 0 0 0 220231 0 0 0 20 0 1 0 434290964 28016640 1007 33554432000 4194304 6211092 140728487457072 140728487455032 5186269 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18247680 140728487461899 140728487462001 140728487462001 140728487464910 0
/proc/19734/statm: 6840 1007 878 493 0 145 0
Current children cumulated CPU time: 2202.31 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4028 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 20028
/proc/meminfo: memFree=30650104/32770624 swapFree=66967296/67108860
[pid=19734] ppid=19731 vsize=27360 memory=4028 CPUtime=2262.31 cores=0,2,4,6
/proc/19734/stat : 19734 (cosoco) R 19731 19734 17760 0 -1 4202496 3752 0 0 0 226231 0 0 0 20 0 1 0 434290964 28016640 1007 33554432000 4194304 6211092 140728487457072 140728487455032 5150713 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18247680 140728487461899 140728487462001 140728487462001 140728487464910 0
/proc/19734/statm: 6840 1007 878 493 0 145 0
Current children cumulated CPU time: 2262.31 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4028 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 20032
/proc/meminfo: memFree=30649500/32770624 swapFree=66967296/67108860
[pid=19734] ppid=19731 vsize=27360 memory=4028 CPUtime=2322.32 cores=0,2,4,6
/proc/19734/stat : 19734 (cosoco) R 19731 19734 17760 0 -1 4202496 3804 0 0 0 232232 0 0 0 20 0 1 0 434290964 28016640 1007 33554432000 4194304 6211092 140728487457072 140728487455032 5150746 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18247680 140728487461899 140728487462001 140728487462001 140728487464910 0
/proc/19734/statm: 6840 1007 878 493 0 145 0
Current children cumulated CPU time: 2322.32 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4028 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 20038
/proc/meminfo: memFree=30649500/32770624 swapFree=66967296/67108860
[pid=19734] ppid=19731 vsize=27360 memory=4028 CPUtime=2382.32 cores=0,2,4,6
/proc/19734/stat : 19734 (cosoco) R 19731 19734 17760 0 -1 4202496 3868 0 0 0 238232 0 0 0 20 0 1 0 434290964 28016640 1007 33554432000 4194304 6211092 140728487457072 140728487455032 5148776 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18247680 140728487461899 140728487462001 140728487462001 140728487464910 0
/proc/19734/statm: 6840 1007 878 493 0 145 0
Current children cumulated CPU time: 2382.32 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4028 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 20038
/proc/meminfo: memFree=30649780/32770624 swapFree=66967296/67108860
[pid=19734] ppid=19731 vsize=27360 memory=4028 CPUtime=2400.02 cores=0,2,4,6
/proc/19734/stat : 19734 (cosoco) R 19731 19734 17760 0 -1 4202496 3920 0 0 0 240002 0 0 0 20 0 1 0 434290964 28016640 1007 33554432000 4194304 6211092 140728487457072 140728487455032 5150101 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 18247680 140728487461899 140728487462001 140728487462001 140728487464910 0
/proc/19734/statm: 6840 1007 878 493 0 145 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4028 KiB

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

[startup+2400.01 s]
# the end of solver process 19734 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2400.03 s, system=0.004 s

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

Child status: 1
Real time (s): 2400.01
CPU time (s): 2400.03
CPU user time (s): 2400.03
CPU system time (s): 0.004
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 27360
Max. memory (cumulated for all children) (KiB): 4028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.03
system time used= 0.004
maximum resident set size= 4092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3970
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= 14
involuntary context switches= 3024


# summary of solver processes directly reported to runsolver:
#   pid: 19734
#   total CPU time (s): 2400.03
#   total CPU user time (s): 2400.03
#   total CPU system time (s): 0.004

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.31704 second user time and 15.9671 second system time

The end

Launcher Data 

Begin job on node125 at 2019-09-15 22:43:19
IDJOB=4397399
IDBENCH=133326
IDSOLVER=2849
FILE ID=node125/4397399-1568580241
RUNJOBID= node125-1568572742-17791
PBS_JOBID= 21703325
Free space on /tmp= 59748 MiB

SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/Primes/Primes-m1-p20/Primes-20-40-2-7.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4397399-1568580241/watcher-4397399-1568580241 -o /tmp/evaluation-result-4397399-1568580241/solver-4397399-1568580241 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1568572742-17791 --watchdog 2560  cosoco -lc -model -restarts -stick HOME/instance-4397399-1568580241.xml

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

MD5SUM BENCH= 37689576328d0295b96bd2728694e285
RANDOM SEED=2113842222

node125.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.29
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.29
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.29
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.29
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:        22327120 kB
MemAvailable:   23547956 kB
Buffers:          170072 kB
Cached:          1349764 kB
SwapCached:        38384 kB
Active:          8986684 kB
Inactive:         877060 kB
Active(anon):    8322504 kB
Inactive(anon):    69504 kB
Active(file):     664180 kB
Inactive(file):   807556 kB
Unevictable:      107780 kB
Mlocked:          107780 kB
SwapTotal:      67108860 kB
SwapFree:       66967296 kB
Dirty:              2628 kB
Writeback:             0 kB
AnonPages:       8414144 kB
Mapped:            47872 kB
Shmem:             39708 kB
Slab:             159168 kB
SReclaimable:     129868 kB
SUnreclaim:        29300 kB
KernelStack:        3568 kB
PageTables:        22220 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    8836976 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2349056 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 59752 MiB
End job on node125 at 2019-09-15 23:23:19