Trace number 4390070

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 2UNSAT 1406.37 1406.48

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-4390070-1568340489.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.03	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.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     
0.89/1.00	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.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.54	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.86	c 26388          57319          1875036        5042582        41             0              6   16   10    
2.00/2.04	c 29113          63629          2083456        5499686        41             0              4   14   10    
2.19/2.30	c 32110          69831          2327001        6251508        41             0              7   15   11    
2.49/2.52	c 35406          76708          2541182        6826893        41             0              5   15   10    
2.79/2.80	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.46	c 47403          103531         3473391        9324105        41             0              5   12   8     
3.79/3.84	c 52226          114518         3851523        10395251       41             0              6   17   9     
4.29/4.34	c 57531          127179         4342563        11934322       41             0              5   14   9     
4.79/4.80	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.97	c 76843          170827         5986745        16557176       41             0              5   17   11    
6.69/6.71	c 84607          187094         6702760        18919774       41             0              6   17   11    
7.29/7.36	c 93147          205569         7293433        20602656       41             0              5   14   9     
8.00/8.05	c 102541         225383         7958673        22607756       41             0              4   13   9     
8.89/9.00	c 112874         246816         8770174        25556663       41             0              5   15   9     
9.69/9.70	c 124240         269692         9492145        27561693       41             0              5   16   12    
10.49/10.57	c 136742         297120         10420862       29671801       41             0              4   14   9     
11.69/11.77	c 150494         328764         11564357       32839194       41             0              4   14   8     
13.00/13.05	c 165621         362104         12812206       36493960       41             0              4   18   9     
14.10/14.19	c 182260         398253         14115504       40110437       41             0              4   15   11    
15.69/15.76	c 200562         438959         15508270       44698433       41             0              5   15   10    
17.10/17.13	c 220694         482785         17089175       48872645       41             0              4   15   10    
18.59/18.62	c 242839         532597         18708959       52389748       41             0              4   13   8     
20.29/20.36	c 267198         586733         20590544       56803616       41             0              4   15   9     
22.10/22.16	c 293992         641141         22526784       61799679       41             0              4   16   11    
24.59/24.63	c 323465         705965         24903363       69251159       41             0              4   17   9     
27.00/27.09	c 355885         775938         27343435       74983373       41             0              4   15   9     
29.69/29.71	c 391547         854229         30090685       82491226       41             0              4   16   10    
32.69/32.71	c 430775         943298         33701239       91167713       41             0              3   14   9     
36.29/36.30	c 473925         1041154        37358930       101573839      41             0              4   15   9     
40.39/40.43	c 521390         1139724        41238699       115034805      41             0              5   17   11    
44.00/44.06	c 573601         1256697        44979217       125487519      41             0              3   19   12    
49.59/49.61	c 631033         1381746        49972682       143244148      41             0              4   17   9     
54.49/54.55	c 694208         1526996        54975222       156146968      41             0              3   15   9     
60.89/60.90	c 763700         1685538        60770250       176511124      41             0              4   17   10    
67.49/67.52	c 840141         1850814        67309883       196708701      41             0              4   16   9     
73.89/74.00	c 924226         2033721        73037778       217180870      41             0              4   17   11    
80.10/80.13	c 1016719        2233965        79566325       236318485      41             0              4   18   14    
87.79/87.89	c 1118461        2448241        87229992       258509579      41             0              6   18   12    
97.59/97.63	c 1230377        2692911        96269271       284661836      41             0              3   15   9     
106.59/106.63	c 1353484        2962543        105403682      307787061      41             0              4   18   10    
118.58/118.66	c 1488901        3260543        116060689      347106953      41             0              4   18   9     
131.99/132.08	c 1637859        3571541        128527874      389224979      41             0              3   17   9     
146.09/146.14	c 1801712        3939706        141435872      434032782      41             0              4   18   10    
162.28/162.30	c 1981950        4332537        157346123      485509915      41             0              3   17   9     
177.58/177.68	c 2180211        4756311        172446824      537648485      41             0              3   19   13    
197.28/197.35	c 2398298        5262824        190303067      596506130      41             0              3   18   9     
217.99/218.10	c 2638193        5790071        210164147      660448658      41             0              3   20   9     
237.38/237.46	c 2902077        6346150        229527078      720878991      41             0              3   17   10    
260.27/260.32	c 3192349        6971631        251851496      789342441      41             0              3   17   10    
287.08/287.19	c 3511648        7655054        275539101      885464227      41             0              3   18   11    
313.27/313.34	c 3862876        8425910        302475031      955251691      41             0              3   17   9     
347.17/347.23	c 4249226        9300578        334892031      1065846902     41             0              4   18   10    
381.36/381.46	c 4674211        10254851       370403784      1163437539     41             0              3   17   9     
417.76/417.82	c 5141694        11259250       405028384      1269845151     41             0              3   18   10    
455.07/455.11	c 5655925        12409579       442640060      1380856418     41             0              3   18   10    
501.96/502.06	c 6221579        13649071       489364834      1514390591     41             0              2   17   9     
550.25/550.38	c 6843798        15016430       538233011      1647058941     41             0              3   18   10    
604.35/604.41	c 7528238        16511848       591265517      1805417414     41             0              2   17   10    
659.34/659.46	c 8281122        18192852       649826150      1954109568     41             0              2   19   9     
729.44/729.55	c 9109294        19907376       715376882      2171649360     41             0              4   17   10    
798.94/799.07	c 10020283       21926370       786857662      2365306379     41             0              3   17   9     
875.23/875.30	c 11022370       24152224       863522324      2571382628     41             0              3   22   9     
964.82/964.92	c 12124665       26571926       950948231      2826299262     41             0              2   17   9     
1060.61/1060.78	c 13337189       29237332       1043482373     3090803004     41             0              3   19   9     
1162.60/1162.76	c 14670965       32211448       1146763749     3359642383     41             0              2   20   9     
1276.29/1276.42	c 16138118       35449478       1263373862     3661902477     41             0              2   19   9     
1401.68/1401.84	c 17751986       39036378       1387812352     3987483082     41             0              2   20   9     
1406.28/1406.48	s UNSATISFIABLE
1406.28/1406.48	c restarts              : 103         
1406.28/1406.48	c conflicts             : 17811184     (12665 /sec)
1406.28/1406.48	c decisions             : 39170781     (27852 /sec)
1406.28/1406.48	c propagations          : 3998832484  (2843374 /sec)
1406.28/1406.48	c root propagations     : 875         
1406.28/1406.48	c filter calls          : 1392294104     (989992 /sec)
1406.28/1406.48	c useless filter calls  : 1060661030     (76 %)
1406.28/1406.48	c Memory used           : 26.72 MB
1406.28/1406.48	c CPU time              : 1406.37 s
1406.28/1406.48	c real time             : 1406.48 s
1406.28/1406.48

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390070-1568340489/watcher-4390070-1568340489 -o /tmp/evaluation-result-4390070-1568340489/solver-4390070-1568340489 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1568323498-21939 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4390070-1568340489.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=25231, runsolver pid=25228

