Trace number 4295280

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
cosoco 1.12UNSAT 443.373 443.527

General information on the benchmark

NameSubisomorphism/
Subisomorphism-g11-g44_c18.xml
MD5SUM691a51199f261ec138535be56fe101c2
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 benchmark443.373
Satisfiable
(Un)Satisfiability was proved
Number of variables42
Number of constraints157
Number of domains1
Minimum domain size128
Maximum domain size128
Distribution of domain sizes[{"size":128,"count":42}]
Minimum variable degree3
Maximum variable degree12
Distribution of variable degrees[{"degree":3,"count":1},{"degree":4,"count":1},{"degree":5,"count":4},{"degree":6,"count":6},{"degree":7,"count":10},{"degree":8,"count":6},{"degree":9,"count":11},{"degree":10,"count":2},{"degree":12,"count":1}]
Minimum constraint arity1
Maximum constraint arity42
Distribution of constraint arities[{"arity":1,"count":42},{"arity":2,"count":114},{"arity":42,"count":1}]
Number of extensional constraints156
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":156},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.22	c root propagations     : 1004        
0.00/0.22	c restarts enabled, print stats at every restarts
0.00/0.22	c
0.00/0.22	c
0.00/0.22	c
0.00/0.22	c This is cosoco 1.12 --  
0.00/0.22	c
0.00/0.22	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4295280-1534344993.xml 
0.00/0.22	c ========================================[ Problem Statistics ]===========================================
0.00/0.22	c |                                                                                                       
0.00/0.22	c |  Parse time        :         0.01 s 
0.00/0.22	c |
0.00/0.22	c |               Variables: 42
0.00/0.22	c |            Domain Sizes: 128..128
0.00/0.22	c |
0.00/0.22	c |             Constraints: 157
0.00/0.22	c |                   Arity: 1..42  -- Unary: 42  -- Binary: 114
0.00/0.22	c | 
0.00/0.22	c |                   Types: 
0.00/0.22	c |                          All Different: 1
0.00/0.22	c |                          Extension: 114  (nb tuples: 1784..1784) -- (shared: 146)
0.00/0.22	c |                          Unary: 42
0.00/0.22	c |                          
0.00/0.22	c =========================================================================================================
0.00/0.22	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.23	c 101            172            14012          49190          42             0              3   8   4      
0.00/0.25	c 211            376            31192          113993         42             0              2   7   4      
0.00/0.27	c 332            635            53777          194503         42             0              3   8   5      
0.00/0.29	c 465            902            77331          277032         42             0              3   9   5      
0.00/0.31	c 611            1209           103877         379014         42             0              2   9   5      
0.10/0.34	c 771            1508           130999         485365         42             0              3   8   5      
0.10/0.37	c 947            1867           166650         620867         42             0              2   8   5      
0.10/0.40	c 1140           2238           198739         745846         42             0              3   9   5      
0.20/0.44	c 1352           2642           235048         894272         42             0              2   8   5      
0.20/0.47	c 1585           3072           271060         1007903        42             0              3   8   5      
0.20/0.51	c 1841           3568           315471         1166186        42             0              2   8   5      
0.30/0.55	c 2122           4096           367120         1347523        42             0              3   8   4      
0.39/0.60	c 2431           4696           421177         1534813        42             0              2   11   5     
0.39/0.67	c 2770           5391           488848         1800644        42             0              2   8   5      
0.48/0.73	c 3142           6101           555679         2030819        42             0              2   8   5      
0.58/0.80	c 3551           6947           634909         2322220        42             0              2   8   5      
0.58/0.88	c 4000           7786           716268         2629683        42             0              2   9   4      
0.68/0.95	c 4493           8649           791210         2905413        42             0              3   8   5      
0.79/1.04	c 5035           9675           890074         3308347        42             0              2   7   5      
0.89/1.13	c 5631           10804          983120         3646481        42             0              2   9   5      
0.98/1.24	c 6286           12080          1096585        4082196        42             0              2   11   4     
1.08/1.36	c 7006           13489          1224978        4571419        42             0              2   9   5      
1.28/1.50	c 7798           15098          1370525        5136922        42             0              2   9   5      
1.38/1.62	c 8669           16676          1497004        5671348        42             0              3   10   5     
1.48/1.77	c 9627           18495          1660580        6298140        42             0              2   9   5      
1.68/1.93	c 10680          20454          1830289        6959705        42             0              2   9   5      
1.79/2.08	c 11838          22751          2003830        7501928        42             0              2   12   6     
1.98/2.29	c 13111          25238          2228707        8395818        42             0              2   9   5      
2.18/2.48	c 14511          27897          2432042        9033987        42             0              2   12   6     
2.48/2.73	c 16051          30828          2691205        10103950       42             0              2   10   5     
2.68/2.99	c 17745          33972          2953118        11191790       42             0              2   12   5     
2.98/3.27	c 19608          37359          3257366        12328023       42             0              2   9   4      
3.28/3.55	c 21657          41331          3566114        13496346       42             0              2   11   5     
3.68/3.91	c 23910          45633          3933961        14924849       42             0              2   16   5     
3.98/4.27	c 26388          50260          4327680        16373762       42             0              2   9   5      
4.38/4.64	c 29113          55216          4717235        17875095       42             0              2   13   5     
4.68/5.00	c 32110          60893          5118462        19274043       42             0              2   12   6     
5.18/5.47	c 35406          67282          5606546        20975924       42             0              2   12   6     
5.68/5.98	c 39031          74608          6178325        22794100       42             0              2   14   6     
6.28/6.55	c 43018          82561          6805542        24893903       42             0              2   13   6     
6.79/7.06	c 47403          90951          7370912        26923761       42             0              2   16   6     
7.48/7.74	c 52226          101068         8115410        29220652       42             0              2   15   6     
8.28/8.53	c 57531          111418         8980059        32355472       42             0              2   11   6     
8.98/9.23	c 63366          122391         9760439        35126832       42             0              2   15   6     
9.98/10.20	c 69784          136364         10819433       38598289       42             0              2   14   7     
10.89/11.15	c 76843          150893         11868822       41962703       42             0              2   13   6     
11.79/12.05	c 84607          165716         12872493       45348476       42             0              2   14   7     
12.98/13.29	c 93147          183832         14255058       49849567       42             0              2   14   7     
14.28/14.51	c 102541         202621         15562529       54470235       42             0              2   18   6     
15.68/15.92	c 112874         223915         17072001       59506704       42             0              2   22   6     
17.18/17.46	c 124240         246578         18762048       65319151       42             0              2   17   6     
18.98/19.28	c 136742         272190         20798740       72094473       42             0              2   15   6     
20.98/21.29	c 150494         301365         22978725       79705946       42             0              2   18   7     
22.79/23.06	c 165621         329526         25036291       86284250       42             0              2   12   7     
25.19/25.45	c 182260         364267         27600879       95458015       42             0              2   20   7     
27.69/28.00	c 200562         401046         30384957       104647938      42             0              2   17   6     
30.69/30.99	c 220694         442668         33654880       115962039      42             0              2   19   6     
33.79/34.07	c 242839         487404         37103858       127007740      42             0              2   18   6     
37.09/37.31	c 267198         535662         40626608       139294845      42             0              2   16   6     
40.69/40.97	c 293992         589485         44646712       152712771      42             0              2   20   6     
44.90/45.11	c 323465         649010         49225169       168383348      42             0              2   16   6     
49.49/49.75	c 355885         714685         54280148       185881816      42             0              2   17   6     
54.69/54.96	c 391547         787647         59925196       205457702      42             0              2   20   6     
60.19/60.43	c 430775         868212         65984450       224913717      42             0              2   20   6     
65.80/66.09	c 473925         956056         72288822       245429463      42             0              2   17   6     
72.49/72.77	c 521390         1053892        79605365       269421026      42             0              2   18   7     
79.39/79.67	c 573601         1161824        87188544       293587391      42             0              2   20   7     
86.90/87.19	c 631033         1279004        95381682       317168106      42             0              2   19   7     
95.59/95.86	c 694208         1408973        104756968      346265754      42             0              2   20   7     
104.99/105.25	c 763700         1551298        114609525      377857512      42             0              2   22   7     
115.00/115.27	c 840141         1704260        125619949      409907492      42             0              2   20   7     
126.70/126.93	c 924226         1879177        138092826      448805723      42             0              2   21   7     
140.00/140.27	c 1016719        2072144        152649299      497775629      42             0              2   19   6     
154.10/154.34	c 1118461        2284454        167901840      546491930      42             0              2   21   7     
170.00/170.21	c 1230377        2519013        185165315      604293920      42             0              2   19   7     
186.91/187.12	c 1353484        2777175        203341367      663092709      42             0              2   22   7     
205.01/205.27	c 1488901        3060133        223115336      725543413      42             0              2   22   7     
224.71/224.92	c 1637859        3369599        244455618      790468578      42             0              2   20   7     
247.41/247.60	c 1801712        3716328        269138501      866951577      42             0              2   21   7     
272.21/272.43	c 1981950        4097031        296218862      951434285      42             0              2   20   7     
301.83/302.01	c 2180211        4524469        328260710      1058511896     42             0              2   23   7     
332.62/332.89	c 2398298        4995642        361448957      1162764290     42             0              2   24   7     
366.23/366.48	c 2638193        5503036        397708410      1276290359     42             0              2   24   7     
403.23/403.45	c 2902077        6061862        436540621      1406718327     42             0              2   23   7     
443.33/443.52	c restarts              : 84          
443.33/443.52	c conflicts             : 3183456      (7180 /sec)
443.33/443.52	c decisions             : 6648956      (14997 /sec)
443.33/443.52	c propagations          : 1551758203  (3499951 /sec)
443.33/443.52	c root propagations     : 1004        
443.33/443.52	c filter calls          : 478502879      (1079251 /sec)
443.33/443.52	c useless filter calls  : 337778252      (70 %)
443.33/443.52	c Memory used           : 26.79 MB
443.33/443.52	c CPU time              : 443.366 s
443.33/443.52	
443.33/443.52	s UNSATISFIABLE

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295280-1534344993/watcher-4295280-1534344993 -o /tmp/evaluation-result-4295280-1534344993/solver-4295280-1534344993 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1534344993-11949 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4295280-1534344993.xml 

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

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


