Trace number 4408610

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.0UNSAT 1405.14 1405.12

General information on the benchmark

NameSubisomorphism/Subisomorphism-m1-LV/
Subisomorphism-g10-g15.xml
MD5SUMc61674a03ec016e027955a3fd45acfb3
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.009808
Satisfiable
(Un)Satisfiability was proved
Number of variables41
Number of constraints122
Number of domains1
Minimum domain size50
Maximum domain size50
Distribution of domain sizes[{"size":50,"count":41}]
Minimum variable degree3
Maximum variable degree11
Distribution of variable degrees[{"degree":3,"count":1},{"degree":4,"count":6},{"degree":5,"count":10},{"degree":6,"count":14},{"degree":7,"count":4},{"degree":8,"count":4},{"degree":10,"count":1},{"degree":11,"count":1}]
Minimum constraint arity1
Maximum constraint arity41
Distribution of constraint arities[{"arity":1,"count":41},{"arity":2,"count":80},{"arity":41,"count":1}]
Number of extensional constraints121
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":121},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c root propagations     : 875         
0.00/0.00	c restarts enabled, print stats at every restarts
0.00/0.00	c
0.00/0.00	c
0.00/0.00	c
0.00/0.00	c This is cosoco 2.00 --  
0.00/0.00	c
0.00/0.00	c command line: cosoco -lc -model -restarts -stick HOME/instance-4408610-1569796927.xml 
0.00/0.00	c ========================================[ Problem Statistics ]===========================================
0.00/0.00	c |                                                                                                       
0.00/0.00	c |  Parse time        :         0.00 s 
0.00/0.00	c |
0.00/0.00	c |               Variables: 41
0.00/0.00	c |            Domain Sizes: 50..50
0.00/0.00	c |
0.00/0.00	c |             Constraints: 122
0.00/0.00	c |                   Arity: 1..41  -- Unary: 41  -- Binary: 80
0.00/0.00	c | 
0.00/0.00	c |                   Types: 
0.00/0.00	c |                          All Different: 1
0.00/0.00	c |                          Extension: 80  (nb tuples: 290..290) -- (shared: 113)
0.00/0.00	c |                          Unary: 41
0.00/0.00	c |                          
0.00/0.00	c =========================================================================================================
0.00/0.00	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.01	c 101            183            8482           19475          41             0              5   11   7     
0.00/0.02	c 211            396            17179          37616          41             0              7   10   8     
0.00/0.02	c 332            704            25704          49971          41             0              6   11   8     
0.00/0.03	c 465            1016           34578          64615          41             0              6   10   8     
0.00/0.04	c 611            1324           45530          95502          41             0              5   14   11    
0.00/0.05	c 771            1623           55401          128955         41             0              4   15   10    
0.00/0.07	c 947            2048           70496          166909         41             0              7   16   12    
0.00/0.08	c 1140           2430           86136          229744         41             0              7   12   9     
0.00/0.10	c 1352           2906           100681         264545         41             0              6   10   8     
0.10/0.12	c 1585           3431           119357         316280         41             0              4   12   9     
0.10/0.14	c 1841           3996           138434         362387         41             0              6   10   8     
0.10/0.15	c 2122           4675           156976         408512         41             0              6   11   9     
0.10/0.18	c 2431           5385           184225         504896         41             0              6   12   9     
0.10/0.20	c 2770           6139           206447         542554         41             0              4   11   8     
0.21/0.22	c 3142           6835           223907         576867         41             0              4   9   8      
0.21/0.25	c 3551           7635           249474         694755         41             0              5   15   9     
0.21/0.29	c 4000           8557           279280         789890         41             0              6   12   8     
0.31/0.32	c 4493           9728           316479         859627         41             0              5   14   9     
0.31/0.36	c 5035           10924          359225         961491         41             0              6   11   8     
0.31/0.40	c 5631           12244          407292         1069429        41             0              7   12   11    
0.41/0.44	c 6286           13795          456727         1148844        41             0              5   10   8     
0.41/0.48	c 7006           15285          501262         1233097        41             0              6   13   9     
0.51/0.53	c 7798           17136          557587         1325523        41             0              4   13   9     
0.51/0.58	c 8669           18971          610895         1421666        41             0              8   14   11    
0.60/0.64	c 9627           21132          675470         1536890        41             0              3   11   9     
0.69/0.71	c 10680          23321          748268         1670755        41             0              5   12   9     
0.69/0.80	c 11838          26086          820620         1835153        41             0              4   11   8     
0.79/0.89	c 13111          28853          912768         2118765        41             0              6   11   8     
0.89/1.00	c 14511          32001          1027015        2433687        41             0              6   14   8     
1.00/1.10	c 16051          35137          1136401        2716555        41             0              5   14   9     
1.19/1.20	c 17745          38710          1244313        2923371        41             0              5   14   9     
1.29/1.32	c 19608          42552          1362936        3227660        41             0              5   14   9     
1.49/1.53	c 21657          47421          1540872        4103591        41             0              4   14   11    
1.59/1.68	c 23910          52263          1713076        4458469        41             0              6   16   13    
1.79/1.86	c 26388          57319          1875036        5042582        41             0              6   16   10    
2.00/2.03	c 29113          63629          2083456        5499686        41             0              4   14   10    
2.19/2.29	c 32110          69831          2327001        6251508        41             0              7   15   11    
2.49/2.51	c 35406          76708          2541182        6826893        41             0              5   15   10    
2.69/2.79	c 39031          85016          2826054        7475634        41             0              5   12   8     
3.10/3.15	c 43018          93847          3172942        8555704        41             0              5   14   9     
3.39/3.45	c 47403          103531         3473391        9324105        41             0              5   12   8     
3.79/3.83	c 52226          114518         3851523        10395251       41             0              6   17   9     
4.29/4.33	c 57531          127179         4342563        11934322       41             0              5   14   9     
4.69/4.79	c 63366          141275         4822596        13037158       41             0              5   14   9     
5.29/5.30	c 69784          155610         5352433        14453070       41             0              4   17   8     
5.89/5.96	c 76843          170827         5986745        16557176       41             0              5   17   11    
6.69/6.70	c 84607          187094         6702760        18919774       41             0              6   17   11    
7.29/7.35	c 93147          205569         7293433        20602656       41             0              5   14   9     
8.00/8.04	c 102541         225383         7958673        22607756       41             0              4   13   9     
8.89/8.99	c 112874         246816         8770174        25556663       41             0              5   15   9     
9.59/9.69	c 124240         269692         9492145        27561693       41             0              5   16   12    
10.49/10.56	c 136742         297120         10420862       29671801       41             0              4   14   9     
11.69/11.75	c 150494         328764         11564357       32839194       41             0              4   14   8     
13.00/13.03	c 165621         362104         12812206       36493960       41             0              4   18   9     
14.10/14.17	c 182260         398253         14115504       40110437       41             0              4   15   11    
15.69/15.74	c 200562         438959         15508270       44698433       41             0              5   15   10    
17.10/17.11	c 220694         482785         17089175       48872645       41             0              4   15   10    
18.59/18.60	c 242839         532597         18708959       52389748       41             0              4   13   8     
20.29/20.34	c 267198         586733         20590544       56803616       41             0              4   15   9     
22.10/22.13	c 293992         641141         22526784       61799679       41             0              4   16   11    
24.59/24.60	c 323465         705965         24903363       69251159       41             0              4   17   9     
27.00/27.05	c 355885         775938         27343435       74983373       41             0              4   15   9     
29.59/29.68	c 391547         854229         30090685       82491226       41             0              4   16   10    
32.59/32.68	c 430775         943298         33701239       91167713       41             0              3   14   9     
36.19/36.27	c 473925         1041154        37358930       101573839      41             0              4   15   9     
40.29/40.39	c 521390         1139724        41238699       115034805      41             0              5   17   11    
44.00/44.01	c 573601         1256697        44979217       125487519      41             0              3   19   12    
49.49/49.55	c 631033         1381746        49972682       143244148      41             0              4   17   9     
54.39/54.49	c 694208         1526996        54975222       156146968      41             0              3   15   9     
60.79/60.83	c 763700         1685538        60770250       176511124      41             0              4   17   10    
67.39/67.44	c 840141         1850814        67309883       196708701      41             0              4   16   9     
73.89/73.92	c 924226         2033721        73037778       217180870      41             0              4   17   11    
80.00/80.03	c 1016719        2233965        79566325       236318485      41             0              4   18   14    
87.69/87.77	c 1118461        2448241        87229992       258509579      41             0              6   18   12    
97.49/97.52	c 1230377        2692911        96269271       284661836      41             0              3   15   9     
106.49/106.50	c 1353484        2962543        105403682      307787061      41             0              4   18   10    
118.49/118.51	c 1488901        3260543        116060689      347106953      41             0              4   18   9     
131.89/131.91	c 1637859        3571541        128527874      389224979      41             0              3   17   9     
145.89/145.94	c 1801712        3939706        141435872      434032782      41             0              4   18   10    
162.00/162.07	c 1981950        4332537        157346123      485509915      41             0              3   17   9     
177.39/177.40	c 2180211        4756311        172446824      537648485      41             0              3   19   13    
197.00/197.04	c 2398298        5262824        190303067      596506130      41             0              3   18   9     
217.69/217.75	c 2638193        5790071        210164147      660448658      41             0              3   20   9     
237.10/237.11	c 2902077        6346150        229527078      720878991      41             0              3   17   10    
259.89/259.94	c 3192349        6971631        251851496      789342441      41             0              3   17   10    
286.69/286.77	c 3511648        7655054        275539101      885464227      41             0              3   18   11    
312.80/312.87	c 3862876        8425910        302475031      955251691      41             0              3   17   9     
346.70/346.71	c 4249226        9300578        334892031      1065846902     41             0              4   18   10    
380.90/380.91	c 4674211        10254851       370403784      1163437539     41             0              3   17   9     
417.20/417.25	c 5141694        11259250       405028384      1269845151     41             0              3   18   10    
454.50/454.52	c 5655925        12409579       442640060      1380856418     41             0              3   18   10    
501.40/501.42	c 6221579        13649071       489364834      1514390591     41             0              2   17   9     
549.70/549.73	c 6843798        15016430       538233011      1647058941     41             0              3   18   10    
603.60/603.68	c 7528238        16511848       591265517      1805417414     41             0              2   17   10    
658.70/658.70	c 8281122        18192852       649826150      1954109568     41             0              2   19   9     
728.70/728.73	c 9109294        19907376       715376882      2171649360     41             0              4   17   10    
798.20/798.20	c 10020283       21926370       786857662      2365306379     41             0              3   17   9     
874.30/874.33	c 11022370       24152224       863522324      2571382628     41             0              3   22   9     
963.80/963.82	c 12124665       26571926       950948231      2826299262     41             0              2   17   9     
1059.50/1059.54	c 13337189       29237332       1043482373     3090803004     41             0              3   19   9     
1161.31/1161.40	c 14670965       32211448       1146763749     3359642383     41             0              2   20   9     
1275.02/1275.08	c 16138118       35449478       1263373862     3661902477     41             0              2   19   9     
1400.41/1400.47	c 17751986       39036378       1387812352     3987483082     41             0              2   20   9     
1405.12/1405.11	s UNSATISFIABLE
1405.12/1405.11	c restarts              : 103         
1405.12/1405.11	c conflicts             : 17811184     (12676 /sec)
1405.12/1405.11	c decisions             : 39170781     (27877 /sec)
1405.12/1405.11	c propagations          : 3998832484  (2845874 /sec)
1405.12/1405.11	c root propagations     : 875         
1405.12/1405.11	c filter calls          : 1392294104     (990863 /sec)
1405.12/1405.11	c useless filter calls  : 1060661030     (76 %)
1405.12/1405.11	c Memory used           : 26.72 MB
1405.12/1405.11	c CPU time              : 1405.13 s
1405.12/1405.11	c real time             : 1405.11 s
1405.12/1405.11

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 (15026 MiB free)
  memory of node 1: 16384 MiB (15689 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408610-1569796927/watcher-4408610-1569796927 -o /tmp/evaluation-result-4408610-1569796927/solver-4408610-1569796927 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node123-1569787353-6073 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408610-1569796927.xml 

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

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
Current StackSize limit: 8192 KiB

solver pid=8249, runsolver pid=8246

[startup+0.10015 s]*
/proc/loadavg: 2.00 2.01 2.00 3/199 8250
/proc/meminfo: memFree=31453336/32770624 swapFree=66999984/67108860
[pid=8249] ppid=8246 vsize=27360 memory=3952 CPUtime=0.1 cores=1,3,5,7
/proc/8249/stat : 8249 (cosoco) R 8246 8249 6041 0 -1 4202496 1154 0 0 0 10 0 0 0 20 0 1 0 555957475 28016640 988 33554432000 4194304 6211132 140720684388112 140720684384648 5075616 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 22081536 140720684393483 140720684393585 140720684393585 140720684396494 0
/proc/8249/statm: 6840 988 863 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.209341 s]*
/proc/loadavg: 2.00 2.01 2.00 3/199 8250
/proc/meminfo: memFree=31453336/32770624 swapFree=66999984/67108860
[pid=8249] ppid=8246 vsize=27360 memory=3952 CPUtime=0.21 cores=1,3,5,7
/proc/8249/stat : 8249 (cosoco) R 8246 8249 6041 0 -1 4202496 1154 0 0 0 21 0 0 0 20 0 1 0 555957475 28016640 988 33554432000 4194304 6211132 140720684388112 140720684384648 5017728 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 22081536 140720684393483 140720684393585 140720684393585 140720684396494 0
/proc/8249/statm: 6840 988 863 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.308826 s]*
/proc/loadavg: 2.00 2.01 2.00 3/199 8250
/proc/meminfo: memFree=31453336/32770624 swapFree=66999984/67108860
[pid=8249] ppid=8246 vsize=27360 memory=3952 CPUtime=0.31 cores=1,3,5,7
/proc/8249/stat : 8249 (cosoco) R 8246 8249 6041 0 -1 4202496 1154 0 0 0 31 0 0 0 20 0 1 0 555957475 28016640 988 33554432000 4194304 6211132 140720684388112 140720684384648 5193760 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 22081536 140720684393483 140720684393585 140720684393585 140720684396494 0
/proc/8249/statm: 6840 988 863 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.700272 s]
/proc/loadavg: 2.00 2.01 2.00 3/199 8250
/proc/meminfo: memFree=31453336/32770624 swapFree=66999984/67108860
[pid=8249] ppid=8246 vsize=27360 memory=3952 CPUtime=0.69 cores=1,3,5,7
/proc/8249/stat : 8249 (cosoco) R 8246 8249 6041 0 -1 4202496 1154 0 0 0 69 0 0 0 20 0 1 0 555957475 28016640 988 33554432000 4194304 6211132 140720684388112 140720684384648 5397474 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 22081536 140720684393483 140720684393585 140720684393585 140720684396494 0
/proc/8249/statm: 6840 988 863 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.50027 s]
/proc/loadavg: 2.00 2.01 2.00 3/199 8250
/proc/meminfo: memFree=31453004/32770624 swapFree=66999984/67108860
[pid=8249] ppid=8246 vsize=27360 memory=3952 CPUtime=1.49 cores=1,3,5,7
/proc/8249/stat : 8249 (cosoco) R 8246 8249 6041 0 -1 4202496 1154 0 0 0 149 0 0 0 20 0 1 0 555957475 28016640 988 33554432000 4194304 6211132 140720684388112 140720684386072 5193760 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 22081536 140720684393483 140720684393585 140720684393585 140720684396494 0
/proc/8249/statm: 6840 988 863 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.10899 s]
/proc/loadavg: 2.00 2.01 2.00 3/199 8250
/proc/meminfo: memFree=31453128/32770624 swapFree=66999984/67108860
[pid=8249] ppid=8246 vsize=27360 memory=3972 CPUtime=3.1 cores=1,3,5,7
/proc/8249/stat : 8249 (cosoco) R 8246 8249 6041 0 -1 4202496 1216 0 0 0 310 0 0 0 20 0 1 0 555957475 28016640 993 33554432000 4194304 6211132 140720684388112 140720684386072 5193760 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 22081536 140720684393483 140720684393585 140720684393585 140720684396494 0
/proc/8249/statm: 6840 993 866 493 0 145 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3972 KiB

