Trace number 4397350

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 1409.54 1409.8

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-4397350-1568580028.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.26	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.49	c 7006           15285          501262         1233097        41             0              6   13   9     
0.51/0.54	c 7798           17136          557587         1325523        41             0              4   13   9     
0.51/0.59	c 8669           18971          610895         1421666        41             0              8   14   11    
0.60/0.65	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.79/0.80	c 11838          26086          820620         1835153        41             0              4   11   8     
0.89/0.90	c 13111          28853          912768         2118765        41             0              6   11   8     
1.00/1.01	c 14511          32001          1027015        2433687        41             0              6   14   8     
1.10/1.11	c 16051          35137          1136401        2716555        41             0              5   14   9     
1.19/1.21	c 17745          38710          1244313        2923371        41             0              5   14   9     
1.29/1.33	c 19608          42552          1362936        3227660        41             0              5   14   9     
1.49/1.55	c 21657          47421          1540872        4103591        41             0              4   14   11    
1.59/1.69	c 23910          52263          1713076        4458469        41             0              6   16   13    
1.79/1.87	c 26388          57319          1875036        5042582        41             0              6   16   10    
2.00/2.05	c 29113          63629          2083456        5499686        41             0              4   14   10    
2.29/2.31	c 32110          69831          2327001        6251508        41             0              7   15   11    
2.49/2.54	c 35406          76708          2541182        6826893        41             0              5   15   10    
2.79/2.82	c 39031          85016          2826054        7475634        41             0              5   12   8     
3.10/3.18	c 43018          93847          3172942        8555704        41             0              5   14   9     
3.39/3.48	c 47403          103531         3473391        9324105        41             0              5   12   8     
3.79/3.86	c 52226          114518         3851523        10395251       41             0              6   17   9     
4.29/4.37	c 57531          127179         4342563        11934322       41             0              5   14   9     
4.79/4.83	c 63366          141275         4822596        13037158       41             0              5   14   9     
5.29/5.34	c 69784          155610         5352433        14453070       41             0              4   17   8     
6.00/6.02	c 76843          170827         5986745        16557176       41             0              5   17   11    
6.69/6.76	c 84607          187094         6702760        18919774       41             0              6   17   11    
7.39/7.41	c 93147          205569         7293433        20602656       41             0              5   14   9     
8.10/8.11	c 102541         225383         7958673        22607756       41             0              4   13   9     
8.99/9.07	c 112874         246816         8770174        25556663       41             0              5   15   9     
9.69/9.78	c 124240         269692         9492145        27561693       41             0              5   16   12    
10.59/10.65	c 136742         297120         10420862       29671801       41             0              4   14   9     
11.79/11.86	c 150494         328764         11564357       32839194       41             0              4   14   8     
13.09/13.14	c 165621         362104         12812206       36493960       41             0              4   18   9     
14.28/14.30	c 182260         398253         14115504       40110437       41             0              4   15   11    
15.78/15.88	c 200562         438959         15508270       44698433       41             0              5   15   10    
17.18/17.26	c 220694         482785         17089175       48872645       41             0              4   15   10    
18.68/18.76	c 242839         532597         18708959       52389748       41             0              4   13   8     
20.48/20.51	c 267198         586733         20590544       56803616       41             0              4   15   9     
22.28/22.32	c 293992         641141         22526784       61799679       41             0              4   16   11    
24.78/24.80	c 323465         705965         24903363       69251159       41             0              4   17   9     
27.18/27.25	c 355885         775938         27343435       74983373       41             0              4   15   9     
29.78/29.88	c 391547         854229         30090685       82491226       41             0              4   16   10    
32.88/32.90	c 430775         943298         33701239       91167713       41             0              3   14   9     
36.38/36.49	c 473925         1041154        37358930       101573839      41             0              4   15   9     
40.58/40.63	c 521390         1139724        41238699       115034805      41             0              5   17   11    
44.18/44.26	c 573601         1256697        44979217       125487519      41             0              3   19   12    
49.78/49.82	c 631033         1381746        49972682       143244148      41             0              4   17   9     
54.68/54.77	c 694208         1526996        54975222       156146968      41             0              3   15   9     
61.08/61.13	c 763700         1685538        60770250       176511124      41             0              4   17   10    
67.67/67.76	c 840141         1850814        67309883       196708701      41             0              4   16   9     
74.17/74.27	c 924226         2033721        73037778       217180870      41             0              4   17   11    
80.37/80.40	c 1016719        2233965        79566325       236318485      41             0              4   18   14    
88.08/88.18	c 1118461        2448241        87229992       258509579      41             0              6   18   12    
97.87/97.95	c 1230377        2692911        96269271       284661836      41             0              3   15   9     
106.87/106.96	c 1353484        2962543        105403682      307787061      41             0              4   18   10    
118.97/119.01	c 1488901        3260543        116060689      347106953      41             0              4   18   9     
132.36/132.46	c 1637859        3571541        128527874      389224979      41             0              3   17   9     
146.46/146.54	c 1801712        3939706        141435872      434032782      41             0              4   18   10    
162.66/162.72	c 1981950        4332537        157346123      485509915      41             0              3   17   9     
178.06/178.12	c 2180211        4756311        172446824      537648485      41             0              3   19   13    
197.75/197.82	c 2398298        5262824        190303067      596506130      41             0              3   18   9     
218.55/218.61	c 2638193        5790071        210164147      660448658      41             0              3   20   9     
237.95/238.02	c 2902077        6346150        229527078      720878991      41             0              3   17   10    
260.84/260.93	c 3192349        6971631        251851496      789342441      41             0              3   17   10    
287.74/287.83	c 3511648        7655054        275539101      885464227      41             0              3   18   11    
313.94/314.02	c 3862876        8425910        302475031      955251691      41             0              3   17   9     
347.82/347.97	c 4249226        9300578        334892031      1065846902     41             0              4   18   10    
382.12/382.28	c 4674211        10254851       370403784      1163437539     41             0              3   17   9     
418.61/418.74	c 5141694        11259250       405028384      1269845151     41             0              3   18   10    
456.01/456.14	c 5655925        12409579       442640060      1380856418     41             0              3   18   10    
503.01/503.19	c 6221579        13649071       489364834      1514390591     41             0              2   17   9     
551.49/551.62	c 6843798        15016430       538233011      1647058941     41             0              3   18   10    
605.58/605.77	c 7528238        16511848       591265517      1805417414     41             0              2   17   10    
660.77/660.98	c 8281122        18192852       649826150      1954109568     41             0              2   19   9     
731.06/731.26	c 9109294        19907376       715376882      2171649360     41             0              4   17   10    
800.74/800.96	c 10020283       21926370       786857662      2365306379     41             0              3   17   9     
877.13/877.35	c 11022370       24152224       863522324      2571382628     41             0              3   22   9     
966.92/967.16	c 12124665       26571926       950948231      2826299262     41             0              2   17   9     
1063.00/1063.21	c 13337189       29237332       1043482373     3090803004     41             0              3   19   9     
1165.18/1165.42	c 14670965       32211448       1146763749     3359642383     41             0              2   20   9     
1279.16/1279.41	c 16138118       35449478       1263373862     3661902477     41             0              2   19   9     
1404.84/1405.14	c 17751986       39036378       1387812352     3987483082     41             0              2   20   9     
1409.43/1409.79	s UNSATISFIABLE
1409.43/1409.79	c restarts              : 103         
1409.43/1409.79	c conflicts             : 17811184     (12636 /sec)
1409.43/1409.79	c decisions             : 39170781     (27790 /sec)
1409.43/1409.79	c propagations          : 3998832484  (2836980 /sec)
1409.43/1409.79	c root propagations     : 875         
1409.43/1409.79	c filter calls          : 1392294104     (987766 /sec)
1409.43/1409.79	c useless filter calls  : 1060661030     (76 %)
1409.43/1409.79	c Memory used           : 26.72 MB
1409.43/1409.79	c CPU time              : 1409.54 s
1409.43/1409.79	c real time             : 1409.8 s
1409.43/1409.79

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397350-1568580028/watcher-4397350-1568580028 -o /tmp/evaluation-result-4397350-1568580028/solver-4397350-1568580028 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568572742-32492 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397350-1568580028.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
Current StackSize limit: 8192 KiB