[startup+0.100154 s]*
/proc/loadavg: 1.07 1.26 1.34 1/181 11966
/proc/meminfo: memFree=15845096/32770624 swapFree=67108504/67108860
[pid=11965] ppid=11962 vsize=5680 memory=140 CPUtime=0 cores=0,2,4,6
/proc/11965/stat : 11965 (cosoco) D 11962 11965 10094 0 -1 4194304 153 0 0 0 0 0 0 0 20 0 1 0 252062466 5816320 35 33554432000 4194304 6142532 140729536306208 140729536303304 140164829555194 0 0 4096 0 18446744071580431491 0 0 17 4 0 0 0 0 0 8243016 8247936 27545600 140729536308358 140729536308488 140729536308488 140729536311246 0
/proc/11965/statm: 1420 35 27 476 0 39 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 5680 KiB
Current children cumulated memory: 140 KiB

[startup+0.209142 s]*
/proc/loadavg: 1.07 1.26 1.34 1/181 11966
/proc/meminfo: memFree=15843544/32770624 swapFree=67108504/67108860
[pid=11965] ppid=11962 vsize=27292 memory=3652 CPUtime=0 cores=0,2,4,6
/proc/11965/stat : 11965 (cosoco) R 11962 11965 10094 0 -1 4202496 1065 0 6 0 0 0 0 0 20 0 1 0 252062466 27947008 913 33554432000 4194304 6142532 140729536306208 140729536299904 5489263 0 0 4096 0 0 0 0 17 4 0 0 15 0 0 8243016 8247936 27545600 140729536308358 140729536308488 140729536308488 140729536311246 0
/proc/11965/statm: 6823 913 789 476 0 145 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3652 KiB

