Trace number 4294128

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.12? (TO) 2520.02 2519.7

General information on the benchmark

NameBibd/
Bibd-sum-22-033-12-08-04_c18.xml
MD5SUMf3f766a62b1d9930afd3b37b1c8667ba
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables726
Number of constraints287
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":726}]
Minimum variable degree24
Maximum variable degree24
Distribution of variable degrees[{"degree":24,"count":726}]
Minimum constraint arity22
Maximum constraint arity726
Distribution of constraint arities[{"arity":22,"count":33},{"arity":33,"count":22},{"arity":66,"count":231},{"arity":726,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"lex","count":1},{"type":"sum","count":286}]
Optimization problemNO
Type of objective

Solver Data 

0.10/0.19	c root propagations     : 0           
0.10/0.19	c restarts enabled, print stats at every restarts
0.10/0.19	c
0.10/0.19	c
0.10/0.19	c
0.10/0.19	c This is cosoco 1.12 --  
0.10/0.19	c
0.10/0.19	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4294128-1532397319.xml 
0.10/0.19	c ========================================[ Problem Statistics ]===========================================
0.10/0.19	c |                                                                                                       
0.10/0.19	c |  Parse time        :         0.18 s 
0.10/0.19	c |
0.10/0.19	c |               Variables: 726
0.10/0.19	c |            Domain Sizes: 2..2
0.10/0.19	c |
0.10/0.19	c |             Constraints: 339
0.10/0.19	c |                   Arity: 22..66
0.10/0.19	c | 
0.10/0.19	c |                   Types: 
0.10/0.19	c |                          Intension: 231
0.10/0.19	c |                          Lex: 53
0.10/0.19	c |                          Sum: 55
0.10/0.19	c |                          
0.10/0.19	c =========================================================================================================
0.10/0.19	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
2.49/2.57	c 101            336            13007          2182           0              0              55   62   58   
3.79/3.87	c 211            699            26800          4092           0              0              3   62   58    
5.79/5.80	c 332            1120           42515          6246           0              0              5   63   58    
7.79/7.83	c 465            1602           61522          8705           0              0              3   63   59    
10.19/10.22	c 611            2062           78670          10884          0              0              5   64   59    
25.59/25.60	c 771            2615           102533         13386          0              0              6   105   66   
72.60/72.65	c 947            3363           136554         17072          0              0              3   86   73    
74.80/74.85	c 1140           4002           161792         20303          0              0              4   65   60    
210.41/210.48	c 1352           4916           197479         23448          0              0              6   123   116  
288.22/288.29	c 1585           5866           234261         26983          0              0              2   86   77    
393.44/393.47	c 1841           6906           281958         31742          0              0              3   86   80    
459.64/459.70	c 2122           8204           343122         37798          0              0              4   152   114  
639.57/639.55	c 2431           9508           396214         42493          0              0              5   152   136  
702.97/702.95	c 2770           11165          488594         55647          0              0              6   120   92   
718.18/718.17	c 3142           12988          558536         64785          0              0              2   120   76   
723.18/723.11	c 3551           15110          714807         81956          0              0              2   68   64    
843.20/843.16	c 4000           18718          852162         98847          0              0              2   119   98   
893.50/893.45	c 4493           20783          946207         110434         0              0              2   98   91    
911.40/911.30	c 5035           22678          1026214        121270         0              0              2   64   60    
1113.73/1113.68	c 5631           25510          1150728        137088         0              0              2   160   145  
1332.66/1332.55	c 6286           30679          1441955        162414         0              0              2   126   113  
1510.58/1510.41	c 7006           33795          1578987        178409         5              0              1   305   177  
1812.62/1812.46	c 7798           37169          1723680        196712         5              0              65   267   207 
1891.34/1891.14	c 8669           40783          1882623        215979         5              0              65   168   128 
2111.56/2111.39	c 9627           44991          2071556        238915         5              0              102   237   191
2248.68/2248.41	c 10680          49725          2281835        265930         5              0              66   197   176 
2520.01/2519.70	
2520.01/2519.70	c *** INTERRUPTED ***
2520.01/2519.70	c restarts              : 26          
2520.01/2519.70	c conflicts             : 11628        (5 /sec)
2520.01/2519.70	c decisions             : 53741        (21 /sec)
2520.01/2519.70	c propagations          : 285166      (113 /sec)
2520.01/2519.70	c root propagations     : 0           
2520.01/2519.70	c filter calls          : 2451764        (973 /sec)
2520.01/2519.70	c useless filter calls  : 2382490        (97 %)
2520.01/2519.70	c Memory used           : 35.98 MB
2520.01/2519.70	c CPU time              : 2520 s
2520.01/2519.70	
2520.01/2519.70	s UNKNOWN

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294128-1532397319/watcher-4294128-1532397319 -o /tmp/evaluation-result-4294128-1532397319/solver-4294128-1532397319 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532371797-14425 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4294128-1532397319.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
Current StackSize limit: 8192 KiB