solver pid=1579, runsolver pid=1576

[startup+0.1002 s]*
/proc/loadavg: 2.24 2.06 2.06 3/199 1580
/proc/meminfo: memFree=31209528/32770624 swapFree=66984604/67108860
[pid=1579] ppid=1576 vsize=27360 memory=3952 CPUtime=0.1 cores=0,2,4,6
/proc/1579/stat : 1579 (cosoco) R 1576 1579 32461 0 -1 4202496 1153 0 0 0 10 0 0 0 20 0 1 0 434265453 28016640 988 33554432000 4194304 6211092 140736209275920 140736209274184 5075587 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17485824 140736209277963 140736209278065 140736209278065 140736209280974 0
/proc/1579/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.209405 s]*
/proc/loadavg: 2.24 2.06 2.06 3/199 1580
/proc/meminfo: memFree=31209388/32770624 swapFree=66984604/67108860
[pid=1579] ppid=1576 vsize=27360 memory=3952 CPUtime=0.21 cores=0,2,4,6
/proc/1579/stat : 1579 (cosoco) R 1576 1579 32461 0 -1 4202496 1153 0 0 0 21 0 0 0 20 0 1 0 434265453 28016640 988 33554432000 4194304 6211092 140736209275920 140736209273880 5082381 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 17485824 140736209277963 140736209278065 140736209278065 140736209280974 0
/proc/1579/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.308909 s]*
/proc/loadavg: 2.24 2.06 2.06 3/199 1580
/proc/meminfo: memFree=31209248/32770624 swapFree=66984604/67108860
[pid=1579] ppid=1576 vsize=27360 memory=3952 CPUtime=0.31 cores=0,2,4,6
/proc/1579/stat : 1579 (cosoco) R 1576 1579 32461 0 -1 4202496 1153 0 0 0 31 0 0 0 20 0 1 0 434265453 28016640 988 33554432000 4194304 6211092 140736209275920 140736209273880 5074626 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 17485824 140736209277963 140736209278065 140736209278065 140736209280974 0
/proc/1579/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.700221 s]
/proc/loadavg: 2.24 2.06 2.06 3/199 1580
/proc/meminfo: memFree=31209248/32770624 swapFree=66984604/67108860
[pid=1579] ppid=1576 vsize=27360 memory=3952 CPUtime=0.69 cores=0,2,4,6
/proc/1579/stat : 1579 (cosoco) R 1576 1579 32461 0 -1 4202496 1153 0 0 0 69 0 0 0 20 0 1 0 434265453 28016640 988 33554432000 4194304 6211092 140736209275920 140736209273880 5186269 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 17485824 140736209277963 140736209278065 140736209278065 140736209280974 0
/proc/1579/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.50022 s]
/proc/loadavg: 2.24 2.06 2.06 3/199 1580
/proc/meminfo: memFree=31209248/32770624 swapFree=66984604/67108860
[pid=1579] ppid=1576 vsize=27360 memory=3952 CPUtime=1.49 cores=0,2,4,6
/proc/1579/stat : 1579 (cosoco) R 1576 1579 32461 0 -1 4202496 1153 0 0 0 149 0 0 0 20 0 1 0 434265453 28016640 988 33554432000 4194304 6211092 140736209275920 140736209273880 5075275 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 17485824 140736209277963 140736209278065 140736209278065 140736209280974 0
/proc/1579/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.10931 s]
/proc/loadavg: 2.24 2.06 2.06 3/199 1580
/proc/meminfo: memFree=31208864/32770624 swapFree=66984604/67108860
[pid=1579] ppid=1576 vsize=27360 memory=3952 CPUtime=3.1 cores=0,2,4,6
/proc/1579/stat : 1579 (cosoco) R 1576 1579 32461 0 -1 4202496 1215 0 0 0 310 0 0 0 20 0 1 0 434265453 28016640 988 33554432000 4194304 6211092 140736209275920 140736209273880 5017569 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 17485824 140736209277963 140736209278065 140736209278065 140736209280974 0
/proc/1579/statm: 6840 988 863 493 0 145 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3952 KiB