[startup+0.100151 s]*
/proc/loadavg: 2.16 2.21 2.13 3/200 25232
/proc/meminfo: memFree=26685132/32770624 swapFree=66927164/67108860
[pid=25231] ppid=25228 vsize=27360 memory=3688 CPUtime=0.1 cores=1,3,5,7
/proc/25231/stat : 25231 (cosoco) R 25228 25231 21907 0 -1 4202496 1148 0 0 0 10 0 0 0 20 0 1 0 410296213 28016640 922 33554432000 4194304 6210612 140725696416528 140725696413064 5080969 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 8847360 140725696418827 140725696418929 140725696418929 140725696421838 0
/proc/25231/statm: 6840 922 816 493 0 145 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3688 KiB

[startup+0.209413 s]*
/proc/loadavg: 2.16 2.21 2.13 3/200 25232
/proc/meminfo: memFree=26684868/32770624 swapFree=66927164/67108860
[pid=25231] ppid=25228 vsize=27360 memory=3688 CPUtime=0.21 cores=1,3,5,7
/proc/25231/stat : 25231 (cosoco) R 25228 25231 21907 0 -1 4202496 1148 0 0 0 21 0 0 0 20 0 1 0 410296213 28016640 922 33554432000 4194304 6210612 140725696416528 140725696413064 5017201 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 8847360 140725696418827 140725696418929 140725696418929 140725696421838 0
/proc/25231/statm: 6840 922 816 493 0 145 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3688 KiB