[startup+0.309193 s]*
/proc/loadavg: 1.07 1.26 1.34 2/181 11966
/proc/meminfo: memFree=15843472/32770624 swapFree=67108504/67108860
[pid=11965] ppid=11962 vsize=27432 memory=3916 CPUtime=0.1 cores=0,2,4,6
/proc/11965/stat : 11965 (cosoco) R 11962 11965 10094 0 -1 4202496 1159 0 6 0 10 0 0 0 20 0 1 0 252062466 28090368 979 33554432000 4194304 6142532 140729536306208 140729536299904 4995816 0 0 4096 8405026 0 0 0 17 4 0 0 15 0 0 8243016 8247936 27545600 140729536308358 140729536308488 140729536308488 140729536311246 0
/proc/11965/statm: 6858 979 814 476 0 180 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27432 KiB
Current children cumulated memory: 3916 KiB

[startup+0.700338 s]
/proc/loadavg: 1.07 1.26 1.34 2/181 11966
/proc/meminfo: memFree=15843472/32770624 swapFree=67108504/67108860
[pid=11965] ppid=11962 vsize=27432 memory=3916 CPUtime=0.48 cores=0,2,4,6
/proc/11965/stat : 11965 (cosoco) R 11962 11965 10094 0 -1 4202496 1159 0 6 0 48 0 0 0 20 0 1 0 252062466 28090368 979 33554432000 4194304 6142532 140729536306208 140729536299904 5175264 0 0 4096 8405026 0 0 0 17 4 0 0 15 0 0 8243016 8247936 27545600 140729536308358 140729536308488 140729536308488 140729536311246 0
/proc/11965/statm: 6858 979 814 476 0 180 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 27432 KiB
Current children cumulated memory: 3916 KiB