solver pid=17329, runsolver pid=17326

[startup+0.100095 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 17330
/proc/meminfo: memFree=16118700/32770624 swapFree=67108860/67108860
[pid=17329] ppid=17326 vsize=31456 memory=7916 CPUtime=0.1 cores=0,2,4,6
/proc/17329/stat : 17329 (cosoco) R 17326 17329 14394 0 -1 4202496 2137 0 0 0 10 0 0 0 20 0 1 0 57295080 32210944 1979 33554432000 4194304 6142532 140735842965296 140735842961928 140043116116965 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34217984 140735842972806 140735842972936 140735842972936 140735842975694 0
/proc/17329/statm: 7864 1979 833 476 0 1186 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 31456 KiB
Current children cumulated memory: 7916 KiB

[startup+0.209838 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 17330
/proc/meminfo: memFree=16114856/32770624 swapFree=67108860/67108860
[pid=17329] ppid=17326 vsize=34988 memory=11584 CPUtime=0.21 cores=0,2,4,6
/proc/17329/stat : 17329 (cosoco) R 17326 17329 14394 0 -1 4202496 3094 0 0 0 21 0 0 0 20 0 1 0 57295080 35827712 2896 33554432000 4194304 6142532 140735842965296 140735842961928 5374088 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34217984 140735842972806 140735842972936 140735842972936 140735842975694 0
/proc/17329/statm: 8747 2896 840 476 0 2069 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 34988 KiB
Current children cumulated memory: 11584 KiB

[startup+0.309219 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 17330
/proc/meminfo: memFree=16114856/32770624 swapFree=67108860/67108860
[pid=17329] ppid=17326 vsize=34988 memory=11584 CPUtime=0.3 cores=0,2,4,6
/proc/17329/stat : 17329 (cosoco) R 17326 17329 14394 0 -1 4202496 3094 0 0 0 30 0 0 0 20 0 1 0 57295080 35827712 2896 33554432000 4194304 6142532 140735842965296 140735842961928 5398785 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34217984 140735842972806 140735842972936 140735842972936 140735842975694 0
/proc/17329/statm: 8747 2896 840 476 0 2069 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 34988 KiB
Current children cumulated memory: 11584 KiB

[startup+0.700337 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 17330
/proc/meminfo: memFree=16114856/32770624 swapFree=67108860/67108860
[pid=17329] ppid=17326 vsize=34988 memory=11584 CPUtime=0.69 cores=0,2,4,6
/proc/17329/stat : 17329 (cosoco) R 17326 17329 14394 0 -1 4202496 3094 0 0 0 69 0 0 0 20 0 1 0 57295080 35827712 2896 33554432000 4194304 6142532 140735842965296 140735842961928 140043117040474 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34217984 140735842972806 140735842972936 140735842972936 140735842975694 0
/proc/17329/statm: 8747 2896 840 476 0 2069 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 34988 KiB
Current children cumulated memory: 11584 KiB

[startup+1.50033 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 17330
/proc/meminfo: memFree=16114592/32770624 swapFree=67108860/67108860
[pid=17329] ppid=17326 vsize=34988 memory=11584 CPUtime=1.49 cores=0,2,4,6
/proc/17329/stat : 17329 (cosoco) R 17326 17329 14394 0 -1 4202496 3094 0 0 0 149 0 0 0 20 0 1 0 57295080 35827712 2896 33554432000 4194304 6142532 140735842965296 140735842962952 4965024 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34217984 140735842972806 140735842972936 140735842972936 140735842975694 0
/proc/17329/statm: 8747 2896 840 476 0 2069 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 34988 KiB
Current children cumulated memory: 11584 KiB

[startup+3.10894 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 17330
/proc/meminfo: memFree=16114592/32770624 swapFree=67108860/67108860
[pid=17329] ppid=17326 vsize=34988 memory=11752 CPUtime=3.1 cores=0,2,4,6
/proc/17329/stat : 17329 (cosoco) R 17326 17329 14394 0 -1 4202496 4016 0 0 0 310 0 0 0 20 0 1 0 57295080 35827712 2938 33554432000 4194304 6142532 140735842965296 140735842962952 5371782 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34217984 140735842972806 140735842972936 140735842972936 140735842975694 0
/proc/17329/statm: 8747 2938 877 476 0 2069 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 34988 KiB
Current children cumulated memory: 11752 KiB

[startup+6.30033 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 17330
/proc/meminfo: memFree=16114556/32770624 swapFree=67108860/67108860
[pid=17329] ppid=17326 vsize=34988 memory=11752 CPUtime=6.29 cores=0,2,4,6
/proc/17329/stat : 17329 (cosoco) R 17326 17329 14394 0 -1 4202496 4909 0 0 0 629 0 0 0 20 0 1 0 57295080 35827712 2938 33554432000 4194304 6142532 140735842965296 140735842962696 5366690 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34217984 140735842972806 140735842972936 140735842972936 140735842975694 0
/proc/17329/statm: 8747 2938 877 476 0 2069 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 34988 KiB
Current children cumulated memory: 11752 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 17330
/proc/meminfo: memFree=16114776/32770624 swapFree=67108860/67108860
[pid=17329] ppid=17326 vsize=34988 memory=11752 CPUtime=12.69 cores=0,2,4,6
/proc/17329/stat : 17329 (cosoco) R 17326 17329 14394 0 -1 4202496 5920 0 0 0 1269 0 0 0 20 0 1 0 57295080 35827712 2938 33554432000 4194304 6142532 140735842965296 140735842962696 5376422 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34217984 140735842972806 140735842972936 140735842972936 140735842975694 0
/proc/17329/statm: 8747 2938 877 476 0 2069 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 34988 KiB
Current children cumulated memory: 11752 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 17330
/proc/meminfo: memFree=16114900/32770624 swapFree=67108860/67108860
[pid=17329] ppid=17326 vsize=34988 memory=11752 CPUtime=25.49 cores=0,2,4,6
/proc/17329/stat : 17329 (cosoco) R 17326 17329 14394 0 -1 4202496 6507 0 0 0 2549 0 0 0 20 0 1 0 57295080 35827712 2938 33554432000 4194304 6142532 140735842965296 140735842962696 5146712 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34217984 140735842972806 140735842972936 140735842972936 140735842975694 0
/proc/17329/statm: 8747 2938 877 476 0 2069 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 34988 KiB
Current children cumulated memory: 11752 KiB

[startup+51.109 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 17330
/proc/meminfo: memFree=16114984/32770624 swapFree=67108860/67108860
[pid=17329] ppid=17326 vsize=35120 memory=11756 CPUtime=51.1 cores=0,2,4,6
/proc/17329/stat : 17329 (cosoco) R 17326 17329 14394 0 -1 4202496 7458 0 0 0 5110 0 0 0 20 0 1 0 57295080 35962880 2939 33554432000 4194304 6142532 140735842965296 140735842962328 140043126061908 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34217984 140735842972806 140735842972936 140735842972936 140735842975694 0
/proc/17329/statm: 8780 2939 877 476 0 2102 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 35120 KiB
Current children cumulated memory: 11756 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 17331
/proc/meminfo: memFree=16114188/32770624 swapFree=67108860/67108860
[pid=17329] ppid=17326 vsize=35120 memory=11804 CPUtime=102.3 cores=0,2,4,6
/proc/17329/stat : 17329 (cosoco) R 17326 17329 14394 0 -1 4202496 7928 0 0 0 10230 0 0 0 20 0 1 0 57295080 35962880 2951 33554432000 4194304 6142532 140735842965296 140735842962696 140043117043131 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34217984 140735842972806 140735842972936 140735842972936 140735842975694 0
/proc/17329/statm: 8780 2951 877 476 0 2102 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 35120 KiB
Current children cumulated memory: 11804 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 17332
/proc/meminfo: memFree=16114064/32770624 swapFree=67108860/67108860
[pid=17329] ppid=17326 vsize=35120 memory=11880 CPUtime=162.31 cores=0,2,4,6
/proc/17329/stat : 17329 (cosoco) R 17326 17329 14394 0 -1 4202496 8111 0 0 0 16231 0 0 0 20 0 1 0 57295080 35962880 2970 33554432000 4194304 6142532 140735842965296 140735842962696 140043117041200 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34217984 140735842972806 140735842972936 140735842972936 140735842975694 0
/proc/17329/statm: 8780 2970 877 476 0 2102 0
Current children cumulated CPU time: 162.31 s
Current children cumulated vsize: 35120 KiB
Current children cumulated memory: 11880 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 17334
/proc/meminfo: memFree=16113932/32770624 swapFree=67108860/67108860
[pid=17329] ppid=17326 vsize=35252 memory=11936 CPUtime=222.31 cores=0,2,4,6
/proc/17329/stat : 17329 (cosoco) R 17326 17329 14394 0 -1 4202496 8471 0 0 0 22231 0 0 0 20 0 1 0 57295080 36098048 2984 33554432000 4194304 6142532 140735842965296 140735842962696 5367122 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34217984 140735842972806 140735842972936 140735842972936 140735842975694 0
/proc/17329/statm: 8813 2984 877 476 0 2135 0
Current children cumulated CPU time: 222.31 s
Current children cumulated vsize: 35252 KiB
Current children cumulated memory: 11936 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 17335
/proc/meminfo: memFree=16113992/32770624 swapFree=67108860/67108860
[pid=17329] ppid=17326 vsize=35252 memory=11936 CPUtime=282.32 cores=0,2,4,6
/proc/17329/stat : 17329 (cosoco) R 17326 17329 14394 0 -1 4202496 8471 0 0 0 28232 0 0 0 20 0 1 0 57295080 36098048 2984 33554432000 4194304 6142532 140735842965296 140735842962696 5361236 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34217984 140735842972806 140735842972936 140735842972936 140735842975694 0
/proc/17329/statm: 8813 2984 877 476 0 2135 0
Current children cumulated CPU time: 282.32 s
Current children cumulated vsize: 35252 KiB
Current children cumulated memory: 11936 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 17344
/proc/meminfo: memFree=16113096/32770624 swapFree=67108860/67108860
[pid=17329] ppid=17326 vsize=35252 memory=11936 CPUtime=342.33 cores=0,2,4,6
/proc/17329/stat : 17329 (cosoco) R 17326 17329 14394 0 -1 4202496 8639 0 0 0 34233 0 0 0 20 0 1 0 57295080 36098048 2984 33554432000 4194304 6142532 140735842965296 140735842962696 5367165 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34217984 140735842972806 140735842972936 140735842972936 140735842975694 0
/proc/17329/statm: 8813 2984 877 476 0 2135 0
Current children cumulated CPU time: 342.33 s
Current children cumulated vsize: 35252 KiB
Current children cumulated memory: 11936 KiB

[startup+402.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/190 17430
/proc/meminfo: memFree=15472812/32770624 swapFree=67108860/67108860
[pid=17329] ppid=17326 vsize=35252 memory=11956 CPUtime=402.34 cores=0,2,4,6
/proc/17329/stat : 17329 (cosoco) R 17326 17329 14394 0 -1 4202496 8828 0 0 0 40234 0 0 0 20 0 1 0 57295080 36098048 2989 33554432000 4194304 6142532 140735842965296 140735842962696 5376434 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34217984 140735842972806 140735842972936 140735842972936 140735842975694 0
/proc/17329/statm: 8813 2989 877 476 0 2135 0
Current children cumulated CPU time: 402.34 s
Current children cumulated vsize: 35252 KiB
Current children cumulated memory: 11956 KiB

[startup+462.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/190 17431
/proc/meminfo: memFree=15457492/32770624 swapFree=67108860/67108860
[pid=17329] ppid=17326 vsize=35384 memory=12072 CPUtime=462.34 cores=0,2,4,6
/proc/17329/stat : 17329 (cosoco) R 17326 17329 14394 0 -1 4202496 9324 0 0 0 46234 0 0 0 20 0 1 0 57295080 36233216 3018 33554432000 4194304 6142532 140735842965296 140735842962696 5372387 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34217984 140735842972806 140735842972936 140735842972936 140735842975694 0
/proc/17329/statm: 8846 3018 877 476 0 2168 0
Current children cumulated CPU time: 462.34 s
Current children cumulated vsize: 35384 KiB
Current children cumulated memory: 12072 KiB


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

/proc/17329/statm: 9143 3323 877 476 0 2465 0
Current children cumulated CPU time: 1782.52 s
Current children cumulated vsize: 36572 KiB
Current children cumulated memory: 13292 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 17471
/proc/meminfo: memFree=15413160/32770624 swapFree=67108860/67108860
[pid=17329] ppid=17326 vsize=36572 memory=13296 CPUtime=1842.52 cores=0,2,4,6
/proc/17329/stat : 17329 (cosoco) R 17326 17329 14394 0 -1 4202496 14622 0 0 0 184251 1 0 0 20 0 1 0 57295080 37449728 3324 33554432000 4194304 6142532 140735842965296 140735842962696 5398830 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34217984 140735842972806 140735842972936 140735842972936 140735842975694 0
/proc/17329/statm: 9143 3324 877 476 0 2465 0
Current children cumulated CPU time: 1842.52 s
Current children cumulated vsize: 36572 KiB
Current children cumulated memory: 13296 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 17472
/proc/meminfo: memFree=15409604/32770624 swapFree=67108860/67108860
[pid=17329] ppid=17326 vsize=36572 memory=13308 CPUtime=1902.53 cores=0,2,4,6
/proc/17329/stat : 17329 (cosoco) R 17326 17329 14394 0 -1 4202496 15197 0 0 0 190252 1 0 0 20 0 1 0 57295080 37449728 3327 33554432000 4194304 6142532 140735842965296 140735842962696 5372449 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34217984 140735842972806 140735842972936 140735842972936 140735842975694 0
/proc/17329/statm: 9143 3327 877 476 0 2465 0
Current children cumulated CPU time: 1902.53 s
Current children cumulated vsize: 36572 KiB
Current children cumulated memory: 13308 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 17473
/proc/meminfo: memFree=15405596/32770624 swapFree=67108860/67108860
[pid=17329] ppid=17326 vsize=36572 memory=13308 CPUtime=1962.54 cores=0,2,4,6
/proc/17329/stat : 17329 (cosoco) R 17326 17329 14394 0 -1 4202496 15197 0 0 0 196253 1 0 0 20 0 1 0 57295080 37449728 3327 33554432000 4194304 6142532 140735842965296 140735842962696 5367164 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34217984 140735842972806 140735842972936 140735842972936 140735842975694 0
/proc/17329/statm: 9143 3327 877 476 0 2465 0
Current children cumulated CPU time: 1962.54 s
Current children cumulated vsize: 36572 KiB
Current children cumulated memory: 13308 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 17475
/proc/meminfo: memFree=15405320/32770624 swapFree=67108860/67108860
[pid=17329] ppid=17326 vsize=36572 memory=13308 CPUtime=2022.55 cores=0,2,4,6
/proc/17329/stat : 17329 (cosoco) R 17326 17329 14394 0 -1 4202496 15465 0 0 0 202254 1 0 0 20 0 1 0 57295080 37449728 3327 33554432000 4194304 6142532 140735842965296 140735842962696 5372395 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34217984 140735842972806 140735842972936 140735842972936 140735842975694 0
/proc/17329/statm: 9143 3327 877 476 0 2465 0
Current children cumulated CPU time: 2022.55 s
Current children cumulated vsize: 36572 KiB
Current children cumulated memory: 13308 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 17476
/proc/meminfo: memFree=15405268/32770624 swapFree=67108860/67108860
[pid=17329] ppid=17326 vsize=36572 memory=13308 CPUtime=2082.55 cores=0,2,4,6
/proc/17329/stat : 17329 (cosoco) R 17326 17329 14394 0 -1 4202496 15649 0 0 0 208254 1 0 0 20 0 1 0 57295080 37449728 3327 33554432000 4194304 6142532 140735842965296 140735842962696 5146777 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34217984 140735842972806 140735842972936 140735842972936 140735842975694 0
/proc/17329/statm: 9143 3327 877 476 0 2465 0
Current children cumulated CPU time: 2082.55 s
Current children cumulated vsize: 36572 KiB
Current children cumulated memory: 13308 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 17485
/proc/meminfo: memFree=15405156/32770624 swapFree=67108860/67108860
[pid=17329] ppid=17326 vsize=36704 memory=13328 CPUtime=2142.56 cores=0,2,4,6
/proc/17329/stat : 17329 (cosoco) R 17326 17329 14394 0 -1 4202496 16288 0 0 0 214255 1 0 0 20 0 1 0 57295080 37584896 3332 33554432000 4194304 6142532 140735842965296 140735842962200 140043117040474 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34217984 140735842972806 140735842972936 140735842972936 140735842975694 0
/proc/17329/statm: 9176 3332 877 476 0 2498 0
Current children cumulated CPU time: 2142.56 s
Current children cumulated vsize: 36704 KiB
Current children cumulated memory: 13328 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 17486
/proc/meminfo: memFree=15405368/32770624 swapFree=67108860/67108860
[pid=17329] ppid=17326 vsize=36704 memory=13328 CPUtime=2202.57 cores=0,2,4,6
/proc/17329/stat : 17329 (cosoco) R 17326 17329 14394 0 -1 4202496 16310 0 0 0 220256 1 0 0 20 0 1 0 57295080 37584896 3332 33554432000 4194304 6142532 140735842965296 140735842962200 140043117037489 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34217984 140735842972806 140735842972936 140735842972936 140735842975694 0
/proc/17329/statm: 9176 3332 877 476 0 2498 0
Current children cumulated CPU time: 2202.57 s
Current children cumulated vsize: 36704 KiB
Current children cumulated memory: 13328 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 17487
/proc/meminfo: memFree=15405004/32770624 swapFree=67108860/67108860
[pid=17329] ppid=17326 vsize=36704 memory=13356 CPUtime=2262.58 cores=0,2,4,6
/proc/17329/stat : 17329 (cosoco) R 17326 17329 14394 0 -1 4202496 16856 0 0 0 226257 1 0 0 20 0 1 0 57295080 37584896 3339 33554432000 4194304 6142532 140735842965296 140735842962696 5363633 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34217984 140735842972806 140735842972936 140735842972936 140735842975694 0
/proc/17329/statm: 9176 3339 877 476 0 2498 0
Current children cumulated CPU time: 2262.58 s
Current children cumulated vsize: 36704 KiB
Current children cumulated memory: 13356 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 17488
/proc/meminfo: memFree=15404816/32770624 swapFree=67108860/67108860
[pid=17329] ppid=17326 vsize=36704 memory=13356 CPUtime=2322.58 cores=0,2,4,6
/proc/17329/stat : 17329 (cosoco) R 17326 17329 14394 0 -1 4202496 16857 0 0 0 232257 1 0 0 20 0 1 0 57295080 37584896 3339 33554432000 4194304 6142532 140735842965296 140735842962696 140043126061912 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34217984 140735842972806 140735842972936 140735842972936 140735842975694 0
/proc/17329/statm: 9176 3339 877 476 0 2498 0
Current children cumulated CPU time: 2322.58 s
Current children cumulated vsize: 36704 KiB
Current children cumulated memory: 13356 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 17489
/proc/meminfo: memFree=15400104/32770624 swapFree=67108860/67108860
[pid=17329] ppid=17326 vsize=36704 memory=13356 CPUtime=2382.59 cores=0,2,4,6
/proc/17329/stat : 17329 (cosoco) R 17326 17329 14394 0 -1 4202496 16993 0 0 0 238258 1 0 0 20 0 1 0 57295080 37584896 3339 33554432000 4194304 6142532 140735842965296 140735842962696 5366795 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34217984 140735842972806 140735842972936 140735842972936 140735842975694 0
/proc/17329/statm: 9176 3339 877 476 0 2498 0
Current children cumulated CPU time: 2382.59 s
Current children cumulated vsize: 36704 KiB
Current children cumulated memory: 13356 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 17490
/proc/meminfo: memFree=15398776/32770624 swapFree=67108860/67108860
[pid=17329] ppid=17326 vsize=36704 memory=13356 CPUtime=2442.6 cores=0,2,4,6
/proc/17329/stat : 17329 (cosoco) R 17326 17329 14394 0 -1 4202496 17099 0 0 0 244259 1 0 0 20 0 1 0 57295080 37584896 3339 33554432000 4194304 6142532 140735842965296 140735842962696 140043126061917 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34217984 140735842972806 140735842972936 140735842972936 140735842975694 0
/proc/17329/statm: 9176 3339 877 476 0 2498 0
Current children cumulated CPU time: 2442.6 s
Current children cumulated vsize: 36704 KiB
Current children cumulated memory: 13356 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 17491
/proc/meminfo: memFree=15395676/32770624 swapFree=67108860/67108860
[pid=17329] ppid=17326 vsize=36704 memory=13384 CPUtime=2502.6 cores=0,2,4,6
/proc/17329/stat : 17329 (cosoco) R 17326 17329 14394 0 -1 4202496 17347 0 0 0 250259 1 0 0 20 0 1 0 57295080 37584896 3346 33554432000 4194304 6142532 140735842965296 140735842962696 140043117037489 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34217984 140735842972806 140735842972936 140735842972936 140735842975694 0
/proc/17329/statm: 9176 3346 877 476 0 2498 0
Current children cumulated CPU time: 2502.6 s
Current children cumulated vsize: 36704 KiB
Current children cumulated memory: 13384 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2519.7 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 17491
/proc/meminfo: memFree=15395428/32770624 swapFree=67108860/67108860
[pid=17329] ppid=17326 vsize=36836 memory=13384 CPUtime=2520.01 cores=0,2,4,6
/proc/17329/stat : 17329 (cosoco) R 17326 17329 14394 0 -1 4202496 17373 0 0 0 252000 1 0 0 20 0 1 0 57295080 37720064 3346 33554432000 4194304 6142532 140735842965296 140735842962440 5366776 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34217984 140735842972806 140735842972936 140735842972936 140735842975694 0
/proc/17329/statm: 9209 3346 877 476 0 2531 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 36836 KiB
Current children cumulated memory: 13384 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2519.7 s]
# the end of solver process 17329 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2520 s, system=0.013001 s

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

[startup+2519.7 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 17491
/proc/meminfo: memFree=15395428/32770624 swapFree=67108860/67108860
[pid=17329] ppid=17326 vsize=36836 memory=13384 CPUtime=2520.01 cores=0,2,4,6
/proc/17329/stat : 17329 (cosoco) R 17326 17329 14394 0 -1 4202496 17373 0 0 0 252000 1 0 0 20 0 1 0 57295080 37720064 3346 33554432000 4194304 6142532 140735842965296 140735842962440 5366776 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34217984 140735842972806 140735842972936 140735842972936 140735842975694 0
/proc/17329/statm: 9209 3346 877 476 0 2531 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 36836 KiB
Current children cumulated memory: 13384 KiB

Child status: 1
Real time (s): 2519.7
CPU time (s): 2520.02
CPU user time (s): 2520
CPU system time (s): 0.013001
CPU usage (%): 100.012
Max. virtual memory (cumulated for all children) (KiB): 36836
Max. memory (cumulated for all children) (KiB): 13384

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520
system time used= 0.013001
maximum resident set size= 13540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17414
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= 18
involuntary context switches= 748


# summary of solver processes directly reported to runsolver:
#   pid: 17329
#   total CPU time (s): 2520.02
#   total CPU user time (s): 2520
#   total CPU system time (s): 0.013001

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.77921 second user time and 16.3621 second system time

The end

Launcher Data 

Begin job on node104 at 2018-07-24 03:55:19
IDJOB=4294128
IDBENCH=141333
IDSOLVER=2752
FILE ID=node104/4294128-1532397319
RUNJOBID= node104-1532371797-14425
PBS_JOBID= 21021574
Free space on /tmp= 48964 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/Bibd/Bibd-sum-22-033-12-08-04_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4294128-1532397319/watcher-4294128-1532397319 -o /tmp/evaluation-result-4294128-1532397319/solver-4294128-1532397319 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532371797-14425 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4294128-1532397319.xml

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

MD5SUM BENCH= f3f766a62b1d9930afd3b37b1c8667ba
RANDOM SEED=1219203940

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:        16123956 kB
MemAvailable:   31933316 kB
Buffers:          197100 kB
Cached:         15621748 kB
SwapCached:            0 kB
Active:          2091600 kB
Inactive:       13787524 kB
Active(anon):       8948 kB
Inactive(anon):    71404 kB
Active(file):    2082652 kB
Inactive(file): 13716120 kB
Unevictable:        7124 kB
Mlocked:            7124 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2652 kB
Writeback:             4 kB
AnonPages:         66888 kB
Mapped:            39832 kB
Shmem:             17036 kB
Slab:             467124 kB
SReclaimable:     439048 kB
SUnreclaim:        28076 kB
KernelStack:        3280 kB
PageTables:         5148 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     351216 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 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= 48964 MiB
End job on node104 at 2018-07-24 04:37:19