Trace number 4407970

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.0SAT 673.068 673.127

General information on the benchmark

NameSuperSolutions/SuperSolutions-Taillard-os10/
SuperTaillard-os-10-12.xml
MD5SUM5dc18f9bddc2dfff84e0f90fec56ce3b
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 benchmark24.9156
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of constraints2800
Number of domains65
Minimum domain size520
Maximum domain size616
Distribution of domain sizes[{"size":520,"count":2},{"size":521,"count":4},{"size":522,"count":2},{"size":523,"count":4},{"size":525,"count":4},{"size":527,"count":4},{"size":528,"count":2},{"size":529,"count":2},{"size":530,"count":6},{"size":531,"count":6},{"size":532,"count":2},{"size":534,"count":2},{"size":535,"count":2},{"size":536,"count":2},{"size":537,"count":2},{"size":541,"count":2},{"size":542,"count":4},{"size":543,"count":2},{"size":545,"count":4},{"size":547,"count":2},{"size":550,"count":2},{"size":551,"count":2},{"size":552,"count":2},{"size":553,"count":2},{"size":554,"count":2},"...",{"size":582,"count":6}, {"size":585,"count":4}, {"size":586,"count":2}, {"size":587,"count":2}, {"size":588,"count":2}, {"size":589,"count":4}, {"size":590,"count":2}, {"size":592,"count":2}, {"size":595,"count":4}, {"size":596,"count":2}, {"size":597,"count":2}, {"size":599,"count":2}, {"size":600,"count":6}, {"size":601,"count":2}, {"size":602,"count":2}, {"size":603,"count":2}, {"size":604,"count":6}, {"size":605,"count":2}, {"size":606,"count":2}, {"size":608,"count":4}, {"size":609,"count":2}, {"size":612,"count":4}, {"size":614,"count":6}, {"size":615,"count":4}, {"size":616,"count":4}]
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.93	c root propagations     : 0           
1.89/1.93	c restarts enabled, print stats at every restarts
1.89/1.93	c
1.89/1.93	c
1.89/1.93	c
1.89/1.93	c This is cosoco 2.00 --  
1.89/1.93	c
1.89/1.93	c command line: cosoco -lc -model -restarts -stick HOME/instance-4407970-1569808829.xml 
1.89/1.93	c ========================================[ Problem Statistics ]===========================================
1.89/1.93	c |                                                                                                       
1.89/1.93	c |  Parse time        :         1.88 s 
1.89/1.93	c |
1.89/1.93	c |               Variables: 200
1.89/1.93	c |            Domain Sizes: 520..616
1.89/1.93	c |
1.89/1.93	c |             Constraints: 2800
1.89/1.93	c |                   Arity: 2..2  -- Binary: 2800
1.89/1.93	c | 
1.89/1.93	c |                   Types: 
1.89/1.93	c |                          (X != Y): 100
1.89/1.93	c |                          Intension: 2700
1.89/1.93	c |                          
1.89/1.93	c =========================================================================================================
1.89/1.93	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
6.39/6.47	c 101            146            40556          544107         0              0              26   27   25   
9.29/9.34	c 211            262            70651          933566         0              0              7   7   6      
13.59/13.67	c 332            396            116455         1526326        0              0              7   7   6      
16.79/16.86	c 465            541            160789         2023796        0              0              7   8   6      
19.79/19.80	c 611            699            194684         2594107        0              0              7   9   7      
23.78/23.84	c 771            869            233216         3126752        0              0              7   7   6      
28.09/28.17	c 947            1052           274126         4068680        0              0              6   7   6      
33.29/33.39	c 1140           1255           308174         5060759        0              0              7   8   6      
40.69/40.77	c 1352           1491           358599         5841189        0              0              7   8   7      
45.59/45.65	c 1585           1738           390565         6754493        0              0              8   8   7      
51.99/52.02	c 1841           2007           464447         7551557        0              0              8   8   7      
59.18/59.22	c 2122           2317           561470         8274703        0              0              8   10   9     
65.18/65.28	c 2431           2638           619451         9484805        0              0              9   9   8      
72.48/72.55	c 2770           2999           701617         10565768       0              0              7   9   8      
84.48/84.55	c 3142           3408           828990         12599963       0              0              8   10   8     
93.28/93.33	c 3551           3831           876859         14183599       0              0              7   7   6      
104.48/104.51	c 4000           4313           997721         15902636       0              0              7   8   7      
113.37/113.49	c 4493           4847           1084605        17780700       0              0              7   9   8      
135.98/136.04	c 5035           5409           1200923        20366684       0              0              8   10   8     
146.87/147.00	c 5631           6035           1342818        21866515       0              0              9   9   8      
159.27/159.37	c 6286           6708           1411533        24731942       0              0              9   9   8      
176.47/176.55	c 7006           7512           1700233        26561156       0              0              9   14   12    
202.57/202.63	c 7798           8368           1875419        29940402       0              0              8   9   8      
225.57/225.68	c 8669           9322           2154839        32989117       0              0              8   12   11    
250.16/250.24	c 9627           10373          2433322        36040346       0              0              9   13   11    
278.07/278.17	c 10680          11510          2741874        41912736       0              0              8   9   8      
305.07/305.11	c 11838          12724          3010177        45449752       0              0              6   9   7      
332.26/332.38	c 13111          14058          3265163        48772843       0              0              8   9   8      
372.85/373.00	c 14511          15611          3857229        52775362       0              0              9   45   13    
386.55/386.63	c 16051          17221          4053731        56253147       0              0              13   27   25   
424.65/424.79	c 17745          19123          4742738        59992285       0              0              7   27   25    
467.74/467.88	c 19608          21268          5377301        62716709       0              0              11   27   25   
501.15/501.26	c 21657          23443          5800094        68175793       0              0              14   25   24   
545.95/546.02	c 23910          25879          6487100        74093008       0              0              7   9   8      
589.64/589.72	c 26388          28444          7386650        78027428       0              0              9   10   9     
653.63/653.74	c 29113          31531          8535216        81773714       0              0              45   49   47   
673.04/673.12	c First solution is found
673.04/673.12	s SATISFIABLE
673.04/673.12	c restarts              : 36          
673.04/673.12	c conflicts             : 29976        (45 /sec)
673.04/673.12	c decisions             : 32770        (49 /sec)
673.04/673.12	c propagations          : 83063836    (123429 /sec)
673.04/673.12	c root propagations     : 0           
673.04/673.12	c filter calls          : 8855783        (13159 /sec)
673.04/673.12	c useless filter calls  : 7422504        (83 %)
673.04/673.12	c Memory used           : 170.73 MB
673.04/673.12	c CPU time              : 672.97 s
673.04/673.12	c real time             : 673.119 s
673.04/673.12	
673.04/673.12	c solution 1
673.04/673.12	
673.04/673.12	v <instantiation type='solution'>
673.04/673.12	v <list>x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 x31 x32 x33 x34 x35 x36 x37 x38 x39 x40 x41 x42 x43 x44 x45 x46 x47 x48 x49 x50 x51 x52 x53 x54 x55 x56 x57 x58 x59 x60 x61 x62 x63 x64 x65 x66 x67 x68 x69 x70 x71 x72 x73 x74 x75 x76 x77 x78 x79 x80 x81 x82 x83 x84 x85 x86 x87 x88 x89 x90 x91 x92 x93 x94 x95 x96 x97 x98 x99 x100 x101 x102 x103 x104 x105 x106 x107 x108 x109 x110 x111 x112 x113 x114 x115 x116 x117 x118 x119 x120 x121 x122 x123 x124 x125 x126 x127 x128 x129 x130 x131 x132 x133 x134 x135 x136 x137 x138 x139 x140 x141 x142 x143 x144 x145 x146 x147 x148 x149 x150 x151 x152 x153 x154 x155 x156 x157 x158 x159 x160 x161 x162 x163 x164 x165 x166 x167 x168 x169 x170 x171 x172 x173 x174 x175 x176 x177 x178 x179 x180 x181 x182 x183 x184 x185 x186 x187 x188 x189 x190 x191 x192 x193 x194 x195 x196 x197 x198 x199 </list>
673.04/673.12	v <values>423 424 144 141 0 1 37 36 386 387 64 67 336 323 241 242 272 271 519 518 156 174 300 299 0 1 332 331 536 535 48 45 420 254 57 56 147 148 451 450 82 83 156 155 0 282 9 10 537 535 492 493 295 282 432 431 243 244 349 348 21 22 176 147 338 339 75 74 263 262 432 431 528 527 52 36 0 31 69 68 323 324 0 1 211 212 74 75 97 98 16 15 144 141 496 497 420 421 544 545 525 524 359 338 456 414 1 0 97 98 234 233 280 281 332 331 174 175 492 493 525 524 326 327 496 497 46 45 141 262 21 22 0 1 211 212 135 136 403 402 69 68 0 1 349 350 243 244 492 493 156 155 326 325 405 404 386 387 584 583 354 40 400 401 303 25 234 233 135 136 140 139 243 244 64 31 526 525 0 338 585 414 525 524 544 402 63 62 477 402 155 422 349 350 272 271 16 17 210 211 </values>
673.04/673.12	v </instantiation>
673.04/673.12