[startup+1.50032 s]
/proc/loadavg: 1.07 1.26 1.34 2/181 11966
/proc/meminfo: memFree=15843472/32770624 swapFree=67108504/67108860
[pid=11965] ppid=11962 vsize=27432 memory=3916 CPUtime=1.28 cores=0,2,4,6
/proc/11965/stat : 11965 (cosoco) R 11962 11965 10094 0 -1 4202496 1159 0 6 0 128 0 0 0 20 0 1 0 252062466 28090368 979 33554432000 4194304 6142532 140729536306208 140729536303608 5061937 0 0 4096 8405026 0 0 0 17 4 0 0 15 0 0 8243016 8247936 27545600 140729536308358 140729536308488 140729536308488 140729536311246 0
/proc/11965/statm: 6858 979 814 476 0 180 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 27432 KiB
Current children cumulated memory: 3916 KiB

[startup+3.10862 s]
/proc/loadavg: 1.07 1.26 1.34 2/181 11966
/proc/meminfo: memFree=15843352/32770624 swapFree=67108504/67108860
[pid=11965] ppid=11962 vsize=27432 memory=4036 CPUtime=2.89 cores=0,2,4,6
/proc/11965/stat : 11965 (cosoco) R 11962 11965 10094 0 -1 4202496 1260 0 6 0 289 0 0 0 20 0 1 0 252062466 28090368 1009 33554432000 4194304 6142532 140729536306208 140729536303608 5327380 0 0 4096 8405026 0 0 0 17 4 0 0 15 0 0 8243016 8247936 27545600 140729536308358 140729536308488 140729536308488 140729536311246 0
/proc/11965/statm: 6858 1009 843 476 0 180 0
Current children cumulated CPU time: 2.89 s
Current children cumulated vsize: 27432 KiB
Current children cumulated memory: 4036 KiB

[startup+6.30033 s]
/proc/loadavg: 1.07 1.26 1.34 2/181 11966
/proc/meminfo: memFree=15843196/32770624 swapFree=67108504/67108860
[pid=11965] ppid=11962 vsize=27432 memory=4036 CPUtime=6.08 cores=0,2,4,6
/proc/11965/stat : 11965 (cosoco) R 11962 11965 10094 0 -1 4202496 1361 0 6 0 608 0 0 0 20 0 1 0 252062466 28090368 1009 33554432000 4194304 6142532 140729536306208 140729536303608 5053528 0 0 4096 8405026 0 0 0 17 4 0 0 15 0 0 8243016 8247936 27545600 140729536308358 140729536308488 140729536308488 140729536311246 0
/proc/11965/statm: 6858 1009 843 476 0 180 0
Current children cumulated CPU time: 6.08 s
Current children cumulated vsize: 27432 KiB
Current children cumulated memory: 4036 KiB

[startup+12.7003 s]
/proc/loadavg: 1.06 1.25 1.34 2/181 11966
/proc/meminfo: memFree=15843072/32770624 swapFree=67108504/67108860
[pid=11965] ppid=11962 vsize=27432 memory=4036 CPUtime=12.48 cores=0,2,4,6
/proc/11965/stat : 11965 (cosoco) R 11962 11965 10094 0 -1 4202496 1463 0 6 0 1248 0 0 0 20 0 1 0 252062466 28090368 1009 33554432000 4194304 6142532 140729536306208 140729536303608 4990603 0 0 4096 8405026 0 0 0 17 4 0 0 15 0 0 8243016 8247936 27545600 140729536308358 140729536308488 140729536308488 140729536311246 0
/proc/11965/statm: 6858 1009 843 476 0 180 0
Current children cumulated CPU time: 12.48 s
Current children cumulated vsize: 27432 KiB
Current children cumulated memory: 4036 KiB

[startup+25.5003 s]
/proc/loadavg: 1.05 1.24 1.33 2/181 11966
/proc/meminfo: memFree=15843072/32770624 swapFree=67108504/67108860
[pid=11965] ppid=11962 vsize=27432 memory=4036 CPUtime=25.29 cores=0,2,4,6
/proc/11965/stat : 11965 (cosoco) R 11962 11965 10094 0 -1 4202496 1666 0 6 0 2529 0 0 0 20 0 1 0 252062466 28090368 1009 33554432000 4194304 6142532 140729536306208 140729536303608 4995816 0 0 4096 8405026 0 0 0 17 4 0 0 15 0 0 8243016 8247936 27545600 140729536308358 140729536308488 140729536308488 140729536311246 0
/proc/11965/statm: 6858 1009 843 476 0 180 0
Current children cumulated CPU time: 25.29 s
Current children cumulated vsize: 27432 KiB
Current children cumulated memory: 4036 KiB