[startup+0.308929 s]*
/proc/loadavg: 2.16 2.21 2.13 3/200 25232
/proc/meminfo: memFree=26684868/32770624 swapFree=66927164/67108860
[pid=25231] ppid=25228 vsize=27360 memory=3688 CPUtime=0.31 cores=1,3,5,7
/proc/25231/stat : 25231 (cosoco) R 25228 25231 21907 0 -1 4202496 1148 0 0 0 31 0 0 0 20 0 1 0 410296213 28016640 922 33554432000 4194304 6210612 140725696416528 140725696413064 5080981 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 8847360 140725696418827 140725696418929 140725696418929 140725696421838 0
/proc/25231/statm: 6840 922 816 493 0 145 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3688 KiB

[startup+0.700274 s]
/proc/loadavg: 2.16 2.21 2.13 3/200 25232
/proc/meminfo: memFree=26684868/32770624 swapFree=66927164/67108860
[pid=25231] ppid=25228 vsize=27360 memory=3688 CPUtime=0.69 cores=1,3,5,7
/proc/25231/stat : 25231 (cosoco) R 25228 25231 21907 0 -1 4202496 1148 0 0 0 69 0 0 0 20 0 1 0 410296213 28016640 922 33554432000 4194304 6210612 140725696416528 140725696414488 5081335 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 8847360 140725696418827 140725696418929 140725696418929 140725696421838 0
/proc/25231/statm: 6840 922 816 493 0 145 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3688 KiB

[startup+1.50027 s]
/proc/loadavg: 2.16 2.21 2.13 3/200 25232
/proc/meminfo: memFree=26684700/32770624 swapFree=66927164/67108860
[pid=25231] ppid=25228 vsize=27360 memory=3688 CPUtime=1.49 cores=1,3,5,7
/proc/25231/stat : 25231 (cosoco) R 25228 25231 21907 0 -1 4202496 1148 0 0 0 149 0 0 0 20 0 1 0 410296213 28016640 922 33554432000 4194304 6210612 140725696416528 140725696414488 5082394 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 8847360 140725696418827 140725696418929 140725696418929 140725696421838 0
/proc/25231/statm: 6840 922 816 493 0 145 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3688 KiB

[startup+3.10903 s]
/proc/loadavg: 2.16 2.21 2.13 3/200 25232
/proc/meminfo: memFree=26684420/32770624 swapFree=66927164/67108860
[pid=25231] ppid=25228 vsize=27360 memory=3948 CPUtime=3.1 cores=1,3,5,7
/proc/25231/stat : 25231 (cosoco) R 25228 25231 21907 0 -1 4202496 1210 0 0 0 310 0 0 0 20 0 1 0 410296213 28016640 987 33554432000 4194304 6210612 140725696416528 140725696414488 5078484 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 8847360 140725696418827 140725696418929 140725696418929 140725696421838 0
/proc/25231/statm: 6840 987 861 493 0 145 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3948 KiB

[startup+6.30026 s]
/proc/loadavg: 2.14 2.21 2.13 3/200 25232
/proc/meminfo: memFree=26684108/32770624 swapFree=66927164/67108860
[pid=25231] ppid=25228 vsize=27360 memory=3948 CPUtime=6.29 cores=1,3,5,7
/proc/25231/stat : 25231 (cosoco) R 25228 25231 21907 0 -1 4202496 1272 0 0 0 629 0 0 0 20 0 1 0 410296213 28016640 987 33554432000 4194304 6210612 140725696416528 140725696414488 5074130 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 8847360 140725696418827 140725696418929 140725696418929 140725696421838 0
/proc/25231/statm: 6840 987 861 493 0 145 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3948 KiB