Verifier Data 

OK

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

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

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

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


[startup+0.100198 s]*
/proc/loadavg: 1.92 2.00 2.04 3/200 6467
/proc/meminfo: memFree=30965472/32770624 swapFree=66993544/67108860
[pid=6466] ppid=6463 vsize=28960 memory=5056 CPUtime=0.1 cores=0,2,4,6
/proc/6466/stat : 6466 (cosoco) R 6463 6466 1861 0 -1 4202496 1473 0 0 0 10 0 0 0 20 0 1 0 557145420 29655040 1264 33554432000 4194304 6211132 140734430529456 140734430525992 140261106724135 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12525568 140734430532619 140734430532721 140734430532721 140734430535630 0
/proc/6466/statm: 7240 1264 798 493 0 545 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28960 KiB
Current children cumulated memory: 5056 KiB

[startup+0.209769 s]*
/proc/loadavg: 1.92 2.00 2.04 3/200 6467
/proc/meminfo: memFree=30960516/32770624 swapFree=66993544/67108860
[pid=6466] ppid=6463 vsize=34508 memory=10640 CPUtime=0.21 cores=0,2,4,6
/proc/6466/stat : 6466 (cosoco) R 6463 6466 1861 0 -1 4202496 2882 0 0 0 21 0 0 0 20 0 1 0 557145420 35336192 2660 33554432000 4194304 6211132 140734430529456 140734430525992 5456018 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12525568 140734430532619 140734430532721 140734430532721 140734430535630 0
/proc/6466/statm: 8627 2660 816 493 0 1932 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 34508 KiB
Current children cumulated memory: 10640 KiB

