Trace number 4408003

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) 2520.01 2519.8

General information on the benchmark

NameSuperSolutions/SuperSolutions-Taillard-os10/
SuperTaillard-os-10-21.xml
MD5SUMab3cfdf6220e1af184bc3e02e1fbde1d
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 benchmark45.669
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of constraints2800
Number of domains65
Minimum domain size516
Maximum domain size611
Distribution of domain sizes[{"size":516,"count":6},{"size":517,"count":6},{"size":518,"count":4},{"size":519,"count":2},{"size":520,"count":4},{"size":521,"count":2},{"size":522,"count":2},{"size":523,"count":2},{"size":524,"count":2},{"size":526,"count":2},{"size":527,"count":8},{"size":528,"count":2},{"size":529,"count":2},{"size":530,"count":6},{"size":531,"count":2},{"size":533,"count":2},{"size":540,"count":2},{"size":541,"count":4},{"size":542,"count":2},{"size":543,"count":2},{"size":544,"count":4},{"size":545,"count":2},{"size":546,"count":8},{"size":547,"count":2},{"size":548,"count":2},"...",{"size":571,"count":2}, {"size":572,"count":2}, {"size":573,"count":2}, {"size":574,"count":2}, {"size":575,"count":6}, {"size":576,"count":4}, {"size":579,"count":4}, {"size":580,"count":2}, {"size":582,"count":4}, {"size":584,"count":6}, {"size":585,"count":2}, {"size":587,"count":2}, {"size":588,"count":2}, {"size":589,"count":2}, {"size":591,"count":2}, {"size":593,"count":2}, {"size":595,"count":4}, {"size":596,"count":2}, {"size":597,"count":2}, {"size":601,"count":6}, {"size":602,"count":2}, {"size":605,"count":2}, {"size":607,"count":4}, {"size":610,"count":2}, {"size":611,"count":2}]
Minimum variable degree19
Maximum variable degree37
Distribution of variable degrees[{"degree":19,"count":100},{"degree":37,"count":100}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":2800}]
Number of extensional constraints0
Number of intensional constraints2800
Distribution of constraint types[{"type":"intension","count":2800}]
Optimization problemNO
Type of objective

Solver Data 

1.89/1.96	c root propagations     : 0           
1.89/1.96	c restarts enabled, print stats at every restarts
1.89/1.96	c
1.89/1.96	c
1.89/1.96	c
1.89/1.96	c This is cosoco 2.00 --  
1.89/1.96	c
1.89/1.96	c command line: cosoco -lc -model -restarts -stick HOME/instance-4408003-1569808781.xml 
1.89/1.96	c ========================================[ Problem Statistics ]===========================================
1.89/1.96	c |                                                                                                       
1.89/1.96	c |  Parse time        :         1.91 s 
1.89/1.96	c |
1.89/1.96	c |               Variables: 200
1.89/1.96	c |            Domain Sizes: 516..611
1.89/1.96	c |
1.89/1.96	c |             Constraints: 2800
1.89/1.96	c |                   Arity: 2..2  -- Binary: 2800
1.89/1.96	c | 
1.89/1.96	c |                   Types: 
1.89/1.96	c |                          (X != Y): 100
1.89/1.96	c |                          Intension: 2700
1.89/1.96	c |                          
1.89/1.96	c =========================================================================================================
1.89/1.96	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
4.10/4.17	c 101            125            60604          180171         0              0              8   9   8      
6.69/6.78	c 211            254            122890         477099         0              0              11   11   10   
9.59/9.65	c 332            396            148755         990243         0              0              10   10   9    
12.59/12.66	c 465            537            170491         1578361        0              0              6   7   6      
15.69/15.72	c 611            698            228882         2087009        0              0              6   6   5      
17.49/17.51	c 771            866            257112         2640805        0              0              6   7   6      
19.79/19.82	c 947            1057           296359         3268751        0              0              6   7   6      
23.79/23.88	c 1140           1263           337094         4093567        0              0              6   7   6      
26.69/26.79	c 1352           1488           384236         4854751        0              0              6   7   6      
31.29/31.33	c 1585           1729           424374         5888706        0              0              6   6   5      
36.10/36.16	c 1841           1996           481724         6908316        0              0              6   6   5      
41.39/41.41	c 2122           2295           557619         7790125        0              0              6   7   6      
46.19/46.28	c 2431           2616           603291         8892625        0              0              7   7   6      
50.79/50.80	c 2770           2971           645183         10123205       0              0              6   8   6      
58.49/58.56	c 3142           3392           708074         11276137       0              0              6   44   39    
69.40/69.40	c 3551           3855           898089         12560307       0              0              6   30   29    
75.20/75.21	c 4000           4316           940912         14233510       0              0              6   6   5      
85.90/85.91	c 4493           4887           1206032        15222958       0              0              7   10   8     
105.40/105.48	c 5035           5534           1473136        17217327       0              0              7   10   8     
115.70/115.78	c 5631           6180           1587369        19299207       0              0              24   25   24   
125.30/125.34	c 6286           6850           1647950        21619257       0              0              8   8   7      
138.20/138.22	c 7006           7625           1850952        24100955       0              0              6   7   6      
156.39/156.45	c 7798           8479           2076605        26899239       0              0              5   26   24    
177.29/177.32	c 8669           9399           2283087        30023825       0              0              5   25   24    
198.70/198.78	c 9627           10438          2545114        33060638       0              0              6   28   25    
223.40/223.41	c 10680          11571          2864629        36529098       0              0              5   26   24    
239.20/239.24	c 11838          12780          3052468        39309103       0              0              5   8   7      
271.01/271.03	c 13111          14106          3304783        45485554       0              0              7   8   7      
310.01/310.10	c 14511          15729          3816162        51888991       0              0              6   9   7      
335.01/335.08	c 16051          17353          4265660        55786804       0              0              6   10   8     
364.91/364.98	c 17745          19335          5063036        58173882       0              0              6   10   9     
385.41/385.46	c 19608          21227          5212094        64651690       0              0              7   7   6      
419.31/419.31	c 21657          23422          5640408        69825251       0              0              6   12   10    
460.42/460.48	c 23910          25800          6210908        75941876       0              0              7   11   9     
506.82/506.83	c 26388          28423          6605155        84446299       0              0              7   9   8      
548.82/548.85	c 29113          31245          6939123        95011626       0              0              6   8   7      
609.63/609.69	c 32110          34605          7977296        102376154      0              0              6   12   9     
676.43/676.43	c 35406          38156          9098461        114299463      0              0              7   9   8      
737.74/737.75	c 39031          41911          10047160       123976459      0              0              5   7   6      
818.25/818.24	c 43018          46210          11282302       138565891      0              0              7   8   7      
900.65/900.64	c 47403          51173          12949122       146879351      0              0              5   11   9     
983.36/983.30	c 52226          56452          14705696       159945814      0              0              6   9   8      
1076.08/1076.04	c 57531          62042          15599358       182055811      0              0              6   9   7      
1180.98/1180.96	c 63366          68245          17100947       195538005      0              0              6   11   8     
1297.99/1297.93	c 69784          75134          18488798       216081497      0              0              5   14   8     
1390.80/1390.74	c 76843          82648          20165115       230088789      0              0              7   10   9     
1521.81/1521.72	c 84607          90706          21651155       254901524      0              0              7   9   7      
1686.52/1686.45	c 93147          99828          23923120       277296405      0              0              6   9   7      
1847.74/1847.65	c 102541         109648         25834237       306636168      0              0              7   9   7      
2225.97/2225.88	c 112874         121462         28674102       336290827      0              0              6   72   63    
2447.59/2447.47	c 124240         133132         30383921       380677499      0              0              8   28   26    
2520.00/2519.80	
2520.00/2519.80	c *** INTERRUPTED ***
2520.00/2519.80	c restarts              : 51          
2520.00/2519.80	c conflicts             : 125872       (50 /sec)
2520.00/2519.80	c decisions             : 134904       (54 /sec)
2520.00/2519.80	c propagations          : 387122163   (153626 /sec)
2520.00/2519.80	c root propagations     : 0           
2520.00/2519.80	c filter calls          : 30862684       (12248 /sec)
2520.00/2519.80	c useless filter calls  : 25301182       (81 %)
2520.00/2519.80	c Memory used           : 171.29 MB
2520.00/2519.80	c CPU time              : 2519.9 s
2520.00/2519.80	c real time             : 2519.8 s
2520.00/2519.80	
2520.00/2519.80	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 (12257 MiB free)
  memory of node 1: 16384 MiB (15643 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408003-1569808781/watcher-4408003-1569808781 -o /tmp/evaluation-result-4408003-1569808781/solver-4408003-1569808781 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1569787355-25779 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4408003-1569808781.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=30075, runsolver pid=30072

[startup+0.100493 s]*
/proc/loadavg: 2.00 2.01 2.04 3/199 30076
/proc/meminfo: memFree=28569016/32770624 swapFree=67002732/67108860
[pid=30075] ppid=30072 vsize=28944 memory=5036 CPUtime=0.1 cores=0,2,4,6
/proc/30075/stat : 30075 (cosoco) R 30072 30075 25748 0 -1 4202496 1469 0 0 0 10 0 0 0 20 0 1 0 557039561 29638656 1259 33554432000 4194304 6211132 140728428419568 140728428416840 139672510020624 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 31150080 140728428422155 140728428422257 140728428422257 140728428425166 0
/proc/30075/statm: 7236 1259 798 493 0 541 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28944 KiB
Current children cumulated memory: 5036 KiB

[startup+0.209409 s]*
/proc/loadavg: 2.00 2.01 2.04 3/199 30076
/proc/meminfo: memFree=28564208/32770624 swapFree=67002732/67108860
[pid=30075] ppid=30072 vsize=34356 memory=10640 CPUtime=0.21 cores=0,2,4,6
/proc/30075/stat : 30075 (cosoco) R 30072 30075 25748 0 -1 4202496 2850 0 0 0 21 0 0 0 20 0 1 0 557039561 35180544 2660 33554432000 4194304 6211132 140728428419568 140728428416840 139672506526693 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 31150080 140728428422155 140728428422257 140728428422257 140728428425166 0
/proc/30075/statm: 8589 2660 816 493 0 1894 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 34356 KiB
Current children cumulated memory: 10640 KiB

[startup+0.30931 s]*
/proc/loadavg: 2.00 2.01 2.04 3/199 30076
/proc/meminfo: memFree=28558628/32770624 swapFree=67002732/67108860
[pid=30075] ppid=30072 vsize=40052 memory=16196 CPUtime=0.3 cores=0,2,4,6
/proc/30075/stat : 30075 (cosoco) R 30072 30075 25748 0 -1 4202496 4253 0 0 0 30 0 0 0 20 0 1 0 557039561 41013248 4049 33554432000 4194304 6211132 140728428419568 140728428416840 139672506526693 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 31150080 140728428422155 140728428422257 140728428422257 140728428425166 0
/proc/30075/statm: 10013 4049 816 493 0 3318 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 40052 KiB
Current children cumulated memory: 16196 KiB

[startup+0.700302 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 30076
/proc/meminfo: memFree=28547096/32770624 swapFree=67002732/67108860
[pid=30075] ppid=30072 vsize=61452 memory=37596 CPUtime=0.68 cores=0,2,4,6
/proc/30075/stat : 30075 (cosoco) R 30072 30075 25748 0 -1 4202496 9613 0 0 0 67 1 0 0 20 0 1 0 557039561 62926848 9399 33554432000 4194304 6211132 140728428419568 140728428410904 139672506526693 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 31150080 140728428422155 140728428422257 140728428422257 140728428425166 0
/proc/30075/statm: 15363 9399 816 493 0 8668 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 61452 KiB
Current children cumulated memory: 37596 KiB

[startup+1.50031 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 30076
/proc/meminfo: memFree=28519568/32770624 swapFree=67002732/67108860
[pid=30075] ppid=30072 vsize=106600 memory=82880 CPUtime=1.49 cores=0,2,4,6
/proc/30075/stat : 30075 (cosoco) R 30072 30075 25748 0 -1 4202496 20903 0 0 0 146 3 0 0 20 0 1 0 557039561 109158400 20720 33554432000 4194304 6211132 140728428419568 140728428414664 139672506526693 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 31150080 140728428422155 140728428422257 140728428422257 140728428425166 0
/proc/30075/statm: 26650 20720 816 493 0 19955 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 106600 KiB
Current children cumulated memory: 82880 KiB

[startup+3.10929 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 30076
/proc/meminfo: memFree=28462016/32770624 swapFree=67002732/67108860
[pid=30075] ppid=30072 vsize=135660 memory=112240 CPUtime=3.1 cores=0,2,4,6
/proc/30075/stat : 30075 (cosoco) R 30072 30075 25748 0 -1 4202496 33561 0 0 0 305 5 0 0 20 0 1 0 557039561 138915840 28060 33554432000 4194304 6211132 140728428419568 140728428417224 5069365 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 31150080 140728428422155 140728428422257 140728428422257 140728428425166 0
/proc/30075/statm: 33915 28060 859 493 0 27220 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 135660 KiB
Current children cumulated memory: 112240 KiB

[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 30076
/proc/meminfo: memFree=28458060/32770624 swapFree=67002732/67108860
[pid=30075] ppid=30072 vsize=139356 memory=115908 CPUtime=6.29 cores=0,2,4,6
/proc/30075/stat : 30075 (cosoco) R 30072 30075 25748 0 -1 4202496 41887 0 0 0 624 5 0 0 20 0 1 0 557039561 142700544 28977 33554432000 4194304 6211132 140728428419568 140728428417224 139672516471616 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 31150080 140728428422155 140728428422257 140728428422257 140728428425166 0
/proc/30075/statm: 34839 28977 861 493 0 28144 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 139356 KiB
Current children cumulated memory: 115908 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 30076
/proc/meminfo: memFree=28455704/32770624 swapFree=67002732/67108860
[pid=30075] ppid=30072 vsize=141996 memory=118500 CPUtime=12.69 cores=0,2,4,6
/proc/30075/stat : 30075 (cosoco) R 30072 30075 25748 0 -1 4202496 49683 0 0 0 1263 6 0 0 20 0 1 0 557039561 145403904 29625 33554432000 4194304 6211132 140728428419568 140728428417224 5441125 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 31150080 140728428422155 140728428422257 140728428422257 140728428425166 0
/proc/30075/statm: 35499 29625 861 493 0 28804 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 141996 KiB
Current children cumulated memory: 118500 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 30078
/proc/meminfo: memFree=28453840/32770624 swapFree=67002732/67108860
[pid=30075] ppid=30072 vsize=143184 memory=119724 CPUtime=25.49 cores=0,2,4,6
/proc/30075/stat : 30075 (cosoco) R 30072 30075 25748 0 -1 4202496 64157 0 0 0 2542 7 0 0 20 0 1 0 557039561 146620416 29931 33554432000 4194304 6211132 140728428419568 140728428417528 5446242 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 31150080 140728428422155 140728428422257 140728428422257 140728428425166 0
/proc/30075/statm: 35796 29931 861 493 0 29101 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 143184 KiB
Current children cumulated memory: 119724 KiB

[startup+51.1093 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 30079
/proc/meminfo: memFree=28452600/32770624 swapFree=67002732/67108860
[pid=30075] ppid=30072 vsize=144240 memory=120836 CPUtime=51.1 cores=0,2,4,6
/proc/30075/stat : 30075 (cosoco) R 30072 30075 25748 0 -1 4202496 72180 0 0 0 5103 7 0 0 20 0 1 0 557039561 147701760 30209 33554432000 4194304 6211132 140728428419568 140728428417224 5478432 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 31150080 140728428422155 140728428422257 140728428422257 140728428425166 0
/proc/30075/statm: 36060 30209 861 493 0 29365 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 144240 KiB
Current children cumulated memory: 120836 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 30090
/proc/meminfo: memFree=28441616/32770624 swapFree=67002732/67108860
[pid=30075] ppid=30072 vsize=153480 memory=129988 CPUtime=102.3 cores=0,2,4,6
/proc/30075/stat : 30075 (cosoco) R 30072 30075 25748 0 -1 4202496 90883 0 0 0 10222 8 0 0 20 0 1 0 557039561 157163520 32497 33554432000 4194304 6211132 140728428419568 140728428417224 5443128 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 31150080 140728428422155 140728428422257 140728428422257 140728428425166 0
/proc/30075/statm: 38370 32497 861 493 0 31675 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 153480 KiB
Current children cumulated memory: 129988 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 30119
/proc/meminfo: memFree=28437224/32770624 swapFree=67002732/67108860
[pid=30075] ppid=30072 vsize=156912 memory=133324 CPUtime=162.29 cores=0,2,4,6
/proc/30075/stat : 30075 (cosoco) R 30072 30075 25748 0 -1 4202496 99323 0 0 0 16221 8 0 0 20 0 1 0 557039561 160677888 33331 33554432000 4194304 6211132 140728428419568 140728428417224 5451658 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 31150080 140728428422155 140728428422257 140728428422257 140728428425166 0
/proc/30075/statm: 39228 33331 861 493 0 32533 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 156912 KiB
Current children cumulated memory: 133324 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 30123
/proc/meminfo: memFree=28436968/32770624 swapFree=67002732/67108860
[pid=30075] ppid=30072 vsize=157836 memory=134132 CPUtime=222.3 cores=0,2,4,6
/proc/30075/stat : 30075 (cosoco) R 30072 30075 25748 0 -1 4202496 99817 0 0 0 22222 8 0 0 20 0 1 0 557039561 161624064 33533 33554432000 4194304 6211132 140728428419568 140728428417224 5440617 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 31150080 140728428422155 140728428422257 140728428422257 140728428425166 0
/proc/30075/statm: 39459 33533 861 493 0 32764 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 157836 KiB
Current children cumulated memory: 134132 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 30127
/proc/meminfo: memFree=28436672/32770624 swapFree=67002732/67108860
[pid=30075] ppid=30072 vsize=158892 memory=135428 CPUtime=282.3 cores=0,2,4,6
/proc/30075/stat : 30075 (cosoco) R 30072 30075 25748 0 -1 4202496 100093 0 0 0 28222 8 0 0 20 0 1 0 557039561 162705408 33857 33554432000 4194304 6211132 140728428419568 140728428417224 139672516471640 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 31150080 140728428422155 140728428422257 140728428422257 140728428425166 0
/proc/30075/statm: 39723 33857 861 493 0 33028 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 158892 KiB
Current children cumulated memory: 135428 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 30133
/proc/meminfo: memFree=28435920/32770624 swapFree=67002732/67108860
[pid=30075] ppid=30072 vsize=159420 memory=135800 CPUtime=342.31 cores=0,2,4,6
/proc/30075/stat : 30075 (cosoco) R 30072 30075 25748 0 -1 4202496 100861 0 0 0 34223 8 0 0 20 0 1 0 557039561 163246080 33950 33554432000 4194304 6211132 140728428419568 140728428417224 5164975 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 31150080 140728428422155 140728428422257 140728428422257 140728428425166 0
/proc/30075/statm: 39855 33950 861 493 0 33160 0
Current children cumulated CPU time: 342.31 s
Current children cumulated vsize: 159420 KiB
Current children cumulated memory: 135800 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 30137
/proc/meminfo: memFree=28435984/32770624 swapFree=67002732/67108860
[pid=30075] ppid=30072 vsize=159684 memory=136032 CPUtime=402.31 cores=0,2,4,6
/proc/30075/stat : 30075 (cosoco) R 30072 30075 25748 0 -1 4202496 100935 0 0 0 40223 8 0 0 20 0 1 0 557039561 163516416 34008 33554432000 4194304 6211132 140728428419568 140728428417224 5451632 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 31150080 140728428422155 140728428422257 140728428422257 140728428425166 0
/proc/30075/statm: 39921 34008 861 493 0 33226 0
Current children cumulated CPU time: 402.31 s
Current children cumulated vsize: 159684 KiB
Current children cumulated memory: 136032 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 30141
/proc/meminfo: memFree=28435220/32770624 swapFree=67002732/67108860
[pid=30075] ppid=30072 vsize=159948 memory=136544 CPUtime=462.32 cores=0,2,4,6
/proc/30075/stat : 30075 (cosoco) R 30072 30075 25748 0 -1 4202496 101410 0 0 0 46224 8 0 0 20 0 1 0 557039561 163786752 34136 33554432000 4194304 6211132 140728428419568 140728428417528 5451580 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 31150080 140728428422155 140728428422257 140728428422257 140728428425166 0
/proc/30075/statm: 39987 34136 861 493 0 33292 0
Current children cumulated CPU time: 462.32 s
Current children cumulated vsize: 159948 KiB
Current children cumulated memory: 136544 KiB


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

/proc/30075/statm: 40350 34479 861 493 0 33655 0
Current children cumulated CPU time: 1722.43 s
Current children cumulated vsize: 161400 KiB
Current children cumulated memory: 137916 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 30263
/proc/meminfo: memFree=28432984/32770624 swapFree=67002732/67108860
[pid=30075] ppid=30072 vsize=161400 memory=137932 CPUtime=1782.43 cores=0,2,4,6
/proc/30075/stat : 30075 (cosoco) R 30072 30075 25748 0 -1 4202496 104696 0 0 0 178234 9 0 0 20 0 1 0 557039561 165273600 34483 33554432000 4194304 6211132 140728428419568 140728428417528 5009627 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 31150080 140728428422155 140728428422257 140728428422257 140728428425166 0
/proc/30075/statm: 40350 34483 861 493 0 33655 0
Current children cumulated CPU time: 1782.43 s
Current children cumulated vsize: 161400 KiB
Current children cumulated memory: 137932 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 30267
/proc/meminfo: memFree=28433452/32770624 swapFree=67002732/67108860
[pid=30075] ppid=30072 vsize=161400 memory=137936 CPUtime=1842.44 cores=0,2,4,6
/proc/30075/stat : 30075 (cosoco) R 30072 30075 25748 0 -1 4202496 104714 0 0 0 184235 9 0 0 20 0 1 0 557039561 165273600 34484 33554432000 4194304 6211132 140728428419568 140728428417528 5442999 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 31150080 140728428422155 140728428422257 140728428422257 140728428425166 0
/proc/30075/statm: 40350 34484 861 493 0 33655 0
Current children cumulated CPU time: 1842.44 s
Current children cumulated vsize: 161400 KiB
Current children cumulated memory: 137936 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 30279
/proc/meminfo: memFree=28427412/32770624 swapFree=67002732/67108860
[pid=30075] ppid=30072 vsize=166152 memory=142584 CPUtime=1902.44 cores=0,2,4,6
/proc/30075/stat : 30075 (cosoco) R 30072 30075 25748 0 -1 4202496 106124 0 0 0 190235 9 0 0 20 0 1 0 557039561 170139648 35646 33554432000 4194304 6211132 140728428419568 140728428417224 5443045 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 31150080 140728428422155 140728428422257 140728428422257 140728428425166 0
/proc/30075/statm: 41538 35646 861 493 0 34843 0
Current children cumulated CPU time: 1902.44 s
Current children cumulated vsize: 166152 KiB
Current children cumulated memory: 142584 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 30345
/proc/meminfo: memFree=28423968/32770624 swapFree=67002732/67108860
[pid=30075] ppid=30072 vsize=166284 memory=142584 CPUtime=1962.44 cores=0,2,4,6
/proc/30075/stat : 30075 (cosoco) R 30072 30075 25748 0 -1 4202496 106156 0 0 0 196235 9 0 0 20 0 1 0 557039561 170274816 35646 33554432000 4194304 6211132 140728428419568 140728428417224 139672507452831 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 31150080 140728428422155 140728428422257 140728428422257 140728428425166 0
/proc/30075/statm: 41571 35646 861 493 0 34876 0
Current children cumulated CPU time: 1962.44 s
Current children cumulated vsize: 166284 KiB
Current children cumulated memory: 142584 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 30349
/proc/meminfo: memFree=28424928/32770624 swapFree=67002732/67108860
[pid=30075] ppid=30072 vsize=166416 memory=142852 CPUtime=2022.45 cores=0,2,4,6
/proc/30075/stat : 30075 (cosoco) R 30072 30075 25748 0 -1 4202496 106709 0 0 0 202236 9 0 0 20 0 1 0 557039561 170409984 35713 33554432000 4194304 6211132 140728428419568 140728428417224 5443082 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 31150080 140728428422155 140728428422257 140728428422257 140728428425166 0
/proc/30075/statm: 41604 35713 861 493 0 34909 0
Current children cumulated CPU time: 2022.45 s
Current children cumulated vsize: 166416 KiB
Current children cumulated memory: 142852 KiB

[startup+2082.3 s]
/proc/loadavg: 1.95 2.00 2.04 3/201 30354
/proc/meminfo: memFree=28422104/32770624 swapFree=67002732/67108860
[pid=30075] ppid=30072 vsize=167076 memory=143344 CPUtime=2082.45 cores=0,2,4,6
/proc/30075/stat : 30075 (cosoco) R 30072 30075 25748 0 -1 4202496 106882 0 0 0 208236 9 0 0 20 0 1 0 557039561 171085824 35836 33554432000 4194304 6211132 140728428419568 140728428417224 5446299 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 31150080 140728428422155 140728428422257 140728428422257 140728428425166 0
/proc/30075/statm: 41769 35836 861 493 0 35074 0
Current children cumulated CPU time: 2082.45 s
Current children cumulated vsize: 167076 KiB
Current children cumulated memory: 143344 KiB

[startup+2142.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/201 30360
/proc/meminfo: memFree=28421312/32770624 swapFree=67002732/67108860
[pid=30075] ppid=30072 vsize=168264 memory=144628 CPUtime=2142.46 cores=0,2,4,6
/proc/30075/stat : 30075 (cosoco) R 30072 30075 25748 0 -1 4202496 107456 0 0 0 214237 9 0 0 20 0 1 0 557039561 172302336 36157 33554432000 4194304 6211132 140728428419568 140728428417224 5451604 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 31150080 140728428422155 140728428422257 140728428422257 140728428425166 0
/proc/30075/statm: 42066 36157 861 493 0 35371 0
Current children cumulated CPU time: 2142.46 s
Current children cumulated vsize: 168264 KiB
Current children cumulated memory: 144628 KiB

[startup+2202.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/199 30364
/proc/meminfo: memFree=28422832/32770624 swapFree=67002732/67108860
[pid=30075] ppid=30072 vsize=168264 memory=144628 CPUtime=2202.46 cores=0,2,4,6
/proc/30075/stat : 30075 (cosoco) R 30072 30075 25748 0 -1 4202496 107460 0 0 0 220237 9 0 0 20 0 1 0 557039561 172302336 36157 33554432000 4194304 6211132 140728428419568 140728428417224 139672516471640 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 31150080 140728428422155 140728428422257 140728428422257 140728428425166 0
/proc/30075/statm: 42066 36157 861 493 0 35371 0
Current children cumulated CPU time: 2202.46 s
Current children cumulated vsize: 168264 KiB
Current children cumulated memory: 144628 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 30369
/proc/meminfo: memFree=28419992/32770624 swapFree=67002732/67108860
[pid=30075] ppid=30072 vsize=169980 memory=146428 CPUtime=2262.48 cores=0,2,4,6
/proc/30075/stat : 30075 (cosoco) R 30072 30075 25748 0 -1 4202496 108104 0 0 0 226238 10 0 0 20 0 1 0 557039561 174059520 36607 33554432000 4194304 6211132 140728428419568 140728428417224 5442966 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 31150080 140728428422155 140728428422257 140728428422257 140728428425166 0
/proc/30075/statm: 42495 36607 861 493 0 35800 0
Current children cumulated CPU time: 2262.48 s
Current children cumulated vsize: 169980 KiB
Current children cumulated memory: 146428 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 30375
/proc/meminfo: memFree=28419712/32770624 swapFree=67002732/67108860
[pid=30075] ppid=30072 vsize=170244 memory=146692 CPUtime=2322.48 cores=0,2,4,6
/proc/30075/stat : 30075 (cosoco) R 30072 30075 25748 0 -1 4202496 108180 0 0 0 232238 10 0 0 20 0 1 0 557039561 174329856 36673 33554432000 4194304 6211132 140728428419568 140728428417224 5454208 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 31150080 140728428422155 140728428422257 140728428422257 140728428425166 0
/proc/30075/statm: 42561 36673 861 493 0 35866 0
Current children cumulated CPU time: 2322.48 s
Current children cumulated vsize: 170244 KiB
Current children cumulated memory: 146692 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 30379
/proc/meminfo: memFree=28419204/32770624 swapFree=67002732/67108860
[pid=30075] ppid=30072 vsize=170640 memory=147132 CPUtime=2382.49 cores=0,2,4,6
/proc/30075/stat : 30075 (cosoco) R 30072 30075 25748 0 -1 4202496 108752 0 0 0 238239 10 0 0 20 0 1 0 557039561 174735360 36783 33554432000 4194304 6211132 140728428419568 140728428417224 139672516471645 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 31150080 140728428422155 140728428422257 140728428422257 140728428425166 0
/proc/30075/statm: 42660 36783 861 493 0 35965 0
Current children cumulated CPU time: 2382.49 s
Current children cumulated vsize: 170640 KiB
Current children cumulated memory: 147132 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 30383
/proc/meminfo: memFree=28420068/32770624 swapFree=67002732/67108860
[pid=30075] ppid=30072 vsize=170640 memory=147228 CPUtime=2442.49 cores=0,2,4,6
/proc/30075/stat : 30075 (cosoco) R 30072 30075 25748 0 -1 4202496 108831 0 0 0 244239 10 0 0 20 0 1 0 557039561 174735360 36807 33554432000 4194304 6211132 140728428419568 140728428417224 5452185 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 31150080 140728428422155 140728428422257 140728428422257 140728428425166 0
/proc/30075/statm: 42660 36807 861 493 0 35965 0
Current children cumulated CPU time: 2442.49 s
Current children cumulated vsize: 170640 KiB
Current children cumulated memory: 147228 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 30397
/proc/meminfo: memFree=28413952/32770624 swapFree=67002732/67108860
[pid=30075] ppid=30072 vsize=175260 memory=151756 CPUtime=2502.5 cores=0,2,4,6
/proc/30075/stat : 30075 (cosoco) R 30072 30075 25748 0 -1 4202496 110541 0 0 0 250240 10 0 0 20 0 1 0 557039561 179466240 37939 33554432000 4194304 6211132 140728428419568 140728428417224 5453954 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 31150080 140728428422155 140728428422257 140728428422257 140728428425166 0
/proc/30075/statm: 43815 37939 861 493 0 37120 0
Current children cumulated CPU time: 2502.5 s
Current children cumulated vsize: 175260 KiB
Current children cumulated memory: 151756 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2519.8 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 30399
/proc/meminfo: memFree=28414168/32770624 swapFree=67002732/67108860
[pid=30075] ppid=30072 vsize=175392 memory=151952 CPUtime=2520 cores=0,2,4,6
/proc/30075/stat : 30075 (cosoco) R 30072 30075 25748 0 -1 4202496 110602 0 0 0 251990 10 0 0 20 0 1 0 557039561 179601408 37988 33554432000 4194304 6211132 140728428419568 140728428417224 139672507450960 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 31150080 140728428422155 140728428422257 140728428422257 140728428425166 0
/proc/30075/statm: 43848 37988 861 493 0 37153 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 175392 KiB
Current children cumulated memory: 151952 KiB

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

[startup+2519.8 s]
# the end of solver process 30075 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.9 s, system=0.103008 s

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

Child status: 1
Real time (s): 2519.8
CPU time (s): 2520.01
CPU user time (s): 2519.9
CPU system time (s): 0.103008
CPU usage (%): 100.008
Max. virtual memory (cumulated for all children) (KiB): 175392
Max. memory (cumulated for all children) (KiB): 151952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.9
system time used= 0.103008
maximum resident set size= 152072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110642
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= 19
involuntary context switches= 921


# summary of solver processes directly reported to runsolver:
#   pid: 30075
#   total CPU time (s): 2520.01
#   total CPU user time (s): 2519.9
#   total CPU system time (s): 0.103008

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.90462 second user time and 16.6076 second system time

The end

Launcher Data 

Begin job on node148 at 2019-09-30 03:59:03
IDJOB=4408003
IDBENCH=138439
IDSOLVER=2874
FILE ID=node148/4408003-1569808781
RUNJOBID= node148-1569787355-25779
PBS_JOBID= 21705817
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-os10/SuperTaillard-os-10-21.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4408003-1569808781/watcher-4408003-1569808781 -o /tmp/evaluation-result-4408003-1569808781/solver-4408003-1569808781 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1569787355-25779 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4408003-1569808781.xml

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

MD5SUM BENCH= ab3cfdf6220e1af184bc3e02e1fbde1d
RANDOM SEED=418232131

node148.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.13
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.13
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.13
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.13
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:        28570796 kB
MemAvailable:   31872804 kB
Buffers:          167928 kB
Cached:          3472240 kB
SwapCached:         3492 kB
Active:          2242032 kB
Inactive:        1405500 kB
Active(anon):      20612 kB
Inactive(anon):    67036 kB
Active(file):    2221420 kB
Inactive(file):  1338464 kB
Unevictable:      110976 kB
Mlocked:          110976 kB
SwapTotal:      67108860 kB
SwapFree:       67002732 kB
Dirty:              2404 kB
Writeback:             0 kB
AnonPages:        115480 kB
Mapped:            28328 kB
Shmem:             71796 kB
Slab:             145104 kB
SReclaimable:     115920 kB
SUnreclaim:        29184 kB
KernelStack:        3552 kB
PageTables:         5908 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     570328 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 62024 MiB
End job on node148 at 2019-09-30 04:41:03