[startup+12.7003 s]
/proc/loadavg: 2.13 2.20 2.13 3/200 25232
/proc/meminfo: memFree=26684156/32770624 swapFree=66927164/67108860
[pid=25231] ppid=25228 vsize=27360 memory=3948 CPUtime=12.69 cores=1,3,5,7
/proc/25231/stat : 25231 (cosoco) R 25228 25231 21907 0 -1 4202496 1334 0 0 0 1269 0 0 0 20 0 1 0 410296213 28016640 987 33554432000 4194304 6210612 140725696416528 140725696414488 5016909 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 8847360 140725696418827 140725696418929 140725696418929 140725696421838 0
/proc/25231/statm: 6840 987 861 493 0 145 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3948 KiB

[startup+25.5003 s]
/proc/loadavg: 2.10 2.19 2.12 3/200 25232
/proc/meminfo: memFree=26684660/32770624 swapFree=66927164/67108860
[pid=25231] ppid=25228 vsize=27360 memory=3948 CPUtime=25.49 cores=1,3,5,7
/proc/25231/stat : 25231 (cosoco) R 25228 25231 21907 0 -1 4202496 1459 0 0 0 2549 0 0 0 20 0 1 0 410296213 28016640 987 33554432000 4194304 6210612 140725696416528 140725696414488 5074080 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 8847360 140725696418827 140725696418929 140725696418929 140725696421838 0
/proc/25231/statm: 6840 987 861 493 0 145 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3948 KiB

[startup+51.1091 s]
/proc/loadavg: 2.07 2.18 2.12 3/201 25236
/proc/meminfo: memFree=26684644/32770624 swapFree=66927164/67108860
[pid=25231] ppid=25228 vsize=27360 memory=3948 CPUtime=51.1 cores=1,3,5,7
/proc/25231/stat : 25231 (cosoco) R 25228 25231 21907 0 -1 4202496 1523 0 0 0 5110 0 0 0 20 0 1 0 410296213 28016640 987 33554432000 4194304 6210612 140725696416528 140725696414488 5075573 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 8847360 140725696418827 140725696418929 140725696418929 140725696421838 0
/proc/25231/statm: 6840 987 861 493 0 145 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3948 KiB

[startup+102.3 s]
/proc/loadavg: 2.03 2.15 2.12 3/201 25240
/proc/meminfo: memFree=26685044/32770624 swapFree=66927164/67108860
[pid=25231] ppid=25228 vsize=27360 memory=3948 CPUtime=102.29 cores=1,3,5,7
/proc/25231/stat : 25231 (cosoco) R 25228 25231 21907 0 -1 4202496 1586 0 0 0 10229 0 0 0 20 0 1 0 410296213 28016640 987 33554432000 4194304 6210612 140725696416528 140725696414488 5074824 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 8847360 140725696418827 140725696418929 140725696418929 140725696421838 0
/proc/25231/statm: 6840 987 861 493 0 145 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3948 KiB