[startup+0.309556 s]*
/proc/loadavg: 1.92 2.00 2.04 3/200 6467
/proc/meminfo: memFree=30954688/32770624 swapFree=66993544/67108860
[pid=6466] ppid=6463 vsize=40316 memory=16464 CPUtime=0.3 cores=0,2,4,6
/proc/6466/stat : 6466 (cosoco) R 6463 6466 1861 0 -1 4202496 4317 0 0 0 30 0 0 0 20 0 1 0 557145420 41283584 4116 33554432000 4194304 6211132 140734430529456 140734430525992 140261107002341 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12525568 140734430532619 140734430532721 140734430532721 140734430535630 0
/proc/6466/statm: 10079 4116 816 493 0 3384 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 40316 KiB
Current children cumulated memory: 16464 KiB

[startup+0.700369 s]
/proc/loadavg: 1.92 2.00 2.04 3/200 6467
/proc/meminfo: memFree=30943024/32770624 swapFree=66993544/67108860
[pid=6466] ppid=6463 vsize=62504 memory=38648 CPUtime=0.69 cores=0,2,4,6
/proc/6466/stat : 6466 (cosoco) R 6463 6466 1861 0 -1 4202496 9859 0 0 0 68 1 0 0 20 0 1 0 557145420 64004096 9662 33554432000 4194304 6211132 140734430529456 140734430521096 140261107002341 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12525568 140734430532619 140734430532721 140734430532721 140734430535630 0
/proc/6466/statm: 15626 9662 816 493 0 8931 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 62504 KiB
Current children cumulated memory: 38648 KiB