[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 2.00 3/199 8252
/proc/meminfo: memFree=31451632/32770624 swapFree=66999984/67108860
[pid=8249] ppid=8246 vsize=27360 memory=3972 CPUtime=6.29 cores=1,3,5,7
/proc/8249/stat : 8249 (cosoco) R 8246 8249 6041 0 -1 4202496 1278 0 0 0 629 0 0 0 20 0 1 0 555957475 28016640 993 33554432000 4194304 6211132 140720684388112 140720684386072 5389992 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 22081536 140720684393483 140720684393585 140720684393585 140720684396494 0
/proc/8249/statm: 6840 993 866 493 0 145 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3972 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.00 3/199 8252
/proc/meminfo: memFree=31452756/32770624 swapFree=66999984/67108860
[pid=8249] ppid=8246 vsize=27360 memory=3972 CPUtime=12.69 cores=1,3,5,7
/proc/8249/stat : 8249 (cosoco) R 8246 8249 6041 0 -1 4202496 1340 0 0 0 1269 0 0 0 20 0 1 0 555957475 28016640 993 33554432000 4194304 6211132 140720684388112 140720684386072 5186321 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 22081536 140720684393483 140720684393585 140720684393585 140720684396494 0
/proc/8249/statm: 6840 993 866 493 0 145 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3972 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.00 3/199 8253
/proc/meminfo: memFree=31452820/32770624 swapFree=66999984/67108860
[pid=8249] ppid=8246 vsize=27360 memory=3972 CPUtime=25.49 cores=1,3,5,7
/proc/8249/stat : 8249 (cosoco) R 8246 8249 6041 0 -1 4202496 1465 0 0 0 2549 0 0 0 20 0 1 0 555957475 28016640 993 33554432000 4194304 6211132 140720684388112 140720684386072 5193760 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 22081536 140720684393483 140720684393585 140720684393585 140720684396494 0
/proc/8249/statm: 6840 993 866 493 0 145 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3972 KiB

[startup+51.1095 s]
/proc/loadavg: 2.00 2.01 2.00 3/200 8255
/proc/meminfo: memFree=31451968/32770624 swapFree=66999984/67108860
[pid=8249] ppid=8246 vsize=27360 memory=3972 CPUtime=51.1 cores=1,3,5,7
/proc/8249/stat : 8249 (cosoco) R 8246 8249 6041 0 -1 4202496 1529 0 0 0 5110 0 0 0 20 0 1 0 555957475 28016640 993 33554432000 4194304 6211132 140720684388112 140720684386072 5193728 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 22081536 140720684393483 140720684393585 140720684393585 140720684396494 0
/proc/8249/statm: 6840 993 866 493 0 145 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3972 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/199 8259
/proc/meminfo: memFree=31452316/32770624 swapFree=66999984/67108860
[pid=8249] ppid=8246 vsize=27360 memory=3972 CPUtime=102.29 cores=1,3,5,7
/proc/8249/stat : 8249 (cosoco) R 8246 8249 6041 0 -1 4202496 1592 0 0 0 10229 0 0 0 20 0 1 0 555957475 28016640 993 33554432000 4194304 6211132 140720684388112 140720684386072 5076376 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 22081536 140720684393483 140720684393585 140720684393585 140720684396494 0
/proc/8249/statm: 6840 993 866 493 0 145 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3972 KiB

[startup+162.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/199 8263
/proc/meminfo: memFree=31452404/32770624 swapFree=66999984/67108860
[pid=8249] ppid=8246 vsize=27360 memory=3972 CPUtime=162.29 cores=1,3,5,7
/proc/8249/stat : 8249 (cosoco) R 8246 8249 6041 0 -1 4202496 1655 0 0 0 16229 0 0 0 20 0 1 0 555957475 28016640 993 33554432000 4194304 6211132 140720684388112 140720684386072 5081706 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 22081536 140720684393483 140720684393585 140720684393585 140720684396494 0
/proc/8249/statm: 6840 993 866 493 0 145 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3972 KiB

[startup+222.3 s]
/proc/loadavg: 2.04 2.04 2.01 3/199 8267
/proc/meminfo: memFree=31452092/32770624 swapFree=66999984/67108860
[pid=8249] ppid=8246 vsize=27360 memory=3972 CPUtime=222.29 cores=1,3,5,7
/proc/8249/stat : 8249 (cosoco) R 8246 8249 6041 0 -1 4202496 1718 0 0 0 22229 0 0 0 20 0 1 0 555957475 28016640 993 33554432000 4194304 6211132 140720684388112 140720684386072 5075594 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 22081536 140720684393483 140720684393585 140720684393585 140720684396494 0
/proc/8249/statm: 6840 993 866 493 0 145 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3972 KiB

[startup+282.3 s]
/proc/loadavg: 2.02 2.03 2.01 3/199 8273
/proc/meminfo: memFree=31451692/32770624 swapFree=66999984/67108860
[pid=8249] ppid=8246 vsize=27360 memory=3972 CPUtime=282.29 cores=1,3,5,7
/proc/8249/stat : 8249 (cosoco) R 8246 8249 6041 0 -1 4202496 1781 0 0 0 28229 0 0 0 20 0 1 0 555957475 28016640 993 33554432000 4194304 6211132 140720684388112 140720684386072 5193760 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 22081536 140720684393483 140720684393585 140720684393585 140720684396494 0
/proc/8249/statm: 6840 993 866 493 0 145 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3972 KiB

[startup+342.3 s]
/proc/loadavg: 3.03 2.28 2.10 3/199 8277
/proc/meminfo: memFree=31452708/32770624 swapFree=66999984/67108860
[pid=8249] ppid=8246 vsize=27360 memory=3972 CPUtime=342.3 cores=1,3,5,7
/proc/8249/stat : 8249 (cosoco) R 8246 8249 6041 0 -1 4202496 1844 0 0 0 34230 0 0 0 20 0 1 0 555957475 28016640 993 33554432000 4194304 6211132 140720684388112 140720684386072 5079267 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 22081536 140720684393483 140720684393585 140720684393585 140720684396494 0
/proc/8249/statm: 6840 993 866 493 0 145 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3972 KiB

[startup+402.3 s]
/proc/loadavg: 2.66 2.34 2.13 3/199 8281
/proc/meminfo: memFree=31451828/32770624 swapFree=66999984/67108860
[pid=8249] ppid=8246 vsize=27360 memory=3972 CPUtime=402.3 cores=1,3,5,7
/proc/8249/stat : 8249 (cosoco) R 8246 8249 6041 0 -1 4202496 1907 0 0 0 40230 0 0 0 20 0 1 0 555957475 28016640 993 33554432000 4194304 6211132 140720684388112 140720684386072 5186260 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 22081536 140720684393483 140720684393585 140720684393585 140720684396494 0
/proc/8249/statm: 6840 993 866 493 0 145 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3972 KiB

[startup+462.3 s]
/proc/loadavg: 2.24 2.28 2.13 3/199 8287
/proc/meminfo: memFree=31451412/32770624 swapFree=66999984/67108860
[pid=8249] ppid=8246 vsize=27360 memory=3972 CPUtime=462.3 cores=1,3,5,7
/proc/8249/stat : 8249 (cosoco) R 8246 8249 6041 0 -1 4202496 1970 0 0 0 46230 0 0 0 20 0 1 0 555957475 28016640 993 33554432000 4194304 6211132 140720684388112 140720684386072 5076005 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 22081536 140720684393483 140720684393585 140720684393585 140720684396494 0
/proc/8249/statm: 6840 993 866 493 0 145 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3972 KiB


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

Current children cumulated memory: 3972 KiB

[startup+1002.3 s]
/proc/loadavg: 2.00 2.04 2.08 3/199 8340
/proc/meminfo: memFree=31451340/32770624 swapFree=66999984/67108860
[pid=8249] ppid=8246 vsize=27360 memory=3972 CPUtime=1002.3 cores=1,3,5,7
/proc/8249/stat : 8249 (cosoco) R 8246 8249 6041 0 -1 4202496 2524 0 0 0 100230 0 0 0 20 0 1 0 555957475 28016640 993 33554432000 4194304 6211132 140720684388112 140720684386072 5076376 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 22081536 140720684393483 140720684393585 140720684393585 140720684396494 0
/proc/8249/statm: 6840 993 866 493 0 145 0
Current children cumulated CPU time: 1002.3 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3972 KiB

[startup+1062.3 s]
/proc/loadavg: 2.00 2.04 2.07 3/199 8344
/proc/meminfo: memFree=31451208/32770624 swapFree=66999984/67108860
[pid=8249] ppid=8246 vsize=27360 memory=3972 CPUtime=1062.3 cores=1,3,5,7
/proc/8249/stat : 8249 (cosoco) R 8246 8249 6041 0 -1 4202496 2587 0 0 0 106230 0 0 0 20 0 1 0 555957475 28016640 993 33554432000 4194304 6211132 140720684388112 140720684386072 5186231 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 22081536 140720684393483 140720684393585 140720684393585 140720684396494 0
/proc/8249/statm: 6840 993 866 493 0 145 0
Current children cumulated CPU time: 1062.3 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3972 KiB

[startup+1122.3 s]
/proc/loadavg: 2.00 2.03 2.06 3/200 8356
/proc/meminfo: memFree=31450968/32770624 swapFree=66999984/67108860
[pid=8249] ppid=8246 vsize=27360 memory=3972 CPUtime=1122.31 cores=1,3,5,7
/proc/8249/stat : 8249 (cosoco) R 8246 8249 6041 0 -1 4202496 2637 0 0 0 112231 0 0 0 20 0 1 0 555957475 28016640 993 33554432000 4194304 6211132 140720684388112 140720684386072 5017735 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 22081536 140720684393483 140720684393585 140720684393585 140720684396494 0
/proc/8249/statm: 6840 993 866 493 0 145 0
Current children cumulated CPU time: 1122.31 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3972 KiB

[startup+1182.3 s]
/proc/loadavg: 1.92 2.01 2.05 3/200 8936
/proc/meminfo: memFree=31562896/32770624 swapFree=66999984/67108860
[pid=8249] ppid=8246 vsize=27360 memory=3972 CPUtime=1182.31 cores=1,3,5,7
/proc/8249/stat : 8249 (cosoco) R 8246 8249 6041 0 -1 4202496 2700 0 0 0 118231 0 0 0 20 0 1 0 555957475 28016640 993 33554432000 4194304 6211132 140720684388112 140720684386072 5082419 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 22081536 140720684393483 140720684393585 140720684393585 140720684396494 0
/proc/8249/statm: 6840 993 866 493 0 145 0
Current children cumulated CPU time: 1182.31 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3972 KiB

[startup+1242.3 s]
/proc/loadavg: 1.81 1.95 2.03 3/200 9061
/proc/meminfo: memFree=31561944/32770624 swapFree=66999984/67108860
[pid=8249] ppid=8246 vsize=27360 memory=3972 CPUtime=1242.31 cores=1,3,5,7
/proc/8249/stat : 8249 (cosoco) R 8246 8249 6041 0 -1 4202496 2750 0 0 0 124231 0 0 0 20 0 1 0 555957475 28016640 993 33554432000 4194304 6211132 140720684388112 140720684386072 5079027 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 22081536 140720684393483 140720684393585 140720684393585 140720684396494 0
/proc/8249/statm: 6840 993 866 493 0 145 0
Current children cumulated CPU time: 1242.31 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3972 KiB

[startup+1302.3 s]
/proc/loadavg: 1.93 1.96 2.03 3/200 9065
/proc/meminfo: memFree=31561672/32770624 swapFree=66999984/67108860
[pid=8249] ppid=8246 vsize=27360 memory=3972 CPUtime=1302.31 cores=1,3,5,7
/proc/8249/stat : 8249 (cosoco) R 8246 8249 6041 0 -1 4202496 2813 0 0 0 130231 0 0 0 20 0 1 0 555957475 28016640 993 33554432000 4194304 6211132 140720684388112 140720684386072 5076256 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 22081536 140720684393483 140720684393585 140720684393585 140720684396494 0
/proc/8249/statm: 6840 993 866 493 0 145 0
Current children cumulated CPU time: 1302.31 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3972 KiB

[startup+1362.3 s]
/proc/loadavg: 1.97 1.97 2.03 3/200 9071
/proc/meminfo: memFree=31561796/32770624 swapFree=66999984/67108860
[pid=8249] ppid=8246 vsize=27360 memory=3972 CPUtime=1362.31 cores=1,3,5,7
/proc/8249/stat : 8249 (cosoco) R 8246 8249 6041 0 -1 4202496 2863 0 0 0 136231 0 0 0 20 0 1 0 555957475 28016640 993 33554432000 4194304 6211132 140720684388112 140720684386072 5076434 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 22081536 140720684393483 140720684393585 140720684393585 140720684396494 0
/proc/8249/statm: 6840 993 866 493 0 145 0
Current children cumulated CPU time: 1362.31 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3972 KiB

[startup+1405.12 s]
# the end of solver process 8249 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1405.13 s, system=0.003004 s

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

[startup+1382.4 s]
/proc/loadavg: 1.98 1.97 2.03 3/200 9071
/proc/meminfo: memFree=31561828/32770624 swapFree=66999984/67108860
[pid=8249] ppid=8246 vsize=27360 memory=3972 CPUtime=1382.41 cores=1,3,5,7
/proc/8249/stat : 8249 (cosoco) R 8246 8249 6041 0 -1 4202496 2913 0 0 0 138241 0 0 0 20 0 1 0 555957475 28016640 993 33554432000 4194304 6211132 140720684388112 140720684386072 5397445 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 22081536 140720684393483 140720684393585 140720684393585 140720684396494 0
/proc/8249/statm: 6840 993 866 493 0 145 0
Current children cumulated CPU time: 1382.41 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3972 KiB

[startup+1395.2 s]
/proc/loadavg: 1.99 1.97 2.03 3/200 9072
/proc/meminfo: memFree=31561840/32770624 swapFree=66999984/67108860
[pid=8249] ppid=8246 vsize=27360 memory=3972 CPUtime=1395.21 cores=1,3,5,7
/proc/8249/stat : 8249 (cosoco) R 8246 8249 6041 0 -1 4202496 2913 0 0 0 139521 0 0 0 20 0 1 0 555957475 28016640 993 33554432000 4194304 6211132 140720684388112 140720684386072 5392089 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 22081536 140720684393483 140720684393585 140720684393585 140720684396494 0
/proc/8249/statm: 6840 993 866 493 0 145 0
Current children cumulated CPU time: 1395.21 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3972 KiB

[startup+1401.6 s]
/proc/loadavg: 1.99 1.97 2.03 3/201 9074
/proc/meminfo: memFree=31561136/32770624 swapFree=66999984/67108860
[pid=8249] ppid=8246 vsize=27360 memory=3972 CPUtime=1401.61 cores=1,3,5,7
/proc/8249/stat : 8249 (cosoco) R 8246 8249 6041 0 -1 4202496 2926 0 0 0 140161 0 0 0 20 0 1 0 555957475 28016640 993 33554432000 4194304 6211132 140720684388112 140720684386072 5075587 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 22081536 140720684393483 140720684393585 140720684393585 140720684396494 0
/proc/8249/statm: 6840 993 866 493 0 145 0
Current children cumulated CPU time: 1401.61 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3972 KiB

[startup+1403.2 s]
/proc/loadavg: 1.99 1.97 2.03 3/201 9074
/proc/meminfo: memFree=31561236/32770624 swapFree=66999984/67108860
[pid=8249] ppid=8246 vsize=27360 memory=3972 CPUtime=1403.21 cores=1,3,5,7
/proc/8249/stat : 8249 (cosoco) R 8246 8249 6041 0 -1 4202496 2926 0 0 0 140321 0 0 0 20 0 1 0 555957475 28016640 993 33554432000 4194304 6211132 140720684388112 140720684386072 5075192 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 22081536 140720684393483 140720684393585 140720684393585 140720684396494 0
/proc/8249/statm: 6840 993 866 493 0 145 0
Current children cumulated CPU time: 1403.21 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3972 KiB

[startup+1404 s]*
/proc/loadavg: 1.99 1.97 2.03 3/201 9074
/proc/meminfo: memFree=31561236/32770624 swapFree=66999984/67108860
[pid=8249] ppid=8246 vsize=27360 memory=3972 CPUtime=1404.02 cores=1,3,5,7
/proc/8249/stat : 8249 (cosoco) R 8246 8249 6041 0 -1 4202496 2926 0 0 0 140402 0 0 0 20 0 1 0 555957475 28016640 993 33554432000 4194304 6211132 140720684388112 140720684386072 5079440 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 22081536 140720684393483 140720684393585 140720684393585 140720684396494 0
/proc/8249/statm: 6840 993 866 493 0 145 0
Current children cumulated CPU time: 1404.02 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3972 KiB

[startup+1404.8 s]
/proc/loadavg: 1.99 1.97 2.03 3/201 9074
/proc/meminfo: memFree=31561236/32770624 swapFree=66999984/67108860
[pid=8249] ppid=8246 vsize=27360 memory=3972 CPUtime=1404.81 cores=1,3,5,7
/proc/8249/stat : 8249 (cosoco) R 8246 8249 6041 0 -1 4202496 2926 0 0 0 140481 0 0 0 20 0 1 0 555957475 28016640 993 33554432000 4194304 6211132 140720684388112 140720684386072 5079049 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 22081536 140720684393483 140720684393585 140720684393585 140720684396494 0
/proc/8249/statm: 6840 993 866 493 0 145 0
Current children cumulated CPU time: 1404.81 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3972 KiB

[startup+1405 s]*
/proc/loadavg: 1.99 1.97 2.03 3/201 9074
/proc/meminfo: memFree=31561372/32770624 swapFree=66999984/67108860
[pid=8249] ppid=8246 vsize=27360 memory=3972 CPUtime=1405.02 cores=1,3,5,7
/proc/8249/stat : 8249 (cosoco) R 8246 8249 6041 0 -1 4202496 2926 0 0 0 140502 0 0 0 20 0 1 0 555957475 28016640 993 33554432000 4194304 6211132 140720684388112 140720684386072 5075743 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 22081536 140720684393483 140720684393585 140720684393585 140720684396494 0
/proc/8249/statm: 6840 993 866 493 0 145 0
Current children cumulated CPU time: 1405.02 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3972 KiB

[startup+1405.11 s]
/proc/loadavg: 1.99 1.97 2.03 3/201 9074
/proc/meminfo: memFree=31561372/32770624 swapFree=66999984/67108860
[pid=8249] ppid=8246 vsize=27360 memory=3972 CPUtime=1405.12 cores=1,3,5,7
/proc/8249/stat : 8249 (cosoco) R 8246 8249 6041 0 -1 4202496 2926 0 0 0 140512 0 0 0 20 0 1 0 555957475 28016640 993 33554432000 4194304 6211132 140720684388112 140720684386072 5396432 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 22081536 140720684393483 140720684393585 140720684393585 140720684396494 0
/proc/8249/statm: 6840 993 866 493 0 145 0
Current children cumulated CPU time: 1405.12 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3972 KiB

Child status: 0
Real time (s): 1405.12
CPU time (s): 1405.14
CPU user time (s): 1405.13
CPU system time (s): 0.003004
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 27360
Max. memory (cumulated for all children) (KiB): 3972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1405.13
system time used= 0.003004
maximum resident set size= 4040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2964
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= 354


# summary of solver processes directly reported to runsolver:
#   pid: 8249
#   total CPU time (s): 1405.14
#   total CPU user time (s): 1405.13
#   total CPU system time (s): 0.003004

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.94975 second user time and 8.93873 second system time

The end

Launcher Data 

Begin job on node123 at 2019-09-30 00:41:27
IDJOB=4408610
IDBENCH=131768
IDSOLVER=2875
FILE ID=node123/4408610-1569796927
RUNJOBID= node123-1569787353-6073
PBS_JOBID= 21705830
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-LV/Subisomorphism-g10-g15.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4408610-1569796927/watcher-4408610-1569796927 -o /tmp/evaluation-result-4408610-1569796927/solver-4408610-1569796927 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node123-1569787353-6073 --watchdog 2560  cosoco -lc -model -restarts -stick HOME/instance-4408610-1569796927.xml

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

MD5SUM BENCH= c61674a03ec016e027955a3fd45acfb3
RANDOM SEED=846186266

node123.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.49
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.49
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.49
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.49
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:        31453340 kB
MemAvailable:   31740672 kB
Buffers:          185556 kB
Cached:           423724 kB
SwapCached:         6544 kB
Active:           420764 kB
Inactive:         312940 kB
Active(anon):     133172 kB
Inactive(anon):    72624 kB
Active(file):     287592 kB
Inactive(file):   240316 kB
Unevictable:      106772 kB
Mlocked:          106772 kB
SwapTotal:      67108860 kB
SwapFree:       66999984 kB
Dirty:              2740 kB
Writeback:             0 kB
AnonPages:        225444 kB
Mapped:            28080 kB
Shmem:             72640 kB
Slab:             180996 kB
SReclaimable:     150520 kB
SUnreclaim:        30476 kB
KernelStack:        3488 kB
PageTables:         5644 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     680272 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    178176 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 62024 MiB
End job on node123 at 2019-09-30 01:04:52