[startup+51.1086 s]
/proc/loadavg: 1.03 1.22 1.32 2/181 11966
/proc/meminfo: memFree=15843072/32770624 swapFree=67108504/67108860
[pid=11965] ppid=11962 vsize=27432 memory=4036 CPUtime=50.9 cores=0,2,4,6
/proc/11965/stat : 11965 (cosoco) R 11962 11965 10094 0 -1 4202496 1767 0 6 0 5090 0 0 0 20 0 1 0 252062466 28090368 1009 33554432000 4194304 6142532 140729536306208 140729536303608 4995461 0 0 4096 8405026 0 0 0 17 4 0 0 15 0 0 8243016 8247936 27545600 140729536308358 140729536308488 140729536308488 140729536311246 0
/proc/11965/statm: 6858 1009 843 476 0 180 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 27432 KiB
Current children cumulated memory: 4036 KiB

[startup+102.3 s]
/proc/loadavg: 1.01 1.19 1.31 2/181 11968
/proc/meminfo: memFree=15842964/32770624 swapFree=67108504/67108860
[pid=11965] ppid=11962 vsize=27432 memory=4036 CPUtime=102.09 cores=0,2,4,6
/proc/11965/stat : 11965 (cosoco) R 11962 11965 10094 0 -1 4202496 1870 0 6 0 10209 0 0 0 20 0 1 0 252062466 28090368 1009 33554432000 4194304 6142532 140729536306208 140729536303608 4995385 0 0 4096 8405026 0 0 0 17 4 0 0 15 0 0 8243016 8247936 27545600 140729536308358 140729536308488 140729536308488 140729536311246 0
/proc/11965/statm: 6858 1009 843 476 0 180 0
Current children cumulated CPU time: 102.09 s
Current children cumulated vsize: 27432 KiB
Current children cumulated memory: 4036 KiB

[startup+162.3 s]
/proc/loadavg: 1.01 1.15 1.29 2/181 11969
/proc/meminfo: memFree=15843220/32770624 swapFree=67108504/67108860
[pid=11965] ppid=11962 vsize=27432 memory=4036 CPUtime=162.1 cores=0,2,4,6
/proc/11965/stat : 11965 (cosoco) R 11962 11965 10094 0 -1 4202496 1972 0 6 0 16210 0 0 0 20 0 1 0 252062466 28090368 1009 33554432000 4194304 6142532 140729536306208 140729536303608 5170107 0 0 4096 8405026 0 0 0 17 4 0 0 15 0 0 8243016 8247936 27545600 140729536308358 140729536308488 140729536308488 140729536311246 0
/proc/11965/statm: 6858 1009 843 476 0 180 0
Current children cumulated CPU time: 162.1 s
Current children cumulated vsize: 27432 KiB
Current children cumulated memory: 4036 KiB

[startup+222.3 s]
/proc/loadavg: 1.00 1.13 1.27 2/183 11979
/proc/meminfo: memFree=15842080/32770624 swapFree=67108504/67108860
[pid=11965] ppid=11962 vsize=27432 memory=4036 CPUtime=222.11 cores=0,2,4,6
/proc/11965/stat : 11965 (cosoco) R 11962 11965 10094 0 -1 4202496 2073 0 6 0 22211 0 0 0 20 0 1 0 252062466 28090368 1009 33554432000 4194304 6142532 140729536306208 140729536303608 5058744 0 0 4096 8405026 0 0 0 17 4 0 0 15 0 0 8243016 8247936 27545600 140729536308358 140729536308488 140729536308488 140729536311246 0
/proc/11965/statm: 6858 1009 843 476 0 180 0
Current children cumulated CPU time: 222.11 s
Current children cumulated vsize: 27432 KiB
Current children cumulated memory: 4036 KiB