[startup+1.50037 s]
/proc/loadavg: 1.92 2.00 2.04 3/200 6467
/proc/meminfo: memFree=30914256/32770624 swapFree=66993544/67108860
[pid=6466] ppid=6463 vsize=108792 memory=85076 CPUtime=1.49 cores=0,2,4,6
/proc/6466/stat : 6466 (cosoco) R 6463 6466 1861 0 -1 4202496 21441 0 0 0 146 3 0 0 20 0 1 0 557145420 111403008 21269 33554432000 4194304 6211132 140734430529456 140734430520680 140261107002341 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12525568 140734430532619 140734430532721 140734430532721 140734430535630 0
/proc/6466/statm: 27198 21269 816 493 0 20503 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 108792 KiB
Current children cumulated memory: 85076 KiB

[startup+3.10975 s]
/proc/loadavg: 1.92 2.00 2.04 3/200 6467
/proc/meminfo: memFree=30854116/32770624 swapFree=66993544/67108860
[pid=6466] ppid=6463 vsize=140100 memory=116560 CPUtime=3.1 cores=0,2,4,6
/proc/6466/stat : 6466 (cosoco) R 6463 6466 1861 0 -1 4202496 37070 0 0 0 305 5 0 0 20 0 1 0 557145420 143462400 29140 33554432000 4194304 6211132 140734430529456 140734430527112 5164796 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12525568 140734430532619 140734430532721 140734430532721 140734430535630 0
/proc/6466/statm: 35025 29140 859 493 0 28330 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 140100 KiB
Current children cumulated memory: 116560 KiB

[startup+6.30033 s]
/proc/loadavg: 1.77 1.96 2.03 3/199 6467
/proc/meminfo: memFree=30852120/32770624 swapFree=66993544/67108860
[pid=6466] ppid=6463 vsize=141552 memory=118164 CPUtime=6.29 cores=0,2,4,6
/proc/6466/stat : 6466 (cosoco) R 6463 6466 1861 0 -1 4202496 43391 0 0 0 624 5 0 0 20 0 1 0 557145420 144949248 29541 33554432000 4194304 6211132 140734430529456 140734430527112 5446262 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12525568 140734430532619 140734430532721 140734430532721 140734430535630 0
/proc/6466/statm: 35388 29541 859 493 0 28693 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 141552 KiB
Current children cumulated memory: 118164 KiB

[startup+12.7003 s]
/proc/loadavg: 1.79 1.97 2.03 3/199 6467
/proc/meminfo: memFree=30849396/32770624 swapFree=66993544/67108860
[pid=6466] ppid=6463 vsize=144324 memory=120828 CPUtime=12.69 cores=0,2,4,6
/proc/6466/stat : 6466 (cosoco) R 6463 6466 1861 0 -1 4202496 52307 0 0 0 1263 6 0 0 20 0 1 0 557145420 147787776 30207 33554432000 4194304 6211132 140734430529456 140734430527112 5443138 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12525568 140734430532619 140734430532721 140734430532721 140734430535630 0
/proc/6466/statm: 36081 30207 861 493 0 29386 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 144324 KiB
Current children cumulated memory: 120828 KiB

[startup+25.5003 s]
/proc/loadavg: 1.83 1.97 2.03 3/200 6475
/proc/meminfo: memFree=30846780/32770624 swapFree=66993544/67108860
[pid=6466] ppid=6463 vsize=146304 memory=122868 CPUtime=25.48 cores=0,2,4,6
/proc/6466/stat : 6466 (cosoco) R 6463 6466 1861 0 -1 4202496 69524 0 0 0 2542 6 0 0 20 0 1 0 557145420 149815296 30717 33554432000 4194304 6211132 140734430529456 140734430527112 5446638 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12525568 140734430532619 140734430532721 140734430532721 140734430535630 0
/proc/6466/statm: 36576 30717 861 493 0 29881 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 146304 KiB
Current children cumulated memory: 122868 KiB

