Trace number 4408532

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
cosoco 2.0UNSAT 384.926 384.941

General information on the benchmark

NameSubisomorphism/Subisomorphism-m1-LV/
Subisomorphism-g13-g27.xml
MD5SUM08191c1a00f6acedc1c5b66da9365c90
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 benchmark2.65448
Satisfiable
(Un)Satisfiability was proved
Number of variables49
Number of constraints163
Number of domains1
Minimum domain size86
Maximum domain size86
Distribution of domain sizes[{"size":86,"count":49}]
Minimum variable degree1
Maximum variable degree21
Distribution of variable degrees[{"degree":1,"count":10},{"degree":2,"count":2},{"degree":4,"count":6},{"degree":5,"count":6},{"degree":6,"count":8},{"degree":7,"count":3},{"degree":9,"count":2},{"degree":10,"count":4},{"degree":14,"count":1},{"degree":15,"count":1},{"degree":16,"count":1},{"degree":18,"count":1},{"degree":19,"count":3},{"degree":21,"count":1}]
Minimum constraint arity1
Maximum constraint arity49
Distribution of constraint arities[{"arity":1,"count":37},{"arity":2,"count":125},{"arity":49,"count":1}]
Number of extensional constraints162
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":162},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.01	c root propagations     : 1258        
0.00/0.01	c restarts enabled, print stats at every restarts
0.00/0.01	c
0.00/0.01	c
0.00/0.01	c
0.00/0.01	c This is cosoco 2.00 --  
0.00/0.01	c
0.00/0.01	c command line: cosoco -lc -model -restarts -stick HOME/instance-4408532-1569797006.xml 
0.00/0.01	c ========================================[ Problem Statistics ]===========================================
0.00/0.01	c |                                                                                                       
0.00/0.01	c |  Parse time        :         0.01 s 
0.00/0.01	c |
0.00/0.01	c |               Variables: 49
0.00/0.01	c |            Domain Sizes: 86..86
0.00/0.01	c |
0.00/0.01	c |             Constraints: 163
0.00/0.01	c |                   Arity: 1..49  -- Unary: 37  -- Binary: 125
0.00/0.01	c | 
0.00/0.01	c |                   Types: 
0.00/0.01	c |                          All Different: 1
0.00/0.01	c |                          Extension: 125  (nb tuples: 800..800) -- (shared: 150)
0.00/0.01	c |                          Unary: 37
0.00/0.01	c |                          
0.00/0.01	c =========================================================================================================
0.00/0.01	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.02	c 101            288            16923          20300          37             0              7   11   9     
0.00/0.03	c 211            588            32804          37004          37             0              7   11   9     
0.00/0.04	c 332            888            47759          58768          37             0              8   11   9     
0.00/0.06	c 465            1208           66746          85201          37             0              8   10   9     
0.00/0.07	c 611            1570           86979          109329         37             0              7   11   9     
0.00/0.09	c 771            1982           112018         142336         37             0              7   11   9     
0.00/0.10	c 947            2435           137625         170036         37             0              7   10   9     
0.10/0.12	c 1140           2927           161569         196917         37             0              7   12   9     
0.10/0.14	c 1352           3527           192067         229086         37             0              8   10   9     
0.10/0.17	c 1585           4229           238549         286188         37             0              6   10   9     
0.10/0.19	c 1841           4949           270544         319231         37             0              4   13   10    
0.21/0.22	c 2122           5741           313890         372976         37             0              7   10   9     
0.21/0.26	c 2431           6746           383641         459325         37             0              7   10   9     
0.21/0.29	c 2770           7722           439640         516939         37             0              6   11   9     
0.31/0.33	c 3142           8751           492538         578204         37             0              7   16   11    
0.31/0.38	c 3551           10032          587048         746049         37             0              4   12   8     
0.41/0.44	c 4000           11568          690360         877764         37             0              4   11   9     
0.41/0.49	c 4493           13006          773226         969250         37             0              6   12   9     
0.51/0.56	c 5035           14773          882990         1093637        37             0              6   10   9     
0.60/0.64	c 5631           16737          1015075        1247772        37             0              6   13   9     
0.69/0.72	c 6286           18727          1132271        1383031        37             0              7   10   9     
0.69/0.79	c 7006           20816          1248950        1503401        37             0              7   12   9     
0.79/0.89	c 7798           23159          1406749        1683187        37             0              5   13   9     
0.89/0.99	c 8669           25851          1567872        1870049        37             0              6   11   9     
1.00/1.09	c 9627           28851          1742849        2056160        37             0              7   10   9     
1.19/1.24	c 10680          32489          1966048        2322060        37             0              5   21   10    
1.29/1.38	c 11838          35878          2164093        2545798        37             0              7   12   9     
1.49/1.51	c 13111          39700          2387005        2790431        37             0              5   11   9     
1.59/1.66	c 14511          44607          2541624        2981707        37             0              6   17   12    
1.79/1.86	c 16051          49168          2660235        3272460        37             0              10   17   16   
1.89/1.99	c 17745          52433          2689087        3482736        37             0              10   17   16   
2.19/2.22	c 19608          57932          2883219        3786119        37             0              9   17   15    
2.39/2.41	c 21657          62669          2982758        4068086        37             0              8   17   16    
2.49/2.59	c 23910          67349          3103913        4337096        37             0              8   17   15    
2.79/2.86	c 26388          74740          3497058        4814139        37             0              5   15   10    
3.10/3.15	c 29113          83162          3968731        5371516        37             0              4   17   9     
3.39/3.49	c 32110          92021          4468507        5962652        37             0              6   16   10    
3.79/3.89	c 35406          102223         5092466        6726047        37             0              5   16   9     
4.19/4.29	c 39031          112583         5549901        7350818        37             0              5   17   11    
4.69/4.72	c 43018          124455         6222550        8114577        37             0              4   13   9     
5.00/5.10	c 47403          134744         6442767        8659203        37             0              6   17   14    
5.49/5.58	c 52226          148592         7215599        9462835        37             0              5   15   9     
6.19/6.20	c 57531          164264         8065952        10472321       37             0              6   13   10    
6.79/6.85	c 63366          182535         9049838        11511393       37             0              5   15   9     
7.59/7.69	c 69784          202113         10038090       12983236       37             0              4   18   11    
8.29/8.35	c 76843          221502         10563133       14028494       37             0              6   17   15    
9.29/9.31	c 84607          245697         11846948       15721262       37             0              5   17   10    
10.19/10.29	c 93147          272553         13340122       17329026       37             0              4   16   10    
11.19/11.28	c 102541         302131         14879476       18947285       37             0              5   15   10    
12.39/12.43	c 112874         334462         16557077       20809386       37             0              4   18   10    
13.69/13.73	c 124240         370466         18503616       22952792       37             0              6   17   12    
15.00/15.01	c 136742         405509         19844431       24632395       37             0              5   18   12    
16.59/16.63	c 150494         448822         22223206       27364736       37             0              3   17   10    
18.19/18.27	c 165621         496347         24815537       30106265       37             0              3   20   10    
20.29/20.35	c 182260         545684         27814456       33837117       37             0              4   17   9     
22.49/22.51	c 200562         599042         30282879       37462130       37             0              5   19   12    
24.49/24.56	c 220694         654079         31724849       40033157       37             0              8   18   15    
27.19/27.23	c 242839         723889         36023669       45086141       37             0              3   18   9     
29.89/29.96	c 267198         799596         40354946       50092986       37             0              3   20   10    
32.69/32.77	c 293992         874915         42547762       53981980       37             0              4   23   14    
36.10/36.16	c 323465         963265         46964438       59679182       37             0              3   19   11    
39.69/39.73	c 355885         1061405        52281217       66077979       37             0              3   17   10    
44.10/44.13	c 391547         1169221        58057378       74198017       37             0              4   20   11    
49.19/49.20	c 430775         1287462        65411130       83918897       37             0              4   17   9     
53.89/53.91	c 473925         1412296        71191443       91383801       37             0              3   18   11    
59.49/59.55	c 521390         1548385        75415672       99133529       37             0              8   19   16    
65.89/65.90	c 573601         1712298        85285241       110495818      37             0              4   20   10    
72.29/72.31	c 631033         1862799        89287181       119768196      37             0              5   21   15    
79.89/80.00	c 694208         2052811        100606415      133540223      37             0              4   21   10    
87.49/87.59	c 763700         2250747        109073836      145974465      37             0              3   19   12    
96.29/96.35	c 840141         2475732        117311290      158166691      37             0              6   20   15    
105.49/105.52	c 924226         2700475        127370318      173394816      37             0              4   20   12    
116.29/116.31	c 1016719        2976175        140423994      190812209      37             0              3   20   11    
128.00/128.07	c 1118461        3292167        157676176      211016843      37             0              2   18   10    
139.89/140.00	c 1230377        3611707        174232808      231724566      37             0              2   20   11    
154.19/154.23	c 1353484        3947091        183704061      252850019      37             0              4   22   14    
170.00/170.03	c 1488901        4331380        198430437      277860885      37             0              4   22   13    
186.00/186.04	c 1637859        4751040        214435556      302837505      37             0              3   22   12    
203.69/203.72	c 1801712        5203270        232853392      331684124      37             0              3   19   12    
222.69/222.75	c 1981950        5711001        252991786      363257473      37             0              3   22   12    
244.88/244.91	c 2180211        6266177        280267814      401557295      37             0              3   23   11    
270.28/270.35	c 2398298        6904080        305835305      440528162      37             0              5   21   14    
298.88/298.95	c 2638193        7580742        337277702      489247447      37             0              3   23   11    
329.78/329.85	c 2902077        8359431        370496347      536476226      37             0              4   21   14    
364.28/364.31	c 3192349        9208036        413038619      595936120      37             0              2   23   11    
384.88/384.94	s UNSATISFIABLE
384.88/384.94	c restarts              : 85          
384.88/384.94	c conflicts             : 3358379      (8725 /sec)
384.88/384.94	c decisions             : 9678522      (25144 /sec)
384.88/384.94	c propagations          : 631239538   (1639909 /sec)
384.88/384.94	c root propagations     : 1258        
384.88/384.94	c filter calls          : 435035920      (1130188 /sec)
384.88/384.94	c useless filter calls  : 380718572      (87 %)
384.88/384.94	c Memory used           : 26.85 MB
384.88/384.94	c CPU time              : 384.923 s
384.88/384.94	c real time             : 384.937 s
384.88/384.94

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408532-1569797006/watcher-4408532-1569797006 -o /tmp/evaluation-result-4408532-1569797006/solver-4408532-1569797006 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1569787336-17163 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408532-1569797006.xml 

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

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