[startup+282.3 s]
/proc/loadavg: 1.00 1.10 1.25 2/184 12003
/proc/meminfo: memFree=15841336/32770624 swapFree=67108504/67108860
[pid=11965] ppid=11962 vsize=27432 memory=4036 CPUtime=282.12 cores=0,2,4,6
/proc/11965/stat : 11965 (cosoco) R 11962 11965 10094 0 -1 4202496 2074 0 6 0 28212 0 0 0 20 0 1 0 252062466 28090368 1009 33554432000 4194304 6142532 140729536306208 140729536303608 4995600 0 0 4096 8405026 0 0 0 17 4 0 0 15 0 0 8243016 8247936 27545600 140729536308358 140729536308488 140729536308488 140729536311246 0
/proc/11965/statm: 6858 1009 843 476 0 180 0
Current children cumulated CPU time: 282.12 s
Current children cumulated vsize: 27432 KiB
Current children cumulated memory: 4036 KiB

[startup+342.3 s]
/proc/loadavg: 1.00 1.08 1.24 2/183 12004
/proc/meminfo: memFree=15842152/32770624 swapFree=67108504/67108860
[pid=11965] ppid=11962 vsize=27432 memory=4036 CPUtime=342.12 cores=0,2,4,6
/proc/11965/stat : 11965 (cosoco) R 11962 11965 10094 0 -1 4202496 2176 0 6 0 34212 0 0 0 20 0 1 0 252062466 28090368 1009 33554432000 4194304 6142532 140729536306208 140729536303608 5061893 0 0 4096 8405026 0 0 0 17 4 0 0 15 0 0 8243016 8247936 27545600 140729536308358 140729536308488 140729536308488 140729536311246 0
/proc/11965/statm: 6858 1009 843 476 0 180 0
Current children cumulated CPU time: 342.12 s
Current children cumulated vsize: 27432 KiB
Current children cumulated memory: 4036 KiB

[startup+402.3 s]
/proc/loadavg: 1.00 1.07 1.22 2/183 12005
/proc/meminfo: memFree=15842408/32770624 swapFree=67108504/67108860
[pid=11965] ppid=11962 vsize=27432 memory=4036 CPUtime=402.13 cores=0,2,4,6
/proc/11965/stat : 11965 (cosoco) R 11962 11965 10094 0 -1 4202496 2176 0 6 0 40213 0 0 0 20 0 1 0 252062466 28090368 1009 33554432000 4194304 6142532 140729536306208 140729536303608 5061919 0 0 4096 8405026 0 0 0 17 4 0 0 15 0 0 8243016 8247936 27545600 140729536308358 140729536308488 140729536308488 140729536311246 0
/proc/11965/statm: 6858 1009 843 476 0 180 0
Current children cumulated CPU time: 402.13 s
Current children cumulated vsize: 27432 KiB
Current children cumulated memory: 4036 KiB

[startup+443.527 s]
# the end of solver process 11965 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=443.366 s, system=0.007 s

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

[startup+409.6 s]
/proc/loadavg: 1.00 1.07 1.22 2/183 12005
/proc/meminfo: memFree=15842408/32770624 swapFree=67108504/67108860
[pid=11965] ppid=11962 vsize=27432 memory=4036 CPUtime=409.43 cores=0,2,4,6
/proc/11965/stat : 11965 (cosoco) R 11962 11965 10094 0 -1 4202496 2176 0 6 0 40943 0 0 0 20 0 1 0 252062466 28090368 1009 33554432000 4194304 6142532 140729536306208 140729536303608 5054730 0 0 4096 8405026 0 0 0 17 4 0 0 15 0 0 8243016 8247936 27545600 140729536308358 140729536308488 140729536308488 140729536311246 0
/proc/11965/statm: 6858 1009 843 476 0 180 0
Current children cumulated CPU time: 409.43 s
Current children cumulated vsize: 27432 KiB
Current children cumulated memory: 4036 KiB

[startup+422.4 s]
/proc/loadavg: 1.08 1.08 1.22 2/183 12006
/proc/meminfo: memFree=15842284/32770624 swapFree=67108504/67108860
[pid=11965] ppid=11962 vsize=27432 memory=4036 CPUtime=422.23 cores=0,2,4,6
/proc/11965/stat : 11965 (cosoco) R 11962 11965 10094 0 -1 4202496 2265 0 6 0 42223 0 0 0 20 0 1 0 252062466 28090368 1009 33554432000 4194304 6142532 140729536306208 140729536303608 4995461 0 0 4096 8405026 0 0 0 17 4 0 0 15 0 0 8243016 8247936 27545600 140729536308358 140729536308488 140729536308488 140729536311246 0
/proc/11965/statm: 6858 1009 843 476 0 180 0
Current children cumulated CPU time: 422.23 s
Current children cumulated vsize: 27432 KiB
Current children cumulated memory: 4036 KiB