[startup+51.1095 s]
/proc/loadavg: 1.89 1.97 2.03 3/200 6477
/proc/meminfo: memFree=30844660/32770624 swapFree=66993544/67108860
[pid=6466] ppid=6463 vsize=146832 memory=123372 CPUtime=51.09 cores=0,2,4,6
/proc/6466/stat : 6466 (cosoco) R 6463 6466 1861 0 -1 4202496 76600 0 0 0 5102 7 0 0 20 0 1 0 557145420 150355968 30843 33554432000 4194304 6211132 140734430529456 140734430527112 5441135 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12525568 140734430532619 140734430532721 140734430532721 140734430535630 0
/proc/6466/statm: 36708 30843 861 493 0 30013 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 146832 KiB
Current children cumulated memory: 123372 KiB

[startup+102.3 s]
/proc/loadavg: 1.95 1.97 2.03 3/200 6503
/proc/meminfo: memFree=30844176/32770624 swapFree=66993544/67108860
[pid=6466] ppid=6463 vsize=147624 memory=124220 CPUtime=102.28 cores=0,2,4,6
/proc/6466/stat : 6466 (cosoco) R 6463 6466 1861 0 -1 4202496 80891 0 0 0 10221 7 0 0 20 0 1 0 557145420 151166976 31055 33554432000 4194304 6211132 140734430529456 140734430527416 5451650 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12525568 140734430532619 140734430532721 140734430532721 140734430535630 0
/proc/6466/statm: 36906 31055 861 493 0 30211 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 147624 KiB
Current children cumulated memory: 124220 KiB

[startup+162.3 s]
/proc/loadavg: 1.98 1.98 2.03 3/200 6507
/proc/meminfo: memFree=30843356/32770624 swapFree=66993544/67108860
[pid=6466] ppid=6463 vsize=148152 memory=124652 CPUtime=162.27 cores=0,2,4,6
/proc/6466/stat : 6466 (cosoco) R 6463 6466 1861 0 -1 4202496 81512 0 0 0 16220 7 0 0 20 0 1 0 557145420 151707648 31163 33554432000 4194304 6211132 140734430529456 140734430527112 5480204 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12525568 140734430532619 140734430532721 140734430532721 140734430535630 0
/proc/6466/statm: 37038 31163 861 493 0 30343 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 148152 KiB
Current children cumulated memory: 124652 KiB

[startup+222.3 s]
/proc/loadavg: 2.10 2.01 2.04 3/200 6511
/proc/meminfo: memFree=30843812/32770624 swapFree=66993544/67108860
[pid=6466] ppid=6463 vsize=148416 memory=125028 CPUtime=222.27 cores=0,2,4,6
/proc/6466/stat : 6466 (cosoco) R 6463 6466 1861 0 -1 4202496 82112 0 0 0 22220 7 0 0 20 0 1 0 557145420 151977984 31257 33554432000 4194304 6211132 140734430529456 140734430527416 5440652 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12525568 140734430532619 140734430532721 140734430532721 140734430535630 0
/proc/6466/statm: 37104 31257 861 493 0 30409 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 148416 KiB
Current children cumulated memory: 125028 KiB

[startup+282.3 s]
/proc/loadavg: 2.04 2.01 2.04 3/200 6517
/proc/meminfo: memFree=30843564/32770624 swapFree=66993544/67108860
[pid=6466] ppid=6463 vsize=148944 memory=125476 CPUtime=282.26 cores=0,2,4,6
/proc/6466/stat : 6466 (cosoco) R 6463 6466 1861 0 -1 4202496 82864 0 0 0 28219 7 0 0 20 0 1 0 557145420 152518656 31369 33554432000 4194304 6211132 140734430529456 140734430527416 5476804 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12525568 140734430532619 140734430532721 140734430532721 140734430535630 0
/proc/6466/statm: 37236 31369 861 493 0 30541 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 148944 KiB
Current children cumulated memory: 125476 KiB