[startup+162.3 s]
/proc/loadavg: 2.01 2.12 2.11 3/201 25251
/proc/meminfo: memFree=26684084/32770624 swapFree=66927164/67108860
[pid=25231] ppid=25228 vsize=27360 memory=3948 CPUtime=162.28 cores=1,3,5,7
/proc/25231/stat : 25231 (cosoco) R 25228 25231 21907 0 -1 4202496 1649 0 0 0 16228 0 0 0 20 0 1 0 410296213 28016640 987 33554432000 4194304 6210612 140725696416528 140725696414488 5075223 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 8847360 140725696418827 140725696418929 140725696418929 140725696421838 0
/proc/25231/statm: 6840 987 861 493 0 145 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3948 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.10 2.11 3/201 25257
/proc/meminfo: memFree=26684596/32770624 swapFree=66927164/67108860
[pid=25231] ppid=25228 vsize=27360 memory=3948 CPUtime=222.28 cores=1,3,5,7
/proc/25231/stat : 25231 (cosoco) R 25228 25231 21907 0 -1 4202496 1712 0 0 0 22228 0 0 0 20 0 1 0 410296213 28016640 987 33554432000 4194304 6210612 140725696416528 140725696414488 5192912 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 8847360 140725696418827 140725696418929 140725696418929 140725696421838 0
/proc/25231/statm: 6840 987 861 493 0 145 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3948 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.08 2.10 3/200 25261
/proc/meminfo: memFree=26684224/32770624 swapFree=66927164/67108860
[pid=25231] ppid=25228 vsize=27360 memory=3948 CPUtime=282.27 cores=1,3,5,7
/proc/25231/stat : 25231 (cosoco) R 25228 25231 21907 0 -1 4202496 1775 0 0 0 28227 0 0 0 20 0 1 0 410296213 28016640 987 33554432000 4194304 6210612 140725696416528 140725696414488 5074297 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 8847360 140725696418827 140725696418929 140725696418929 140725696421838 0
/proc/25231/statm: 6840 987 861 493 0 145 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3948 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.07 2.09 3/200 25265
/proc/meminfo: memFree=26684336/32770624 swapFree=66927164/67108860
[pid=25231] ppid=25228 vsize=27360 memory=3948 CPUtime=342.27 cores=1,3,5,7
/proc/25231/stat : 25231 (cosoco) R 25228 25231 21907 0 -1 4202496 1838 0 0 0 34227 0 0 0 20 0 1 0 410296213 28016640 987 33554432000 4194304 6210612 140725696416528 140725696414488 5017005 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 8847360 140725696418827 140725696418929 140725696418929 140725696421838 0
/proc/25231/statm: 6840 987 861 493 0 145 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3948 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.06 2.09 3/200 25271
/proc/meminfo: memFree=26683864/32770624 swapFree=66927164/67108860
[pid=25231] ppid=25228 vsize=27360 memory=3948 CPUtime=402.26 cores=1,3,5,7
/proc/25231/stat : 25231 (cosoco) R 25228 25231 21907 0 -1 4202496 1901 0 0 0 40226 0 0 0 20 0 1 0 410296213 28016640 987 33554432000 4194304 6210612 140725696416528 140725696414488 5082059 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 8847360 140725696418827 140725696418929 140725696418929 140725696421838 0
/proc/25231/statm: 6840 987 861 493 0 145 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3948 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.04 2.08 3/200 25275
/proc/meminfo: memFree=26683616/32770624 swapFree=66927164/67108860
[pid=25231] ppid=25228 vsize=27360 memory=3948 CPUtime=462.26 cores=1,3,5,7
/proc/25231/stat : 25231 (cosoco) R 25228 25231 21907 0 -1 4202496 1964 0 0 0 46226 0 0 0 20 0 1 0 410296213 28016640 987 33554432000 4194304 6210612 140725696416528 140725696414488 5389663 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 8847360 140725696418827 140725696418929 140725696418929 140725696421838 0
/proc/25231/statm: 6840 987 861 493 0 145 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3948 KiB


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

Current children cumulated memory: 3948 KiB