solver pid=19244, runsolver pid=19241

[startup+0.100105 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 19245
/proc/meminfo: memFree=23330608/32770624 swapFree=66999256/67108860
[pid=19244] ppid=19241 vsize=27492 memory=3952 CPUtime=0.1 cores=0,2,4,6
/proc/19244/stat : 19244 (cosoco) R 19241 19244 17132 0 -1 4202496 1187 0 0 0 10 0 0 0 20 0 1 0 555953668 28151808 988 33554432000 4194304 6211132 140724173055536 140724173053800 5082438 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 12525568 140724173063179 140724173063281 140724173063281 140724173066190 0
/proc/19244/statm: 6873 988 831 493 0 178 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 3952 KiB

[startup+0.209392 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 19245
/proc/meminfo: memFree=23330608/32770624 swapFree=66999256/67108860
[pid=19244] ppid=19241 vsize=27492 memory=3952 CPUtime=0.21 cores=0,2,4,6
/proc/19244/stat : 19244 (cosoco) R 19241 19244 17132 0 -1 4202496 1187 0 0 0 21 0 0 0 20 0 1 0 555953668 28151808 988 33554432000 4194304 6211132 140724173055536 140724173053800 5075266 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 12525568 140724173063179 140724173063281 140724173063281 140724173066190 0
/proc/19244/statm: 6873 988 831 493 0 178 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 3952 KiB

[startup+0.308821 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 19245
/proc/meminfo: memFree=23330608/32770624 swapFree=66999256/67108860
[pid=19244] ppid=19241 vsize=27492 memory=3952 CPUtime=0.31 cores=0,2,4,6
/proc/19244/stat : 19244 (cosoco) R 19241 19244 17132 0 -1 4202496 1187 0 0 0 31 0 0 0 20 0 1 0 555953668 28151808 988 33554432000 4194304 6211132 140724173055536 140724173053800 5081731 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 12525568 140724173063179 140724173063281 140724173063281 140724173066190 0
/proc/19244/statm: 6873 988 831 493 0 178 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 3952 KiB

[startup+0.70023 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 19245
/proc/meminfo: memFree=23330608/32770624 swapFree=66999256/67108860
[pid=19244] ppid=19241 vsize=27492 memory=3952 CPUtime=0.69 cores=0,2,4,6
/proc/19244/stat : 19244 (cosoco) R 19241 19244 17132 0 -1 4202496 1187 0 0 0 69 0 0 0 20 0 1 0 555953668 28151808 988 33554432000 4194304 6211132 140724173055536 140724173053800 5075571 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 12525568 140724173063179 140724173063281 140724173063281 140724173066190 0
/proc/19244/statm: 6873 988 831 493 0 178 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 3952 KiB

[startup+1.50034 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 19245
/proc/meminfo: memFree=23330608/32770624 swapFree=66999256/67108860
[pid=19244] ppid=19241 vsize=27492 memory=3952 CPUtime=1.49 cores=0,2,4,6
/proc/19244/stat : 19244 (cosoco) R 19241 19244 17132 0 -1 4202496 1187 0 0 0 149 0 0 0 20 0 1 0 555953668 28151808 988 33554432000 4194304 6211132 140724173055536 140724173053496 5075296 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12525568 140724173063179 140724173063281 140724173063281 140724173066190 0
/proc/19244/statm: 6873 988 831 493 0 178 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 3952 KiB

[startup+3.10904 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 19246
/proc/meminfo: memFree=23330628/32770624 swapFree=66999256/67108860
[pid=19244] ppid=19241 vsize=27492 memory=4100 CPUtime=3.1 cores=0,2,4,6
/proc/19244/stat : 19244 (cosoco) R 19241 19244 17132 0 -1 4202496 1281 0 0 0 310 0 0 0 20 0 1 0 555953668 28151808 1025 33554432000 4194304 6211132 140724173055536 140724173053496 5078748 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12525568 140724173063179 140724173063281 140724173063281 140724173066190 0
/proc/19244/statm: 6873 1025 867 493 0 178 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4100 KiB

[startup+6.30033 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 19246
/proc/meminfo: memFree=23330448/32770624 swapFree=66999256/67108860
[pid=19244] ppid=19241 vsize=27492 memory=4100 CPUtime=6.29 cores=0,2,4,6
/proc/19244/stat : 19244 (cosoco) R 19241 19244 17132 0 -1 4202496 1375 0 0 0 629 0 0 0 20 0 1 0 555953668 28151808 1025 33554432000 4194304 6211132 140724173055536 140724173053496 5075833 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12525568 140724173063179 140724173063281 140724173063281 140724173066190 0
/proc/19244/statm: 6873 1025 867 493 0 178 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4100 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 19246
/proc/meminfo: memFree=23330360/32770624 swapFree=66999256/67108860
[pid=19244] ppid=19241 vsize=27492 memory=4100 CPUtime=12.69 cores=0,2,4,6
/proc/19244/stat : 19244 (cosoco) R 19241 19244 17132 0 -1 4202496 1469 0 0 0 1269 0 0 0 20 0 1 0 555953668 28151808 1025 33554432000 4194304 6211132 140724173055536 140724173053496 5017683 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12525568 140724173063179 140724173063281 140724173063281 140724173066190 0
/proc/19244/statm: 6873 1025 867 493 0 178 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4100 KiB

[startup+25.5003 s]
/proc/loadavg: 2.16 2.05 2.06 3/199 19246
/proc/meminfo: memFree=23330520/32770624 swapFree=66999256/67108860
[pid=19244] ppid=19241 vsize=27492 memory=4100 CPUtime=25.49 cores=0,2,4,6
/proc/19244/stat : 19244 (cosoco) R 19241 19244 17132 0 -1 4202496 1657 0 0 0 2549 0 0 0 20 0 1 0 555953668 28151808 1025 33554432000 4194304 6211132 140724173055536 140724173053496 5075597 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12525568 140724173063179 140724173063281 140724173063281 140724173066190 0
/proc/19244/statm: 6873 1025 867 493 0 178 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4100 KiB

[startup+51.1092 s]
/proc/loadavg: 2.69 2.19 2.10 3/199 19248
/proc/meminfo: memFree=23329404/32770624 swapFree=66999256/67108860
[pid=19244] ppid=19241 vsize=27492 memory=4100 CPUtime=51.1 cores=0,2,4,6
/proc/19244/stat : 19244 (cosoco) R 19241 19244 17132 0 -1 4202496 1751 0 0 0 5110 0 0 0 20 0 1 0 555953668 28151808 1025 33554432000 4194304 6211132 140724173055536 140724173053496 5075597 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12525568 140724173063179 140724173063281 140724173063281 140724173066190 0
/proc/19244/statm: 6873 1025 867 493 0 178 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4100 KiB

[startup+102.3 s]
/proc/loadavg: 2.41 2.20 2.11 3/200 19253
/proc/meminfo: memFree=23329384/32770624 swapFree=66999256/67108860
[pid=19244] ppid=19241 vsize=27492 memory=4100 CPUtime=102.29 cores=0,2,4,6
/proc/19244/stat : 19244 (cosoco) R 19241 19244 17132 0 -1 4202496 1845 0 0 0 10229 0 0 0 20 0 1 0 555953668 28151808 1025 33554432000 4194304 6211132 140724173055536 140724173053496 5193760 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12525568 140724173063179 140724173063281 140724173063281 140724173066190 0
/proc/19244/statm: 6873 1025 867 493 0 178 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4100 KiB

[startup+162.3 s]
/proc/loadavg: 2.21 2.18 2.11 3/200 19257
/proc/meminfo: memFree=23328980/32770624 swapFree=66999256/67108860
[pid=19244] ppid=19241 vsize=27492 memory=4100 CPUtime=162.29 cores=0,2,4,6
/proc/19244/stat : 19244 (cosoco) R 19241 19244 17132 0 -1 4202496 1939 0 0 0 16229 0 0 0 20 0 1 0 555953668 28151808 1025 33554432000 4194304 6211132 140724173055536 140724173053496 5081337 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12525568 140724173063179 140724173063281 140724173063281 140724173066190 0
/proc/19244/statm: 6873 1025 867 493 0 178 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4100 KiB

[startup+222.3 s]
/proc/loadavg: 2.08 2.15 2.11 3/201 19263
/proc/meminfo: memFree=23328676/32770624 swapFree=66999256/67108860
[pid=19244] ppid=19241 vsize=27492 memory=4100 CPUtime=222.29 cores=0,2,4,6
/proc/19244/stat : 19244 (cosoco) R 19241 19244 17132 0 -1 4202496 2033 0 0 0 22229 0 0 0 20 0 1 0 555953668 28151808 1025 33554432000 4194304 6211132 140724173055536 140724173053496 5075597 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12525568 140724173063179 140724173063281 140724173063281 140724173066190 0
/proc/19244/statm: 6873 1025 867 493 0 178 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4100 KiB

[startup+282.3 s]
/proc/loadavg: 2.08 2.14 2.11 3/200 19267
/proc/meminfo: memFree=23328696/32770624 swapFree=66999256/67108860
[pid=19244] ppid=19241 vsize=27492 memory=4100 CPUtime=282.28 cores=0,2,4,6
/proc/19244/stat : 19244 (cosoco) R 19241 19244 17132 0 -1 4202496 2127 0 0 0 28228 0 0 0 20 0 1 0 555953668 28151808 1025 33554432000 4194304 6211132 140724173055536 140724173053496 5079440 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12525568 140724173063179 140724173063281 140724173063281 140724173066190 0
/proc/19244/statm: 6873 1025 867 493 0 178 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4100 KiB

[startup+342.3 s]
/proc/loadavg: 2.03 2.11 2.10 3/200 19271
/proc/meminfo: memFree=23328280/32770624 swapFree=66999256/67108860
[pid=19244] ppid=19241 vsize=27492 memory=4100 CPUtime=342.28 cores=0,2,4,6
/proc/19244/stat : 19244 (cosoco) R 19241 19244 17132 0 -1 4202496 2221 0 0 0 34228 0 0 0 20 0 1 0 555953668 28151808 1025 33554432000 4194304 6211132 140724173055536 140724173053496 5074322 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12525568 140724173063179 140724173063281 140724173063281 140724173066190 0
/proc/19244/statm: 6873 1025 867 493 0 178 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4100 KiB

[startup+384.94 s]
# the end of solver process 19244 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=384.924 s, system=0.001999 s

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

[startup+358.4 s]
/proc/loadavg: 2.02 2.11 2.10 3/200 19273
/proc/meminfo: memFree=23327952/32770624 swapFree=66999256/67108860
[pid=19244] ppid=19241 vsize=27492 memory=4100 CPUtime=358.38 cores=0,2,4,6
/proc/19244/stat : 19244 (cosoco) R 19241 19244 17132 0 -1 4202496 2303 0 0 0 35838 0 0 0 20 0 1 0 555953668 28151808 1025 33554432000 4194304 6211132 140724173055536 140724173053496 5076405 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12525568 140724173063179 140724173063281 140724173063281 140724173066190 0
/proc/19244/statm: 6873 1025 867 493 0 178 0
Current children cumulated CPU time: 358.38 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4100 KiB

[startup+371.2 s]
/proc/loadavg: 2.10 2.12 2.10 3/199 19275
/proc/meminfo: memFree=23328452/32770624 swapFree=66999256/67108860
[pid=19244] ppid=19241 vsize=27492 memory=4100 CPUtime=371.18 cores=0,2,4,6
/proc/19244/stat : 19244 (cosoco) R 19241 19244 17132 0 -1 4202496 2315 0 0 0 37118 0 0 0 20 0 1 0 555953668 28151808 1025 33554432000 4194304 6211132 140724173055536 140724173053496 5193760 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12525568 140724173063179 140724173063281 140724173063281 140724173066190 0
/proc/19244/statm: 6873 1025 867 493 0 178 0
Current children cumulated CPU time: 371.18 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4100 KiB

[startup+377.6 s]
/proc/loadavg: 2.09 2.11 2.10 3/199 19275
/proc/meminfo: memFree=23328824/32770624 swapFree=66999256/67108860
[pid=19244] ppid=19241 vsize=27492 memory=4100 CPUtime=377.58 cores=0,2,4,6
/proc/19244/stat : 19244 (cosoco) R 19241 19244 17132 0 -1 4202496 2315 0 0 0 37758 0 0 0 20 0 1 0 555953668 28151808 1025 33554432000 4194304 6211132 140724173055536 140724173053496 5082336 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12525568 140724173063179 140724173063281 140724173063281 140724173066190 0
/proc/19244/statm: 6873 1025 867 493 0 178 0
Current children cumulated CPU time: 377.58 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4100 KiB

[startup+380.8 s]
/proc/loadavg: 2.09 2.11 2.10 3/199 19275
/proc/meminfo: memFree=23328436/32770624 swapFree=66999256/67108860
[pid=19244] ppid=19241 vsize=27492 memory=4100 CPUtime=380.78 cores=0,2,4,6
/proc/19244/stat : 19244 (cosoco) R 19241 19244 17132 0 -1 4202496 2315 0 0 0 38078 0 0 0 20 0 1 0 555953668 28151808 1025 33554432000 4194304 6211132 140724173055536 140724173053496 5081320 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12525568 140724173063179 140724173063281 140724173063281 140724173066190 0
/proc/19244/statm: 6873 1025 867 493 0 178 0
Current children cumulated CPU time: 380.78 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4100 KiB

[startup+382.4 s]
/proc/loadavg: 2.08 2.11 2.10 3/199 19275
/proc/meminfo: memFree=23328560/32770624 swapFree=66999256/67108860
[pid=19244] ppid=19241 vsize=27492 memory=4100 CPUtime=382.38 cores=0,2,4,6
/proc/19244/stat : 19244 (cosoco) R 19241 19244 17132 0 -1 4202496 2315 0 0 0 38238 0 0 0 20 0 1 0 555953668 28151808 1025 33554432000 4194304 6211132 140724173055536 140724173053496 5076376 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12525568 140724173063179 140724173063281 140724173063281 140724173066190 0
/proc/19244/statm: 6873 1025 867 493 0 178 0
Current children cumulated CPU time: 382.38 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4100 KiB

[startup+384 s]*
/proc/loadavg: 2.08 2.11 2.10 3/199 19275
/proc/meminfo: memFree=23328560/32770624 swapFree=66999256/67108860
[pid=19244] ppid=19241 vsize=27492 memory=4100 CPUtime=383.99 cores=0,2,4,6
/proc/19244/stat : 19244 (cosoco) R 19241 19244 17132 0 -1 4202496 2315 0 0 0 38399 0 0 0 20 0 1 0 555953668 28151808 1025 33554432000 4194304 6211132 140724173055536 140724173053496 5390019 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12525568 140724173063179 140724173063281 140724173063281 140724173066190 0
/proc/19244/statm: 6873 1025 867 493 0 178 0
Current children cumulated CPU time: 383.99 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4100 KiB

[startup+384.4 s]
/proc/loadavg: 2.08 2.11 2.10 3/199 19275
/proc/meminfo: memFree=23328560/32770624 swapFree=66999256/67108860
[pid=19244] ppid=19241 vsize=27492 memory=4100 CPUtime=384.38 cores=0,2,4,6
/proc/19244/stat : 19244 (cosoco) R 19241 19244 17132 0 -1 4202496 2315 0 0 0 38438 0 0 0 20 0 1 0 555953668 28151808 1025 33554432000 4194304 6211132 140724173055536 140724173053496 5389467 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12525568 140724173063179 140724173063281 140724173063281 140724173066190 0
/proc/19244/statm: 6873 1025 867 493 0 178 0
Current children cumulated CPU time: 384.38 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4100 KiB

[startup+384.8 s]
/proc/loadavg: 2.08 2.11 2.10 3/199 19275
/proc/meminfo: memFree=23328560/32770624 swapFree=66999256/67108860
[pid=19244] ppid=19241 vsize=27492 memory=4100 CPUtime=384.78 cores=0,2,4,6
/proc/19244/stat : 19244 (cosoco) R 19241 19244 17132 0 -1 4202496 2315 0 0 0 38478 0 0 0 20 0 1 0 555953668 28151808 1025 33554432000 4194304 6211132 140724173055536 140724173053496 5392352 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12525568 140724173063179 140724173063281 140724173063281 140724173066190 0
/proc/19244/statm: 6873 1025 867 493 0 178 0
Current children cumulated CPU time: 384.78 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4100 KiB

[startup+384.9 s]
/proc/loadavg: 2.08 2.11 2.10 3/199 19275
/proc/meminfo: memFree=23328560/32770624 swapFree=66999256/67108860
[pid=19244] ppid=19241 vsize=27492 memory=4100 CPUtime=384.88 cores=0,2,4,6
/proc/19244/stat : 19244 (cosoco) R 19241 19244 17132 0 -1 4202496 2315 0 0 0 38488 0 0 0 20 0 1 0 555953668 28151808 1025 33554432000 4194304 6211132 140724173055536 140724173053496 5075568 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12525568 140724173063179 140724173063281 140724173063281 140724173066190 0
/proc/19244/statm: 6873 1025 867 493 0 178 0
Current children cumulated CPU time: 384.88 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4100 KiB

Child status: 0
Real time (s): 384.941
CPU time (s): 384.926
CPU user time (s): 384.924
CPU system time (s): 0.001999
CPU usage (%): 99.9962
Max. virtual memory (cumulated for all children) (KiB): 27492
Max. memory (cumulated for all children) (KiB): 4100

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 384.924
system time used= 0.001999
maximum resident set size= 4168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2353
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 102


# summary of solver processes directly reported to runsolver:
#   pid: 19244
#   total CPU time (s): 384.926
#   total CPU user time (s): 384.924
#   total CPU system time (s): 0.001999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.46478 second user time and 2.49082 second system time

The end

Launcher Data 

Begin job on node103 at 2019-09-30 00:42:27
IDJOB=4408532
IDBENCH=132533
IDSOLVER=2875
FILE ID=node103/4408532-1569797006
RUNJOBID= node103-1569787336-17163
PBS_JOBID= 21705840
Free space on /tmp= 62020 MiB

SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-LV/Subisomorphism-g13-g27.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4408532-1569797006/watcher-4408532-1569797006 -o /tmp/evaluation-result-4408532-1569797006/solver-4408532-1569797006 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1569787336-17163 --watchdog 2560  cosoco -lc -model -restarts -stick HOME/instance-4408532-1569797006.xml

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

MD5SUM BENCH= 08191c1a00f6acedc1c5b66da9365c90
RANDOM SEED=1325208734

node103.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.74
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.74
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.74
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.74
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:        23330504 kB
MemAvailable:   23554232 kB
Buffers:          163540 kB
Cached:           405068 kB
SwapCached:         7000 kB
Active:          8640096 kB
Inactive:         244064 kB
Active(anon):    8322900 kB
Inactive(anon):    74928 kB
Active(file):     317196 kB
Inactive(file):   169136 kB
Unevictable:      107020 kB
Mlocked:          107020 kB
SwapTotal:      67108860 kB
SwapFree:       66999256 kB
Dirty:              2788 kB
Writeback:             0 kB
AnonPages:       8416844 kB
Mapped:            27760 kB
Shmem:             73656 kB
Slab:             135212 kB
SReclaimable:     106460 kB
SUnreclaim:        28752 kB
KernelStack:        3552 kB
PageTables:        21824 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    8869612 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3194880 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= 62020 MiB
End job on node103 at 2019-09-30 00:48:52