[startup+342.3 s]
/proc/loadavg: 2.01 2.01 2.04 3/199 6521
/proc/meminfo: memFree=30842648/32770624 swapFree=66993544/67108860
[pid=6466] ppid=6463 vsize=149076 memory=125592 CPUtime=342.26 cores=0,2,4,6
/proc/6466/stat : 6466 (cosoco) R 6463 6466 1861 0 -1 4202496 83447 0 0 0 34219 7 0 0 20 0 1 0 557145420 152653824 31398 33554432000 4194304 6211132 140734430529456 140734430527112 5439642 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12525568 140734430532619 140734430532721 140734430532721 140734430535630 0
/proc/6466/statm: 37269 31398 861 493 0 30574 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 149076 KiB
Current children cumulated memory: 125592 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 6525
/proc/meminfo: memFree=30832200/32770624 swapFree=66993544/67108860
[pid=6466] ppid=6463 vsize=159636 memory=136004 CPUtime=402.25 cores=0,2,4,6
/proc/6466/stat : 6466 (cosoco) R 6463 6466 1861 0 -1 4202496 86330 0 0 0 40218 7 0 0 20 0 1 0 557145420 163467264 34001 33554432000 4194304 6211132 140734430529456 140734430527112 5442996 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12525568 140734430532619 140734430532721 140734430532721 140734430535630 0
/proc/6466/statm: 39909 34001 861 493 0 33214 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 159636 KiB
Current children cumulated memory: 136004 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 6531
/proc/meminfo: memFree=30825992/32770624 swapFree=66993544/67108860
[pid=6466] ppid=6463 vsize=160824 memory=137348 CPUtime=462.24 cores=0,2,4,6
/proc/6466/stat : 6466 (cosoco) R 6463 6466 1861 0 -1 4202496 88345 0 0 0 46217 7 0 0 20 0 1 0 557145420 164683776 34337 33554432000 4194304 6211132 140734430529456 140734430527112 5476821 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12525568 140734430532619 140734430532721 140734430532721 140734430535630 0
/proc/6466/statm: 40206 34337 861 493 0 33511 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 160824 KiB
Current children cumulated memory: 137348 KiB

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 6535
/proc/meminfo: memFree=30818552/32770624 swapFree=66993544/67108860
[pid=6466] ppid=6463 vsize=162012 memory=138428 CPUtime=522.24 cores=0,2,4,6
/proc/6466/stat : 6466 (cosoco) R 6463 6466 1861 0 -1 4202496 90510 0 0 0 52216 8 0 0 20 0 1 0 557145420 165900288 34607 33554432000 4194304 6211132 140734430529456 140734430527112 5476895 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12525568 140734430532619 140734430532721 140734430532721 140734430535630 0
/proc/6466/statm: 40503 34607 861 493 0 33808 0
Current children cumulated CPU time: 522.24 s
Current children cumulated vsize: 162012 KiB
Current children cumulated memory: 138428 KiB

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 6539
/proc/meminfo: memFree=30817300/32770624 swapFree=66993544/67108860
[pid=6466] ppid=6463 vsize=162936 memory=139432 CPUtime=582.24 cores=0,2,4,6
/proc/6466/stat : 6466 (cosoco) R 6463 6466 1861 0 -1 4202496 91206 0 0 0 58216 8 0 0 20 0 1 0 557145420 166846464 34858 33554432000 4194304 6211132 140734430529456 140734430527112 5453940 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12525568 140734430532619 140734430532721 140734430532721 140734430535630 0
/proc/6466/statm: 40734 34858 861 493 0 34039 0
Current children cumulated CPU time: 582.24 s
Current children cumulated vsize: 162936 KiB
Current children cumulated memory: 139432 KiB