[startup+435.2 s]
/proc/loadavg: 1.06 1.08 1.22 2/183 12006
/proc/meminfo: memFree=15842408/32770624 swapFree=67108504/67108860
[pid=11965] ppid=11962 vsize=27432 memory=4036 CPUtime=435.03 cores=0,2,4,6
/proc/11965/stat : 11965 (cosoco) R 11962 11965 10094 0 -1 4202496 2265 0 6 0 43503 0 0 0 20 0 1 0 252062466 28090368 1009 33554432000 4194304 6142532 140729536306208 140729536303608 4995580 0 0 4096 8405026 0 0 0 17 4 0 0 15 0 0 8243016 8247936 27545600 140729536308358 140729536308488 140729536308488 140729536311246 0
/proc/11965/statm: 6858 1009 843 476 0 180 0
Current children cumulated CPU time: 435.03 s
Current children cumulated vsize: 27432 KiB
Current children cumulated memory: 4036 KiB

[startup+438.4 s]
/proc/loadavg: 1.06 1.08 1.22 2/183 12006
/proc/meminfo: memFree=15842408/32770624 swapFree=67108504/67108860
[pid=11965] ppid=11962 vsize=27432 memory=4036 CPUtime=438.23 cores=0,2,4,6
/proc/11965/stat : 11965 (cosoco) R 11962 11965 10094 0 -1 4202496 2265 0 6 0 43823 0 0 0 20 0 1 0 252062466 28090368 1009 33554432000 4194304 6142532 140729536306208 140729536303608 5175264 0 0 4096 8405026 0 0 0 17 4 0 0 15 0 0 8243016 8247936 27545600 140729536308358 140729536308488 140729536308488 140729536311246 0
/proc/11965/statm: 6858 1009 843 476 0 180 0
Current children cumulated CPU time: 438.23 s
Current children cumulated vsize: 27432 KiB
Current children cumulated memory: 4036 KiB

[startup+441.6 s]
/proc/loadavg: 1.06 1.08 1.22 2/183 12006
/proc/meminfo: memFree=15842408/32770624 swapFree=67108504/67108860
[pid=11965] ppid=11962 vsize=27432 memory=4036 CPUtime=441.43 cores=0,2,4,6
/proc/11965/stat : 11965 (cosoco) R 11962 11965 10094 0 -1 4202496 2265 0 6 0 44143 0 0 0 20 0 1 0 252062466 28090368 1009 33554432000 4194304 6142532 140729536306208 140729536303608 5061846 0 0 4096 8405026 0 0 0 17 4 0 0 15 0 0 8243016 8247936 27545600 140729536308358 140729536308488 140729536308488 140729536311246 0
/proc/11965/statm: 6858 1009 843 476 0 180 0
Current children cumulated CPU time: 441.43 s
Current children cumulated vsize: 27432 KiB
Current children cumulated memory: 4036 KiB

[startup+442.4 s]
/proc/loadavg: 1.06 1.08 1.22 2/183 12006
/proc/meminfo: memFree=15842408/32770624 swapFree=67108504/67108860
[pid=11965] ppid=11962 vsize=27432 memory=4036 CPUtime=442.23 cores=0,2,4,6
/proc/11965/stat : 11965 (cosoco) R 11962 11965 10094 0 -1 4202496 2265 0 6 0 44223 0 0 0 20 0 1 0 252062466 28090368 1009 33554432000 4194304 6142532 140729536306208 140729536303608 5058615 0 0 4096 8405026 0 0 0 17 4 0 0 15 0 0 8243016 8247936 27545600 140729536308358 140729536308488 140729536308488 140729536311246 0
/proc/11965/statm: 6858 1009 843 476 0 180 0
Current children cumulated CPU time: 442.23 s
Current children cumulated vsize: 27432 KiB
Current children cumulated memory: 4036 KiB

[startup+443.2 s]
/proc/loadavg: 1.06 1.08 1.22 2/183 12006
/proc/meminfo: memFree=15842408/32770624 swapFree=67108504/67108860
[pid=11965] ppid=11962 vsize=27432 memory=4036 CPUtime=443.03 cores=0,2,4,6
/proc/11965/stat : 11965 (cosoco) R 11962 11965 10094 0 -1 4202496 2265 0 6 0 44303 0 0 0 20 0 1 0 252062466 28090368 1009 33554432000 4194304 6142532 140729536306208 140729536303608 5058213 0 0 4096 8405026 0 0 0 17 4 0 0 15 0 0 8243016 8247936 27545600 140729536308358 140729536308488 140729536308488 140729536311246 0
/proc/11965/statm: 6858 1009 843 476 0 180 0
Current children cumulated CPU time: 443.03 s
Current children cumulated vsize: 27432 KiB
Current children cumulated memory: 4036 KiB

