Trace number 4408199

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.0? (TO) 2519.87 2520.01

General information on the benchmark

NameSuperSolutions/SuperSolutions-Taillard-js20/
SuperTaillard-js-20-20.xml
MD5SUMbd4660d9f641dd45473fddd00af9a0d0
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark1437.98
Satisfiable
(Un)Satisfiability was proved
Number of variables800
Number of constraints12940
Number of domains96
Minimum domain size1599
Maximum domain size1697
Distribution of domain sizes[{"size":1599,"count":10},{"size":1600,"count":4},{"size":1601,"count":16},{"size":1602,"count":2},{"size":1603,"count":6},{"size":1604,"count":8},{"size":1605,"count":6},{"size":1606,"count":6},{"size":1607,"count":6},{"size":1608,"count":16},{"size":1609,"count":6},{"size":1610,"count":6},{"size":1611,"count":8},{"size":1612,"count":24},{"size":1613,"count":6},{"size":1614,"count":8},{"size":1616,"count":8},{"size":1617,"count":14},{"size":1618,"count":6},{"size":1619,"count":8},{"size":1620,"count":6},{"size":1621,"count":8},{"size":1622,"count":10},{"size":1623,"count":8},{"size":1624,"count":10},"...",{"size":1672,"count":14}, {"size":1673,"count":4}, {"size":1674,"count":8}, {"size":1675,"count":4}, {"size":1676,"count":6}, {"size":1677,"count":8}, {"size":1678,"count":10}, {"size":1679,"count":8}, {"size":1680,"count":10}, {"size":1681,"count":14}, {"size":1682,"count":10}, {"size":1683,"count":14}, {"size":1684,"count":2}, {"size":1685,"count":10}, {"size":1686,"count":10}, {"size":1687,"count":10}, {"size":1688,"count":2}, {"size":1689,"count":16}, {"size":1690,"count":8}, {"size":1691,"count":8}, {"size":1693,"count":8}, {"size":1694,"count":8}, {"size":1695,"count":14}, {"size":1696,"count":10}, {"size":1697,"count":8}]
Minimum variable degree21
Maximum variable degree43
Distribution of variable degrees[{"degree":21,"count":40},{"degree":22,"count":360},{"degree":41,"count":40},{"degree":43,"count":360}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":12940}]
Number of extensional constraints0
Number of intensional constraints12940
Distribution of constraint types[{"type":"intension","count":12940}]
Optimization problemNO
Type of objective

Solver Data 

8.68/8.74	c root propagations     : 761976      
8.68/8.74	c restarts enabled, print stats at every restarts
8.68/8.74	c
8.68/8.74	c
8.68/8.74	c
8.68/8.74	c This is cosoco 2.00 --  
8.68/8.74	c
8.68/8.74	c command line: cosoco -lc -model -restarts -stick HOME/instance-4408199-1569809437.xml 
8.68/8.74	c ========================================[ Problem Statistics ]===========================================
8.68/8.74	c |                                                                                                       
8.68/8.74	c |  Parse time        :         8.34 s 
8.68/8.74	c |
8.68/8.74	c |               Variables: 800
8.68/8.74	c |            Domain Sizes: 1599..1697
8.68/8.74	c |
8.68/8.74	c |             Constraints: 12940
8.68/8.74	c |                   Arity: 2..2  -- Binary: 12940
8.68/8.74	c | 
8.68/8.74	c |                   Types: 
8.68/8.74	c |                          (X != Y): 400
8.68/8.74	c |                          (X -Y <= k): 1140
8.68/8.74	c |                          Intension: 11400
8.68/8.74	c |                          
8.68/8.74	c =========================================================================================================
8.68/8.74	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
44.38/44.40	c 101            347            926814         1777810        800            0              21   67   53   
66.99/67.04	c 211            621            1412304        2821202        800            0              5   77   40    
89.28/89.38	c 332            904            1813970        3480149        800            0              1   71   32    
117.17/117.27	c 465            1274           2488307        4664787        800            0              2   132   74   
145.78/145.87	c 611            1593           3113054        6859236        800            0              1   117   67   
196.98/197.06	c 771            1989           4136714        9143176        800            0              1   79   42    
218.97/219.06	c 947            2320           4723909        10414078       800            0              4   120   100  
245.97/246.06	c 1140           2771           5307675        11466830       800            0              1   129   66   
264.76/264.88	c 1352           3144           5807833        13079513       800            0              2   119   100  
309.55/309.60	c 1585           3509           6613678        14968886       800            0              1   76   60    
355.96/356.04	c 1841           4049           7541937        17243730       800            0              1   111   73   
398.85/398.93	c 2122           4691           8629258        18273840       800            0              1   105   65   
458.65/458.80	c 2431           5266           9617307        22755221       800            0              1   126   96   
516.13/516.28	c 2770           5947           10864031       25537817       800            0              7   102   72   
561.64/561.71	c 3142           6621           11856224       27323646       800            0              1   153   135  
626.73/626.82	c 3551           7269           13030780       29981801       800            0              1   121   105  
699.72/699.85	c 4000           8062           14536740       33445673       800            0              4   108   64   
730.03/730.18	c 4493           8721           15147654       35641617       800            0              1   108   102  
829.21/829.34	c 5035           9834           17024688       38385160       800            0              1   147   94   
981.02/981.17	c 5631           10956          19383092       48376055       800            0              3   144   121  
1076.31/1076.48	c 6286           11906          21117252       53140763       800            0              15   175   155 
1115.60/1115.75	c 7006           12764          21764978       55955883       800            0              7   107   103  
1370.59/1370.79	c 7798           14109          26256480       80386015       800            0              1   106   89   
1455.68/1455.84	c 8669           15348          28007171       84860417       800            0              1   119   105  
1838.48/1838.64	c 9627           16668          33799234       104055296      800            0              4   150   131  
1933.87/1934.06	c 10680          18605          35809087       109473359      800            0              5   151   115  
2265.06/2265.29	c 11838          20134          41013483       136847510      800            0              1   148   133  
2488.15/2488.34	c 13111          22095          45471385       148909926      800            0              9   127   116  
2519.85/2520.01	
2519.85/2520.01	c *** INTERRUPTED ***
2519.85/2520.01	c restarts              : 28          
2519.85/2520.01	c conflicts             : 13233        (5 /sec)
2519.85/2520.01	c decisions             : 22459        (9 /sec)
2519.85/2520.01	c propagations          : 149640952   (59408 /sec)
2519.85/2520.01	c root propagations     : 761976      
2519.85/2520.01	c filter calls          : 46333140       (18394 /sec)
2519.85/2520.01	c useless filter calls  : 43595253       (94 %)
2519.85/2520.01	c Memory used           : 1288.30 MB
2519.85/2520.01	c CPU time              : 2518.87 s
2519.85/2520.01	c real time             : 2520.01 s
2519.85/2520.01	
2519.85/2520.01	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 (15091 MiB free)
  memory of node 1: 16384 MiB (15050 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408199-1569809437/watcher-4408199-1569809437 -o /tmp/evaluation-result-4408199-1569809437/solver-4408199-1569809437 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1569787350-1893 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4408199-1569809437.xml 

running on 4 cores: 1,3,5,7

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=6603, runsolver pid=6600

[startup+0.100156 s]*
/proc/loadavg: 2.00 2.01 2.04 3/199 6604
/proc/meminfo: memFree=30853452/32770624 swapFree=66993544/67108860
[pid=6603] ppid=6600 vsize=38744 memory=14840 CPUtime=0.09 cores=1,3,5,7
/proc/6603/stat : 6603 (cosoco) R 6600 6603 1861 0 -1 4202496 3914 0 0 0 9 0 0 0 20 0 1 0 557206257 39673856 3710 33554432000 4194304 6211132 140737216835456 140737216831432 5810242 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 34033664 140737216836619 140737216836721 140737216836721 140737216839630 0
/proc/6603/statm: 9686 3710 798 493 0 2991 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38744 KiB
Current children cumulated memory: 14840 KiB

[startup+0.209678 s]*
/proc/loadavg: 2.00 2.01 2.04 3/199 6604
/proc/meminfo: memFree=30852872/32770624 swapFree=66993544/67108860
[pid=6603] ppid=6600 vsize=39584 memory=15500 CPUtime=0.2 cores=1,3,5,7
/proc/6603/stat : 6603 (cosoco) R 6600 6603 1861 0 -1 4202496 4086 0 0 0 20 0 0 0 20 0 1 0 557206257 40534016 3875 33554432000 4194304 6211132 140737216835456 140737216832728 140691727865428 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 34033664 140737216836619 140737216836721 140737216836721 140737216839630 0
/proc/6603/statm: 9896 3875 798 493 0 3201 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 15500 KiB

[startup+0.308949 s]*
/proc/loadavg: 2.00 2.01 2.04 3/199 6604
/proc/meminfo: memFree=30852128/32770624 swapFree=66993544/67108860
[pid=6603] ppid=6600 vsize=40096 memory=16280 CPUtime=0.3 cores=1,3,5,7
/proc/6603/stat : 6603 (cosoco) R 6600 6603 1861 0 -1 4202496 4238 0 0 0 30 0 0 0 20 0 1 0 557206257 41058304 4070 33554432000 4194304 6211132 140737216835456 140737216832728 140691726941157 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 34033664 140737216836619 140737216836721 140737216836721 140737216839630 0
/proc/6603/statm: 10024 4070 798 493 0 3329 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 40096 KiB
Current children cumulated memory: 16280 KiB

[startup+0.700351 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 6604
/proc/meminfo: memFree=30851012/32770624 swapFree=66993544/67108860
[pid=6603] ppid=6600 vsize=62156 memory=38352 CPUtime=0.69 cores=1,3,5,7
/proc/6603/stat : 6603 (cosoco) R 6600 6603 1861 0 -1 4202496 9836 0 0 0 68 1 0 0 20 0 1 0 557206257 63647744 9588 33554432000 4194304 6211132 140737216835456 140737216832728 140691726941157 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 34033664 140737216836619 140737216836721 140737216836721 140737216839630 0
/proc/6603/statm: 15539 9588 816 493 0 8844 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 62156 KiB
Current children cumulated memory: 38352 KiB

[startup+1.50037 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 6604
/proc/meminfo: memFree=30796328/32770624 swapFree=66993544/67108860
[pid=6603] ppid=6600 vsize=152312 memory=128376 CPUtime=1.49 cores=1,3,5,7
/proc/6603/stat : 6603 (cosoco) R 6600 6603 1861 0 -1 4202496 32351 0 0 0 145 4 0 0 20 0 1 0 557206257 155967488 32094 33554432000 4194304 6211132 140737216835456 140737216830552 140691726938825 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 34033664 140737216836619 140737216836721 140737216836721 140737216839630 0
/proc/6603/statm: 38078 32094 816 493 0 31383 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 152312 KiB
Current children cumulated memory: 128376 KiB

[startup+3.1095 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 6604
/proc/meminfo: memFree=30570152/32770624 swapFree=66993544/67108860
[pid=6603] ppid=6600 vsize=333628 memory=309536 CPUtime=3.1 cores=1,3,5,7
/proc/6603/stat : 6603 (cosoco) R 6600 6603 1861 0 -1 4202496 78204 0 0 0 298 12 0 0 20 0 1 0 557206257 341635072 77384 33554432000 4194304 6211132 140737216835456 140737216830552 140691726941157 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 34033664 140737216836619 140737216836721 140737216836721 140737216839630 0
/proc/6603/statm: 83407 77384 816 493 0 76712 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 333628 KiB
Current children cumulated memory: 309536 KiB

[startup+6.30035 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 6604
/proc/meminfo: memFree=30230572/32770624 swapFree=66993544/67108860
[pid=6603] ppid=6600 vsize=693388 memory=669360 CPUtime=6.29 cores=1,3,5,7
/proc/6603/stat : 6603 (cosoco) R 6600 6603 1861 0 -1 4202496 169128 0 0 0 604 25 0 0 20 0 1 0 557206257 710029312 167340 33554432000 4194304 6211132 140737216835456 140737216830552 140691726941157 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 34033664 140737216836619 140737216836721 140737216836721 140737216839630 0
/proc/6603/statm: 173347 167340 816 493 0 166652 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 693388 KiB
Current children cumulated memory: 669360 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 6611
/proc/meminfo: memFree=29916452/32770624 swapFree=66993544/67108860
[pid=6603] ppid=6600 vsize=973444 memory=949996 CPUtime=12.69 cores=1,3,5,7
/proc/6603/stat : 6603 (cosoco) R 6600 6603 1861 0 -1 4202496 301060 0 0 0 1231 38 0 0 20 0 1 0 557206257 996806656 237499 33554432000 4194304 6211132 140737216835456 140737216833112 140691736886120 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 34033664 140737216836619 140737216836721 140737216836721 140737216839630 0
/proc/6603/statm: 243361 237499 862 493 0 236666 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 973444 KiB
Current children cumulated memory: 949996 KiB

[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 6613
/proc/meminfo: memFree=29916472/32770624 swapFree=66993544/67108860
[pid=6603] ppid=6600 vsize=973576 memory=950136 CPUtime=25.49 cores=1,3,5,7
/proc/6603/stat : 6603 (cosoco) R 6600 6603 1861 0 -1 4202496 354890 0 0 0 2509 40 0 0 20 0 1 0 557206257 996941824 237534 33554432000 4194304 6211132 140737216835456 140737216832856 5455690 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 34033664 140737216836619 140737216836721 140737216836721 140737216839630 0
/proc/6603/statm: 243394 237534 862 493 0 236699 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 973576 KiB
Current children cumulated memory: 950136 KiB

[startup+51.1094 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 6614
/proc/meminfo: memFree=29902016/32770624 swapFree=66993544/67108860
[pid=6603] ppid=6600 vsize=978900 memory=955492 CPUtime=51.1 cores=1,3,5,7
/proc/6603/stat : 6603 (cosoco) R 6600 6603 1861 0 -1 4202496 411434 0 0 0 5066 44 0 0 20 0 1 0 557206257 1002393600 238873 33554432000 4194304 6211132 140737216835456 140737216833112 5446680 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 34033664 140737216836619 140737216836721 140737216836721 140737216839630 0
/proc/6603/statm: 244725 238873 864 493 0 238030 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 978900 KiB
Current children cumulated memory: 955492 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 6678
/proc/meminfo: memFree=29084880/32770624 swapFree=66993544/67108860
[pid=6603] ppid=6600 vsize=1023648 memory=1000200 CPUtime=102.28 cores=1,3,5,7
/proc/6603/stat : 6603 (cosoco) R 6600 6603 1861 0 -1 4202496 511195 0 0 0 10178 50 0 0 20 0 1 0 557206257 1048215552 250050 33554432000 4194304 6211132 140737216835456 140737216833112 5443128 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 34033664 140737216836619 140737216836721 140737216836721 140737216839630 0
/proc/6603/statm: 255912 250050 864 493 0 249217 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 1023648 KiB
Current children cumulated memory: 1000200 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 6684
/proc/meminfo: memFree=28941640/32770624 swapFree=66993544/67108860
[pid=6603] ppid=6600 vsize=1087008 memory=1063568 CPUtime=162.28 cores=1,3,5,7
/proc/6603/stat : 6603 (cosoco) R 6600 6603 1861 0 -1 4202496 619458 0 0 0 16171 57 0 0 20 0 1 0 557206257 1113096192 265892 33554432000 4194304 6211132 140737216835456 140737216833112 5452258 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 34033664 140737216836619 140737216836721 140737216836721 140737216839630 0
/proc/6603/statm: 271752 265892 864 493 0 265057 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 1087008 KiB
Current children cumulated memory: 1063568 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 6689
/proc/meminfo: memFree=28851712/32770624 swapFree=66993544/67108860
[pid=6603] ppid=6600 vsize=1125948 memory=1102556 CPUtime=222.26 cores=1,3,5,7
/proc/6603/stat : 6603 (cosoco) R 6600 6603 1861 0 -1 4202496 705746 0 0 0 22164 62 0 0 20 0 1 0 557206257 1152970752 275639 33554432000 4194304 6211132 140737216835456 140737216833112 5009568 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 34033664 140737216836619 140737216836721 140737216836721 140737216839630 0
/proc/6603/statm: 281487 275639 864 493 0 274792 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 1125948 KiB
Current children cumulated memory: 1102556 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 6693
/proc/meminfo: memFree=28793804/32770624 swapFree=66993544/67108860
[pid=6603] ppid=6600 vsize=1148256 memory=1124812 CPUtime=282.26 cores=1,3,5,7
/proc/6603/stat : 6603 (cosoco) R 6600 6603 1861 0 -1 4202496 786943 0 0 0 28160 66 0 0 20 0 1 0 557206257 1175814144 281203 33554432000 4194304 6211132 140737216835456 140737216833112 140691727861684 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 34033664 140737216836619 140737216836721 140737216836721 140737216839630 0
/proc/6603/statm: 287064 281203 864 493 0 280369 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 1148256 KiB
Current children cumulated memory: 1124812 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 6699
/proc/meminfo: memFree=28744184/32770624 swapFree=66993544/67108860
[pid=6603] ppid=6600 vsize=1179540 memory=1156148 CPUtime=342.25 cores=1,3,5,7
/proc/6603/stat : 6603 (cosoco) R 6600 6603 1861 0 -1 4202496 865561 0 0 0 34155 70 0 0 20 0 1 0 557206257 1207848960 289037 33554432000 4194304 6211132 140737216835456 140737216833112 5446311 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 34033664 140737216836619 140737216836721 140737216836721 140737216839630 0
/proc/6603/statm: 294885 289037 864 493 0 288190 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 1179540 KiB
Current children cumulated memory: 1156148 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 6703
/proc/meminfo: memFree=28724184/32770624 swapFree=66993544/67108860
[pid=6603] ppid=6600 vsize=1193268 memory=1169856 CPUtime=402.25 cores=1,3,5,7
/proc/6603/stat : 6603 (cosoco) R 6600 6603 1861 0 -1 4202496 929496 0 0 0 40151 74 0 0 20 0 1 0 557206257 1221906432 292464 33554432000 4194304 6211132 140737216835456 140737216833112 5446662 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 34033664 140737216836619 140737216836721 140737216836721 140737216839630 0
/proc/6603/statm: 298317 292464 864 493 0 291622 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 1193268 KiB
Current children cumulated memory: 1169856 KiB

[startup+462.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/200 6707
/proc/meminfo: memFree=28697304/32770624 swapFree=66993544/67108860
[pid=6603] ppid=6600 vsize=1203300 memory=1179824 CPUtime=462.24 cores=1,3,5,7
/proc/6603/stat : 6603 (cosoco) R 6600 6603 1861 0 -1 4202496 979932 0 0 0 46147 77 0 0 20 0 1 0 557206257 1232179200 294956 33554432000 4194304 6211132 140737216835456 140737216833112 5446143 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 34033664 140737216836619 140737216836721 140737216836721 140737216839630 0
/proc/6603/statm: 300825 294956 864 493 0 294130 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 1203300 KiB
Current children cumulated memory: 1179824 KiB


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

/proc/6603/statm: 326008 320153 864 493 0 319313 0
Current children cumulated CPU time: 1722.18 s
Current children cumulated vsize: 1304032 KiB
Current children cumulated memory: 1280612 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 6830
/proc/meminfo: memFree=28504696/32770624 swapFree=66993544/67108860
[pid=6603] ppid=6600 vsize=1304032 memory=1280636 CPUtime=1782.17 cores=1,3,5,7
/proc/6603/stat : 6603 (cosoco) R 6600 6603 1861 0 -1 4202496 1241344 0 0 0 178123 94 0 0 20 0 1 0 557206257 1335328768 320159 33554432000 4194304 6211132 140737216835456 140737216833112 140691727864721 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 34033664 140737216836619 140737216836721 140737216836721 140737216839630 0
/proc/6603/statm: 326008 320159 864 493 0 319313 0
Current children cumulated CPU time: 1782.17 s
Current children cumulated vsize: 1304032 KiB
Current children cumulated memory: 1280636 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 6842
/proc/meminfo: memFree=28501472/32770624 swapFree=66993544/67108860
[pid=6603] ppid=6600 vsize=1306408 memory=1283024 CPUtime=1842.17 cores=1,3,5,7
/proc/6603/stat : 6603 (cosoco) R 6600 6603 1861 0 -1 4202496 1248385 0 0 0 184122 95 0 0 20 0 1 0 557206257 1337761792 320756 33554432000 4194304 6211132 140737216835456 140737216833112 5446250 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 34033664 140737216836619 140737216836721 140737216836721 140737216839630 0
/proc/6603/statm: 326602 320756 864 493 0 319907 0
Current children cumulated CPU time: 1842.17 s
Current children cumulated vsize: 1306408 KiB
Current children cumulated memory: 1283024 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 6846
/proc/meminfo: memFree=28497628/32770624 swapFree=66993544/67108860
[pid=6603] ppid=6600 vsize=1308388 memory=1284912 CPUtime=1902.17 cores=1,3,5,7
/proc/6603/stat : 6603 (cosoco) R 6600 6603 1861 0 -1 4202496 1255468 0 0 0 190122 95 0 0 20 0 1 0 557206257 1339789312 321228 33554432000 4194304 6211132 140737216835456 140737216833112 140691727861648 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 34033664 140737216836619 140737216836721 140737216836721 140737216839630 0
/proc/6603/statm: 327097 321228 864 493 0 320402 0
Current children cumulated CPU time: 1902.17 s
Current children cumulated vsize: 1308388 KiB
Current children cumulated memory: 1284912 KiB

[startup+1962.3 s]
/proc/loadavg: 2.40 2.11 2.08 3/200 6852
/proc/meminfo: memFree=28492668/32770624 swapFree=66993544/67108860
[pid=6603] ppid=6600 vsize=1312480 memory=1289064 CPUtime=1962.17 cores=1,3,5,7
/proc/6603/stat : 6603 (cosoco) R 6600 6603 1861 0 -1 4202496 1264988 0 0 0 196121 96 0 0 20 0 1 0 557206257 1343979520 322266 33554432000 4194304 6211132 140737216835456 140737216833112 5443112 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 34033664 140737216836619 140737216836721 140737216836721 140737216839630 0
/proc/6603/statm: 328120 322266 864 493 0 321425 0
Current children cumulated CPU time: 1962.17 s
Current children cumulated vsize: 1312480 KiB
Current children cumulated memory: 1289064 KiB

[startup+2022.3 s]
/proc/loadavg: 2.29 2.15 2.09 3/200 6856
/proc/meminfo: memFree=28486012/32770624 swapFree=66993544/67108860
[pid=6603] ppid=6600 vsize=1316968 memory=1293504 CPUtime=2022.17 cores=1,3,5,7
/proc/6603/stat : 6603 (cosoco) R 6600 6603 1861 0 -1 4202496 1273082 0 0 0 202120 97 0 0 20 0 1 0 557206257 1348575232 323376 33554432000 4194304 6211132 140737216835456 140737216833112 140691727867323 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 34033664 140737216836619 140737216836721 140737216836721 140737216839630 0
/proc/6603/statm: 329242 323376 864 493 0 322547 0
Current children cumulated CPU time: 2022.17 s
Current children cumulated vsize: 1316968 KiB
Current children cumulated memory: 1293504 KiB

[startup+2082.3 s]
/proc/loadavg: 2.11 2.12 2.08 3/200 6860
/proc/meminfo: memFree=28485540/32770624 swapFree=66993544/67108860
[pid=6603] ppid=6600 vsize=1317100 memory=1293672 CPUtime=2082.16 cores=1,3,5,7
/proc/6603/stat : 6603 (cosoco) R 6600 6603 1861 0 -1 4202496 1280459 0 0 0 208119 97 0 0 20 0 1 0 557206257 1348710400 323418 33554432000 4194304 6211132 140737216835456 140737216833112 5446292 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 34033664 140737216836619 140737216836721 140737216836721 140737216839630 0
/proc/6603/statm: 329275 323418 864 493 0 322580 0
Current children cumulated CPU time: 2082.16 s
Current children cumulated vsize: 1317100 KiB
Current children cumulated memory: 1293672 KiB

[startup+2142.3 s]
/proc/loadavg: 2.04 2.10 2.08 3/199 6866
/proc/meminfo: memFree=28485456/32770624 swapFree=66993544/67108860
[pid=6603] ppid=6600 vsize=1317364 memory=1293880 CPUtime=2142.16 cores=1,3,5,7
/proc/6603/stat : 6603 (cosoco) R 6600 6603 1861 0 -1 4202496 1287930 0 0 0 214119 97 0 0 20 0 1 0 557206257 1348980736 323470 33554432000 4194304 6211132 140737216835456 140737216833112 140691736886100 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 34033664 140737216836619 140737216836721 140737216836721 140737216839630 0
/proc/6603/statm: 329341 323470 864 493 0 322646 0
Current children cumulated CPU time: 2142.16 s
Current children cumulated vsize: 1317364 KiB
Current children cumulated memory: 1293880 KiB

[startup+2202.3 s]
/proc/loadavg: 2.01 2.08 2.07 3/199 6870
/proc/meminfo: memFree=28484684/32770624 swapFree=66993544/67108860
[pid=6603] ppid=6600 vsize=1317364 memory=1293920 CPUtime=2202.16 cores=1,3,5,7
/proc/6603/stat : 6603 (cosoco) R 6600 6603 1861 0 -1 4202496 1294843 0 0 0 220119 97 0 0 20 0 1 0 557206257 1348980736 323480 33554432000 4194304 6211132 140737216835456 140737216833112 5451650 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 34033664 140737216836619 140737216836721 140737216836721 140737216839630 0
/proc/6603/statm: 329341 323480 864 493 0 322646 0
Current children cumulated CPU time: 2202.16 s
Current children cumulated vsize: 1317364 KiB
Current children cumulated memory: 1293920 KiB

[startup+2262.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/199 6874
/proc/meminfo: memFree=28484744/32770624 swapFree=66993544/67108860
[pid=6603] ppid=6600 vsize=1317496 memory=1294016 CPUtime=2262.16 cores=1,3,5,7
/proc/6603/stat : 6603 (cosoco) R 6600 6603 1861 0 -1 4202496 1299773 0 0 0 226118 98 0 0 20 0 1 0 557206257 1349115904 323504 33554432000 4194304 6211132 140737216835456 140737216833112 5068981 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 34033664 140737216836619 140737216836721 140737216836721 140737216839630 0
/proc/6603/statm: 329374 323504 864 493 0 322679 0
Current children cumulated CPU time: 2262.16 s
Current children cumulated vsize: 1317496 KiB
Current children cumulated memory: 1294016 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/199 6880
/proc/meminfo: memFree=28483232/32770624 swapFree=66993544/67108860
[pid=6603] ppid=6600 vsize=1318552 memory=1295184 CPUtime=2322.15 cores=1,3,5,7
/proc/6603/stat : 6603 (cosoco) R 6600 6603 1861 0 -1 4202496 1307000 0 0 0 232117 98 0 0 20 0 1 0 557206257 1350197248 323796 33554432000 4194304 6211132 140737216835456 140737216833112 5476848 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 34033664 140737216836619 140737216836721 140737216836721 140737216839630 0
/proc/6603/statm: 329638 323796 864 493 0 322943 0
Current children cumulated CPU time: 2322.15 s
Current children cumulated vsize: 1318552 KiB
Current children cumulated memory: 1295184 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/199 6884
/proc/meminfo: memFree=28482768/32770624 swapFree=66993544/67108860
[pid=6603] ppid=6600 vsize=1318816 memory=1295456 CPUtime=2382.15 cores=1,3,5,7
/proc/6603/stat : 6603 (cosoco) R 6600 6603 1861 0 -1 4202496 1311684 0 0 0 238117 98 0 0 20 0 1 0 557206257 1350467584 323864 33554432000 4194304 6211132 140737216835456 140737216833112 5439857 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 34033664 140737216836619 140737216836721 140737216836721 140737216839630 0
/proc/6603/statm: 329704 323864 864 493 0 323009 0
Current children cumulated CPU time: 2382.15 s
Current children cumulated vsize: 1318816 KiB
Current children cumulated memory: 1295456 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/200 6896
/proc/meminfo: memFree=28482764/32770624 swapFree=66993544/67108860
[pid=6603] ppid=6600 vsize=1318816 memory=1295460 CPUtime=2442.15 cores=1,3,5,7
/proc/6603/stat : 6603 (cosoco) R 6600 6603 1861 0 -1 4202496 1315699 0 0 0 244116 99 0 0 20 0 1 0 557206257 1350467584 323865 33554432000 4194304 6211132 140737216835456 140737216833112 5439826 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 34033664 140737216836619 140737216836721 140737216836721 140737216839630 0
/proc/6603/statm: 329704 323865 864 493 0 323009 0
Current children cumulated CPU time: 2442.15 s
Current children cumulated vsize: 1318816 KiB
Current children cumulated memory: 1295460 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 6902
/proc/meminfo: memFree=28483128/32770624 swapFree=66993544/67108860
[pid=6603] ppid=6600 vsize=1319212 memory=1295720 CPUtime=2502.15 cores=1,3,5,7
/proc/6603/stat : 6603 (cosoco) R 6600 6603 1861 0 -1 4202496 1317109 0 0 0 250116 99 0 0 20 0 1 0 557206257 1350873088 323930 33554432000 4194304 6211132 140737216835456 140737216833112 5440715 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 34033664 140737216836619 140737216836721 140737216836721 140737216839630 0
/proc/6603/statm: 329803 323930 864 493 0 323108 0
Current children cumulated CPU time: 2502.15 s
Current children cumulated vsize: 1319212 KiB
Current children cumulated memory: 1295720 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.03 2.05 3/200 6903
/proc/meminfo: memFree=28483128/32770624 swapFree=66993544/67108860
[pid=6603] ppid=6600 vsize=1319212 memory=1295740 CPUtime=2519.85 cores=1,3,5,7
/proc/6603/stat : 6603 (cosoco) R 6600 6603 1861 0 -1 4202496 1317402 0 0 0 251886 99 0 0 20 0 1 0 557206257 1350873088 323935 33554432000 4194304 6211132 140737216835456 140737216833112 5446262 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 34033664 140737216836619 140737216836721 140737216836721 140737216839630 0
/proc/6603/statm: 329803 323935 864 493 0 323108 0
Current children cumulated CPU time: 2519.85 s
Current children cumulated vsize: 1319212 KiB
Current children cumulated memory: 1295740 KiB

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

[startup+2520.01 s]
# the end of solver process 6603 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.87 s, system=0.99696 s

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

Child status: 1
Real time (s): 2520.01
CPU time (s): 2519.87
CPU user time (s): 2518.87
CPU system time (s): 0.99696
CPU usage (%): 99.9942
Max. virtual memory (cumulated for all children) (KiB): 1319212
Max. memory (cumulated for all children) (KiB): 1295740

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.87
system time used= 0.99696
maximum resident set size= 1295820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1317444
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= 88
involuntary context switches= 1493


# summary of solver processes directly reported to runsolver:
#   pid: 6603
#   total CPU time (s): 2519.87
#   total CPU user time (s): 2518.87
#   total CPU system time (s): 0.99696

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.7631 second user time and 16.8207 second system time

The end

Launcher Data 

Begin job on node121 at 2019-09-30 04:09:54
IDJOB=4408199
IDBENCH=138647
IDSOLVER=2874
FILE ID=node121/4408199-1569809437
RUNJOBID= node121-1569787350-1893
PBS_JOBID= 21705831
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-js20/SuperTaillard-js-20-20.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4408199-1569809437/watcher-4408199-1569809437 -o /tmp/evaluation-result-4408199-1569809437/solver-4408199-1569809437 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1569787350-1893 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4408199-1569809437.xml

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

MD5SUM BENCH= bd4660d9f641dd45473fddd00af9a0d0
RANDOM SEED=1299423188

node121.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30864580 kB
MemAvailable:   31731972 kB
Buffers:          211056 kB
Cached:           979444 kB
SwapCached:         4540 kB
Active:           817944 kB
Inactive:         519284 kB
Active(anon):     140104 kB
Inactive(anon):    80912 kB
Active(file):     677840 kB
Inactive(file):   438372 kB
Unevictable:      109048 kB
Mlocked:          109048 kB
SwapTotal:      67108860 kB
SwapFree:       66993544 kB
Dirty:              3120 kB
Writeback:             0 kB
AnonPages:        286064 kB
Mapped:            28948 kB
Shmem:             66188 kB
Slab:             163744 kB
SReclaimable:     134032 kB
SUnreclaim:        29712 kB
KernelStack:        3552 kB
PageTables:         5588 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     706660 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    235520 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 62024 MiB
End job on node121 at 2019-09-30 04:51:54