[startup+642.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 6613
/proc/meminfo: memFree=29916088/32770624 swapFree=66993544/67108860
[pid=6466] ppid=6463 vsize=164388 memory=140948 CPUtime=642.23 cores=0,2,4,6
/proc/6466/stat : 6466 (cosoco) R 6463 6466 1861 0 -1 4202496 92171 0 0 0 64215 8 0 0 20 0 1 0 557145420 168333312 35237 33554432000 4194304 6211132 140734430529456 140734430527112 5072386 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12525568 140734430532619 140734430532721 140734430532721 140734430535630 0
/proc/6466/statm: 41097 35237 861 493 0 34402 0
Current children cumulated CPU time: 642.23 s
Current children cumulated vsize: 164388 KiB
Current children cumulated memory: 140948 KiB

[startup+673.127 s]
# the end of solver process 6466 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=672.97 s, system=0.097993 s

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

[startup+652.8 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 6613
/proc/meminfo: memFree=29915748/32770624 swapFree=66993544/67108860
[pid=6466] ppid=6463 vsize=164520 memory=141016 CPUtime=652.73 cores=0,2,4,6
/proc/6466/stat : 6466 (cosoco) R 6463 6466 1861 0 -1 4202496 92270 0 0 0 65265 8 0 0 20 0 1 0 557145420 168468480 35254 33554432000 4194304 6211132 140734430529456 140734430527112 5446158 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12525568 140734430532619 140734430532721 140734430532721 140734430535630 0
/proc/6466/statm: 41130 35254 861 493 0 34435 0
Current children cumulated CPU time: 652.73 s
Current children cumulated vsize: 164520 KiB
Current children cumulated memory: 141016 KiB

[startup+665.6 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 6614
/proc/meminfo: memFree=29883508/32770624 swapFree=66993544/67108860
[pid=6466] ppid=6463 vsize=174160 memory=150568 CPUtime=665.53 cores=0,2,4,6
/proc/6466/stat : 6466 (cosoco) R 6463 6466 1861 0 -1 4202496 96712 0 0 0 66544 9 0 0 20 0 1 0 557145420 178339840 37642 33554432000 4194304 6211132 140734430529456 140734430527112 140261116947284 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12525568 140734430532619 140734430532721 140734430532721 140734430535630 0
/proc/6466/statm: 43540 37642 861 493 0 36845 0
Current children cumulated CPU time: 665.53 s
Current children cumulated vsize: 174160 KiB
Current children cumulated memory: 150568 KiB

[startup+668.8 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 6614
/proc/meminfo: memFree=29872100/32770624 swapFree=66993544/67108860
[pid=6466] ppid=6463 vsize=174160 memory=150568 CPUtime=668.73 cores=0,2,4,6
/proc/6466/stat : 6466 (cosoco) R 6463 6466 1861 0 -1 4202496 96718 0 0 0 66864 9 0 0 20 0 1 0 557145420 178339840 37642 33554432000 4194304 6211132 140734430529456 140734430527112 5446206 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12525568 140734430532619 140734430532721 140734430532721 140734430535630 0
/proc/6466/statm: 43540 37642 861 493 0 36845 0
Current children cumulated CPU time: 668.73 s
Current children cumulated vsize: 174160 KiB
Current children cumulated memory: 150568 KiB

[startup+670.4 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 6615
/proc/meminfo: memFree=29871480/32770624 swapFree=66993544/67108860
[pid=6466] ppid=6463 vsize=174820 memory=151340 CPUtime=670.33 cores=0,2,4,6
/proc/6466/stat : 6466 (cosoco) R 6463 6466 1861 0 -1 4202496 97066 0 0 0 67024 9 0 0 20 0 1 0 557145420 179015680 37835 33554432000 4194304 6211132 140734430529456 140734430527112 5442996 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12525568 140734430532619 140734430532721 140734430532721 140734430535630 0
/proc/6466/statm: 43705 37835 861 493 0 37010 0
Current children cumulated CPU time: 670.33 s
Current children cumulated vsize: 174820 KiB
Current children cumulated memory: 151340 KiB

[startup+672 s]*
/proc/loadavg: 2.00 2.01 2.04 3/199 6615
/proc/meminfo: memFree=29868380/32770624 swapFree=66993544/67108860
[pid=6466] ppid=6463 vsize=174820 memory=151340 CPUtime=671.94 cores=0,2,4,6
/proc/6466/stat : 6466 (cosoco) R 6463 6466 1861 0 -1 4202496 97066 0 0 0 67185 9 0 0 20 0 1 0 557145420 179015680 37835 33554432000 4194304 6211132 140734430529456 140734430527112 5452266 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12525568 140734430532619 140734430532721 140734430532721 140734430535630 0
/proc/6466/statm: 43705 37835 861 493 0 37010 0
Current children cumulated CPU time: 671.94 s
Current children cumulated vsize: 174820 KiB
Current children cumulated memory: 151340 KiB

[startup+672.8 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 6615
/proc/meminfo: memFree=29868380/32770624 swapFree=66993544/67108860
[pid=6466] ppid=6463 vsize=174820 memory=151340 CPUtime=672.73 cores=0,2,4,6
/proc/6466/stat : 6466 (cosoco) R 6463 6466 1861 0 -1 4202496 97068 0 0 0 67264 9 0 0 20 0 1 0 557145420 179015680 37835 33554432000 4194304 6211132 140734430529456 140734430527112 5480285 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12525568 140734430532619 140734430532721 140734430532721 140734430535630 0
/proc/6466/statm: 43705 37835 861 493 0 37010 0
Current children cumulated CPU time: 672.73 s
Current children cumulated vsize: 174820 KiB
Current children cumulated memory: 151340 KiB

[startup+673 s]*
/proc/loadavg: 2.00 2.01 2.04 3/200 6617
/proc/meminfo: memFree=29868348/32770624 swapFree=66993544/67108860
[pid=6466] ppid=6463 vsize=174820 memory=151340 CPUtime=672.94 cores=0,2,4,6
/proc/6466/stat : 6466 (cosoco) R 6463 6466 1861 0 -1 4202496 97075 0 0 0 67285 9 0 0 20 0 1 0 557145420 179015680 37835 33554432000 4194304 6211132 140734430529456 140734430527112 5441122 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12525568 140734430532619 140734430532721 140734430532721 140734430535630 0
/proc/6466/statm: 43705 37835 861 493 0 37010 0
Current children cumulated CPU time: 672.94 s
Current children cumulated vsize: 174820 KiB
Current children cumulated memory: 151340 KiB

[startup+673.11 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 6617
/proc/meminfo: memFree=29868348/32770624 swapFree=66993544/67108860
[pid=6466] ppid=6463 vsize=174820 memory=151456 CPUtime=673.04 cores=0,2,4,6
/proc/6466/stat : 6466 (cosoco) R 6463 6466 1861 0 -1 4202496 97121 0 0 0 67295 9 0 0 20 0 1 0 557145420 179015680 37864 33554432000 4194304 6211132 140734430529456 140734430527112 140261116947311 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12525568 140734430532619 140734430532721 140734430532721 140734430535630 0
/proc/6466/statm: 43705 37864 861 493 0 37010 0
Current children cumulated CPU time: 673.04 s
Current children cumulated vsize: 174820 KiB
Current children cumulated memory: 151456 KiB

Child status: 0
Real time (s): 673.127
CPU time (s): 673.068
CPU user time (s): 672.97
CPU system time (s): 0.097993
CPU usage (%): 99.9913
Max. virtual memory (cumulated for all children) (KiB): 174820
Max. memory (cumulated for all children) (KiB): 151456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 672.97
system time used= 0.097993
maximum resident set size= 151536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97320
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= 26
involuntary context switches= 843


# summary of solver processes directly reported to runsolver:
#   pid: 6466
#   total CPU time (s): 673.068
#   total CPU user time (s): 672.97
#   total CPU system time (s): 0.097993

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.46666 second user time and 4.70748 second system time

The end

Launcher Data 

Begin job on node121 at 2019-09-30 03:59:46
IDJOB=4407970
IDBENCH=138454
IDSOLVER=2874
FILE ID=node121/4407970-1569808829
RUNJOBID= node121-1569787350-1892
PBS_JOBID= 21705831
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-os10/SuperTaillard-os-10-12.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4407970-1569808829/watcher-4407970-1569808829 -o /tmp/evaluation-result-4407970-1569808829/solver-4407970-1569808829 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1569787350-1892 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4407970-1569808829.xml

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

MD5SUM BENCH= 5dc18f9bddc2dfff84e0f90fec56ce3b
RANDOM SEED=505559505

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:        30966480 kB
MemAvailable:   31832736 kB
Buffers:          210664 kB
Cached:           979308 kB
SwapCached:         4540 kB
Active:           716512 kB
Inactive:         519000 kB
Active(anon):      39528 kB
Inactive(anon):    80912 kB
Active(file):     676984 kB
Inactive(file):   438088 kB
Unevictable:      109048 kB
Mlocked:          109048 kB
SwapTotal:      67108860 kB
SwapFree:       66993544 kB
Dirty:              2904 kB
Writeback:             0 kB
AnonPages:        159268 kB
Mapped:            28952 kB
Shmem:             66188 kB
Slab:             163464 kB
SReclaimable:     134036 kB
SUnreclaim:        29428 kB
KernelStack:        3776 kB
PageTables:         5276 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     605924 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    110592 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:10:59