[startup+443.4 s]
/proc/loadavg: 1.06 1.08 1.22 2/183 12006
/proc/meminfo: memFree=15842408/32770624 swapFree=67108504/67108860
[pid=11965] ppid=11962 vsize=27432 memory=4036 CPUtime=443.23 cores=0,2,4,6
/proc/11965/stat : 11965 (cosoco) R 11962 11965 10094 0 -1 4202496 2265 0 6 0 44323 0 0 0 20 0 1 0 252062466 28090368 1009 33554432000 4194304 6142532 140729536306208 140729536303608 4995807 0 0 4096 8405026 0 0 0 17 4 0 0 15 0 0 8243016 8247936 27545600 140729536308358 140729536308488 140729536308488 140729536311246 0
/proc/11965/statm: 6858 1009 843 476 0 180 0
Current children cumulated CPU time: 443.23 s
Current children cumulated vsize: 27432 KiB
Current children cumulated memory: 4036 KiB

[startup+443.5 s]
/proc/loadavg: 1.06 1.08 1.22 2/183 12006
/proc/meminfo: memFree=15842408/32770624 swapFree=67108504/67108860
[pid=11965] ppid=11962 vsize=27432 memory=4036 CPUtime=443.33 cores=0,2,4,6
/proc/11965/stat : 11965 (cosoco) R 11962 11965 10094 0 -1 4202496 2265 0 6 0 44333 0 0 0 20 0 1 0 252062466 28090368 1009 33554432000 4194304 6142532 140729536306208 140729536303608 5058628 0 0 4096 8405026 0 0 0 17 4 0 0 15 0 0 8243016 8247936 27545600 140729536308358 140729536308488 140729536308488 140729536311246 0
/proc/11965/statm: 6858 1009 843 476 0 180 0
Current children cumulated CPU time: 443.33 s
Current children cumulated vsize: 27432 KiB
Current children cumulated memory: 4036 KiB

Child status: 0
Real time (s): 443.527
CPU time (s): 443.373
CPU user time (s): 443.366
CPU system time (s): 0.007
CPU usage (%): 99.9652
Max. virtual memory (cumulated for all children) (KiB): 27432
Max. memory (cumulated for all children) (KiB): 4036

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 443.366
system time used= 0.007
maximum resident set size= 4104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2313
page faults= 6
swaps= 0
block input operations= 3400
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 44
involuntary context switches= 185


# summary of solver processes directly reported to runsolver:
#   pid: 11965
#   total CPU time (s): 443.373
#   total CPU user time (s): 443.366
#   total CPU system time (s): 0.007

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.55674 second user time and 2.76585 second system time

The end

Launcher Data 

Begin job on node104 at 2018-08-15 16:56:33
IDJOB=4295280
IDBENCH=141501
IDSOLVER=2752
FILE ID=node104/4295280-1534344993
RUNJOBID= node104-1534344993-11949
PBS_JOBID= 21038167
Free space on /tmp= 44476 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/Subisomorphism/Subisomorphism-g11-g44_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4295280-1534344993/watcher-4295280-1534344993 -o /tmp/evaluation-result-4295280-1534344993/solver-4295280-1534344993 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1534344993-11949 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4295280-1534344993.xml

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

MD5SUM BENCH= 691a51199f261ec138535be56fe101c2
RANDOM SEED=18551492

node104.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.11
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.11
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.11
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.11
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:        15845992 kB
MemAvailable:   31900828 kB
Buffers:          252072 kB
Cached:         15872904 kB
SwapCached:            8 kB
Active:          7621960 kB
Inactive:        8554644 kB
Active(anon):       3380 kB
Inactive(anon):   109296 kB
Active(file):    7618580 kB
Inactive(file):  8445348 kB
Unevictable:        7304 kB
Mlocked:            7304 kB
SwapTotal:      67108860 kB
SwapFree:       67108504 kB
Dirty:              2808 kB
Writeback:             0 kB
AnonPages:         72816 kB
Mapped:            54940 kB
Shmem:             57828 kB
Slab:             447592 kB
SReclaimable:     419368 kB
SUnreclaim:        28224 kB
KernelStack:        3456 kB
PageTables:         4752 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     358088 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     20480 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 44476 MiB
End job on node104 at 2018-08-15 17:03:57