[startup+6.30022 s]
/proc/loadavg: 2.22 2.06 2.06 3/199 1580
/proc/meminfo: memFree=31209116/32770624 swapFree=66984604/67108860
[pid=1579] ppid=1576 vsize=27360 memory=3964 CPUtime=6.29 cores=0,2,4,6
/proc/1579/stat : 1579 (cosoco) R 1576 1579 32461 0 -1 4202496 1277 0 0 0 629 0 0 0 20 0 1 0 434265453 28016640 991 33554432000 4194304 6211092 140736209275920 140736209273880 5078748 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 17485824 140736209277963 140736209278065 140736209278065 140736209280974 0
/proc/1579/statm: 6840 991 866 493 0 145 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3964 KiB

[startup+12.7002 s]
/proc/loadavg: 2.21 2.06 2.06 3/199 1580
/proc/meminfo: memFree=31209240/32770624 swapFree=66984604/67108860
[pid=1579] ppid=1576 vsize=27360 memory=3964 CPUtime=12.69 cores=0,2,4,6
/proc/1579/stat : 1579 (cosoco) R 1576 1579 32461 0 -1 4202496 1339 0 0 0 1269 0 0 0 20 0 1 0 434265453 28016640 991 33554432000 4194304 6211092 140736209275920 140736209273880 5082558 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 17485824 140736209277963 140736209278065 140736209278065 140736209280974 0
/proc/1579/statm: 6840 991 866 493 0 145 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3964 KiB