[startup+942.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 25320
/proc/meminfo: memFree=26683060/32770624 swapFree=66927164/67108860
[pid=25231] ppid=25228 vsize=27360 memory=3948 CPUtime=942.22 cores=1,3,5,7
/proc/25231/stat : 25231 (cosoco) R 25228 25231 21907 0 -1 4202496 2455 0 0 0 94222 0 0 0 20 0 1 0 410296213 28016640 987 33554432000 4194304 6210612 140725696416528 140725696414488 5078960 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 8847360 140725696418827 140725696418929 140725696418929 140725696421838 0
/proc/25231/statm: 6840 987 861 493 0 145 0
Current children cumulated CPU time: 942.22 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3948 KiB

[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 25324
/proc/meminfo: memFree=26683396/32770624 swapFree=66927164/67108860
[pid=25231] ppid=25228 vsize=27360 memory=3948 CPUtime=1002.21 cores=1,3,5,7
/proc/25231/stat : 25231 (cosoco) R 25228 25231 21907 0 -1 4202496 2518 0 0 0 100221 0 0 0 20 0 1 0 410296213 28016640 987 33554432000 4194304 6210612 140725696416528 140725696414488 5074877 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 8847360 140725696418827 140725696418929 140725696418929 140725696421838 0
/proc/25231/statm: 6840 987 861 493 0 145 0
Current children cumulated CPU time: 1002.21 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3948 KiB

[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 25329
/proc/meminfo: memFree=26684196/32770624 swapFree=66927164/67108860
[pid=25231] ppid=25228 vsize=27360 memory=3948 CPUtime=1062.21 cores=1,3,5,7
/proc/25231/stat : 25231 (cosoco) R 25228 25231 21907 0 -1 4202496 2581 0 0 0 106221 0 0 0 20 0 1 0 410296213 28016640 987 33554432000 4194304 6210612 140725696416528 140725696414488 5192912 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 8847360 140725696418827 140725696418929 140725696418929 140725696421838 0
/proc/25231/statm: 6840 987 861 493 0 145 0
Current children cumulated CPU time: 1062.21 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3948 KiB

[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 25335
/proc/meminfo: memFree=26683632/32770624 swapFree=66927164/67108860
[pid=25231] ppid=25228 vsize=27360 memory=3948 CPUtime=1122.2 cores=1,3,5,7
/proc/25231/stat : 25231 (cosoco) R 25228 25231 21907 0 -1 4202496 2631 0 0 0 112220 0 0 0 20 0 1 0 410296213 28016640 987 33554432000 4194304 6210612 140725696416528 140725696414488 5081338 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 8847360 140725696418827 140725696418929 140725696418929 140725696421838 0
/proc/25231/statm: 6840 987 861 493 0 145 0
Current children cumulated CPU time: 1122.2 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3948 KiB

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 25339
/proc/meminfo: memFree=26683304/32770624 swapFree=66927164/67108860
[pid=25231] ppid=25228 vsize=27360 memory=3948 CPUtime=1182.2 cores=1,3,5,7
/proc/25231/stat : 25231 (cosoco) R 25228 25231 21907 0 -1 4202496 2694 0 0 0 118220 0 0 0 20 0 1 0 410296213 28016640 987 33554432000 4194304 6210612 140725696416528 140725696414488 5016909 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 8847360 140725696418827 140725696418929 140725696418929 140725696421838 0
/proc/25231/statm: 6840 987 861 493 0 145 0
Current children cumulated CPU time: 1182.2 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3948 KiB

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 25345
/proc/meminfo: memFree=26682288/32770624 swapFree=66927164/67108860
[pid=25231] ppid=25228 vsize=27360 memory=3948 CPUtime=1242.2 cores=1,3,5,7
/proc/25231/stat : 25231 (cosoco) R 25228 25231 21907 0 -1 4202496 2744 0 0 0 124220 0 0 0 20 0 1 0 410296213 28016640 987 33554432000 4194304 6210612 140725696416528 140725696414488 5075203 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 8847360 140725696418827 140725696418929 140725696418929 140725696421838 0
/proc/25231/statm: 6840 987 861 493 0 145 0
Current children cumulated CPU time: 1242.2 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3948 KiB

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 25351
/proc/meminfo: memFree=26682820/32770624 swapFree=66927164/67108860
[pid=25231] ppid=25228 vsize=27360 memory=3948 CPUtime=1302.19 cores=1,3,5,7
/proc/25231/stat : 25231 (cosoco) R 25228 25231 21907 0 -1 4202496 2807 0 0 0 130219 0 0 0 20 0 1 0 410296213 28016640 987 33554432000 4194304 6210612 140725696416528 140725696414488 5079064 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 8847360 140725696418827 140725696418929 140725696418929 140725696421838 0
/proc/25231/statm: 6840 987 861 493 0 145 0
Current children cumulated CPU time: 1302.19 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3948 KiB

[startup+1362.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/201 25363
/proc/meminfo: memFree=26682704/32770624 swapFree=66927164/67108860
[pid=25231] ppid=25228 vsize=27360 memory=3948 CPUtime=1362.19 cores=1,3,5,7
/proc/25231/stat : 25231 (cosoco) R 25228 25231 21907 0 -1 4202496 2857 0 0 0 136219 0 0 0 20 0 1 0 410296213 28016640 987 33554432000 4194304 6210612 140725696416528 140725696414488 5078671 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 8847360 140725696418827 140725696418929 140725696418929 140725696421838 0
/proc/25231/statm: 6840 987 861 493 0 145 0
Current children cumulated CPU time: 1362.19 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3948 KiB

[startup+1406.48 s]
# the end of solver process 25231 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1406.37 s, system=0.002999 s

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

[startup+1382.4 s]
/proc/loadavg: 2.12 2.04 2.05 3/201 25365
/proc/meminfo: memFree=26682664/32770624 swapFree=66927164/67108860
[pid=25231] ppid=25228 vsize=27360 memory=3948 CPUtime=1382.28 cores=1,3,5,7
/proc/25231/stat : 25231 (cosoco) R 25228 25231 21907 0 -1 4202496 2907 0 0 0 138228 0 0 0 20 0 1 0 410296213 28016640 987 33554432000 4194304 6210612 140725696416528 140725696414488 5082037 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 8847360 140725696418827 140725696418929 140725696418929 140725696421838 0
/proc/25231/statm: 6840 987 861 493 0 145 0
Current children cumulated CPU time: 1382.28 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3948 KiB

[startup+1395.2 s]
/proc/loadavg: 2.09 2.04 2.05 3/201 25367
/proc/meminfo: memFree=26682804/32770624 swapFree=66927164/67108860
[pid=25231] ppid=25228 vsize=27360 memory=3948 CPUtime=1395.08 cores=1,3,5,7
/proc/25231/stat : 25231 (cosoco) R 25228 25231 21907 0 -1 4202496 2907 0 0 0 139508 0 0 0 20 0 1 0 410296213 28016640 987 33554432000 4194304 6210612 140725696416528 140725696414488 5078399 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 8847360 140725696418827 140725696418929 140725696418929 140725696421838 0
/proc/25231/statm: 6840 987 861 493 0 145 0
Current children cumulated CPU time: 1395.08 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3948 KiB

[startup+1401.6 s]
/proc/loadavg: 2.09 2.04 2.05 3/201 25367
/proc/meminfo: memFree=26682432/32770624 swapFree=66927164/67108860
[pid=25231] ppid=25228 vsize=27360 memory=3948 CPUtime=1401.48 cores=1,3,5,7
/proc/25231/stat : 25231 (cosoco) R 25228 25231 21907 0 -1 4202496 2907 0 0 0 140148 0 0 0 20 0 1 0 410296213 28016640 987 33554432000 4194304 6210612 140725696416528 140725696414488 5081486 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 8847360 140725696418827 140725696418929 140725696418929 140725696421838 0
/proc/25231/statm: 6840 987 861 493 0 145 0
Current children cumulated CPU time: 1401.48 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3948 KiB

[startup+1404.8 s]
/proc/loadavg: 2.08 2.04 2.05 3/201 25367
/proc/meminfo: memFree=26682432/32770624 swapFree=66927164/67108860
[pid=25231] ppid=25228 vsize=27360 memory=3948 CPUtime=1404.68 cores=1,3,5,7
/proc/25231/stat : 25231 (cosoco) R 25228 25231 21907 0 -1 4202496 2920 0 0 0 140468 0 0 0 20 0 1 0 410296213 28016640 987 33554432000 4194304 6210612 140725696416528 140725696414488 5082394 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 8847360 140725696418827 140725696418929 140725696418929 140725696421838 0
/proc/25231/statm: 6840 987 861 493 0 145 0
Current children cumulated CPU time: 1404.68 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3948 KiB

[startup+1405.6 s]
/proc/loadavg: 2.08 2.04 2.05 3/201 25367
/proc/meminfo: memFree=26682432/32770624 swapFree=66927164/67108860
[pid=25231] ppid=25228 vsize=27360 memory=3948 CPUtime=1405.48 cores=1,3,5,7
/proc/25231/stat : 25231 (cosoco) R 25228 25231 21907 0 -1 4202496 2920 0 0 0 140548 0 0 0 20 0 1 0 410296213 28016640 987 33554432000 4194304 6210612 140725696416528 140725696414488 5082059 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 8847360 140725696418827 140725696418929 140725696418929 140725696421838 0
/proc/25231/statm: 6840 987 861 493 0 145 0
Current children cumulated CPU time: 1405.48 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3948 KiB

[startup+1406 s]*
/proc/loadavg: 2.08 2.04 2.05 3/201 25367
/proc/meminfo: memFree=26682432/32770624 swapFree=66927164/67108860
[pid=25231] ppid=25228 vsize=27360 memory=3948 CPUtime=1405.89 cores=1,3,5,7
/proc/25231/stat : 25231 (cosoco) R 25228 25231 21907 0 -1 4202496 2920 0 0 0 140589 0 0 0 20 0 1 0 410296213 28016640 987 33554432000 4194304 6210612 140725696416528 140725696414488 5192880 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 8847360 140725696418827 140725696418929 140725696418929 140725696421838 0
/proc/25231/statm: 6840 987 861 493 0 145 0
Current children cumulated CPU time: 1405.89 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3948 KiB

[startup+1406.4 s]
/proc/loadavg: 2.08 2.04 2.05 3/201 25367
/proc/meminfo: memFree=26682432/32770624 swapFree=66927164/67108860
[pid=25231] ppid=25228 vsize=27360 memory=3948 CPUtime=1406.28 cores=1,3,5,7
/proc/25231/stat : 25231 (cosoco) R 25228 25231 21907 0 -1 4202496 2920 0 0 0 140628 0 0 0 20 0 1 0 410296213 28016640 987 33554432000 4194304 6210612 140725696416528 140725696414488 5017201 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 8847360 140725696418827 140725696418929 140725696418929 140725696421838 0
/proc/25231/statm: 6840 987 861 493 0 145 0
Current children cumulated CPU time: 1406.28 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3948 KiB

Child status: 0
Real time (s): 1406.48
CPU time (s): 1406.37
CPU user time (s): 1406.37
CPU system time (s): 0.002999
CPU usage (%): 99.9922
Max. virtual memory (cumulated for all children) (KiB): 27360
Max. memory (cumulated for all children) (KiB): 3948

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1406.37
system time used= 0.002999
maximum resident set size= 4020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2959
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= 356


# summary of solver processes directly reported to runsolver:
#   pid: 25231
#   total CPU time (s): 1406.37
#   total CPU user time (s): 1406.37
#   total CPU system time (s): 0.002999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.48045 second user time and 8.4743 second system time

The end

Launcher Data 

Begin job on node137 at 2019-09-13 04:07:26
IDJOB=4390070
IDBENCH=131768
IDSOLVER=2830
FILE ID=node137/4390070-1568340489
RUNJOBID= node137-1568323498-21939
PBS_JOBID= 21701145
Free space on /tmp= 61232 MiB

SOLVER NAME= cosoco 2
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-4390070-1568340489/watcher-4390070-1568340489 -o /tmp/evaluation-result-4390070-1568340489/solver-4390070-1568340489 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1568323498-21939 --watchdog 2560  cosoco -lc -model -restarts -stick HOME/instance-4390070-1568340489.xml

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

MD5SUM BENCH= c61674a03ec016e027955a3fd45acfb3
RANDOM SEED=747373368

node137.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	: 5334.00
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	: 5334.00
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	: 5334.00
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	: 5334.00
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:        26685400 kB
MemAvailable:   31723088 kB
Buffers:          140296 kB
Cached:          5162412 kB
SwapCached:        77552 kB
Active:          1445020 kB
Inactive:        4020592 kB
Active(anon):      86688 kB
Inactive(anon):   117532 kB
Active(file):    1358332 kB
Inactive(file):  3903060 kB
Unevictable:      108716 kB
Mlocked:          108716 kB
SwapTotal:      67108860 kB
SwapFree:       66927164 kB
Dirty:              2800 kB
Writeback:             0 kB
AnonPages:        205796 kB
Mapped:            45080 kB
Shmem:             32696 kB
Slab:             213676 kB
SReclaimable:     184264 kB
SUnreclaim:        29412 kB
KernelStack:        3776 kB
PageTables:         5744 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     609432 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    157696 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= 61232 MiB
End job on node137 at 2019-09-13 04:30:53