[startup+25.5003 s]
/proc/loadavg: 2.08 2.04 2.05 3/199 1589
/proc/meminfo: memFree=31207684/32770624 swapFree=66984608/67108860
[pid=1579] ppid=1576 vsize=27360 memory=3964 CPUtime=25.48 cores=0,2,4,6
/proc/1579/stat : 1579 (cosoco) R 1576 1579 32461 0 -1 4202496 1464 0 0 0 2548 0 0 0 20 0 1 0 434265453 28016640 991 33554432000 4194304 6211092 140736209275920 140736209273880 5074537 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17485824 140736209277963 140736209278065 140736209278065 140736209280974 0
/proc/1579/statm: 6840 991 866 493 0 145 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3964 KiB

[startup+51.1092 s]
/proc/loadavg: 2.05 2.04 2.05 3/199 1590
/proc/meminfo: memFree=31207980/32770624 swapFree=66984608/67108860
[pid=1579] ppid=1576 vsize=27360 memory=3964 CPUtime=51.09 cores=0,2,4,6
/proc/1579/stat : 1579 (cosoco) R 1576 1579 32461 0 -1 4202496 1528 0 0 0 5109 0 0 0 20 0 1 0 434265453 28016640 991 33554432000 4194304 6211092 140736209275920 140736209273880 5082393 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17485824 140736209277963 140736209278065 140736209278065 140736209280974 0
/proc/1579/statm: 6840 991 866 493 0 145 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3964 KiB

[startup+102.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/200 1595
/proc/meminfo: memFree=31207940/32770624 swapFree=66984608/67108860
[pid=1579] ppid=1576 vsize=27360 memory=3964 CPUtime=102.27 cores=0,2,4,6
/proc/1579/stat : 1579 (cosoco) R 1576 1579 32461 0 -1 4202496 1591 0 0 0 10227 0 0 0 20 0 1 0 434265453 28016640 991 33554432000 4194304 6211092 140736209275920 140736209273880 5017752 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17485824 140736209277963 140736209278065 140736209278065 140736209280974 0
/proc/1579/statm: 6840 991 866 493 0 145 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3964 KiB

[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/200 1601
/proc/meminfo: memFree=31206916/32770624 swapFree=66984608/67108860
[pid=1579] ppid=1576 vsize=27360 memory=3964 CPUtime=162.26 cores=0,2,4,6
/proc/1579/stat : 1579 (cosoco) R 1576 1579 32461 0 -1 4202496 1654 0 0 0 16226 0 0 0 20 0 1 0 434265453 28016640 991 33554432000 4194304 6211092 140736209275920 140736209273880 5075587 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17485824 140736209277963 140736209278065 140736209278065 140736209280974 0
/proc/1579/statm: 6840 991 866 493 0 145 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3964 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 1605
/proc/meminfo: memFree=31206872/32770624 swapFree=66984608/67108860
[pid=1579] ppid=1576 vsize=27360 memory=3964 CPUtime=222.25 cores=0,2,4,6
/proc/1579/stat : 1579 (cosoco) R 1576 1579 32461 0 -1 4202496 1717 0 0 0 22225 0 0 0 20 0 1 0 434265453 28016640 991 33554432000 4194304 6211092 140736209275920 140736209273880 5075234 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17485824 140736209277963 140736209278065 140736209278065 140736209280974 0
/proc/1579/statm: 6840 991 866 493 0 145 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3964 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 1609
/proc/meminfo: memFree=31207444/32770624 swapFree=66984608/67108860
[pid=1579] ppid=1576 vsize=27360 memory=3964 CPUtime=282.24 cores=0,2,4,6
/proc/1579/stat : 1579 (cosoco) R 1576 1579 32461 0 -1 4202496 1780 0 0 0 28224 0 0 0 20 0 1 0 434265453 28016640 991 33554432000 4194304 6211092 140736209275920 140736209273880 5082455 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17485824 140736209277963 140736209278065 140736209278065 140736209280974 0
/proc/1579/statm: 6840 991 866 493 0 145 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3964 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 1615
/proc/meminfo: memFree=31205996/32770624 swapFree=66984608/67108860
[pid=1579] ppid=1576 vsize=27360 memory=3964 CPUtime=342.23 cores=0,2,4,6
/proc/1579/stat : 1579 (cosoco) R 1576 1579 32461 0 -1 4202496 1843 0 0 0 34223 0 0 0 20 0 1 0 434265453 28016640 991 33554432000 4194304 6211092 140736209275920 140736209273880 5081965 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17485824 140736209277963 140736209278065 140736209278065 140736209280974 0
/proc/1579/statm: 6840 991 866 493 0 145 0
Current children cumulated CPU time: 342.23 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3964 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 1619
/proc/meminfo: memFree=31206100/32770624 swapFree=66984608/67108860
[pid=1579] ppid=1576 vsize=27360 memory=3964 CPUtime=402.21 cores=0,2,4,6
/proc/1579/stat : 1579 (cosoco) R 1576 1579 32461 0 -1 4202496 1906 0 0 0 40221 0 0 0 20 0 1 0 434265453 28016640 991 33554432000 4194304 6211092 140736209275920 140736209273880 5075597 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17485824 140736209277963 140736209278065 140736209278065 140736209280974 0
/proc/1579/statm: 6840 991 866 493 0 145 0
Current children cumulated CPU time: 402.21 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3964 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 1623
/proc/meminfo: memFree=31206112/32770624 swapFree=66984608/67108860
[pid=1579] ppid=1576 vsize=27360 memory=3964 CPUtime=462.2 cores=0,2,4,6
/proc/1579/stat : 1579 (cosoco) R 1576 1579 32461 0 -1 4202496 1969 0 0 0 46220 0 0 0 20 0 1 0 434265453 28016640 991 33554432000 4194304 6211092 140736209275920 140736209273880 5076443 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17485824 140736209277963 140736209278065 140736209278065 140736209280974 0
/proc/1579/statm: 6840 991 866 493 0 145 0
Current children cumulated CPU time: 462.2 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3964 KiB


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

Current children cumulated memory: 3964 KiB

[startup+1062.3 s]
/proc/loadavg: 2.16 2.22 2.13 3/199 1680
/proc/meminfo: memFree=31204996/32770624 swapFree=66984608/67108860
[pid=1579] ppid=1576 vsize=27360 memory=3964 CPUtime=1062.1 cores=0,2,4,6
/proc/1579/stat : 1579 (cosoco) R 1576 1579 32461 0 -1 4202496 2573 0 0 0 106210 0 0 0 20 0 1 0 434265453 28016640 991 33554432000 4194304 6211092 140736209275920 140736209273880 5074368 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17485824 140736209277963 140736209278065 140736209278065 140736209280974 0
/proc/1579/statm: 6840 991 866 493 0 145 0
Current children cumulated CPU time: 1062.1 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3964 KiB

[startup+1122.3 s]
/proc/loadavg: 2.06 2.18 2.13 3/199 1685
/proc/meminfo: memFree=31206272/32770624 swapFree=66984616/67108860
[pid=1579] ppid=1576 vsize=27360 memory=3964 CPUtime=1122.08 cores=0,2,4,6
/proc/1579/stat : 1579 (cosoco) R 1576 1579 32461 0 -1 4202496 2636 0 0 0 112208 0 0 0 20 0 1 0 434265453 28016640 991 33554432000 4194304 6211092 140736209275920 140736209273880 5074567 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17485824 140736209277963 140736209278065 140736209278065 140736209280974 0
/proc/1579/statm: 6840 991 866 493 0 145 0
Current children cumulated CPU time: 1122.08 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3964 KiB

[startup+1182.3 s]
/proc/loadavg: 2.02 2.15 2.12 3/199 1689
/proc/meminfo: memFree=31206024/32770624 swapFree=66984616/67108860
[pid=1579] ppid=1576 vsize=27360 memory=3964 CPUtime=1182.07 cores=0,2,4,6
/proc/1579/stat : 1579 (cosoco) R 1576 1579 32461 0 -1 4202496 2699 0 0 0 118207 0 0 0 20 0 1 0 434265453 28016640 991 33554432000 4194304 6211092 140736209275920 140736209273880 5075581 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17485824 140736209277963 140736209278065 140736209278065 140736209280974 0
/proc/1579/statm: 6840 991 866 493 0 145 0
Current children cumulated CPU time: 1182.07 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3964 KiB

[startup+1242.3 s]
/proc/loadavg: 2.01 2.12 2.12 3/200 1703
/proc/meminfo: memFree=31204584/32770624 swapFree=66984620/67108860
[pid=1579] ppid=1576 vsize=27360 memory=3964 CPUtime=1242.06 cores=0,2,4,6
/proc/1579/stat : 1579 (cosoco) R 1576 1579 32461 0 -1 4202496 2749 0 0 0 124206 0 0 0 20 0 1 0 434265453 28016640 991 33554432000 4194304 6211092 140736209275920 140736209273880 5075708 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17485824 140736209277963 140736209278065 140736209278065 140736209280974 0
/proc/1579/statm: 6840 991 866 493 0 145 0
Current children cumulated CPU time: 1242.06 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3964 KiB

[startup+1302.3 s]
/proc/loadavg: 2.00 2.10 2.11 3/200 1729
/proc/meminfo: memFree=31205908/32770624 swapFree=66984628/67108860
[pid=1579] ppid=1576 vsize=27360 memory=3964 CPUtime=1302.05 cores=0,2,4,6
/proc/1579/stat : 1579 (cosoco) R 1576 1579 32461 0 -1 4202496 2812 0 0 0 130205 0 0 0 20 0 1 0 434265453 28016640 991 33554432000 4194304 6211092 140736209275920 140736209273880 5075560 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17485824 140736209277963 140736209278065 140736209278065 140736209280974 0
/proc/1579/statm: 6840 991 866 493 0 145 0
Current children cumulated CPU time: 1302.05 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3964 KiB

[startup+1362.3 s]
/proc/loadavg: 2.00 2.08 2.10 3/200 1733
/proc/meminfo: memFree=31205284/32770624 swapFree=66984628/67108860
[pid=1579] ppid=1576 vsize=27360 memory=3964 CPUtime=1362.04 cores=0,2,4,6
/proc/1579/stat : 1579 (cosoco) R 1576 1579 32461 0 -1 4202496 2862 0 0 0 136204 0 0 0 20 0 1 0 434265453 28016640 991 33554432000 4194304 6211092 140736209275920 140736209273880 5082405 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17485824 140736209277963 140736209278065 140736209278065 140736209280974 0
/proc/1579/statm: 6840 991 866 493 0 145 0
Current children cumulated CPU time: 1362.04 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3964 KiB

[startup+1409.8 s]
# the end of solver process 1579 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1409.54 s, system=0.003999 s

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

[startup+1382.4 s]
/proc/loadavg: 2.00 2.08 2.10 3/200 1736
/proc/meminfo: memFree=31205396/32770624 swapFree=66984628/67108860
[pid=1579] ppid=1576 vsize=27360 memory=3964 CPUtime=1382.14 cores=0,2,4,6
/proc/1579/stat : 1579 (cosoco) R 1576 1579 32461 0 -1 4202496 2912 0 0 0 138214 0 0 0 20 0 1 0 434265453 28016640 991 33554432000 4194304 6211092 140736209275920 140736209273880 5008824 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17485824 140736209277963 140736209278065 140736209278065 140736209280974 0
/proc/1579/statm: 6840 991 866 493 0 145 0
Current children cumulated CPU time: 1382.14 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3964 KiB

[startup+1395.2 s]
/proc/loadavg: 2.00 2.07 2.10 3/200 1736
/proc/meminfo: memFree=31205040/32770624 swapFree=66984628/67108860
[pid=1579] ppid=1576 vsize=27360 memory=3964 CPUtime=1394.94 cores=0,2,4,6
/proc/1579/stat : 1579 (cosoco) R 1576 1579 32461 0 -1 4202496 2912 0 0 0 139494 0 0 0 20 0 1 0 434265453 28016640 991 33554432000 4194304 6211092 140736209275920 140736209273880 5081329 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17485824 140736209277963 140736209278065 140736209278065 140736209280974 0
/proc/1579/statm: 6840 991 866 493 0 145 0
Current children cumulated CPU time: 1394.94 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3964 KiB

[startup+1401.6 s]
/proc/loadavg: 2.00 2.07 2.10 3/200 1736
/proc/meminfo: memFree=31205040/32770624 swapFree=66984628/67108860
[pid=1579] ppid=1576 vsize=27360 memory=3964 CPUtime=1401.34 cores=0,2,4,6
/proc/1579/stat : 1579 (cosoco) R 1576 1579 32461 0 -1 4202496 2912 0 0 0 140134 0 0 0 20 0 1 0 434265453 28016640 991 33554432000 4194304 6211092 140736209275920 140736209273880 5082393 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17485824 140736209277963 140736209278065 140736209278065 140736209280974 0
/proc/1579/statm: 6840 991 866 493 0 145 0
Current children cumulated CPU time: 1401.34 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3964 KiB

[startup+1404.8 s]
/proc/loadavg: 2.00 2.07 2.10 3/200 1736
/proc/meminfo: memFree=31205040/32770624 swapFree=66984628/67108860
[pid=1579] ppid=1576 vsize=27360 memory=3964 CPUtime=1404.54 cores=0,2,4,6
/proc/1579/stat : 1579 (cosoco) R 1576 1579 32461 0 -1 4202496 2912 0 0 0 140454 0 0 0 20 0 1 0 434265453 28016640 991 33554432000 4194304 6211092 140736209275920 140736209273880 5079378 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17485824 140736209277963 140736209278065 140736209278065 140736209280974 0
/proc/1579/statm: 6840 991 866 493 0 145 0
Current children cumulated CPU time: 1404.54 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3964 KiB

[startup+1408 s]*
/proc/loadavg: 2.00 2.07 2.10 3/200 1736
/proc/meminfo: memFree=31204824/32770624 swapFree=66984628/67108860
[pid=1579] ppid=1576 vsize=27360 memory=3964 CPUtime=1407.74 cores=0,2,4,6
/proc/1579/stat : 1579 (cosoco) R 1576 1579 32461 0 -1 4202496 2925 0 0 0 140774 0 0 0 20 0 1 0 434265453 28016640 991 33554432000 4194304 6211092 140736209275920 140736209273880 5078890 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17485824 140736209277963 140736209278065 140736209278065 140736209280974 0
/proc/1579/statm: 6840 991 866 493 0 145 0
Current children cumulated CPU time: 1407.74 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3964 KiB

[startup+1408.8 s]
/proc/loadavg: 2.00 2.07 2.10 3/200 1736
/proc/meminfo: memFree=31204824/32770624 swapFree=66984628/67108860
[pid=1579] ppid=1576 vsize=27360 memory=3964 CPUtime=1408.53 cores=0,2,4,6
/proc/1579/stat : 1579 (cosoco) R 1576 1579 32461 0 -1 4202496 2925 0 0 0 140853 0 0 0 20 0 1 0 434265453 28016640 991 33554432000 4194304 6211092 140736209275920 140736209273880 5074613 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17485824 140736209277963 140736209278065 140736209278065 140736209280974 0
/proc/1579/statm: 6840 991 866 493 0 145 0
Current children cumulated CPU time: 1408.53 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3964 KiB

[startup+1409.2 s]
/proc/loadavg: 2.00 2.07 2.10 3/200 1736
/proc/meminfo: memFree=31204824/32770624 swapFree=66984628/67108860
[pid=1579] ppid=1576 vsize=27360 memory=3964 CPUtime=1408.93 cores=0,2,4,6
/proc/1579/stat : 1579 (cosoco) R 1576 1579 32461 0 -1 4202496 2925 0 0 0 140893 0 0 0 20 0 1 0 434265453 28016640 991 33554432000 4194304 6211092 140736209275920 140736209273880 5075694 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17485824 140736209277963 140736209278065 140736209278065 140736209280974 0
/proc/1579/statm: 6840 991 866 493 0 145 0
Current children cumulated CPU time: 1408.93 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3964 KiB

[startup+1409.6 s]
/proc/loadavg: 2.00 2.07 2.10 3/200 1736
/proc/meminfo: memFree=31204824/32770624 swapFree=66984628/67108860
[pid=1579] ppid=1576 vsize=27360 memory=3964 CPUtime=1409.33 cores=0,2,4,6
/proc/1579/stat : 1579 (cosoco) R 1576 1579 32461 0 -1 4202496 2925 0 0 0 140933 0 0 0 20 0 1 0 434265453 28016640 991 33554432000 4194304 6211092 140736209275920 140736209273880 5389823 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17485824 140736209277963 140736209278065 140736209278065 140736209280974 0
/proc/1579/statm: 6840 991 866 493 0 145 0
Current children cumulated CPU time: 1409.33 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3964 KiB

[startup+1409.7 s]
/proc/loadavg: 2.00 2.07 2.10 3/200 1736
/proc/meminfo: memFree=31204824/32770624 swapFree=66984628/67108860
[pid=1579] ppid=1576 vsize=27360 memory=3964 CPUtime=1409.43 cores=0,2,4,6
/proc/1579/stat : 1579 (cosoco) R 1576 1579 32461 0 -1 4202496 2925 0 0 0 140943 0 0 0 20 0 1 0 434265453 28016640 991 33554432000 4194304 6211092 140736209275920 140736209273880 5078890 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17485824 140736209277963 140736209278065 140736209278065 140736209280974 0
/proc/1579/statm: 6840 991 866 493 0 145 0
Current children cumulated CPU time: 1409.43 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3964 KiB

Child status: 0
Real time (s): 1409.8
CPU time (s): 1409.54
CPU user time (s): 1409.54
CPU system time (s): 0.003999
CPU usage (%): 99.9818
Max. virtual memory (cumulated for all children) (KiB): 27360
Max. memory (cumulated for all children) (KiB): 3964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1409.54
system time used= 0.003999
maximum resident set size= 4032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2963
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= 6
involuntary context switches= 1184


# summary of solver processes directly reported to runsolver:
#   pid: 1579
#   total CPU time (s): 1409.54
#   total CPU user time (s): 1409.54
#   total CPU system time (s): 0.003999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.14921 second user time and 9.26723 second system time

The end

Launcher Data 

Begin job on node121 at 2019-09-15 22:39:46
IDJOB=4397350
IDBENCH=131768
IDSOLVER=2849
FILE ID=node121/4397350-1568580028
RUNJOBID= node121-1568572742-32492
PBS_JOBID= 21703328
Free space on /tmp= 61404 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-4397350-1568580028/watcher-4397350-1568580028 -o /tmp/evaluation-result-4397350-1568580028/solver-4397350-1568580028 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568572742-32492 --watchdog 2560  cosoco -lc -model -restarts -stick HOME/instance-4397350-1568580028.xml

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

MD5SUM BENCH= c61674a03ec016e027955a3fd45acfb3
RANDOM SEED=1112019617

node121.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.75
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.75
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.75
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.75
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:        31210220 kB
MemAvailable:   31824108 kB
Buffers:          192832 kB
Cached:           725744 kB
SwapCached:        16480 kB
Active:           545412 kB
Inactive:         476120 kB
Active(anon):      89908 kB
Inactive(anon):    54700 kB
Active(file):     455504 kB
Inactive(file):   421420 kB
Unevictable:      108516 kB
Mlocked:          108516 kB
SwapTotal:      67108860 kB
SwapFree:       66984604 kB
Dirty:              2960 kB
Writeback:             0 kB
AnonPages:         48100 kB
Mapped:            42164 kB
Shmem:             33164 kB
Slab:             134900 kB
SReclaimable:     105600 kB
SUnreclaim:        29300 kB
KernelStack:        3808 kB
PageTables:         6120 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     618100 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 61404 MiB
End job on node121 at 2019-09-15 23:03:16